Searched refs:ChildState (Results 1 – 2 of 2) sorted by relevance
173 ProgramStateRef ParentState, ChildState; in checkPostCall() local174 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); in checkPostCall()176 ChildState = ChildState->set<VforkResultRegion>(LhsDeclReg); in checkPostCall()177 C.addTransition(ChildState); in checkPostCall()
712 StateType ChildState; in followUsesInMBEC() local715 followUsesInContext(AA, A, *Explorer, &BB->front(), Uses, ChildState); in followUsesInMBEC()721 ParentState &= ChildState; in followUsesInMBEC()