Searched refs:LCtx (Results 1 - 25 of 51) sorted by relevance

123

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DPrettyStackTraceLocationContext.h29 const LocationContext *LCtx; member in class:clang::ento::PrettyStackTraceLocationContext
31 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) {
32 assert(LCtx);
37 LCtx->dumpStack(Out);
H A DLoopWidening.cpp45 const LocationContext *LCtx,
57 ASTContext &ASTCtx = LCtx->getAnalysisDeclContext()->getASTContext();
58 const StackFrameContext *STC = LCtx->getStackFrame();
71 *LCtx->getDecl()->getBody(), ASTCtx);
75 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx);
94 BlockCount, LCtx, true, nullptr, nullptr,
44 getWidenedLoopState(ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt) argument
H A DExprEngineC.cpp30 unsigned Count, const LocationContext *LCtx) {
35 return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count);
57 const LocationContext *LCtx = (*it)->getLocationContext(); local
58 SVal LeftV = state->getSVal(LHS, LCtx);
59 SVal RightV = state->getSVal(RHS, LCtx);
68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
74 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
87 RightV, LeftV, RHS, svalBuilder, Count, LCtx);
89 LeftV, RightV, LHS, svalBuilder, Count, LCtx);
96 state = createTemporaryRegionIfNeeded(state, LCtx, LH
28 conjureOffsetSymbolOnLocation( SVal Symbol, SVal Other, Expr* Expression, SValBuilder &svalBuilder, unsigned Count, const LocationContext *LCtx) argument
140 const LocationContext *LCtx = (*I)->getLocationContext(); local
238 const LocationContext *LCtx = Pred->getLocationContext(); local
259 handleLValueBitCast( ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx, QualType T, QualType ExTy, const CastExpr* CastE, StmtNodeBuilder& Bldr, ExplodedNode* Pred) argument
285 handleLVectorSplat( ProgramStateRef state, const LocationContext* LCtx, const CastExpr* CastE, StmtNodeBuilder &Bldr, ExplodedNode* Pred) argument
312 const LocationContext *LCtx = subExprNode->getLocationContext(); local
331 const LocationContext *LCtx = Pred->getLocationContext(); local
358 const LocationContext *LCtx = Pred->getLocationContext(); local
555 const LocationContext *LCtx = Pred->getLocationContext(); local
738 const LocationContext *LCtx = Pred->getLocationContext(); local
790 const LocationContext *LCtx = Pred->getLocationContext(); local
919 const LocationContext *LCtx = (*I)->getLocationContext(); local
955 const LocationContext *LCtx = (*I)->getLocationContext(); local
970 const LocationContext *LCtx = (*I)->getLocationContext(); local
984 const LocationContext *LCtx = (*I)->getLocationContext(); local
1009 const LocationContext *LCtx = (*I)->getLocationContext(); local
1067 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DExprEngineCXX.cpp32 const LocationContext *LCtx = Pred->getLocationContext(); local
34 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME);
68 const LocationContext *LCtx = Pred->getLocationContext(); local
85 PostStmt PS(CallExpr, LCtx);
90 State = State->BindExpr(CallExpr, LCtx, ThisVal);
92 State = bindReturnValue(Call, LCtx, State);
113 const Expr *E, ProgramStateRef State, const LocationContext *LCtx,
128 SVal LValue = State->getLValue(Var, LCtx);
133 addObjectUnderConstruction(State, DSCC->getDeclStmt(), LCtx, LValue);
141 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx
112 prepareForObjectConstruction( const Expr *E, ProgramStateRef State, const LocationContext *LCtx, const ConstructionContext *CC, EvalCallOptions &CallOpts) argument
398 const LocationContext *LCtx = Pred->getLocationContext(); local
609 const LocationContext *LCtx = Pred->getLocationContext(); local
672 const LocationContext *LCtx = Pred->getLocationContext(); local
745 const LocationContext *LCtx = Pred->getLocationContext(); local
863 const LocationContext *LCtx = Pred->getLocationContext(); local
878 const LocationContext *LCtx = Pred->getLocationContext(); local
[all...]
H A DEnvironment.cpp88 const LocationContext *LCtx = Entry.getLocationContext(); local
118 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
124 return lookupExpr(EnvironmentEntry(S, LCtx));
205 const LocationContext *LCtx, const char *NL,
215 if (!LCtx) {
222 LCtx = LC;
229 assert(LCtx);
231 Out << "{ \"pointer\": \"" << (const void *)LCtx->getStackFrame()
235 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) {
236 // LCtx item
204 printJson(raw_ostream &Out, const ASTContext &Ctx, const LocationContext *LCtx, const char *NL, unsigned int Space, bool IsDot) const argument
[all...]
H A DProgramState.cpp95 ProgramStateRef state, const StackFrameContext *LCtx,
109 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
119 const LocationContext *LCtx,
126 return Mgr.getOwningEngine().processRegionChange(newState, MR, LCtx);
133 const LocationContext *LCtx) const {
138 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);
142 ProgramState::bindDefaultZero(SVal loc, const LocationContext *LCtx) const {
147 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx);
156 const LocationContext *LCtx,
166 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscap
94 removeDeadBindingsFromEnvironmentAndStore( ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper &SymReaper) argument
117 bindLoc(Loc LV, SVal V, const LocationContext *LCtx, bool notifyChanges) const argument
154 invalidateRegions(RegionList Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument
171 invalidateRegions(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument
184 invalidateRegionsImpl(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, RegionAndSymbolInvalidationTraits *ITraits, const CallEvent *Call) const argument
300 BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate) const argument
442 printJson(raw_ostream &Out, const LocationContext *LCtx, const char *NL, unsigned int Space, bool IsDot) const argument
469 printDOT(raw_ostream &Out, const LocationContext *LCtx, unsigned int Space) const argument
[all...]
H A DLoopUnrolling.cpp31 const LocationContext *LCtx; member in struct:LoopState
34 : K(InK), LoopStmt(S), LCtx(L), maxStep(N) {}
48 const LocationContext *getLocationContext() const { return LCtx; }
55 ID.AddPointer(LCtx);
254 auto LCtx = Pred->getLocationContext(); local
261 LCtx == LS.getHead().getLocationContext()) {
265 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath));
272 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath));
281 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath));
284 LoopState::getUnrolled(LoopStmt, LCtx, innerMaxSte
[all...]
H A DExprEngineObjC.cpp25 const LocationContext *LCtx = Pred->getLocationContext(); local
26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
54 const LocationContext *LCtx = Pred->getLocationContext(); local
59 ProgramStateRef nextState = state->BindExpr(S, LCtx, hasElementsV);
71 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
78 nextState = nextState->bindLoc(elementV, V, LCtx);
H A DSymbolManager.cpp86 << LCtx->getID();
88 os << ", S" << S->getID(LCtx->getDecl()->getASTContext());
184 const LocationContext *LCtx,
189 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag);
194 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag);
237 const LocationContext *LCtx,
240 SymbolMetadata::Profile(profile, R, S, T, LCtx, Count, SymbolTag);
245 new (SD) SymbolMetadata(SymbolCounter, R, S, T, LCtx, Count, SymbolTag);
512 if (LCtx == nullptr)
515 if (LCtx !
183 conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned Count, const void *SymbolTag) argument
236 getMetadataSymbol(const MemRegion* R, const Stmt *S, QualType T, const LocationContext *LCtx, unsigned Count, const void *SymbolTag) argument
[all...]
H A DExprEngineCallAndReturn.cpp179 const LocationContext *LCtx = Pred->getLocationContext(); local
180 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
181 LCtx->getAnalysisDeclContext()->getBody(),
230 const LocationContext *LCtx = CEBNode->getLocationContext(); local
231 SVal V = state->getSVal(RS, LCtx);
388 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, argument
393 while (LCtx) {
394 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) {
402 LCtx = LCtx
637 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument
[all...]
H A DSValBuilder.cpp137 const LocationContext *LCtx,
148 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType);
150 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count);
155 const LocationContext *LCtx,
164 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag);
173 const LocationContext *LCtx,
182 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount);
192 const LocationContext *LCtx,
200 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount);
207 const LocationContext *LCtx,
135 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument
153 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument
172 conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument
191 getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned VisitCount) argument
204 getMetadataSymbolVal(const void *symbolTag, const MemRegion *region, const Expr *expr, QualType type, const LocationContext *LCtx, unsigned count) argument
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DLoopWidening.h29 const LocationContext *LCtx,
H A DCallEvent.h144 const LocationContext *LCtx; member in class:clang::ento::CallEvent
168 : State(std::move(state)), LCtx(lctx), Origin(E) {}
171 : State(std::move(state)), LCtx(lctx), Origin(D) {}
175 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
213 return LCtx;
464 const LocationContext *LCtx)
465 : CallEvent(E, St, LCtx) {}
467 const LocationContext *LCtx)
468 : CallEvent(D, St, LCtx) {}
463 AnyFunctionCall(const Expr *E, ProgramStateRef St, const LocationContext *LCtx) argument
466 AnyFunctionCall(const Decl *D, ProgramStateRef St, const LocationContext *LCtx) argument
500 SimpleFunctionCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
536 BlockCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
640 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
643 CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx) argument
678 CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
719 CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument
781 CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBaseDestructor, ProgramStateRef St, const LocationContext *LCtx) argument
828 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, ProgramStateRef St, const LocationContext *LCtx) argument
876 CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St, const LocationContext *LCtx) argument
944 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, const LocationContext *LCtx) argument
1169 create(Arg A, ProgramStateRef St, const LocationContext *LCtx) argument
1176 create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) argument
1183 create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, const LocationContext *LCtx) argument
1192 create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St, const LocationContext *LCtx) argument
1217 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
1223 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) argument
1229 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) argument
1236 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument
[all...]
H A DSymbolManager.h79 const LocationContext *LCtx; member in class:clang::ento::SymbolConjured
86 LCtx(lctx), SymbolTag(symbolTag) {
105 QualType T, unsigned Count, const LocationContext *LCtx,
109 profile.AddPointer(LCtx);
116 Profile(profile, S, T, Count, LCtx, SymbolTag);
205 const LocationContext *LCtx; member in class:clang::ento::SymbolMetadata
211 const LocationContext *LCtx, unsigned count, const void *tag)
212 : SymbolData(SymbolMetadataKind, sym), R(r), S(s), T(t), LCtx(LCtx),
217 assert(LCtx);
104 Profile(llvm::FoldingSetNodeID& profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) argument
210 SymbolMetadata(SymbolID sym, const MemRegion* r, const Stmt *s, QualType t, const LocationContext *LCtx, unsigned count, const void *tag) argument
231 Profile(llvm::FoldingSetNodeID& profile, const MemRegion *R, const Stmt *S, QualType T, const LocationContext *LCtx, unsigned Count, const void *Tag) argument
492 conjureSymbol(const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag = nullptr) argument
563 const StackFrameContext *LCtx; member in class:clang::ento::SymbolReaper
[all...]
H A DSubEngine.h141 const LocationContext *LCtx,
148 const LocationContext *LCtx) {
149 return processRegionChanges(state, nullptr, MR, MR, LCtx, nullptr);
154 const LocationContext *LCtx, PointerEscapeKind Kind,
166 const LocationContext *LCtx, const char *NL,
146 processRegionChange(ProgramStateRef state, const MemRegion* MR, const LocationContext *LCtx) argument
H A DSValBuilder.h180 const LocationContext *LCtx,
184 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
188 const LocationContext *LCtx,
191 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
208 const LocationContext *LCtx,
212 const LocationContext *LCtx,
216 const LocationContext *LCtx,
224 const LocationContext *LCtx,
233 const LocationContext *LCtx,
179 conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag = nullptr) argument
187 conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag = nullptr) argument
H A DProgramState.h238 const LocationContext *LCtx, SVal V,
242 const LocationContext *LCtx,
246 const LocationContext *LCtx) const;
255 bindDefaultInitial(SVal loc, SVal V, const LocationContext *LCtx) const;
260 bindDefaultZero(SVal loc, const LocationContext *LCtx) const;
284 unsigned BlockCount, const LocationContext *LCtx,
291 unsigned BlockCount, const LocationContext *LCtx,
327 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
329 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
427 void printJson(raw_ostream &Out, const LocationContext *LCtx
[all...]
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCXXSelfAssignmentChecker.cpp41 const auto *LCtx = C.getLocationContext(); local
42 const auto *MD = dyn_cast<CXXMethodDecl>(LCtx->getDecl());
50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx));
54 ProgramStateRef SelfAssignState = State->bindLoc(Param, ThisVal, LCtx);
64 ProgramStateRef NonSelfAssignState = State->bindLoc(Param, ParamVal, LCtx);
H A DUndefBranchChecker.cpp31 const LocationContext *LCtx; member in struct:__anon853::UndefBranchChecker::FindUndefExpr
34 : St(std::move(S)), LCtx(L) {}
49 return St->getSVal(Ex, LCtx).isUndef();
H A DBuiltinFunctionChecker.cpp39 const LocationContext *LCtx = C.getLocationContext(); local
74 C.addTransition(state->BindExpr(CE, LCtx, Arg));
99 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
127 C.addTransition(state->BindExpr(CE, LCtx, V));
H A DCStringChecker.cpp72 const LocationContext *LCtx,
382 const LocationContext *LCtx = C.getLocationContext(); local
428 BufVal = state->getSVal(SecondBuf, LCtx);
466 const LocationContext *LCtx = C.getLocationContext(); local
467 SVal firstVal = state->getSVal(First, LCtx);
468 SVal secondVal = state->getSVal(Second, LCtx);
517 SVal LengthVal = state->getSVal(Size, LCtx);
895 const LocationContext *LCtx = C.getLocationContext(); local
899 SVal BufVal = state->getSVal(FirstBuf, LCtx);
901 SVal LengthVal = state->getSVal(Size, LCtx);
973 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local
1146 const LocationContext *LCtx = C.getLocationContext(); local
1284 const LocationContext *LCtx = C.getLocationContext(); local
1360 const LocationContext *LCtx = C.getLocationContext(); local
1544 const LocationContext *LCtx = C.getLocationContext(); local
1941 const LocationContext *LCtx = C.getLocationContext(); local
2075 const LocationContext *LCtx = C.getLocationContext(); local
2139 const LocationContext *LCtx = C.getLocationContext(); local
2169 const LocationContext *LCtx = C.getLocationContext(); local
2344 checkRegionChanges(ProgramStateRef state, const InvalidatedSymbols *, ArrayRef<const MemRegion *> ExplicitRegions, ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx, const CallEvent *Call) const argument
[all...]
H A DTaint.h31 const LocationContext *LCtx,
66 const LocationContext *LCtx,
H A DCheckObjCDealloc.cpp154 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx,
161 const ObjCImplDecl *getContainingObjCImpl(const LocationContext *LCtx) const;
264 const LocationContext *LCtx = C.getLocationContext(); local
279 for (auto *PropImpl : getContainingObjCImpl(LCtx)->property_impls()) {
495 const LocationContext *LCtx = C.getLocationContext(); local
525 cast<ObjCMethodDecl>(LCtx->getDecl())->getClassInterface())
599 assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty());
623 const LocationContext *LCtx = C.getLocationContext(); local
626 const ObjCImplDecl *Container = getContainingObjCImpl(LCtx);
795 /// Returns the ObjCImplDecl containing the method declaration in LCtx
975 isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx, SVal &SelfValOut) const argument
995 const LocationContext *LCtx = C.getLocationContext(); local
[all...]
H A DTaint.cpp43 const LocationContext *LCtx,
45 return addTaint(State, State->getSVal(S, LCtx), Kind);
145 const LocationContext *LCtx, TaintTagType Kind) {
146 SVal val = State->getSVal(S, LCtx);
42 addTaint(ProgramStateRef State, const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) argument
144 isTainted(ProgramStateRef State, const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) argument
/freebsd-11-stable/contrib/llvm-project/clang/lib/Analysis/
H A DAnalysisDeclContext.cpp487 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) {
488 switch (LCtx->getKind()) {
492 if (const auto *D = dyn_cast<NamedDecl>(LCtx->getDecl()))
496 if (const Stmt *S = cast<StackFrameContext>(LCtx)->getCallSite()) {
506 if (const Decl *D = cast<BlockInvocationContext>(LCtx)->getDecl()) {
514 printMoreInfoPerContext(LCtx);
530 for (const LocationContext *LCtx
[all...]

Completed in 187 milliseconds

123