reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
146 ProgramStateRef State = C.getState(); 150 if (!isVforkCall(Call.getDecl(), C)) 161 const ParentMap &PM = C.getLocationContext()->getParentMap(); 167 MemRegionManager &M = C.getStoreManager().getRegionManager(); 170 ? M.getVarRegion(LhsDecl, C.getLocationContext()) 175 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); 176 C.addTransition(ParentState); 178 C.addTransition(ChildState);