Searched refs:ChildState (Results 1 – 2 of 2) sorted by relevance
177 ProgramStateRef ParentState, ChildState; in checkPostCall() local178 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); in checkPostCall()180 ChildState = ChildState->set<VforkResultRegion>(LhsDeclReg); in checkPostCall()181 C.addTransition(ChildState); in checkPostCall()
651 StateType ChildState; in followUsesInMBEC() local654 followUsesInContext(AA, A, Explorer, &BB->front(), Uses, ChildState); in followUsesInMBEC()660 ParentState &= ChildState; in followUsesInMBEC()