| /llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 156 ExprEngine &Eng; global() member
186 runCheckersForStmt(bool isPreVisit,ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,const Stmt * S,ExprEngine & Eng,bool WasInlined) runCheckersForStmt() argument
202 ExprEngine &Eng; global() member
242 runCheckersForObjCMessage(ObjCMessageVisitKind visitKind,ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,const ObjCMethodCall & msg,ExprEngine & Eng,bool WasInlined) runCheckersForObjCMessage() argument
273 ExprEngine &Eng; global() member
300 runCheckersForCallEvent(bool isPreVisit,ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,const CallEvent & Call,ExprEngine & Eng,bool WasInlined) runCheckersForCallEvent() argument
319 ExprEngine &Eng; global() member
353 runCheckersForLocation(ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,SVal location,bool isLoad,const Stmt * NodeEx,const Stmt * BoundEx,ExprEngine & Eng) runCheckersForLocation() argument
368 ExprEngine &Eng; global() member
394 runCheckersForBind(ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,SVal location,SVal val,const Stmt * S,ExprEngine & Eng,const ProgramPoint & PP) runCheckersForBind() argument
402 runCheckersForEndAnalysis(ExplodedGraph & G,BugReporter & BR,ExprEngine & Eng) runCheckersForEndAnalysis() argument
413 ExprEngine &Eng; global() member
437 runCheckersForBeginFunction(ExplodedNodeSet & Dst,const BlockEdge & L,ExplodedNode * Pred,ExprEngine & Eng) runCheckersForBeginFunction() argument
450 runCheckersForEndFunction(NodeBuilderContext & BC,ExplodedNodeSet & Dst,ExplodedNode * Pred,ExprEngine & Eng,const ReturnStmt * RS) runCheckersForEndFunction() argument
471 ExprEngine &Eng; global() member
495 runCheckersForBranchCondition(const Stmt * Condition,ExplodedNodeSet & Dst,ExplodedNode * Pred,ExprEngine & Eng) runCheckersForBranchCondition() argument
510 ExprEngine &Eng; global() member
535 runCheckersForNewAllocator(const CXXAllocatorCall & Call,ExplodedNodeSet & Dst,ExplodedNode * Pred,ExprEngine & Eng,bool WasInlined) runCheckersForNewAllocator() argument
558 ExprEngine &Eng; global() member
589 runCheckersForDeadSymbols(ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,SymbolReaper & SymReaper,const Stmt * S,ExprEngine & Eng,ProgramPoint::Kind K) runCheckersForDeadSymbols() argument
654 runCheckersForEvalCall(ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,const CallEvent & Call,ExprEngine & Eng,const EvalCallOptions & CallOpts) runCheckersForEvalCall() argument
[all...] |
| H A D | SMTConstraintManager.cpp | 15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
|
| H A D | ProgramState.cpp | 188 ExprEngine &Eng = Mgr.getOwningEngine(); invalidateRegionsImpl() local
|
| H A D | RegionStore.cpp | 374 ExprEngine &Eng = StateMgr.getOwningEngine(); RegionStoreManager() local
|
| H A D | RangeConstraintManager.cpp | 2261 CreateRangeConstraintManager(ProgramStateManager & StMgr,ExprEngine * Eng) CreateRangeConstraintManager() argument
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CheckerContext.h | 25 ExprEngine &Eng; variable
46 : Eng(eng), in Eng() function
[all...] |
| H A D | CoreEngine.h | 197 const CoreEngine &Eng; global() variable
482 CoreEngine& Eng; global() variable
535 CoreEngine& Eng; global() variable
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/ |
| H A D | CheckerManager.h | 251 runCheckersForPreStmt(ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,const Stmt * S,ExprEngine & Eng) runCheckersForPreStmt() argument
279 runCheckersForPreObjCMessage(ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,const ObjCMethodCall & msg,ExprEngine & Eng) runCheckersForPreObjCMessage() argument
297 runCheckersForObjCMessageNil(ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,const ObjCMethodCall & msg,ExprEngine & Eng) runCheckersForObjCMessageNil() argument
311 runCheckersForPreCall(ExplodedNodeSet & Dst,const ExplodedNodeSet & Src,const CallEvent & Call,ExprEngine & Eng) runCheckersForPreCall() argument
[all...] |
| H A D | Checker.h | 227 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis()
|
| /llvm-project/clang/test/SemaTemplate/ |
| H A D | instantiate-member-expr.cpp | 25 void f(ExprEngine& Eng) { in f()
|
| /llvm-project/clang/lib/StaticAnalyzer/Frontend/ |
| H A D | AnalysisConsumer.cpp | 721 ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode); in RunPathSensitiveChecks() local
|
| /llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| H A D | BugReporter.h | 680 ExprEngine& Eng; variable
|