reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1912 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); 1920 Pred, maxBlockVisitOnPath); 1921 if (NewState != Pred->getState()) { 1922 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); 1925 Pred = UpdatedNode; 1929 if(isUnrolledState(Pred->getState())) 1943 const LocationContext *LCtx = Pred->getLocationContext(); 1945 getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term); 1946 nodeBuilder.generateNode(WidenedState, Pred); 1954 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); 1954 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); 1958 const LocationContext *CalleeLC = Pred->getLocation().getLocationContext(); 1970 replayWithoutInlining(Pred, CalleeLC)))