reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
204 PrettyStackTraceLocationContext CrashInfo(CEBNode->getLocationContext()); 205 const StackFrameContext *calleeCtx = CEBNode->getStackFrame(); 213 ProgramStateRef state = CEBNode->getState(); 217 std::tie(LastSt, Blk) = getLastStmt(CEBNode); 229 const LocationContext *LCtx = CEBNode->getLocationContext(); 283 BindedRetNode->addPredecessor(CEBNode, G); 298 CleanedNodes.Add(CEBNode); 308 ProgramStateRef CEEState = (*I == CEBNode) ? state : (*I)->getState();