/external/clang/lib/StaticAnalyzer/Checkers/ |
D | StreamChecker.cpp | 214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); in OpenFileAux() 218 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in OpenFileAux() 246 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fread() 253 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fwrite() 261 C.getLocationContext()), state, C))) in Fseek() 264 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext()); in Fseek() 287 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ftell() 294 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Rewind() 301 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fgetpos() 308 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fsetpos() [all …]
|
D | PointerArithChecker.cpp | 159 State->getSVal(E, C.getLocationContext()).getAsRegion(); in reportPointerArithMisuse() 231 SVal SV = State->getSVal(CE, C.getLocationContext()); in checkPostStmt() 252 SVal AllocedVal = State->getSVal(NE, C.getLocationContext()); in checkPostStmt() 267 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext()); in checkPostStmt() 285 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext()); in checkPreStmt() 309 SVal Idx = State->getSVal(SubsExpr->getIdx(), C.getLocationContext()); in checkPreStmt() 328 SVal RHSVal = State->getSVal(Rhs, C.getLocationContext()); in checkPreStmt() 335 SVal LHSVal = State->getSVal(Lhs, C.getLocationContext()); in checkPreStmt()
|
D | ObjCContainersChecker.cpp | 42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext()); in getArraySym() 69 SVal SizeV = State->getSVal(Size, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE() 75 SVal ArrayRef = State->getSVal(Array, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE() 131 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext()); in checkPreStmt()
|
D | TraversalChecker.cpp | 43 const ParentMap &Parents = C.getLocationContext()->getParentMap(); in checkBranchCondition() 80 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPreCall() 97 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPostCall()
|
D | MacOSKeychainAPIChecker.cpp | 213 SVal ArgV = State->getSVal(Expr, C.getLocationContext()); in getAsPointeeSymbol() 328 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext()); in checkPreStmt() 459 C.getLocationContext()->getParent() == nullptr) in checkPostStmt() 476 State->getSVal(CE, C.getLocationContext()).getAsSymbol(); in checkPostStmt() 492 const LocationContext *LeakContext = N->getLocationContext(); in getAllocationNode() 502 const LocationContext *NContext = N->getLocationContext(); in getAllocationNode() 537 AllocNode->getLocationContext()); in generateAllocatedDataNotReleasedReport() 541 AllocNode->getLocationContext()->getDecl()); in generateAllocatedDataNotReleasedReport() 617 N->getLocationContext()); in VisitNode()
|
D | DereferenceChecker.cpp | 136 State.get(), N->getLocationContext()); in reportBug() 144 State.get(), N->getLocationContext()); in reportBug() 152 State.get(), N->getLocationContext(), true); in reportBug() 161 State.get(), N->getLocationContext(), true); in reportBug() 170 State.get(), N->getLocationContext(), true); in reportBug()
|
D | ExprInspectionChecker.cpp | 75 const LocationContext *LC = N->getLocationContext(); in getArgumentValueString() 115 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerEval() 132 const LocationContext *LC = C.getPredecessor()->getLocationContext(); in analyzerCheckInlined() 165 State = State->BindExpr(CE, C.getLocationContext(), in analyzerGetExtent()
|
/external/llvm-project/clang/lib/StaticAnalyzer/Core/ |
D | CoreEngine.cpp | 213 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEdge() 238 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge() 239 assert(L.getLocationContext()->getCFG()->getExit().empty() && in HandleBlockEdge() 263 BlockEntrance BE(Blk, Pred->getLocationContext()); in HandleBlockEdge() 279 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEntrance() 334 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit() 414 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit() 472 const LocationContext *LCtx = Pred->getLocationContext(); in HandleVirtualBaseBranch() 545 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode() 565 const auto *LocCtx = cast<StackFrameContext>(N->getLocationContext()); in generateCallExitBeginNode() [all …]
|
D | ExprEngine.cpp | 139 const LocationContext *getLocationContext() const { return Impl.second; } in getLocationContext() function in __anon13ad11740111::ConstructedObjectKey 142 return getLocationContext()->getDecl()->getASTContext(); in getASTContext() 522 if (I.first.getLocationContext() == LC) in areAllObjectsFullyConstructed() 568 if (Key.getLocationContext() != LCtx) in printObjectsUnderConstructionJson() 582 if (Key.getLocationContext() != LCtx) in printObjectsUnderConstructionJson() 629 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement() 780 Pred->getLocationContext())) { in ProcessStmt() 782 Pred->getLocationContext()); in ProcessStmt() 811 LoopExit PP(S, Pred->getLocationContext()); in ProcessLoopExit() 821 const LocationContext *LC = Pred->getLocationContext(); in ProcessInitializer() [all …]
|
D | ExprEngineC.cpp | 57 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator() 140 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitBinaryOperator() 204 Pred->getLocationContext(), in VisitBlockExpr() 238 const LocationContext *LCtx = Pred->getLocationContext(); in VisitBlockExpr() 252 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr() 312 const LocationContext *LCtx = subExprNode->getLocationContext(); in VisitCast() 331 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast() 358 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast() 557 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCompoundLiteralExpr() 609 const LocationContext *LC = N->getLocationContext(); in VisitDeclStmt() [all …]
|
D | ExprEngineObjC.cpp | 25 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr() 54 const LocationContext *LCtx = Pred->getLocationContext(); in populateObjCForDestinationSet() 114 SVal collectionV = state->getSVal(collection, Pred->getLocationContext()); in VisitObjCForCollectionStmt() 120 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt() 122 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt() 152 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); in VisitObjCMessage()
|
D | Environment.cpp | 95 const LocationContext *LCtx = Entry.getLocationContext(); in getSVal() 202 if (SymReaper.isLive(E, BlkExpr.getLocationContext())) { in removeDeadBindings() 230 const LocationContext *LC = I.first.getLocationContext(); in printJson() 255 if (I->first.getLocationContext() != LC) in printJson() 272 if (I->first.getLocationContext() != LC) in printJson()
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | CoreEngine.cpp | 302 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEdge() 308 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge() 310 assert (L.getLocationContext()->getCFG()->getExit().size() == 0 in HandleBlockEdge() 322 BlockEntrance BE(Blk, Pred->getLocationContext()); in HandleBlockEdge() 339 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEntrance() 395 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit() 467 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit() 576 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode() 596 = cast<StackFrameContext>(N->getLocationContext()); in generateCallExitBeginNode() 627 if (N->getLocationContext()->getParent()) { in enqueueEndOfFunction() [all …]
|
D | ExprEngineC.cpp | 39 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator() 131 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitBinaryOperator() 195 Pred->getLocationContext(), in VisitBlockExpr() 230 originalV = State->getSVal(copyExpr, Pred->getLocationContext()); in VisitBlockExpr() 242 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr() 260 const LocationContext *LCtx = subExprNode->getLocationContext(); in VisitCast() 279 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast() 306 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast() 449 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCompoundLiteralExpr() 497 const LocationContext *LC = N->getLocationContext(); in VisitDeclStmt() [all …]
|
D | ExprEngine.cpp | 291 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in processCFGElement() 437 if (shouldRemoveDeadBindings(AMgr, S, Pred, Pred->getLocationContext())){ in ProcessStmt() 438 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext()); in ProcessStmt() 466 cast<StackFrameContext>(Pred->getLocationContext()); in ProcessInitializer() 583 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessNewAllocator() 597 SVal dest = state->getLValue(varDecl, Pred->getLocationContext()); in ProcessAutomaticObjDtor() 613 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessDeleteDtor() 640 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessBaseDtor() 661 const LocationContext *LCtx = Pred->getLocationContext(); in ProcessMemberDtor() 859 state = state->BindExpr(S, Pred->getLocationContext(), in Visit() [all …]
|
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() 495 State = State->BindExpr(CNE, Pred->getLocationContext(), in VisitCXXNewExpr() 547 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXCatchStmt() 562 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXThisExpr() [all …]
|
D | ExprEngineObjC.cpp | 26 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr() 81 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt() 84 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt() 97 const LocationContext *LCtx = Pred->getLocationContext(); in VisitObjCForCollectionStmt() 140 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); in VisitObjCMessage()
|
D | BugReporterVisitors.cpp | 203 SVal RetVal = State->getSVal(S, Node->getLocationContext()); in addVisitorIfNecessary() 236 if (N->getLocationContext() != StackFrame) in visitNodeInitial() 446 const LocationContext *LCtx = N->getLocationContext(); in isInitializationOfVar() 566 SVal V = State->getSVal(S, PS->getLocationContext()); in VisitNode() 700 P.getLocationContext()); in VisitNode() 833 const LocationContext *CurLC =Succ->getLocationContext(); in VisitNode() 834 const LocationContext *ReportLC = BR.getErrorNode()->getLocationContext(); in VisitNode() 894 return MRMgr.getVarRegion(VD, N->getLocationContext()); in getLocationRegionIfReference() 1019 SVal LVal = LVState->getSVal(Inner, LVNode->getLocationContext()); in trackNullOrUndefValue() 1029 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue() [all …]
|
D | ExprEngineCallAndReturn.cpp | 78 Node->getLocation().getLocationContext()->getCurrentStackFrame(); in getLastStmt() 85 if (PP.getLocationContext()->getCurrentStackFrame() == SF) { in getLastStmt() 180 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction() 223 PrettyStackTraceLocationContext CrashInfo(CEBNode->getLocationContext()); in processCallExit() 225 CEBNode->getLocationContext()->getCurrentStackFrame(); in processCallExit() 249 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit() 409 const LocationContext *CurLC = Pred->getLocationContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() 480 = CEMgr.getSimpleCall(CE, Pred->getState(), Pred->getLocationContext()); in VisitCallExpr() 566 State = bindReturnValue(Call, Pred->getLocationContext(), State); in conservativeEvalCall() 581 const LocationContext *CurLC = Pred->getLocationContext(); in mayInlineCallKind() [all …]
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | CheckerContext.h | 138 const LocationContext *getLocationContext() const { in getLocationContext() function 139 return Pred->getLocationContext(); in getLocationContext() 147 bool inTopFrame() const { return getLocationContext()->inTopFrame(); } in inTopFrame() 174 return Pred->getLocationContext()->getAnalysisDeclContext(); in getCurrentAnalysisDeclContext() 196 return getState()->getSVal(S, getLocationContext()); in getSVal()
|
D | ExplodedGraph.h | 134 const LocationContext *getLocationContext() const { in getLocationContext() function 135 return getLocation().getLocationContext(); in getLocationContext() 139 return getLocationContext()->getCurrentStackFrame(); in getStackFrame() 142 const Decl &getCodeDecl() const { return *getLocationContext()->getDecl(); } in getCodeDecl() 144 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG() 146 ParentMap &getParentMap() const {return getLocationContext()->getParentMap();} in getParentMap() 150 return *getLocationContext()->getAnalysis<T>(); in getAnalysis()
|
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
D | InvalidatedIteratorChecker.cpp | 82 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt() 93 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt() 103 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt() 113 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
|
D | TraversalChecker.cpp | 42 const ParentMap &Parents = C.getLocationContext()->getParentMap(); in checkBranchCondition() 84 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPreCall() 101 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPostCall()
|
D | SmartPtrModeling.cpp | 204 Call.getOriginExpr(), C.getLocationContext(), in evalCall() 377 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease() 454 CallExpr, C.getLocationContext(), Call.getResultType(), C.blockCount()); in handleGet() 458 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet() 579 const LocationContext *LC = C.getLocationContext(); in handleBoolConversion() 586 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion() 592 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion() 599 State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion() 611 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion() 622 NotNullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
|
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | ExplodedGraph.h | 146 const LocationContext *getLocationContext() const { in getLocationContext() function 147 return getLocation().getLocationContext(); in getLocationContext() 154 const Decl &getCodeDecl() const { return *getLocationContext()->getDecl(); } in getCodeDecl() 156 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG() 161 return getLocationContext()->getParentMap(); in getParentMap() 166 return *getLocationContext()->getAnalysis<T>(); in getAnalysis() 178 return getState()->getSVal(S, getLocationContext()); in getSVal()
|