Home
last modified time | relevance | path

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

/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
HDCheckerManager.cpp156 ExprEngine &Eng; member
186 ExprEngine &Eng, in runCheckersForStmt()
202 ExprEngine &Eng; member
242 ExprEngine &Eng, in runCheckersForObjCMessage()
273 ExprEngine &Eng; member
300 ExprEngine &Eng, in runCheckersForCallEvent()
319 ExprEngine &Eng; member
353 ExprEngine &Eng) { in runCheckersForLocation()
368 ExprEngine &Eng; member
394 const Stmt *S, ExprEngine &Eng, in runCheckersForBind()
[all …]
HDSMTConstraintManager.cpp15 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { in CreateZ3ConstraintManager()
HDProgramState.cpp188 ExprEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl() local
HDRegionStore.cpp374 ExprEngine &Eng = StateMgr.getOwningEngine(); in RegionStoreManager() local
HDRangeConstraintManager.cpp2261 ExprEngine *Eng) { in CreateRangeConstraintManager()
/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDCheckerContext.h25 ExprEngine &Eng; variable
46 : Eng(eng), in Eng() function
HDCoreEngine.h197 const CoreEngine &Eng; variable
482 CoreEngine& Eng; variable
535 CoreEngine& Eng; variable
/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/
HDCheckerManager.h251 ExprEngine &Eng) { in runCheckersForPreStmt()
279 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
297 ExprEngine &Eng) { in runCheckersForObjCMessageNil()
311 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
HDChecker.h227 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis()
/freebsd-14-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Frontend/
HDAnalysisConsumer.cpp721 ExprEngine Eng(CTU, *Mgr, VisitedCallees, &FunctionSummaries, IMode); in RunPathSensitiveChecks() local
/freebsd-14-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugReporter.h680 ExprEngine& Eng; variable