Searched refs:CallEventManager (Results 1 – 8 of 8) sorted by relevance
182 friend class CallEventManager;537 friend class CallEventManager; variable575 friend class CallEventManager; variable730 friend class CallEventManager; variable788 friend class CallEventManager; variable831 friend class CallEventManager; variable891 friend class CallEventManager; variable980 friend class CallEventManager; variable1049 friend class CallEventManager; variable1113 friend class CallEventManager; variable[all …]
40 class CallEventManager; variable529 std::unique_ptr<CallEventManager> CallEventMgr;579 CallEventManager &getCallEventManager() { return *CallEventMgr; } in getCallEventManager()
336 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in computeObjectUnderConstruction()734 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in handleConstructor()902 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDestructor()931 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewAllocatorCall()1029 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXNewExpr()1130 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCXXDeleteExpr()
529 CallEventManager &CEMgr = State->getStateManager().getCallEventManager(); in getCaller()1403 CallEventManager::getSimpleCall(const CallExpr *CE, ProgramStateRef State, in getSimpleCall()1428 CallEventManager::getCaller(const StackFrameContext *CalleeCtx, in getCaller()1485 CallEventRef<> CallEventManager::getCall(const Stmt *S, ProgramStateRef State, in getCall()
273 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in processCallExit()610 CallEventManager &CEMgr = getStateManager().getCallEventManager(); in VisitCallExpr()
79 CallEventMgr(new CallEventManager(alloc)), Alloc(alloc) { in ProgramStateManager()
1168 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in visitNodeMaybeUnsuppress()1663 CallEventManager &CallMgr = StateMgr.getCallEventManager(); in VisitNode()3412 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()
215 CallEventManager &Mgr = CurrSt->getStateManager().getCallEventManager(); in generateDiagnosticsForCallLike()376 CallEventManager &CEMgr) { in annotateConsumedSummaryMismatch()462 CallEventManager &CEMgr = BRC.getStateManager().getCallEventManager(); in VisitNode()