| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
92 : Eng(eng),
103 return Eng.getAnalysisManager();
107 return Eng.getConstraintManager();
111 return Eng.getStoreManager();
131 return Eng.getContext();
135 return Eng.getContext().getLangOpts();
150 return Eng.getBugReporter()
[all...] |
| ProgramState.h | 449 /// Eng - The SubEngine that owns this state manager.
450 SubEngine *Eng; /* Can be null. */
519 SubEngine* getOwningEngine() { return Eng; }
|
| CoreEngine.h | 183 const CoreEngine &Eng;
187 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); }
195 return Eng.WList->getBlockCounter().getNumVisited(
448 CoreEngine& Eng;
456 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng)
457 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {}
495 CoreEngine& Eng;
502 const Expr *condition, CoreEngine* eng)
503 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
92 : Eng(eng),
103 return Eng.getAnalysisManager();
107 return Eng.getConstraintManager();
111 return Eng.getStoreManager();
131 return Eng.getContext();
135 return Eng.getContext().getLangOpts();
150 return Eng.getBugReporter()
[all...] |
| ProgramState.h | 448 /// Eng - The SubEngine that owns this state manager.
449 SubEngine *Eng; /* Can be null. */
518 SubEngine* getOwningEngine() { return Eng; }
|
| CoreEngine.h | 184 const CoreEngine &Eng;
188 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); }
196 return Eng.WList->getBlockCounter().getNumVisited(
449 CoreEngine& Eng;
457 const Expr *e, const CFGBlock *dispatch, CoreEngine* eng)
458 : Eng(*eng), Src(src), DispatchBlock(*dispatch), E(e), Pred(pred) {}
496 CoreEngine& Eng;
503 const Expr *condition, CoreEngine* eng)
504 : Eng(*eng), Src(src), Condition(condition), Pred(pred) {
[all...] |
| /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
92 : Eng(eng),
103 return Eng.getAnalysisManager();
107 return Eng.getConstraintManager();
111 return Eng.getStoreManager();
131 return Eng.getContext();
135 return Eng.getContext().getLangOpts();
150 return Eng.getBugReporter()
[all...] |
| ProgramState.h | 448 /// Eng - The SubEngine that owns this state manager.
449 SubEngine *Eng; /* Can be null. */
518 SubEngine* getOwningEngine() { return Eng; }
|
| /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
92 : Eng(eng),
103 return Eng.getAnalysisManager();
107 return Eng.getConstraintManager();
111 return Eng.getStoreManager();
131 return Eng.getContext();
135 return Eng.getContext().getLangOpts();
150 return Eng.getBugReporter()
[all...] |
| ProgramState.h | 448 /// Eng - The SubEngine that owns this state manager.
449 SubEngine *Eng; /* Can be null. */
518 SubEngine* getOwningEngine() { return Eng; }
|
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
92 : Eng(eng),
103 return Eng.getAnalysisManager();
107 return Eng.getConstraintManager();
111 return Eng.getStoreManager();
131 return Eng.getContext();
135 return Eng.getContext().getLangOpts();
150 return Eng.getBugReporter()
[all...] |
| ProgramState.h | 448 /// Eng - The SubEngine that owns this state manager.
449 SubEngine *Eng; /* Can be null. */
518 SubEngine* getOwningEngine() { return Eng; }
|
| /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
92 : Eng(eng),
103 return Eng.getAnalysisManager();
107 return Eng.getConstraintManager();
111 return Eng.getStoreManager();
131 return Eng.getContext();
135 return Eng.getContext().getLangOpts();
150 return Eng.getBugReporter()
[all...] |
| ProgramState.h | 448 /// Eng - The SubEngine that owns this state manager.
449 SubEngine *Eng; /* Can be null. */
518 SubEngine* getOwningEngine() { return Eng; }
|
| /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
92 : Eng(eng),
103 return Eng.getAnalysisManager();
107 return Eng.getConstraintManager();
111 return Eng.getStoreManager();
131 return Eng.getContext();
135 return Eng.getContext().getLangOpts();
150 return Eng.getBugReporter()
[all...] |
| ProgramState.h | 448 /// Eng - The SubEngine that owns this state manager.
449 SubEngine *Eng; /* Can be null. */
518 SubEngine* getOwningEngine() { return Eng; }
|
| /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
92 : Eng(eng),
103 return Eng.getAnalysisManager();
107 return Eng.getConstraintManager();
111 return Eng.getStoreManager();
131 return Eng.getContext();
135 return Eng.getContext().getLangOpts();
150 return Eng.getBugReporter()
[all...] |
| ProgramState.h | 448 /// Eng - The SubEngine that owns this state manager.
449 SubEngine *Eng; /* Can be null. */
518 SubEngine* getOwningEngine() { return Eng; }
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 71 ExprEngine &Eng;
88 ExprEngine &eng,
92 : Eng(eng),
103 return Eng.getAnalysisManager();
107 return Eng.getConstraintManager();
111 return Eng.getStoreManager();
131 return Eng.getContext();
135 return Eng.getContext().getLangOpts();
150 return Eng.getBugReporter()
[all...] |
| ProgramState.h | 448 /// Eng - The SubEngine that owns this state manager.
449 SubEngine *Eng; /* Can be null. */
518 SubEngine* getOwningEngine() { return Eng; }
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 490 ExprEngine& Eng;
492 GRBugReporter(BugReporterData& d, ExprEngine& eng)
493 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
499 ExprEngine &getEngine() { return Eng; }
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CheckerManager.cpp | 97 const NodeBuilderContext &BldrCtx = checkCtx.Eng.getBuilderContext();
141 ExprEngine &Eng;
148 const Stmt *s, ExprEngine &eng, bool wasInlined = false)
149 : IsPreVisit(isPreVisit), Checkers(checkers), S(s), Eng(eng),
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
170 ExprEngine &Eng,
173 S, Eng, WasInlined);
185 ExprEngine &Eng;
192 const ObjCMethodCall &msg, ExprEngine &eng,
[all...] |
| ProgramState.cpp | 75 : Eng(SubEng), EnvMgr(alloc), GDMFactory(alloc),
177 SubEngine* Eng = Mgr.getOwningEngine();
187 if (Eng) {
198 newState = Eng->notifyCheckersOfPointerEscape(newState, IS,
204 return Eng->processRegionChanges(newState, IS, TopLevelInvalidated,
|
| /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 505 ExprEngine& Eng;
507 GRBugReporter(BugReporterData& d, ExprEngine& eng)
508 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
514 ExprEngine &getEngine() { return Eng; }
|
| /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporter.h | 505 ExprEngine& Eng;
507 GRBugReporter(BugReporterData& d, ExprEngine& eng)
508 : BugReporter(d, GRBugReporterKind), Eng(eng) {}
514 ExprEngine &getEngine() { return Eng; }
|
