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

/netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DSMTConstraintManager.cpp16 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, ExprEngine *Eng) { argument
H A DProgramState.cpp192 ExprEngine &Eng = Mgr.getOwningEngine(); local
H A DCheckerManager.cpp158 ExprEngine &Eng; member in struct:__anon1091::CheckStmtContext
204 ExprEngine &Eng; member in struct:__anon1092::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:__anon1093::CheckCallContext
298 runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, bool WasInlined) argument
321 ExprEngine &Eng; member in struct:__anon1094::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:__anon1095::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:__anon1096::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:__anon1097::CheckBranchConditionContext
494 runCheckersForBranchCondition(const Stmt *Condition, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng) argument
512 ExprEngine &Eng; member in struct:__anon1098::CheckNewAllocatorContext
514 CheckNewAllocatorContext(const CheckersTy &Checkers, const CXXAllocatorCall &Call, bool WasInlined, ExprEngine &Eng) argument
534 runCheckersForNewAllocator(const CXXAllocatorCall &Call, ExplodedNodeSet &Dst, ExplodedNode *Pred, ExprEngine &Eng, bool WasInlined) argument
560 ExprEngine &Eng; member in struct:__anon1099::CheckDeadSymbolsContext
587 runCheckersForDeadSymbols(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, SymbolReaper &SymReaper, const Stmt *S, ExprEngine &Eng, ProgramPoint::Kind K) argument
653 runCheckersForEvalCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng, const EvalCallOptions &CallOpts) argument
[all...]
H A DRegionStore.cpp384 ExprEngine &Eng = StateMgr.getOwningEngine(); local
/netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h24 ExprEngine &Eng; member in class:clang::ento::CheckerContext
[all...]
H A DProgramState.h468 ExprEngine *Eng; /* Can be null. */ member in class:clang::ento::ProgramStateManager
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
/netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h249 runCheckersForPreStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng) argument
262 runCheckersForPostStmt(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const Stmt *S, ExprEngine &Eng, bool wasInlined = false) argument
277 runCheckersForPreObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument
285 runCheckersForPostObjCMessage(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng, bool wasInlined = false) argument
295 runCheckersForObjCMessageNil(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const ObjCMethodCall &msg, ExprEngine &Eng) argument
311 runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src, const CallEvent &Call, ExprEngine &Eng) argument
317 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
/netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/BugReporter/
H A DBugReporter.h658 ExprEngine& Eng; member in class:clang::ento::final

Completed in 323 milliseconds