Home
last modified time | relevance | path

Searched refs:ExprEngine (Results 1 – 23 of 23) sorted by relevance

/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
HDCheckerManager.h33 class ExprEngine; variable
186 ExprEngine &Eng) { in runCheckersForPreStmt()
199 ExprEngine &Eng,
207 const Stmt *S, ExprEngine &Eng,
214 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
222 ExprEngine &Eng,
232 const ObjCMethodCall &msg, ExprEngine &Eng,
237 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
243 const CallEvent &Call, ExprEngine &Eng,
252 const CallEvent &Call, ExprEngine &Eng,
[all …]
HDChecker.h214 BugReporter &BR, ExprEngine &Eng) { in _checkEndAnalysis()
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
HDCheckerManager.cpp141 ExprEngine &Eng;
148 const Stmt *s, ExprEngine &eng, bool wasInlined = false) in CheckStmtContext()
170 ExprEngine &Eng, in runCheckersForStmt()
183 ExprEngine &Eng;
189 const ObjCMethodCall &msg, ExprEngine &eng, in CheckObjCMessageContext()
209 ExprEngine &Eng, in runCheckersForObjCMessage()
226 ExprEngine &Eng;
232 const CallEvent &call, ExprEngine &eng, in CheckCallContext()
252 ExprEngine &Eng, in runCheckersForCallEvent()
269 ExprEngine &Eng;
[all …]
HDExprEngine.cpp69 ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled, in ExprEngine() function in ExprEngine
95 ExprEngine::~ExprEngine() { in ~ExprEngine()
103 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
182 ExprEngine::createTemporaryRegionIfNeeded(ProgramStateRef State, in createTemporaryRegionIfNeeded()
259 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state, in processAssume()
264 bool ExprEngine::wantsRegionChangeUpdate(ProgramStateRef state) { in wantsRegionChangeUpdate()
269 ExprEngine::processRegionChanges(ProgramStateRef state, in processRegionChanges()
278 void ExprEngine::printState(raw_ostream &Out, ProgramStateRef State, in printState()
283 void ExprEngine::processEndWorklist(bool hasWorkRemaining) { in processEndWorklist()
287 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()
[all …]
HDExprEngineCXX.cpp25 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
107 const CXXConstructExpr *CE, ExplodedNode *Pred, ExprEngine &Eng, in getRegionForConstructedObject()
177 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
299 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
344 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
370 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, in VisitCXXNewExpr()
475 void ExprEngine::VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, in VisitCXXDeleteExpr()
482 void ExprEngine::VisitCXXCatchStmt(const CXXCatchStmt *CS, in VisitCXXCatchStmt()
501 void ExprEngine::VisitCXXThisExpr(const CXXThisExpr *TE, ExplodedNode *Pred, in VisitCXXThisExpr()
HDExprEngineCallAndReturn.cpp40 void ExprEngine::processCallEnter(CallEnter CE, ExplodedNode *Pred) { in processCallEnter()
159 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, in removeDeadOnEndOfFunction()
218 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, in examineStackFrames()
416 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
482 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred, in VisitCallExpr()
510 void ExprEngine::evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred, in evalCall()
535 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue()
574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
800 bool ExprEngine::shouldInlineCall(const CallEvent &Call, const Decl *D, in shouldInlineCall()
[all …]
HDExprEngineObjC.cpp22 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, in VisitLvalObjCIvarRefExpr()
39 void ExprEngine::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S, in VisitObjCAtSynchronizedStmt()
45 void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, in VisitObjCForCollectionStmt()
135 void ExprEngine::VisitObjCMessage(const ObjCMessageExpr *ME, in VisitObjCMessage()
HDExprEngineC.cpp22 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B, in VisitBinaryOperator()
187 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr()
227 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast()
410 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, in VisitCompoundLiteralExpr()
443 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
516 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred, in VisitLogicalExpr()
585 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
634 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
696 void ExprEngine::
715 void ExprEngine::
[all …]
HDBugReporterVisitors.cpp297 ExprEngine &Eng = BRC.getBugReporter().getEngine(); in visitNodeInitial()
334 ExprEngine &Eng = BRC.getBugReporter().getEngine(); in visitNodeMaybeUnsuppress()
1517 ExprEngine &Eng = BRC.getBugReporter().getEngine(); in getEndPath()
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Frontend/
HDAnalysisConsumer.cpp248 ExprEngine::InliningModes IMode) { in DisplayFunction()
262 case ExprEngine::Inline_Minimal: in DisplayFunction()
265 case ExprEngine::Inline_Regular: in DisplayFunction()
310 ExprEngine::InliningModes
324 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
328 ExprEngine::InliningModes IMode,
331 ExprEngine::InliningModes IMode,
436 ExprEngine::InliningModes
447 return ExprEngine::Inline_Minimal; in getInliningModeForFunction()
450 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
[all …]
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/
HDLocalCheckers.h21 class ExprEngine; variable
23 void RegisterCallInliner(ExprEngine &Eng);
/NextBSD/lib/clang/libclangstaticanalyzercore/
HDMakefile.depend152 ExprEngine.o: AttrList.inc.h
153 ExprEngine.o: Attrs.inc.h
154 ExprEngine.o: CommentCommandList.inc.h
155 ExprEngine.o: DeclNodes.inc.h
156 ExprEngine.o: DiagnosticCommonKinds.inc.h
157 ExprEngine.o: StmtNodes.inc.h
158 ExprEngine.po: AttrList.inc.h
159 ExprEngine.po: Attrs.inc.h
160 ExprEngine.po: CommentCommandList.inc.h
161 ExprEngine.po: DeclNodes.inc.h
[all …]
HDMakefile26 ExprEngine.cpp \
/NextBSD/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
HDAnalyzerStatsChecker.cpp37 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const;
43 ExprEngine &Eng) const { in checkEndAnalysis()
HDUnreachableCodeChecker.cpp40 ExprEngine &Eng) const;
55 ExprEngine &Eng) const { in checkEndAnalysis()
HDCheckerDocumentation.cpp174 ExprEngine &Eng) const {} in checkEndAnalysis()
HDDebugCheckers.cpp202 void checkEndAnalysis(ExplodedGraph &G, BugReporter &B,ExprEngine &Eng) const { in checkEndAnalysis()
HDRetainCountChecker.cpp2503 ExprEngine &Eng) const { in checkEndAnalysis()
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/BugReporter/
HDBugReporter.h46 class ExprEngine; variable
490 ExprEngine& Eng;
492 GRBugReporter(BugReporterData& d, ExprEngine& eng)
499 ExprEngine &getEngine() { return Eng; }
HDBugType.h29 class ExprEngine; variable
/NextBSD/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
HDCheckerContext.h71 ExprEngine &Eng;
88 ExprEngine &eng,
HDExprEngine.h48 class ExprEngine : public SubEngine {
100 ExprEngine(AnalysisManager &mgr, bool gcEnabled,
105 ~ExprEngine() override;
HDCoreEngine.h46 friend class ExprEngine; variable