reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2265 ProgramStateRef State = Pred->getState(); 2267 if (!Pred->getStackFrame()->inTopFrame()) 2270 Pred->getStackFrame(), Pred->getState())); 2270 Pred->getStackFrame(), Pred->getState())); 2280 const LocationContext *FromLC = Pred->getLocationContext(); 2301 if (State != Pred->getState()) { 2303 NodeBuilder Bldr(Pred, PostCleanup, BC); 2304 Pred = Bldr.generateNode(Pred->getLocation(), State, Pred); 2304 Pred = Bldr.generateNode(Pred->getLocation(), State, Pred); 2304 Pred = Bldr.generateNode(Pred->getLocation(), State, Pred); 2305 if (!Pred) { 2312 assert(areAllObjectsFullyConstructed(Pred->getState(), 2313 Pred->getLocationContext(), 2314 Pred->getStackFrame()->getParent())); 2316 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); 2319 if (Pred->getLocationContext()->inTopFrame()) { 2322 removeDeadOnEndOfFunction(BC, Pred, AfterRemovedDead); 2328 getCheckerManager().runCheckersForEndFunction(BC, Dst, Pred, *this, RS);