| /external/clang/include/clang/Analysis/ |
| D | AnalysisContext.h | 39 class LocationContext; variable
183 const StackFrameContext *getStackFrame(LocationContext const *Parent,
189 getBlockInvocationContext(const LocationContext *parent,
210 class LocationContext : public llvm::FoldingSetNode {
221 const LocationContext *Parent;
224 LocationContext(ContextKind k, AnalysisDeclContext *ctx, in LocationContext() function
225 const LocationContext *parent) in LocationContext()
229 virtual ~LocationContext();
235 const LocationContext *getParent() const { return Parent; } in getParent()
237 bool isParentOf(const LocationContext *LC) const;
[all …]
|
| D | ProgramPoint.h | 35 class LocationContext; variable
71 llvm::PointerIntPair<const LocationContext *, 2, unsigned> L;
79 const LocationContext *l,
93 const LocationContext *l,
155 const LocationContext *getLocationContext() const { in getLocationContext()
189 const LocationContext *LC,
195 BlockEntrance(const CFGBlock *B, const LocationContext *L,
220 BlockExit(const CFGBlock *B, const LocationContext *L) in BlockExit()
241 StmtPoint(const Stmt *S, const void *p2, Kind k, const LocationContext *L, in StmtPoint()
265 PreStmt(const Stmt *S, const LocationContext *L, const ProgramPointTag *tag,
[all …]
|
| /external/clang/lib/Analysis/ |
| D | AnalysisDeclContext.cpp | 307 AnalysisDeclContext::getStackFrame(LocationContext const *Parent, const Stmt *S, in getStackFrame()
313 AnalysisDeclContext::getBlockInvocationContext(const LocationContext *parent, in getBlockInvocationContext()
330 void LocationContext::ProfileCommon(llvm::FoldingSetNodeID &ID, in ProfileCommon()
333 const LocationContext *parent, in ProfileCommon()
360 const LocationContext *parent, in getLocationContext()
377 const LocationContext *parent, in getStackFrame()
394 const LocationContext *parent, in getScope()
401 const LocationContext *parent, in getBlockInvocationContext()
421 const StackFrameContext *LocationContext::getCurrentStackFrame() const { in getCurrentStackFrame()
422 const LocationContext *LC = this; in getCurrentStackFrame()
[all …]
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | CallEvent.h | 119 const LocationContext *LCtx;
143 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx) in CallEvent()
146 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx) in CallEvent()
188 const LocationContext *getLocationContext() const { in getLocationContext()
391 const LocationContext *LCtx) in AnyFunctionCall()
394 const LocationContext *LCtx) in AnyFunctionCall()
441 const LocationContext *LCtx) in SimpleFunctionCall()
477 const LocationContext *LCtx) in BlockCall()
584 const LocationContext *LCtx) in CXXInstanceCall()
587 const LocationContext *LCtx) in CXXInstanceCall()
[all …]
|
| D | ProgramState.h | 220 const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const;
228 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
261 unsigned BlockCount, const LocationContext *LCtx,
268 unsigned BlockCount, const LocationContext *LCtx,
279 Loc getLValue(const VarDecl *D, const LocationContext *LC) const;
282 const LocationContext *LC) const;
297 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
299 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
343 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx,
355 bool isTainted(const Stmt *S, const LocationContext *LCtx,
[all …]
|
| D | SValBuilder.h | 146 const LocationContext *LCtx,
154 const LocationContext *LCtx,
174 const LocationContext *LCtx,
178 const LocationContext *LCtx,
183 const LocationContext *LCtx,
190 const LocationContext *LCtx,
203 const LocationContext *locContext,
|
| D | ExprEngine.h | 108 bool ExecuteWorkList(const LocationContext *L, unsigned Steps = 150000) {
116 bool ExecuteWorkListWithInitialState(const LocationContext *L, unsigned Steps, in ExecuteWorkListWithInitialState()
157 ProgramStateRef getInitialState(const LocationContext *InitLoc) override;
188 const Stmt *ReferenceStmt, const LocationContext *LC,
538 const LocationContext *LCtx,
569 void examineStackFrames(const Decl *D, const LocationContext *LCtx,
590 bool replayWithoutInlining(ExplodedNode *P, const LocationContext *CalleeLC);
604 const LocationContext *LC,
|
| D | Store.h | 81 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
87 virtual Loc getLValueVar(const VarDecl *VD, const LocationContext *LC) { in getLValueVar()
92 const LocationContext *LC) { in getLValueCompoundLiteral()
187 const LocationContext *LCtx,
|
| D | Environment.h | 37 EnvironmentEntry(const Stmt *s, const LocationContext *L);
40 const LocationContext *getLocationContext() const { return second; } in getLocationContext()
|
| D | SymbolManager.h | 158 const LocationContext *LCtx;
162 SymbolConjured(SymbolID sym, const Stmt *s, const LocationContext *lctx, in SymbolConjured()
178 QualType T, unsigned Count, const LocationContext *LCtx, in Profile()
498 const LocationContext *LCtx,
504 const LocationContext *LCtx,
592 const LocationContext *getLocationContext() const { return LCtx; } in getLocationContext()
596 bool isLive(const Stmt *ExprVal, const LocationContext *LCtx) const;
|
| D | MemRegion.h | 32 class LocationContext; variable
634 const LocationContext *LC; // Can be null */
639 BlockDataRegion(const BlockTextRegion *bc, const LocationContext *lc, in BlockDataRegion()
694 const LocationContext *, unsigned,
1182 const LocationContext *LC);
1188 const LocationContext *LC);
1193 const LocationContext *LC);
1207 const VarRegion* getVarRegion(const VarDecl *D, const LocationContext *LC);
1245 LocationContext const *LC);
1274 const LocationContext *lc,
|
| D | SubEngine.h | 24 class LocationContext; variable
48 virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0;
|
| D | CoreEngine.h | 122 bool ExecuteWorkList(const LocationContext *L, unsigned Steps,
125 bool ExecuteWorkListWithInitialState(const LocationContext *L,
182 const LocationContext *LC;
486 const LocationContext *getLocationContext() const { in getLocationContext()
539 const LocationContext *getLocationContext() const { in getLocationContext()
|
| D | LoopWidening.h | 30 const LocationContext *LCtx,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | PrettyStackTraceLocationContext.h | 30 const LocationContext *LCtx;
32 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) { in PrettyStackTraceLocationContext()
|
| D | ExprEngineCXX.cpp | 31 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
56 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
109 const LocationContext *LCtx = Pred->getLocationContext(); in getRegionForConstructedObject()
236 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXConstructExpr()
361 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXDestructor()
404 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewAllocatorCall()
434 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewExpr()
547 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXCatchStmt()
562 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXThisExpr()
575 const LocationContext *LocCtxt = Pred->getLocationContext(); in VisitLambdaExpr()
|
| D | ExprEngineC.cpp | 39 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator()
131 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitBinaryOperator()
260 const LocationContext *LCtx = subExprNode->getLocationContext(); in VisitCast()
279 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
306 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
438 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCompoundLiteralExpr()
486 const LocationContext *LC = N->getLocationContext(); in VisitDeclStmt()
616 const LocationContext *LCtx = Pred->getLocationContext(); in VisitInitListExpr()
668 const LocationContext *LCtx = Pred->getLocationContext(); in VisitGuardedExpr()
813 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitUnaryOperator()
[all …]
|
| D | ExprEngine.cpp | 104 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) { in getInitialState()
184 const LocationContext *LC, in createTemporaryRegionIfNeeded()
318 const LocationContext *LC) { in shouldRemoveDeadBindings()
344 const LocationContext *LC, in removeDead()
582 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessNewAllocator()
612 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessDeleteDtor()
639 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessBaseDtor()
660 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessMemberDtor()
955 const LocationContext *LCtx = Pred->getLocationContext(); in Visit()
991 const LocationContext *LCtx = N->getLocationContext(); in Visit()
[all …]
|
| D | ProgramState.cpp | 141 const LocationContext *LCtx, in invalidateRegions()
158 const LocationContext *LCtx, in invalidateRegions()
171 const LocationContext *LCtx, in invalidateRegionsImpl()
291 const LocationContext *LCtx, in BindExpr()
364 ProgramStateRef ProgramStateManager::getInitialState(const LocationContext *InitLoc) { in getInitialState()
652 const LocationContext *LCtx, in addTaint()
687 bool ProgramState::isTainted(const Stmt *S, const LocationContext *LCtx, in isTainted()
|
| D | ExprEngineCallAndReturn.cpp | 177 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
246 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit()
356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, in examineStackFrames()
421 const LocationContext *CurLC = Pred->getLocationContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
423 const LocationContext *ParentOfCallee = CallerSFC; in REGISTER_TRAIT_WITH_PROGRAMSTATE()
537 const LocationContext *LCtx, in bindReturnValue()
594 const LocationContext *CurLC = Pred->getLocationContext(); in mayInlineCallKind()
|
| D | SValBuilder.cpp | 114 const LocationContext *LCtx, in conjureSymbolVal()
132 const LocationContext *LCtx, in conjureSymbolVal()
151 const LocationContext *LCtx, in conjureSymbolVal()
170 const LocationContext *LCtx, in getConjuredHeapSymbolVal()
222 const LocationContext *locContext, in getBlockPointer()
|
| D | Environment.cpp | 54 EnvironmentEntry::EnvironmentEntry(const Stmt *S, const LocationContext *L) in EnvironmentEntry()
72 const LocationContext *LCtx = Entry.getLocationContext(); in getSVal()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | ExprInspectionChecker.cpp | 68 const LocationContext *LC = N->getLocationContext(); in getArgumentValueString()
96 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerEval()
127 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerCheckInlined()
|
| D | TraversalChecker.cpp | 74 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPreCall()
91 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPostCall()
|
| D | UndefBranchChecker.cpp | 31 const LocationContext *LCtx;
33 FindUndefExpr(ProgramStateRef S, const LocationContext *L) in FindUndefExpr()
|