Searched refs:ChildState (Results 1 – 1 of 1) 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()