Home
last modified time | relevance | path

Searched refs:getLocationContext (Results 1 – 25 of 63) sorted by relevance

123

/external/clang/lib/StaticAnalyzer/Core/
DExprEngineCXX.cpp43 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
47 SVal V = state->getSVal(tempExpr, Pred->getLocationContext()); in CreateCXXTemporaryObject()
103 Pred->getLocationContext()); in VisitCXXConstructExpr()
108 AMgr.getStackFrame(CD, Pred->getLocationContext(), in VisitCXXConstructExpr()
116 CallEnter Loc(E, SFC, Pred->getLocationContext()); in VisitCXXConstructExpr()
138 const LocationContext *LC = Pred->getLocationContext(); in VisitCXXConstructExpr()
161 getStackFrame(Pred->getLocationContext(), S, in VisitCXXDestructor()
166 CallEnter PP(S, SFC, Pred->getLocationContext()); in VisitCXXDestructor()
178 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewExpr()
190 state = state->BindExpr(CNE, Pred->getLocationContext(), in VisitCXXNewExpr()
[all …]
DExprEngineC.cpp38 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator()
101 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitBinaryOperator()
166 Pred->getLocationContext()); in VisitBlockExpr()
171 Pred->getState()->BindExpr(BE, Pred->getLocationContext(), in VisitBlockExpr()
191 const LocationContext *LCtx = subExprNode->getLocationContext(); in VisitCast()
232 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
268 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
279 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
289 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
345 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
[all …]
DExprEngineObjC.cpp26 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr()
82 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
85 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
97 const LocationContext *LCtx = Pred->getLocationContext(); in VisitObjCForCollectionStmt()
152 SVal recVal = state->getSVal(Receiver, Pred->getLocationContext()); in VisitObjCMessage()
247 ReturnValue = state->getSVal(ReceiverE, Pred->getLocationContext()); in evalObjCMessage()
258 const LocationContext *LCtx = Pred->getLocationContext(); in evalObjCMessage()
263 const LocationContext *LCtx = Pred->getLocationContext(); in evalObjCMessage()
DCoreEngine.cpp288 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEdge()
294 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge()
296 assert (L.getLocationContext()->getCFG()->getExit().size() == 0 in HandleBlockEdge()
308 BlockEntrance BE(Blk, Pred->getLocationContext()); in HandleBlockEdge()
325 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEntrance()
371 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
443 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
517 PostStmt Loc(St, N->getLocationContext()); in enqueueStmtNode()
537 = cast<StackFrameContext>(N->getLocationContext()); in generateCallExitNode()
569 if (N->getLocationContext()->getParent()) { in enqueueEndOfFunction()
[all …]
DExprEngineCallAndReturn.cpp42 const LocationContext *callerCtx = Pred->getLocationContext(); in processCallEnter()
75 Pred->getLocationContext()->getCurrentStackFrame(); in processCallExit()
81 const LocationContext *LCtx = Pred->getLocationContext(); in processCallExit()
93 state = state->BindExpr(CCE, Pred->getLocationContext(), ThisV); in processCallExit()
142 if (getNumberStackFrames(Pred->getLocationContext()) in shouldInlineDecl()
187 state->getSVal(Callee, Pred->getLocationContext()).getAsFunctionDecl(); in InlineCall()
202 Pred->getLocationContext()->getCurrentStackFrame(); in InlineCall()
208 CallEnter Loc(CE, CalleeSFC, Pred->getLocationContext()); in InlineCall()
429 SVal L = state->getSVal(Callee, Pred->getLocationContext()); in VisitCallExpr()
444 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCallExpr()
DExprEngine.cpp279 const LocationContext *LC = EntryNode->getLocationContext(); in ProcessStmt()
367 cast<StackFrameContext>(Pred->getLocationContext()); in ProcessInitializer()
383 SVal InitVal = state->getSVal(BMI->getInit(), Pred->getLocationContext()); in ProcessInitializer()
449 Loc dest = state->getLValue(varDecl, Pred->getLocationContext()); in ProcessAutomaticObjDtor()
481 if (S != currentStmt && Pred->getLocationContext()->getCFG()->isBlkExpr(S)) in Visit()
550 state = state->BindExpr(S, Pred->getLocationContext(), in Visit()
574 Bldr.generateNode(S, Pred, state->BindExpr(S, Pred->getLocationContext(), in Visit()
649 const LocationContext *LCtx = N->getLocationContext(); in Visit()
691 state->BindExpr(B, Pred->getLocationContext(), in Visit()
693 Pred->getLocationContext()))); in Visit()
[all …]
DEnvironment.cpp45 const LocationContext *LCtx = Entry.getLocationContext(); in getSVal()
140 return EnvironmentEntry(S, E.getLocationContext()); in MakeLocation()
216 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) { in removeDeadBindings()
245 if (EBMapRef.lookup(EnvironmentEntry(S, En.getLocationContext()))) in removeDeadBindings()
290 Out << " (" << (void*) En.getLocationContext() << ',' << (void*) S << ") "; in printAux()
DBugReporterVisitors.cpp320 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext()); in getTrackNullOrUndefValueVisitor()
331 SVal V = state->getSValAsScalarOrLoc(S, N->getLocationContext()); in getTrackNullOrUndefValueVisitor()
381 const SVal &V = state->getSVal(Receiver, N->getLocationContext()); in VisitNode()
395 N->getLocationContext()); in VisitNode()
417 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext()); in registerStatementVarDecls()
420 SVal V = state->getSVal(S, N->getLocationContext()); in registerStatementVarDecls()
568 const LocationContext *LCtx = N->getLocationContext(); in patternMatch()
686 const LocationContext *LCtx = N->getLocationContext(); in VisitTrueTest()
719 const LocationContext *LCtx = N->getLocationContext(); in VisitConditionVariable()
767 const LocationContext *LCtx = N->getLocationContext(); in VisitTrueTest()
DCheckerManager.cpp157 Pred->getLocationContext(), checkFn.Checker); in runChecker()
197 K, Pred->getLocationContext(), in runChecker()
245 Pred->getLocationContext(), in runChecker()
287 Pred->getLocationContext(), checkFn.Checker); in runChecker()
328 Pred->getLocationContext(), in runCheckersForEndPath()
351 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(), in runChecker()
396 Pred->getLocationContext(), checkFn.Checker); in runChecker()
511 Pred->getLocationContext(), EI->Checker); in runCheckersForEvalCall()
DPathDiagnostic.cpp343 return PathDiagnosticLocation(S, SMng, P.getLocationContext()); in create()
355 const LocationContext *LC = P.getLocationContext(); in createEndOfPath()
367 return createDeclEnd(N->getLocationContext(), SM); in createEndOfPath()
503 return PathDiagnosticLocation(SP->getStmt(), SM, PP.getLocationContext()); in getLastStmtLoc()
515 const Decl *caller = CE.getLocationContext()->getParent()->getDecl(); in construct()
534 CE.getLocationContext()); in setCallee()
685 const LocationContext *LCtx = N->getLocationContext(); in getMessage()
/external/clang/lib/StaticAnalyzer/Checkers/
DStreamChecker.cpp224 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in OpenFileAux()
227 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in OpenFileAux()
255 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fread()
262 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fwrite()
270 C.getLocationContext()), state, C))) in Fseek()
273 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext()); in Fseek()
296 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ftell()
303 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Rewind()
310 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fgetpos()
317 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fsetpos()
[all …]
DObjCSelfInitChecker.cpp154 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext()); in isInvalidSelf()
204 SVal V = state->getSVal(msg.getMessageExpr(), C.getLocationContext()); in checkPostObjCMessage()
209 CallOrObjCMessage MsgWrapper(msg, C.getState(), C.getLocationContext()); in checkPostObjCMessage()
260 CallOrObjCMessage CEWrapper(CE, C.getState(), C.getLocationContext()); in checkPreStmt()
266 CallOrObjCMessage CEWrapper(CE, C.getState(), C.getLocationContext()); in checkPostStmt()
272 CallOrObjCMessage MsgWrapper(Msg, C.getState(), C.getLocationContext()); in checkPreObjCMessage()
322 addSelfFlag(state, state->getSVal(CallExpr, C.getLocationContext()), in checkPostStmt()
DObjCContainersChecker.cpp42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext()); in getArraySym()
73 SVal SizeV = State->getSVal(Size, C.getLocationContext()); in addSizeInfo()
79 SVal ArrayRef = State->getSVal(Array, C.getLocationContext()); in addSizeInfo()
134 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext()); in checkPreStmt()
DMacOSKeychainAPIChecker.cpp228 SVal ArgV = State->getSVal(Expr, C.getLocationContext()); in getAsPointeeSymbol()
335 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); in checkPreStmt()
460 C.getLocationContext()->getParent() == 0) in checkPostStmt()
477 State->getSVal(CE, C.getLocationContext()).getAsSymbol(); in checkPostStmt()
495 const LocationContext *LC = C.getLocationContext(); in checkPreStmt()
515 const LocationContext *LeakContext = N->getLocationContext(); in getAllocationSite()
525 if (N->getLocationContext() == LeakContext) in getAllocationSite()
553 C.getSourceManager(), N->getLocationContext()); in generateAllocatedDataNotReleasedReport()
607 if (C.getLocationContext()->getParent() != 0) in checkEndPath()
675 N->getLocationContext()); in VisitNode()
DGenericTaintChecker.cpp161 return (State->isTainted(E, C.getLocationContext()) || isStdin(E, C) || in isTaintedOrPointsToTainted()
347 State = State->addTaint(CE, C.getLocationContext()); in propagateFromPre()
425 SVal AddrVal = State->getSVal(Arg->IgnoreParens(), C.getLocationContext()); in getPointedToSymbol()
517 if (State->isTainted(CE->getArg(0), C.getLocationContext()) || in preFscanf()
542 State = State->addTaint(CE, C.getLocationContext()); in postSocket()
552 SVal x = State->getSVal(CE->getArg(1), C.getLocationContext()); in postScanf()
567 return C.getState()->addTaint(CE, C.getLocationContext()); in postRetTaint()
572 SVal Val = State->getSVal(E, C.getLocationContext()); in isStdin()
639 !State->isTainted(E, C.getLocationContext())) in generateReportIfTainted()
DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext(); in evalCall()
58 RM.getAllocaRegion(CE, C.getCurrentBlockCount(), C.getLocationContext()); in evalCall()
DMallocChecker.cpp154 state->getSVal(SizeEx, C.getLocationContext()), in MallocMemAux()
426 SVal retVal = state->getSVal(CE, C.getLocationContext()); in MallocMemAux()
458 SVal retVal = state->getSVal(CE, C.getLocationContext()); in MallocUpdateRefState()
499 SVal ArgVal = state->getSVal(ArgExpr, C.getLocationContext()); in FreeMemAux()
723 const LocationContext *LCtx = C.getLocationContext(); in ReallocMem()
811 const LocationContext *LCtx = C.getLocationContext(); in CallocMem()
824 const LocationContext *LeakContext = N->getLocationContext(); in getAllocationSite()
847 if (N->getLocationContext() == LeakContext) in getAllocationSite()
882 C.getSourceManager(), N->getLocationContext()); in reportLeak()
950 if (C.getLocationContext()->getParent() != 0) in checkEndPath()
[all …]
DUnixAPIChecker.cpp103 const SVal V = state->getSVal(oflagsEx, C.getLocationContext()); in CheckOpen()
162 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckPthreadOnce()
249 SVal argVal = state->getSVal(arg, C.getLocationContext()); in BasicAllocationCheck()
277 SVal argVal = state->getSVal(arg, C.getLocationContext()); in CheckCallocZero()
DUndefCapturedBlockVarChecker.cpp62 C.getLocationContext()).getAsRegion()); in checkPostStmt()
77 const LocationContext *LC = C.getLocationContext(); in checkPostStmt()
DUndefBranchChecker.cpp63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext()); in checkBranchCondition()
97 FindUndefExpr FindIt(St, Ctx.getLocationContext()); in checkBranchCondition()
DStackAddrEscapeChecker.cpp122 SVal V = C.getState()->getSVal(RetE, C.getLocationContext()); in checkPreStmt()
136 if (SFC != C.getLocationContext()->getCurrentStackFrame()) in checkPreStmt()
161 CurSFC(CC.getLocationContext()->getCurrentStackFrame()) in checkEndPath()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExplodedGraph.h132 const LocationContext *getLocationContext() const { in getLocationContext() function
133 return getLocation().getLocationContext(); in getLocationContext()
136 const Decl &getCodeDecl() const { return *getLocationContext()->getDecl(); } in getCodeDecl()
138 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG()
140 ParentMap &getParentMap() const {return getLocationContext()->getParentMap();} in getParentMap()
144 return *getLocationContext()->getAnalysis<T>(); in getAnalysis()
DCheckerContext.h91 const LocationContext *getLocationContext() const { in getLocationContext() function
92 return Pred->getLocationContext(); in getLocationContext()
120 return Pred->getLocationContext()->getAnalysisDeclContext(); in getCurrentAnalysisDeclContext()
DCoreEngine.h206 Pred->getLocationContext()->getCurrentStackFrame(), in getCurrentBlockCount()
378 Pred->getLocationContext(), tag);
480 const LocationContext *getLocationContext() const { in getLocationContext() function
481 return Pred->getLocationContext(); in getLocationContext()
533 const LocationContext *getLocationContext() const { in getLocationContext() function
534 return Pred->getLocationContext(); in getLocationContext()
DEnvironment.h42 const LocationContext *getLocationContext() const { return second; } in getLocationContext() function
48 ID.AddPointer(E.getLocationContext()); in Profile()

123