Home
last modified time | relevance | path

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

123

/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h34 class ExprEngine; variable
190 ExprEngine &Eng) { in runCheckersForPreStmt()
203 ExprEngine &Eng,
211 const Stmt *S, ExprEngine &Eng,
218 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
226 ExprEngine &Eng,
236 ExprEngine &Eng) { in runCheckersForObjCMessageNil()
246 const ObjCMethodCall &msg, ExprEngine &Eng,
251 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
257 const CallEvent &Call, ExprEngine &Eng,
[all …]
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h50 class ExprEngine; variable
252 ExprEngine &Eng) { in runCheckersForPreStmt()
265 ExprEngine &Eng,
273 const Stmt *S, ExprEngine &Eng,
280 ExprEngine &Eng) { in runCheckersForPreObjCMessage()
288 ExprEngine &Eng,
298 ExprEngine &Eng) { in runCheckersForObjCMessageNil()
307 const ObjCMethodCall &msg, ExprEngine &Eng,
312 const CallEvent &Call, ExprEngine &Eng) { in runCheckersForPreCall()
318 const CallEvent &Call, ExprEngine &Eng,
[all …]
/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DCheckerManager.cpp158 ExprEngine &Eng;
162 const Stmt *s, ExprEngine &eng, bool wasInlined = false) in CheckStmtContext()
188 ExprEngine &Eng, in runCheckersForStmt()
204 ExprEngine &Eng;
208 const ObjCMethodCall &msg, ExprEngine &eng, in CheckObjCMessageContext()
244 ExprEngine &Eng, in runCheckersForObjCMessage()
275 ExprEngine &Eng;
278 const CallEvent &call, ExprEngine &eng, in CheckCallContext()
302 ExprEngine &Eng, in runCheckersForCallEvent()
321 ExprEngine &Eng;
[all …]
DExprEngineCallAndReturn.cpp42 void ExprEngine::processCallEnter(NodeBuilderContext& BC, CallEnter CE, in processCallEnter()
163 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, in removeDeadOnEndOfFunction()
205 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
367 bool ExprEngine::isSmall(AnalysisDeclContext *ADC) const { in isSmall()
377 bool ExprEngine::isLarge(AnalysisDeclContext *ADC) const { in isLarge()
382 bool ExprEngine::isHuge(AnalysisDeclContext *ADC) const { in isHuge()
387 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, in examineStackFrames()
430 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, in REGISTER_MAP_WITH_PROGRAMSTATE()
496 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred, in VisitCallExpr()
524 ProgramStateRef ExprEngine::finishArgumentConstruction(ProgramStateRef State, in finishArgumentConstruction()
[all …]
DExprEngine.cpp202 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU, in ExprEngine() function in ExprEngine
232 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
309 ProgramStateRef ExprEngine::createTemporaryRegionIfNeeded( in createTemporaryRegionIfNeeded()
461 ExprEngine::addObjectUnderConstruction(ProgramStateRef State, in addObjectUnderConstruction()
474 ExprEngine::getObjectUnderConstruction(ProgramStateRef State, in getObjectUnderConstruction()
482 ExprEngine::finishObjectConstruction(ProgramStateRef State, in finishObjectConstruction()
490 ProgramStateRef ExprEngine::elideDestructor(ProgramStateRef State, in elideDestructor()
500 ExprEngine::cleanupElidedDestructor(ProgramStateRef State, in cleanupElidedDestructor()
508 bool ExprEngine::isDestructorElided(ProgramStateRef State, in isDestructorElided()
515 bool ExprEngine::areAllObjectsFullyConstructed(ProgramStateRef State, in areAllObjectsFullyConstructed()
[all …]
DExprEngineObjC.cpp21 void ExprEngine::VisitLvalObjCIvarRefExpr(const ObjCIvarRefExpr *Ex, in VisitLvalObjCIvarRefExpr()
38 void ExprEngine::VisitObjCAtSynchronizedStmt(const ObjCAtSynchronizedStmt *S, in VisitObjCAtSynchronizedStmt()
57 ExprEngine::setWhetherHasMoreIteration(state, S, LCtx, hasElements); in populateObjCForDestinationSet()
83 void ExprEngine::VisitObjCForCollectionStmt(const ObjCForCollectionStmt *S, in VisitObjCForCollectionStmt()
147 void ExprEngine::VisitObjCMessage(const ObjCMessageExpr *ME, in VisitObjCMessage()
DExprEngineCXX.cpp26 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
40 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
98 SVal ExprEngine::makeZeroElementRegion(ProgramStateRef State, SVal LValue, in makeZeroElementRegion()
112 SVal ExprEngine::computeObjectUnderConstruction( in computeObjectUnderConstruction()
356 ProgramStateRef ExprEngine::updateObjectsUnderConstruction( in updateObjectsUnderConstruction()
459 void ExprEngine::handleConstructor(const Expr *E, in handleConstructor()
686 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
692 void ExprEngine::VisitCXXInheritedCtorInitExpr( in VisitCXXInheritedCtorInitExpr()
698 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
765 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
[all …]
DExprEngineC.cpp40 void ExprEngine::VisitBinaryOperator(const BinaryOperator* B, in VisitBinaryOperator()
196 void ExprEngine::VisitBlockExpr(const BlockExpr *BE, ExplodedNode *Pred, in VisitBlockExpr()
259 ProgramStateRef ExprEngine::handleLValueBitCast( in handleLValueBitCast()
285 ProgramStateRef ExprEngine::handleLVectorSplat( in handleLVectorSplat()
301 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex, in VisitCast()
551 void ExprEngine::VisitCompoundLiteralExpr(const CompoundLiteralExpr *CL, in VisitCompoundLiteralExpr()
576 void ExprEngine::VisitDeclStmt(const DeclStmt *DS, ExplodedNode *Pred, in VisitDeclStmt()
652 void ExprEngine::VisitLogicalExpr(const BinaryOperator* B, ExplodedNode *Pred, in VisitLogicalExpr()
746 void ExprEngine::VisitInitListExpr(const InitListExpr *IE, in VisitInitListExpr()
795 void ExprEngine::VisitGuardedExpr(const Expr *Ex, in VisitGuardedExpr()
[all …]
/external/clang/lib/StaticAnalyzer/Core/
DCheckerManager.cpp141 ExprEngine &Eng;
148 const Stmt *s, ExprEngine &eng, bool wasInlined = false) in CheckStmtContext()
170 ExprEngine &Eng, in runCheckersForStmt()
185 ExprEngine &Eng;
192 const ObjCMethodCall &msg, ExprEngine &eng, in CheckObjCMessageContext()
225 ExprEngine &Eng, in runCheckersForObjCMessage()
253 ExprEngine &Eng;
259 const CallEvent &call, ExprEngine &eng, in CheckCallContext()
279 ExprEngine &Eng, in runCheckersForCallEvent()
296 ExprEngine &Eng;
[all …]
DExprEngine.cpp71 ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled, in ExprEngine() function in ExprEngine
97 ExprEngine::~ExprEngine() { in ~ExprEngine()
105 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
184 ExprEngine::createTemporaryRegionIfNeeded(ProgramStateRef State, in createTemporaryRegionIfNeeded()
261 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state, in processAssume()
266 bool ExprEngine::wantsRegionChangeUpdate(ProgramStateRef state) { in wantsRegionChangeUpdate()
271 ExprEngine::processRegionChanges(ProgramStateRef state, in processRegionChanges()
280 void ExprEngine::printState(raw_ostream &Out, ProgramStateRef State, in printState()
285 void ExprEngine::processEndWorklist(bool hasWorkRemaining) { in processEndWorklist()
289 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred, in processCFGElement()
[all …]
DExprEngineCXX.cpp25 void ExprEngine::CreateCXXTemporaryObject(const MaterializeTemporaryExpr *ME, in CreateCXXTemporaryObject()
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
107 ExprEngine::getRegionForConstructedObject(const CXXConstructExpr *CE, in getRegionForConstructedObject()
178 ExprEngine::findElementDirectlyInitializedByCurrentConstructor() { in findElementDirectlyInitializedByCurrentConstructor()
204 ExprEngine::findDirectConstructorForCurrentCFGElement() { in findDirectConstructorForCurrentCFGElement()
233 void ExprEngine::VisitCXXConstructExpr(const CXXConstructExpr *CE, in VisitCXXConstructExpr()
355 void ExprEngine::VisitCXXDestructor(QualType ObjectType, in VisitCXXDestructor()
400 void ExprEngine::VisitCXXNewAllocatorCall(const CXXNewExpr *CNE, in VisitCXXNewAllocatorCall()
426 void ExprEngine::VisitCXXNewExpr(const CXXNewExpr *CNE, ExplodedNode *Pred, in VisitCXXNewExpr()
531 void ExprEngine::VisitCXXDeleteExpr(const CXXDeleteExpr *CDE, in VisitCXXDeleteExpr()
[all …]
DExprEngineCallAndReturn.cpp40 void ExprEngine::processCallEnter(NodeBuilderContext& BC, CallEnter CE, in processCallEnter()
162 void ExprEngine::removeDeadOnEndOfFunction(NodeBuilderContext& BC, in removeDeadOnEndOfFunction()
221 void ExprEngine::processCallExit(ExplodedNode *CEBNode) { in processCallExit()
359 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, in examineStackFrames()
404 bool ExprEngine::inlineCall(const CallEvent &Call, const Decl *D, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
470 void ExprEngine::VisitCallExpr(const CallExpr *CE, ExplodedNode *Pred, in VisitCallExpr()
498 void ExprEngine::evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred, in evalCall()
523 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue()
562 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
789 bool ExprEngine::shouldInlineCall(const CallEvent &Call, const Decl *D, in shouldInlineCall()
[all …]
DExprEngineObjC.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()
/external/clang/lib/StaticAnalyzer/Frontend/
DAnalysisConsumer.cpp247 ExprEngine::InliningModes IMode) { in DisplayFunction()
261 case ExprEngine::Inline_Minimal: in DisplayFunction()
264 case ExprEngine::Inline_Regular: in DisplayFunction()
309 ExprEngine::InliningModes
323 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
327 ExprEngine::InliningModes IMode,
330 ExprEngine::InliningModes IMode,
439 ExprEngine::InliningModes
450 return ExprEngine::Inline_Minimal; in getInliningModeForFunction()
453 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
[all …]
/external/llvm-project/clang/lib/StaticAnalyzer/Frontend/
DAnalysisConsumer.cpp179 ExprEngine::InliningModes IMode) { in DisplayFunction()
193 case ExprEngine::Inline_Minimal: in DisplayFunction()
196 case ExprEngine::Inline_Regular: in DisplayFunction()
229 ExprEngine::InliningModes
243 ExprEngine::InliningModes IMode = ExprEngine::Inline_Minimal,
247 ExprEngine::InliningModes IMode,
410 ExprEngine::InliningModes
419 return ExprEngine::Inline_Minimal; in getInliningModeForFunction()
422 return ExprEngine::Inline_Regular; in getInliningModeForFunction()
642 ExprEngine::InliningModes IMode, in HandleCode()
[all …]
/external/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
DLocalCheckers.h20 class ExprEngine; variable
22 void RegisterCallInliner(ExprEngine &Eng);
/external/clang/include/clang/StaticAnalyzer/Checkers/
DLocalCheckers.h21 class ExprEngine; variable
23 void RegisterCallInliner(ExprEngine &Eng);
/external/llvm-project/clang/test/Analysis/exploded-graph-rewriter/
Dprogram_points.dot74 // CHECK-SAME: <font color="crimson">ExprEngine : Clean Node</font>
93 "tag": "ExprEngine : Clean Node",
121 "tag": "ExprEngine : Clean Node",
151 // CHECK-SAME: <font color="crimson">ExprEngine : Clean Node</font>
171 "tag": "ExprEngine : Clean Node",
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DConstraintManager.h35 class ExprEngine; variable
196 ExprEngine *exprengine);
200 ExprEngine *exprengine);
DSimpleConstraintManager.h24 ExprEngine *EE;
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager()
/external/clang/test/SemaTemplate/
Dinstantiate-member-expr.cpp12 class ExprEngine { class
25 void f(ExprEngine& Eng) { in f()
/external/llvm-project/clang/test/SemaTemplate/
Dinstantiate-member-expr.cpp12 class ExprEngine { class
25 void f(ExprEngine& Eng) { in f()
/external/llvm-project/clang/unittests/StaticAnalyzer/
DReusables.h55 ExprEngine Eng;
66 Eng(CTU, AMgr, &VisitedCallees, &FS, ExprEngine::Inline_Regular) {} in ExprEngineConsumer()
/external/clang/docs/analyzer/
DIPA.txt18 instance methods when ExprEngine is confident about the dynamic type of the
118 ExprEngine::inlineCall and ExprEngine::processCallExit.
132 2. ExprEngine takes over (in processCallExit) and finds the return value of the
158 ReplayWithoutInlining bit added to it (ExprEngine::replayWithoutInlining). The
185 processed by the ExprEngine. Thus, if the CFG was built without nodes for
191 - In C++, ExprEngine does not inline custom implementations of operator 'new'
258 parlance), which ExprEngine uses to decide whether or not the call should be
287 ExprEngine::BifurcateCall implements the -analyzer-config ipa=dynamic-bifurcate
291 (RuntimeDefinition::mayHaveOtherDefinitions() evaluates to TRUE), ExprEngine
300 called. When this mode is set, ExprEngine uses the Decl from
[all …]
/external/llvm-project/clang/docs/analyzer/developer-docs/
DIPA.rst18 instance methods when ExprEngine is confident about the dynamic type of the
125 ExprEngine::inlineCall and ExprEngine::processCallExit.
139 2. ExprEngine takes over (in processCallExit) and finds the return value of the
165 ReplayWithoutInlining bit added to it (ExprEngine::replayWithoutInlining). The
192 processed by the ExprEngine. Thus, if the CFG was built without nodes for
198 - In C++, ExprEngine does not inline custom implementations of operator 'new'
267 parlance), which ExprEngine uses to decide whether or not the call should be
297 ExprEngine::BifurcateCall implements the ``-analyzer-config ipa=dynamic-bifurcate``
301 (RuntimeDefinition::mayHaveOtherDefinitions() evaluates to TRUE), ExprEngine
310 called. When this mode is set, ExprEngine uses the Decl from
[all …]

123