Searched refs:ChildState (Results 1 – 2 of 2) sorted by relevance
175 ProgramStateRef ParentState, ChildState; in checkPostCall() local176 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); in checkPostCall()178 ChildState = ChildState->set<VforkResultRegion>(LhsDeclReg); in checkPostCall()179 C.addTransition(ChildState); in checkPostCall()
720 StateType ChildState; in followUsesInMBEC() local723 followUsesInContext(AA, A, Explorer, &BB->front(), Uses, ChildState); in followUsesInMBEC()729 ParentState &= ChildState; in followUsesInMBEC()