Home
last modified time | relevance | path

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

1234

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp86 C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(), in evalSetErrno()
97 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal); in evalGetErrno()
108 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
112 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
125 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
129 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
131 nullptr, Call.getOriginExpr(), C.getLocationContext(), C.blockCount()); in evalSetErrnoIfErrorRange()
135 setErrnoValue(StateFailure, C.getLocationContext(), ErrnoVal, Irrelevant); in evalSetErrnoIfErrorRange()
147 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
151 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
[all …]
H A DInvalidatedIteratorChecker.cpp82 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()
H A DTraversalChecker.cpp42 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()
H A DSmartPtrModeling.cpp307 Call.getOriginExpr(), C.getLocationContext(), in evalCall()
332 *ThisRegionOpt, nullptr, State, C.getLocationContext(), in evalCall()
364 Call.getOriginExpr(), C.getLocationContext(), in evalCall()
487 const auto *LCtx = C.getLocationContext(); in handleComparisionOp()
725 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
853 const LocationContext *LC = C.getLocationContext(); in handleBoolConversion()
860 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
866 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
873 State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
885 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
[all …]
H A DDereferenceChecker.cpp187 State.get(), N->getLocationContext()); in reportBug()
195 State.get(), N->getLocationContext()); in reportBug()
203 State.get(), N->getLocationContext(), true); in reportBug()
211 State.get(), N->getLocationContext(), true); in reportBug()
219 State.get(), N->getLocationContext(), true); in reportBug()
H A DErrnoModeling.cpp143 State->getRegion(ErrnoVar, C.getLocationContext()); in checkBeginFunction()
165 nullptr, C.getLocationContext(), in checkBeginFunction()
190 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in evalCall()
238 C.getLocationContext()); in setErrnoValue()
H A DIteratorRangeChecker.cpp151 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
166 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
171 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext()); in checkPreStmt()
182 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
192 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DStreamChecker.cpp187 const LocationContext *LCtx = C.getLocationContext(); in makeRetVal()
196 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
204 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
490 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
549 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
553 State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
674 State->BindExpr(CE, C.getLocationContext(), *NMembVal); in evalFreadFwrite()
683 State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFreadFwrite()
746 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFseek()
1038 StreamOpenNode->getLocationContext()); in reportLeaks()
[all …]
H A DValistChecker.cpp227 const LocationContext *LeakContext = N->getLocationContext(); in getStartCallSite()
240 const LocationContext *NContext = N->getLocationContext(); in getStartCallSite()
290 StartCallStmt, C.getSourceManager(), StartNode->getLocationContext()); in reportLeakedVALists()
302 StartNode->getLocationContext()->getDecl()); in reportLeakedVALists()
400 N->getLocationContext()); in VisitNode()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp242 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEdge()
268 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge()
269 assert(L.getLocationContext()->getCFG()->getExit().empty() && in HandleBlockEdge()
293 BlockEntrance BE(Blk, Pred->getLocationContext()); in HandleBlockEdge()
309 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEntrance()
364 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
503 const LocationContext *LCtx = Pred->getLocationContext(); in HandleVirtualBaseBranch()
576 PostStmt Loc(CS.getStmt(), N->getLocationContext()); in enqueueStmtNode()
596 const auto *LocCtx = cast<StackFrameContext>(N->getLocationContext()); in generateCallExitBeginNode()
621 if (I->getLocationContext()->getParent()) { in enqueueEndOfFunction()
[all …]
H A DExprEngine.cpp134 return getLocationContext()->getDecl()->getASTContext(); in getASTContext()
609 if (I.first.getLocationContext() == LC) in areAllObjectsFullyConstructed()
655 if (Key.getLocationContext() != LCtx) in printObjectsUnderConstructionJson()
669 if (Key.getLocationContext() != LCtx) in printObjectsUnderConstructionJson()
980 LoopExit PP(S, Pred->getLocationContext()); in ProcessLoopExit()
990 const LocationContext *LC = Pred->getLocationContext(); in ProcessInitializer()
1243 const LocationContext *LC = Pred->getLocationContext(); in ProcessTemporaryDtor()
1264 Pred->getLocationContext()); in ProcessTemporaryDtor()
1525 S, Pred->getLocationContext(), in Visit()
2579 if (I.first.getLocationContext() == LC) { in processEndOfFunction()
[all …]
H A DExprEngineC.cpp56 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator()
139 const LocationContext *LCtx = (*I)->getLocationContext(); in VisitBinaryOperator()
316 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
552 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCompoundLiteralExpr()
604 const LocationContext *LC = N->getLocationContext(); in VisitDeclStmt()
747 const LocationContext *LCtx = Pred->getLocationContext(); in VisitInitListExpr()
798 const LocationContext *LCtx = Pred->getLocationContext(); in VisitGuardedExpr()
906 state = state->BindExpr(Ex, (*I)->getLocationContext(), in VisitUnaryExprOrTypeTraitExpr()
927 const LocationContext *LCtx = (*I)->getLocationContext(); in handleUOExtension()
1077 const LocationContext *LCtx = Pred->getLocationContext(); in VisitIncrementDecrementOperator()
[all …]
H A DExprEngineObjC.cpp25 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()
H A DEnvironment.cpp95 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()
H A DLoopUnrolling.cpp48 const LocationContext *getLocationContext() const { return LCtx; } in getLocationContext() function
170 const LocationContext *LocCtxt = N->getLocationContext(); in isCapturedByReference()
229 N->getLocationContext()->getAnalysisDeclContext()->getASTContext(); in isPossiblyEscaped()
303 auto LCtx = Pred->getLocationContext(); in updateLoopStack()
310 LCtx == LS.getHead().getLocationContext()) { in updateLoopStack()
H A DExprEngineCXX.cpp32 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
68 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
553 const LocationContext *LCtx = Pred->getLocationContext(); in handleConstructor()
809 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXDestructor()
872 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewAllocatorCall()
943 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewExpr()
1033 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); in VisitCXXNewExpr()
1072 CDE, Pred->getState(), Pred->getLocationContext()); in VisitCXXDeleteExpr()
1097 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXCatchStmt()
1112 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXThisExpr()
[all …]
H A DCallEvent.cpp284 BlockCount, getLocationContext(), in invalidateRegions()
293 return PreStmt(E, getLocationContext(), Tag); in getProgramPoint()
294 return PostStmt(E, getLocationContext(), Tag); in getProgramPoint()
302 return PreImplicitCall(D, Loc, getLocationContext(), Tag); in getProgramPoint()
303 return PostImplicitCall(D, Loc, getLocationContext(), Tag); in getProgramPoint()
509 getLocationContext()->getAnalysisDeclContext()-> in getRuntimeDefinition()
887 const StackFrameContext *SFC = getLocationContext()->getStackFrame(); in getInheritingStackFrame()
951 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in getReceiverSVal()
965 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in isReceiverSelfOrSuper()
1004 const ParentMap &PM = getLocationContext()->getParentMap(); in getMessageKind()
[all …]
H A DExplodedGraph.cpp117 progPoint.getLocationContext() != pred->getLocationContext()) in shouldCollect()
136 const ParentMap &PM = progPoint.getLocationContext()->getParentMap(); in shouldCollect()
299 return getLocationContext() in getCFGBlock()
324 const LocationContext *LC = getLocationContext(); in getStmtForDiagnostics()
H A DBugReporterVisitors.cpp169 ->getLValue(VD, N->getLocationContext()) in getLocationRegionIfReference()
212 const LocationContext *LCtx = N->getLocationContext(); in getSValForVar()
355 const LocationContext *Ctx = N->getLocationContext(); in isModifiedInFrame()
443 const LocationContext *Ctx = N->getLocationContext(); in VisitNode()
934 auto *LCtx = N->getLocationContext(); in matchAssignment()
1001 if (N->getLocationContext() != CalleeSFC) in visitNodeInitial()
1266 const LocationContext *LCtx = N->getLocationContext(); in isInitializationOfVar()
2050 P.getLocationContext()); in constructNote()
2684 const LocationContext *LCtx = N->getLocationContext(); in VisitTrueTest()
2918 const LocationContext *LCtx = N->getLocationContext(); in VisitTrueTest()
[all …]
H A DExprEngineCallAndReturn.cpp182 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
208 PrettyStackTraceLocationContext CrashInfo(CEBNode->getLocationContext()); in processCallExit()
240 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit()
483 const LocationContext *CurLC = Pred->getLocationContext(); in inlineCall()
560 = CEMgr.getSimpleCall(CE, Pred->getState(), Pred->getLocationContext()); in VisitCallExpr()
586 const LocationContext *LC = Call.getLocationContext(); in finishArgumentConstruction()
614 const LocationContext *LC = Call.getLocationContext(); in finishArgumentConstruction()
680 State = processPointerEscapedOnBind(State, Escaped, I->getLocationContext(), in evalCall()
779 State = bindReturnValue(Call, Pred->getLocationContext(), State); in conservativeEvalCall()
789 const LocationContext *CurLC = Pred->getLocationContext(); in mayInlineCallKind()
[all …]
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExplodedGraph.h146 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()
165 return *getLocationContext()->getAnalysis<T>(); in getAnalysis()
176 return getState()->getSVal(S, getLocationContext()); in getSVal()
H A DCoreEngine.h218 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); } in NodeBuilderContext()
420 Pred->getLocationContext(), tag);
430 Pred->getLocationContext(), tag);
527 const LocationContext *getLocationContext() const { in getLocationContext() function
528 return Pred->getLocationContext(); in getLocationContext()
581 const LocationContext *getLocationContext() const { in getLocationContext() function
582 return Pred->getLocationContext(); in getLocationContext()
H A DCheckerContext.h93 const LocationContext *getLocationContext() const { in getLocationContext() function
94 return Pred->getLocationContext(); in getLocationContext()
102 bool inTopFrame() const { return getLocationContext()->inTopFrame(); } in inTopFrame()
127 return Pred->getLocationContext()->getAnalysisDeclContext(); in getCurrentAnalysisDeclContext()
H A DEnvironment.h41 const LocationContext *getLocationContext() const { return second; } in getLocationContext() function
47 ID.AddPointer(E.getLocationContext()); in Profile()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp479 const LocationContext *LCtx = N->getLocationContext(); in VisitNode()
537 PathDiagnosticLocation Pos(S, SM, N->getLocationContext()); in VisitNode()
590 N->getLocationContext()); in VisitNode()
670 const LocationContext *LeakContext = N->getLocationContext(); in GetAllocationSite()
678 const LocationContext *NContext = N->getLocationContext(); in GetAllocationSite()
742 AllocationNodeInCurrentOrParentContext->getLocationContext() != in GetAllocationSite()
868 UniqueingDecl = Ctx.getLocationContext()->getDecl(); in deriveParamLocation()
905 AllocStmt, SMgr, AllocNode->getLocationContext()); in deriveAllocLocation()
911 UniqueingDecl = AllocNode->getLocationContext()->getDecl(); in deriveAllocLocation()

1234