Home
last modified time | relevance | path

Searched refs:LCtx (Results 1 – 25 of 61) sorted by relevance

123

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp58 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
59 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
139 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
266 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
273 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
337 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
344 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
918 Bldr.generateNode(U, N, state->BindExpr(U, LCtx, state->getSVal(Ex, LCtx))); in handleUOExtension()
953 state->BindExpr(U, LCtx, state->getSVal(Ex, LCtx))); in VisitUnaryOperator()
1008 SVal V = state->getSVal(Ex, LCtx); in VisitUnaryOperator()
[all …]
H A DExprEngineCXX.cpp89 PostStmt PS(CallExpr, LCtx); in performTrivialCopy()
93 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
95 State = bindReturnValue(Call, LCtx, State); in performTrivialCopy()
571 Base = State->getSVal(ME, LCtx); in bindRequiredArrayElementToEnvironment()
655 if (!getPendingInitLoop(State, CE, LCtx)) in handleConstructor()
657 State, CE, LCtx, in handleConstructor()
673 LCtx->getStackFrame()->getCallSite()); in handleConstructor()
962 SVal RetVal = State->getSVal(CNE, LCtx); in VisitCXXNewAllocatorCall()
1081 SVal V = State->getSVal(Init, LCtx); in VisitCXXNewExpr()
1110 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
[all …]
H A DProgramState.cpp92 ProgramStateRef state, const StackFrameContext *LCtx, in removeDeadBindingsFromEnvironmentAndStore() argument
116 const LocationContext *LCtx, in bindLoc() argument
153 const LocationContext *LCtx, in invalidateRegions() argument
169 const LocationContext *LCtx, in invalidateRegions() argument
182 const LocationContext *LCtx, in invalidateRegionsImpl() argument
215 Invalidated, LCtx, Call); in invalidateRegionsImpl()
237 SVal ProgramState::getSelfSVal(const LocationContext *LCtx) const { in getSelfSVal()
238 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl(); in getSelfSVal()
241 return getSVal(getRegion(SelfDecl, LCtx)); in getSelfSVal()
470 Env.printJson(Out, Mgr.getContext(), LCtx, NL, Space, IsDot); in printJson()
[all …]
H A DExprEngine.cpp545 auto Key = LCtx->getStackFrame(); in setPendingArrayDestruction()
555 auto Key = LCtx->getStackFrame(); in removePendingArrayDestruction()
698 if (Key.getLocationContext() != LCtx) in printObjectsUnderConstructionJson()
746 if (Key.second != LCtx) in printIndicesOfElementsToConstructJson()
760 if (Key.second != LCtx) in printIndicesOfElementsToConstructJson()
810 if (Key.second != LCtx) in printPendingInitLoopJson()
824 if (Key.second != LCtx) in printPendingInitLoopJson()
866 if (Key != LCtx) in printPendingArrayDestructionsJson()
879 if (Key != LCtx) in printPendingArrayDestructionsJson()
2604 return state->getSVal(Ex, LCtx); in RecoverCastedSymbol()
[all …]
H A DLoopWidening.cpp47 const LocationContext *LCtx, in getWidenedLoopState() argument
58 ASTContext &ASTCtx = LCtx->getAnalysisDeclContext()->getASTContext(); in getWidenedLoopState()
59 const StackFrameContext *STC = LCtx->getStackFrame(); in getWidenedLoopState()
74 *LCtx->getDecl()->getBody(), ASTCtx); in getWidenedLoopState()
78 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx); in getWidenedLoopState()
97 BlockCount, LCtx, true, nullptr, nullptr, in getWidenedLoopState()
H A DExprEngineCallAndReturn.cpp228 const LocationContext *LCtx) { in removeStateTraitsUsedForArrayEvaluation() argument
233 if (getPendingInitLoop(State, E, LCtx)) in removeStateTraitsUsedForArrayEvaluation()
234 State = removePendingInitLoop(State, E, LCtx); in removeStateTraitsUsedForArrayEvaluation()
236 if (getIndexOfElementToConstruct(State, E, LCtx)) in removeStateTraitsUsedForArrayEvaluation()
240 if (getPendingArrayDestruction(State, LCtx)) in removeStateTraitsUsedForArrayEvaluation()
299 SVal V = state->getSVal(RS, LCtx); in processCallExit()
463 while (LCtx) { in examineStackFrames()
472 LCtx = LCtx->getParent(); in examineStackFrames()
481 LCtx = LCtx->getParent(); in examineStackFrames()
762 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
[all …]
H A DPrettyStackTraceLocationContext.h29 const LocationContext *LCtx; variable
31 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) { in PrettyStackTraceLocationContext()
32 assert(LCtx); in PrettyStackTraceLocationContext()
37 LCtx->dumpStack(Out); in print()
H A DEnvironment.cpp98 const LocationContext *LCtx = Entry.getLocationContext(); in getSVal() local
128 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); in getSVal()
134 return lookupExpr(EnvironmentEntry(S, LCtx)); in getSVal()
218 const LocationContext *LCtx, const char *NL, in printJson() argument
228 if (!LCtx) { in printJson()
235 LCtx = LC; in printJson()
242 assert(LCtx); in printJson()
244 Out << "{ \"pointer\": \"" << (const void *)LCtx->getStackFrame() in printJson()
248 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) { in printJson()
H A DSymbolManager.cpp84 os << getKindStr() << getSymbolID() << '{' << T << ", LC" << LCtx->getID(); in dumpToStream()
86 os << ", S" << S->getID(LCtx->getDecl()->getASTContext()); in dumpToStream()
187 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); in conjureSymbol()
232 const LocationContext *LCtx, in getMetadataSymbol() argument
235 SymbolMetadata::Profile(profile, R, S, T, LCtx, Count, SymbolTag); in getMetadataSymbol()
512 if (LCtx == nullptr) in isLive()
515 if (LCtx != ELCtx) { in isLive()
518 if (LCtx->isParentOf(ELCtx)) in isLive()
528 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal); in isLive()
537 if (!LCtx) in isLive()
[all …]
H A DLoopUnrolling.cpp33 const LocationContext *LCtx; member
36 : K(InK), LoopStmt(S), LCtx(L), maxStep(N) {} in LoopState()
50 const LocationContext *getLocationContext() const { return LCtx; } in getLocationContext()
57 ID.AddPointer(LCtx); in Profile()
306 auto LCtx = Pred->getLocationContext(); in updateLoopStack() local
313 LCtx == LS.getHead().getLocationContext()) { in updateLoopStack()
317 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
324 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
333 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
336 LoopState::getUnrolled(LoopStmt, LCtx, innerMaxStep)); in updateLoopStack()
H A DExprEngineObjC.cpp25 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr() local
26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
54 const LocationContext *LCtx = Pred->getLocationContext(); in populateObjCForDestinationSet() local
57 ExprEngine::setWhetherHasMoreIteration(state, S, LCtx, hasElements); in populateObjCForDestinationSet()
69 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, in populateObjCForDestinationSet()
76 nextState = nextState->bindLoc(elementV, V, LCtx); in populateObjCForDestinationSet()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h158 const LocationContext *LCtx; variable
193 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin), in CallEvent()
501 const LocationContext *LCtx, in AnyFunctionCall() argument
503 : CallEvent(E, St, LCtx, ElemRef) {} in AnyFunctionCall()
505 const LocationContext *LCtx, in AnyFunctionCall() argument
507 : CallEvent(D, St, LCtx, ElemRef) {} in AnyFunctionCall()
579 : CallEvent(CE, St, LCtx, ElemRef) {} in BlockCall()
679 const LocationContext *LCtx, in CXXInstanceCall() argument
720 const LocationContext *LCtx, in CXXMemberCall() argument
1178 const LocationContext *LCtx, in ObjCMethodCall() argument
[all …]
H A DExprEngine.h403 const LocationContext *LCtx,
409 const LocationContext *LCtx) { in processRegionChange() argument
415 const LocationContext *LCtx, const char *NL,
617 const LocationContext *LCtx);
622 const LocationContext *LCtx);
627 const LocationContext *LCtx);
640 const LocationContext *LCtx, PointerEscapeKind Kind,
663 const LocationContext *LCtx);
837 const QualType &ElementTy, const LocationContext *LCtx,
843 const LocationContext *LCtx);
[all …]
H A DSymbolManager.h83 const LocationContext *LCtx; variable
90 LCtx(lctx), SymbolTag(symbolTag) { in SymbolConjured()
117 profile.AddPointer(LCtx); in Profile()
124 Profile(profile, S, T, Count, LCtx, SymbolTag); in Profile()
220 const LocationContext *LCtx; variable
227 : SymbolData(SymbolMetadataKind, sym), R(r), S(s), T(t), LCtx(LCtx), in SymbolMetadata()
232 assert(LCtx); in SymbolMetadata()
263 profile.AddPointer(LCtx); in Profile()
269 Profile(profile, R, S, T, LCtx, Count, Tag); in Profile()
509 const LocationContext *LCtx,
[all …]
H A DSValBuilder.h171 const LocationContext *LCtx,
175 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
179 const LocationContext *LCtx,
182 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
199 const LocationContext *LCtx,
203 const LocationContext *LCtx,
207 const LocationContext *LCtx,
215 const LocationContext *LCtx,
223 const LocationContext *LCtx,
232 const LocationContext *LCtx,
[all …]
H A DProgramState.h285 const LocationContext *LCtx,
303 bindDefaultZero(SVal loc, const LocationContext *LCtx) const;
327 unsigned BlockCount, const LocationContext *LCtx,
374 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
478 void printDOT(raw_ostream &Out, const LocationContext *LCtx = nullptr,
492 const LocationContext *LCtx,
751 return bindLoc(*L, V, LCtx); in bindLoc()
806 const LocationContext *LCtx) const{ in getSVal() argument
807 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
813 const LocationContext *LCtx) const { in getSValAsScalarOrLoc() argument
[all …]
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCXXSelfAssignmentChecker.cpp41 const auto *LCtx = C.getLocationContext(); in checkBeginFunction() local
42 const auto *MD = dyn_cast<CXXMethodDecl>(LCtx->getDecl()); in checkBeginFunction()
50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction()
51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
54 ProgramStateRef SelfAssignState = State->bindLoc(Param, ThisVal, LCtx); in checkBeginFunction()
64 ProgramStateRef NonSelfAssignState = State->bindLoc(Param, ParamVal, LCtx); in checkBeginFunction()
H A DSTLAlgorithmModeling.cpp112 const auto *LCtx = C.getLocationContext(); in Find() local
114 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); in Find()
115 SVal Param = State->getSVal(CE->getArg(paramNum), LCtx); in Find()
117 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find()
126 CE, LCtx, C.blockCount()); in Find()
139 Param = State->getSVal(CE->getArg(paramNum + 1), LCtx); in Find()
148 CE, LCtx, C.blockCount()); in Find()
164 auto StateNotFound = State->BindExpr(CE, LCtx, Param); in Find()
H A DCheckObjCDealloc.cpp270 const LocationContext *LCtx = C.getLocationContext(); in checkBeginFunction() local
503 const LocationContext *LCtx = C.getLocationContext(); in diagnoseMissingReleases() local
631 const LocationContext *LCtx = C.getLocationContext(); in findPropertyOnDeallocatingInstance() local
634 const ObjCImplDecl *Container = getContainingObjCImpl(LCtx); in findPropertyOnDeallocatingInstance()
789 auto *MD = cast<ObjCMethodDecl>(LCtx->getDecl()); in getContainingObjCImpl()
969 auto *MD = dyn_cast<ObjCMethodDecl>(LCtx->getDecl()); in isInInstanceDealloc()
973 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl(); in isInInstanceDealloc()
986 const LocationContext *LCtx = C.getLocationContext(); in instanceDeallocIsOnStack() local
988 while (LCtx) { in instanceDeallocIsOnStack()
989 if (isInInstanceDealloc(C, LCtx, InstanceValOut)) in instanceDeallocIsOnStack()
[all …]
H A DCStringChecker.cpp120 const LocationContext *LCtx,
543 const LocationContext *LCtx = C.getLocationContext(); in CheckOverlap() local
1299 const LocationContext *LCtx = C.getLocationContext(); in evalCopyCommon() local
1542 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()
1566 SVal ArgVal = state->getSVal(Arg.Expression, LCtx); in evalstrLengthCommon()
1589 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx); in evalstrLengthCommon()
1733 SVal DstVal = state->getSVal(Dst.Expression, LCtx); in evalStrcpyCommon()
2219 SVal lenVal = state->getSVal(lenExpr, LCtx); in evalStrcmpCommon()
2319 LCtx); in evalStrsep()
2359 SVal DstVal = State->getSVal(Dst, LCtx); in evalStdCopyCommon()
[all …]
H A DBuiltinFunctionChecker.cpp40 const LocationContext *LCtx = C.getLocationContext(); in evalCall() local
78 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
97 C.addTransition(state->BindExpr(CE, LCtx, R)); in evalCall()
125 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DTaint.cpp46 const LocationContext *LCtx, in addTaint() argument
48 return addTaint(State, State->getSVal(S, LCtx), Kind); in addTaint()
148 const LocationContext *LCtx, TaintTagType Kind) { in isTainted() argument
149 return !getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/true) in isTainted()
171 const LocationContext *LCtx, in getTaintedSymbols() argument
173 return getTaintedSymbolsImpl(State, S, LCtx, Kind, /*ReturnFirstOnly=*/false); in getTaintedSymbols()
195 const LocationContext *LCtx, in getTaintedSymbolsImpl() argument
198 SVal val = State->getSVal(S, LCtx); in getTaintedSymbolsImpl()
H A DUndefBranchChecker.cpp34 const LocationContext *LCtx; member
37 : St(std::move(S)), LCtx(L) {} in FindUndefExpr()
52 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
/freebsd-14.2/contrib/llvm-project/clang/lib/Analysis/
H A DAnalysisDeclContext.cpp505 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) { in dumpStack() local
506 switch (LCtx->getKind()) { in dumpStack()
510 if (const auto *D = dyn_cast<NamedDecl>(LCtx->getDecl())) in dumpStack()
514 if (const Stmt *S = cast<StackFrameContext>(LCtx)->getCallSite()) { in dumpStack()
521 if (const Decl *D = cast<BlockInvocationContext>(LCtx)->getDecl()) { in dumpStack()
543 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) { in printJson() local
546 switch (LCtx->getKind()) { in printJson()
550 if (const auto *D = dyn_cast<NamedDecl>(LCtx->getDecl())) in printJson()
556 if (const Stmt *S = cast<StackFrameContext>(LCtx)->getCallSite()) { in printJson()
574 printMoreInfoPerContext(LCtx); in printJson()
[all …]
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DTaint.h31 const LocationContext *LCtx,
66 const LocationContext *LCtx,
84 const LocationContext *LCtx,
103 const LocationContext *LCtx,

123