Searched defs:Eng (Results 1 - 11 of 11) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSMTConstraintManager.cpp16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument
H A DRangeConstraintManager.cpp332 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { argument
H A DProgramState.cpp192 SubEngine &Eng = Mgr.getOwningEngine(); local
H A DCheckerManager.cpp158 ExprEngine &Eng; member in struct:__anon875::CheckStmtContext
204 ExprEngine &Eng; member in struct:__anon876::CheckObjCMessageContext
184 runCheckersForStmt(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool WasInlined) argument
240 runCheckersForObjCMessage(ObjCMessageVisitKind visitKind, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool WasInlined) argument
275 ExprEngine &Eng; member in struct:__anon877::CheckCallContext
298 runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool WasInlined) argument
321 ExprEngine &Eng; member in struct:__anon878::CheckLocationContext
350 runCheckersForLocation(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, bool isLoad, const Stmt *NodeEx, const Stmt *BoundEx, ExprEngine &Eng) argument
370 ExprEngine &Eng; member in struct:__anon879::CheckBindContext
393 runCheckersForBind(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SVal location, SVal val, const Stmt *S, ExprEngine &Eng, const ProgramPoint &PP) argument
402 runCheckersForEndAnalysis(ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
415 ExprEngine &Eng; member in struct:__anon880::CheckBeginFunctionContext
418 CheckBeginFunctionContext(const CheckersTy &Checkers, ExprEngine &Eng, const ProgramPoint &PP) argument
436 runCheckersForBeginFunction(ExplodedNodeSet &Dst, const BlockEdge &L, ExplodedNode *Pred, ExprEngine &Eng) argument
449 runCheckersForEndFunction(NodeBuilderContext &BC, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng, const ReturnStmt *RS) argument
473 ExprEngine &Eng; member in struct:__anon881::CheckBranchConditionContext
494 runCheckersForBranchCondition(const Stmt *Condition, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument
513 ExprEngine &Eng; member in struct:__anon882::CheckNewAllocatorContext
515 CheckNewAllocatorContext(const CheckersTy &Checkers, const CXXNewExpr *NE, SVal Target, bool WasInlined, ExprEngine &Eng) argument
533 runCheckersForNewAllocator( const CXXNewExpr *NE, SVal Target, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng, bool WasInlined) argument
557 ExprEngine &Eng; member in struct:__anon883::CheckDeadSymbolsContext
584 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument
650 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument
[all...]
H A DRegionStore.cpp384 SubEngine &Eng = StateMgr.getOwningEngine(); local
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h24 ExprEngine &Eng; member in class:clang::ento::CheckerContext
[all...]
H A DCoreEngine.h208 const CoreEngine &Eng; member in struct:clang::ento::NodeBuilderContext
478 CoreEngine& Eng; member in class:clang::ento::IndirectGotoNodeBuilder
526 CoreEngine& Eng; member in class:clang::ento::SwitchNodeBuilder
H A DProgramState.h461 SubEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h210 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument
223 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined = false) argument
238 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument
246 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined = false) argument
256 runCheckersForObjCMessageNil(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument
272 runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument
278 runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool wasInlined = false) argument
[all...]
H A DChecker.h228 _checkEndAnalysis(void *checker, ExplodedGraph &G, BugReporter &BR, ExprEngine &Eng) argument
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h654 ExprEngine& Eng; member in class:clang::ento::final

Completed in 230 milliseconds