Home
last modified time | relevance | path

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

123

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp89 C.addTransition(setErrnoValue(C.getState(), C.getLocationContext(), in evalSetErrno()
100 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal); in evalGetErrno()
111 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
115 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
128 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
132 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
137 setErrnoValue(StateFailure, C.getLocationContext(), ErrnoVal, Irrelevant); in evalSetErrnoIfErrorRange()
149 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
153 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
157 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true)); in evalSetErrnoCheckState()
H A DErrnoModeling.cpp106 ErrnoR = State->getRegion(ErrnoDecl, C.getLocationContext()); in checkBeginFunction()
125 C.getCFGElementRef(), C.getLocationContext(), in checkBeginFunction()
151 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in evalCall()
199 C.getLocationContext()); in setErrnoValue()
252 return setErrnoValue(State, C.getLocationContext(), ErrnoSym, Irrelevant); in setErrnoForStdFailure()
262 C.getLocationContext(), false); in setErrnoStdMustBeChecked()
H A DInvalidatedIteratorChecker.cpp77 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
88 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
98 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
108 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DSmartPtrModeling.cpp306 Call.getCFGElementRef(), C.getLocationContext(), in evalCall()
331 *ThisRegionOpt, nullptr, State, C.getLocationContext(), in evalCall()
363 Call.getOriginExpr(), C.getLocationContext(), in evalCall()
442 auto Val = C.getSValBuilder().conjureSymbolVal(Elem, C.getLocationContext(), in retrieveOrConjureInnerPtrVal()
487 const auto *LCtx = C.getLocationContext(); in handleComparisionOp()
534 C.blockCount(), C.getLocationContext(), false); in handleOstreamOperator()
536 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal); in handleOstreamOperator()
642 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
726 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
860 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
[all …]
H A DStreamChecker.cpp229 .conjureSymbolVal(/*symbolTag=*/nullptr, Elem, C.getLocationContext(), in makeRetVal()
237 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
245 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
687 return State->BindExpr(CE, C.getLocationContext(), RetVal); in makeAndBindRetVal()
692 return State->BindExpr(CE, C.getLocationContext(), in bindReturnValue()
698 return State->BindExpr(CE, C.getLocationContext(), Val); in bindReturnValue()
703 return State->BindExpr(CE, C.getLocationContext(), in bindNullReturnValue()
720 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in makeRetValAndAssumeDual()
844 const LocationContext *LCtx = Call.getLocationContext(); in escapeByStartIndexAndCount()
872 C.blockCount(), C.getLocationContext(), in escapeArgs()
[all …]
H A DDereferenceChecker.cpp221 State.get(), N->getLocationContext()); in reportBug()
229 State.get(), N->getLocationContext()); in reportBug()
237 State.get(), N->getLocationContext(), true); in reportBug()
245 State.get(), N->getLocationContext(), true); in reportBug()
253 State.get(), N->getLocationContext(), true); in reportBug()
H A DTraversalChecker.cpp70 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPreCall()
87 for (const LocationContext *LC = C.getLocationContext()->getParent(); in checkPostCall()
H A DIteratorRangeChecker.cpp150 SVal SubVal = State->getSVal(UO->getSubExpr(), C.getLocationContext()); in checkPreStmt()
165 SVal LVal = State->getSVal(BO->getLHS(), C.getLocationContext()); in checkPreStmt()
170 SVal RVal = State->getSVal(BO->getRHS(), C.getLocationContext()); in checkPreStmt()
181 SVal LVal = State->getSVal(ASE->getLHS(), C.getLocationContext()); in checkPreStmt()
191 SVal BaseVal = State->getSVal(ME->getBase(), C.getLocationContext()); in checkPreStmt()
H A DValistChecker.cpp225 const LocationContext *LeakContext = N->getLocationContext(); in getStartCallSite()
238 const LocationContext *NContext = N->getLocationContext(); in getStartCallSite()
288 StartCallStmt, C.getSourceManager(), StartNode->getLocationContext()); in reportLeakedVALists()
300 StartNode->getLocationContext()->getDecl()); in reportLeakedVALists()
398 N->getLocationContext()); in VisitNode()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp203 const auto &SM = Pred->getLocationContext() in timeTraceMetadata()
218 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext()); in dispatchWorkItem()
265 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEdge()
291 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) { in HandleBlockEdge()
292 assert(L.getLocationContext()->getCFG()->getExit().empty() && in HandleBlockEdge()
308 BlockEntrance BE(L.getSrc(), L.getDst(), Pred->getLocationContext()); in HandleBlockEdge()
321 BlockEntrance BE(L.getSrc(), L.getDst(), Pred->getLocationContext()); in HandleBlockEdge()
343 const LocationContext *LC = Pred->getLocationContext(); in HandleBlockEntrance()
397 generateNode(BlockEdge(B, succ, Pred->getLocationContext()), in HandleBlockExit()
478 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()), in HandleBlockExit()
[all …]
H A DExprEngineC.cpp58 const LocationContext *LCtx = (*it)->getLocationContext(); in VisitBinaryOperator()
141 const LocationContext *LCtx = N->getLocationContext(); in VisitBinaryOperator()
205 Pred->getLocationContext(), in VisitBlockExpr()
237 const LocationContext *LCtx = Pred->getLocationContext(); in VisitBlockExpr()
251 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
295 const LocationContext *LCtx = Node->getLocationContext(); in VisitCast()
307 const LocationContext *LCtx = Node->getLocationContext(); in VisitCast()
317 const LocationContext *LCtx = Node->getLocationContext(); in VisitCast()
344 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
373 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCast()
[all …]
H A DExprEngine.cpp134 const LocationContext *getLocationContext() const { return Impl.second; } in getLocationContext() function in __anon289504840111::ConstructedObjectKey
137 return getLocationContext()->getDecl()->getASTContext(); in getASTContext()
653 if (I.first.getLocationContext() == LC) in areAllObjectsFullyConstructed()
699 if (Key.getLocationContext() != LCtx) in printObjectsUnderConstructionJson()
713 if (Key.getLocationContext() != LCtx) in printObjectsUnderConstructionJson()
1124 Pred->getLocationContext())) { in ProcessStmt()
1126 Pred->getLocationContext()); in ProcessStmt()
1155 LoopExit PP(S, Pred->getLocationContext()); in ProcessLoopExit()
1165 const LocationContext *LC = Pred->getLocationContext(); in ProcessInitializer()
1172 const auto *stackFrame = cast<StackFrameContext>(Pred->getLocationContext()); in ProcessInitializer()
[all …]
H A DExprEngineObjC.cpp25 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr()
54 const LocationContext *LCtx = Pred->getLocationContext(); in populateObjCForDestinationSet()
115 SVal collectionV = state->getSVal(collection, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
121 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
123 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
156 ME, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitObjCMessage()
H A DEnvironment.cpp96 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.cpp50 const LocationContext *getLocationContext() const { return LCtx; } in getLocationContext() function
173 const LocationContext *LocCtxt = N->getLocationContext(); in isCapturedByReference()
249 N->getLocationContext()->getAnalysisDeclContext()->getASTContext(); in isPossiblyEscaped()
323 auto LCtx = Pred->getLocationContext(); in updateLoopStack()
330 LCtx == LS.getHead().getLocationContext()) { in updateLoopStack()
H A DExplodedGraph.cpp115 progPoint.getLocationContext() != pred->getLocationContext()) in shouldCollect()
134 const ParentMap &PM = progPoint.getLocationContext()->getParentMap(); in shouldCollect()
296 return getLocationContext() in getCFGBlock()
321 const LocationContext *LC = getLocationContext(); in getStmtForDiagnostics()
H A DCallEvent.cpp282 BlockCount, getLocationContext(), in invalidateRegions()
292 return PreStmt(E, getLocationContext(), Tag); in getProgramPoint()
293 return PostStmt(E, getLocationContext(), Tag); in getProgramPoint()
303 return PreImplicitCall(D, Loc, getLocationContext(), ElemRef, Tag); in getProgramPoint()
304 return PostImplicitCall(D, Loc, getLocationContext(), ElemRef, Tag); in getProgramPoint()
520 const auto *CallLocationContext = this->getLocationContext(); in getCaller()
548 getLocationContext(), CC, CallOpts); in getReturnValueUnderConstruction()
567 getLocationContext()->getAnalysisDeclContext()-> in getRuntimeDefinition()
971 const StackFrameContext *SFC = getLocationContext()->getStackFrame(); in getInheritingStackFrame()
1035 SVal SelfVal = getState()->getSelfSVal(getLocationContext()); in getReceiverSVal()
[all …]
H A DExprEngineCallAndReturn.cpp179 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction()
293 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit()
535 const LocationContext *CurLC = Pred->getLocationContext(); in inlineCall()
612 CE, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitCallExpr()
637 const LocationContext *LC = Call.getLocationContext(); in finishArgumentConstruction()
664 const LocationContext *LC = Call.getLocationContext(); in finishArgumentConstruction()
730 State = processPointerEscapedOnBind(State, Escaped, I->getLocationContext(), in evalCall()
834 State = bindReturnValue(Call, Pred->getLocationContext(), State); in conservativeEvalCall()
845 const LocationContext *CurLC = Pred->getLocationContext(); in mayInlineCallKind()
1124 examineStackFrames(D, Pred->getLocationContext(), IsRecursive, StackDepth); in shouldInlineCall()
[all …]
H A DExprEngineCXX.cpp39 const LocationContext *LCtx = Pred->getLocationContext(); in CreateCXXTemporaryObject()
67 const LocationContext *LCtx = Pred->getLocationContext(); in performTrivialCopy()
554 const LocationContext *LCtx = Pred->getLocationContext(); in handleConstructor()
834 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXDestructor()
862 Dest = MRMgr.getCXXTempObjectRegion(E, Pred->getLocationContext()); in VisitCXXDestructor()
897 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewAllocatorCall()
973 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXNewExpr()
1065 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); in VisitCXXNewExpr()
1104 CDE, Pred->getState(), Pred->getLocationContext(), getCFGElementRef()); in VisitCXXDeleteExpr()
1129 const LocationContext *LCtx = Pred->getLocationContext(); in VisitCXXCatchStmt()
[all …]
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExplodedGraph.h147 const LocationContext *getLocationContext() const { in getLocationContext() function
148 return getLocation().getLocationContext(); in getLocationContext()
155 const Decl &getCodeDecl() const { return *getLocationContext()->getDecl(); } in getCodeDecl()
157 CFG &getCFG() const { return *getLocationContext()->getCFG(); } in getCFG()
162 return getLocationContext()->getParentMap(); in getParentMap()
166 return *getLocationContext()->getAnalysis<T>(); in getAnalysis()
177 return getState()->getSVal(S, getLocationContext()); in getSVal()
H A DCoreEngine.h211 : NodeBuilderContext(E, B, N->getLocationContext()) {} in NodeBuilderContext()
220 const LocationContext *getLocationContext() const { return LC; } in getLocationContext() function
419 Pred->getLocationContext(), tag);
429 Pred->getLocationContext(), tag);
511 const LocationContext *getLocationContext() const { in getLocationContext() function
512 return Pred->getLocationContext(); in getLocationContext()
565 const LocationContext *getLocationContext() const { in getLocationContext() function
566 return Pred->getLocationContext(); in getLocationContext()
H A DCheckerContext.h97 const LocationContext *getLocationContext() const { in getLocationContext() function
98 return Pred->getLocationContext(); in getLocationContext()
106 bool inTopFrame() const { return getLocationContext()->inTopFrame(); } in inTopFrame()
131 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()
/freebsd/contrib/llvm-project/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()
673 const LocationContext *LeakContext = N->getLocationContext(); in GetAllocationSite()
681 const LocationContext *NContext = N->getLocationContext(); in GetAllocationSite()
745 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()
/freebsd/contrib/llvm-project/clang/lib/Analysis/
H A DPathDiagnostic.cpp669 P.getLocationContext()->getDecl(), SMng); in create()
680 P.getLocationContext()->getDecl(), SMng); in create()
686 return PathDiagnosticLocation::createEnd(S, SMng, P.getLocationContext()); in create()
697 CE->getLocationContext(), in create()
701 CEE->getLocationContext(), in create()
706 CEB->getLocationContext()); in create()
708 CEB->getLocationContext()->getDecl()->getSourceRange().getEnd(), SMng); in create()
725 FE->getLocationContext()); in create()
730 return PathDiagnosticLocation(S, SMng, P.getLocationContext()); in create()
846 const Decl *caller = CE.getLocationContext()->getDecl(); in construct()
[all …]

123