Home
last modified time | relevance | path

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

12

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp59 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
60 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator()
138 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator()
268 SVal OrigV = state->getSVal(Ex, LCtx); in handleLValueBitCast()
273 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
356 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
363 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
385 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
426 SVal V = state->getSVal(Ex, LCtx); in VisitCast()
977 SVal V = state->getSVal(Ex, LCtx); in VisitUnaryOperator()
[all …]
H A DExprEngineCXX.cpp86 PostStmt PS(CallExpr, LCtx); in performTrivialCopy()
91 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
93 State = bindReturnValue(Call, LCtx, State); in performTrivialCopy()
129 SVal LValue = State->getLValue(Var, LCtx); in prepareForObjectConstruction()
144 SVB.getCXXThis(CurCtor, LCtx->getStackFrame()); in prepareForObjectConstruction()
257 State = elideDestructor(State, BTE, LCtx); in prepareForObjectConstruction()
647 CEMgr.getCXXAllocatorCall(CNE, State, LCtx); in VisitCXXNewAllocatorCall()
676 SVal RetVal = State->getSVal(CNE, LCtx); in VisitCXXNewAllocatorCall()
742 CEMgr.getCXXAllocatorCall(CNE, State, LCtx); in VisitCXXNewExpr()
799 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
[all …]
H A DLoopWidening.cpp46 const LocationContext *LCtx, in getWidenedLoopState() argument
58 ASTContext &ASTCtx = LCtx->getAnalysisDeclContext()->getASTContext(); in getWidenedLoopState()
59 const StackFrameContext *STC = LCtx->getStackFrame(); in getWidenedLoopState()
72 *LCtx->getDecl()->getBody(), ASTCtx); in getWidenedLoopState()
76 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx); in getWidenedLoopState()
95 BlockCount, LCtx, true, nullptr, nullptr, in getWidenedLoopState()
H A DPrettyStackTraceLocationContext.h30 const LocationContext *LCtx; variable
32 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) { in PrettyStackTraceLocationContext()
33 assert(LCtx); in PrettyStackTraceLocationContext()
38 LCtx->dumpStack(OS, "\t"); in print()
H A DLoopUnrolling.cpp32 const LocationContext *LCtx; member
35 : K(InK), LoopStmt(S), LCtx(L), maxStep(N) {} in LoopState()
49 const LocationContext *getLocationContext() const { return LCtx; } in getLocationContext()
56 ID.AddPointer(LCtx); in Profile()
253 auto LCtx = Pred->getLocationContext(); in updateLoopStack() local
260 LCtx == LS.getHead().getLocationContext()) { in updateLoopStack()
264 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
271 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
280 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath)); in updateLoopStack()
283 LoopState::getUnrolled(LoopStmt, LCtx, innerMaxStep)); in updateLoopStack()
H A DSymbolManager.cpp87 << LCtx->getID(); in dumpToStream()
89 os << ", S" << S->getID(LCtx->getDecl()->getASTContext()); in dumpToStream()
190 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); in conjureSymbol()
195 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag); in conjureSymbol()
238 const LocationContext *LCtx, in getMetadataSymbol() argument
241 SymbolMetadata::Profile(profile, R, S, T, LCtx, Count, SymbolTag); in getMetadataSymbol()
509 if (LCtx == nullptr) in isLive()
512 if (LCtx != ELCtx) { in isLive()
515 if (LCtx->isParentOf(ELCtx)) in isLive()
533 if (!LCtx) in isLive()
[all …]
H A DProgramState.cpp97 const StackFrameContext *LCtx, in removeDeadBindings() argument
122 const LocationContext *LCtx, in bindLoc() argument
136 const LocationContext *LCtx) const { in bindDefaultInitial()
141 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); in bindDefaultInitial()
150 return Mgr.getOwningEngine().processRegionChange(new_state, R, LCtx); in bindDefaultZero()
159 const LocationContext *LCtx, in invalidateRegions() argument
176 const LocationContext *LCtx, in invalidateRegions() argument
189 const LocationContext *LCtx, in invalidateRegionsImpl() argument
222 Invalidated, LCtx, Call); in invalidateRegionsImpl()
668 return addTaint(getSVal(S, LCtx), Kind); in addTaint()
[all …]
H A DExprEngineCallAndReturn.cpp179 const LocationContext *LCtx = Pred->getLocationContext(); in removeDeadOnEndOfFunction() local
180 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, in removeDeadOnEndOfFunction()
181 LCtx->getAnalysisDeclContext()->getBody(), in removeDeadOnEndOfFunction()
230 const LocationContext *LCtx = CEBNode->getLocationContext(); in processCallExit() local
231 SVal V = state->getSVal(RS, LCtx); in processCallExit()
373 while (LCtx) { in examineStackFrames()
382 LCtx = LCtx->getParent(); in examineStackFrames()
392 LCtx = LCtx->getParent(); in examineStackFrames()
599 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
605 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
[all …]
H A DExprEngineObjC.cpp26 const LocationContext *LCtx = Pred->getLocationContext(); in VisitLvalObjCIvarRefExpr() local
27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr()
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
55 const LocationContext *LCtx = Pred->getLocationContext(); in populateObjCForDestinationSet() local
60 ProgramStateRef nextState = state->BindExpr(S, LCtx, hasElementsV); in populateObjCForDestinationSet()
72 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T, in populateObjCForDestinationSet()
79 nextState = nextState->bindLoc(elementV, V, LCtx); in populateObjCForDestinationSet()
H A DExprEngine.cpp560 if (LCtx) { in printState()
942 SVal ArgVal = State->getSVal(Arg, LCtx); in ProcessDeleteDtor()
951 PostImplicitCall PP(Dtor, DE->getBeginLoc(), LCtx); in ProcessDeleteDtor()
1385 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
1428 SVal Val = State->getSVal(Child, LCtx); in Visit()
1968 return state->getSVal(Ex, LCtx); in RecoverCastedSymbol()
2040 PrettyStackTraceLocationContext StackCrashInfo(LCtx); in processBranch()
2535 state = state->BindExpr(M, LCtx, MDVal); in VisitMemberExpr()
2604 SVal SubExprVal = State->getSVal(SubExpr, LCtx); in VisitAtomicExpr()
2610 LCtx, in VisitAtomicExpr()
[all …]
H A DSValBuilder.cpp138 const LocationContext *LCtx, in conjureSymbolVal() argument
149 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType); in conjureSymbolVal()
151 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); in conjureSymbolVal()
156 const LocationContext *LCtx, in conjureSymbolVal() argument
165 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); in conjureSymbolVal()
174 const LocationContext *LCtx, in conjureSymbolVal() argument
183 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); in conjureSymbolVal()
193 const LocationContext *LCtx, in getConjuredHeapSymbolVal() argument
201 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); in getConjuredHeapSymbolVal()
208 const LocationContext *LCtx, in getMetadataSymbolVal() argument
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCallEvent.h177 const LocationContext *LCtx; variable
208 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin), in CallEvent()
246 return LCtx; in getLocationContext()
497 : CallEvent(E, St, LCtx) {} in AnyFunctionCall()
500 : CallEvent(D, St, LCtx) {} in AnyFunctionCall()
570 : CallEvent(CE, St, LCtx) {} in BlockCall()
677 : AnyFunctionCall(D, St, LCtx) {} in CXXInstanceCall()
816 : CXXInstanceCall(DD, St, LCtx) { in CXXDestructorCall()
862 : AnyFunctionCall(CE, St, LCtx) { in CXXConstructorCall()
910 : AnyFunctionCall(E, St, LCtx) {} in CXXAllocatorCall()
[all …]
H A DSymbolManager.h80 const LocationContext *LCtx; variable
87 LCtx(lctx), SymbolTag(symbolTag) { in SymbolConjured()
110 profile.AddPointer(LCtx); in Profile()
117 Profile(profile, S, T, Count, LCtx, SymbolTag); in Profile()
206 const LocationContext *LCtx; variable
213 : SymbolData(SymbolMetadataKind, sym), R(r), S(s), T(t), LCtx(LCtx), in SymbolMetadata()
218 assert(LCtx); in SymbolMetadata()
239 profile.AddPointer(LCtx); in Profile()
245 Profile(profile, R, S, T, LCtx, Count, Tag); in Profile()
488 const LocationContext *LCtx,
[all …]
H A DProgramState.h245 const LocationContext *LCtx,
263 bindDefaultZero(SVal loc, const LocationContext *LCtx) const;
287 unsigned BlockCount, const LocationContext *LCtx,
330 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
373 addTaint(const Stmt *S, const LocationContext *LCtx,
397 bool isTainted(const Stmt *S, const LocationContext *LCtx,
480 const LocationContext *LCtx,
569 const StackFrameContext *LCtx,
735 return bindLoc(*L, V, LCtx); in bindLoc()
791 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal()
[all …]
H A DSubEngine.h141 const LocationContext *LCtx,
148 const LocationContext *LCtx) { in processRegionChange() argument
149 return processRegionChanges(state, nullptr, MR, MR, LCtx, nullptr); in processRegionChange()
153 …ssPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val, const LocationContext *LCtx) = 0;
165 const LocationContext *LCtx = nullptr) = 0;
H A DSValBuilder.h181 const LocationContext *LCtx,
185 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
189 const LocationContext *LCtx,
192 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
209 const LocationContext *LCtx,
213 const LocationContext *LCtx,
217 const LocationContext *LCtx,
225 const LocationContext *LCtx,
234 const LocationContext *LCtx,
H A DExprEngine.h369 const LocationContext *LCtx,
375 const LocationContext *LCtx = nullptr) override;
559 const LocationContext *LCtx, QualType T,
565 const LocationContext *LCtx,
610 const LocationContext *LCtx) override;
657 const LocationContext *LCtx,
694 void examineStackFrames(const Decl *D, const LocationContext *LCtx,
776 const Expr *E, ProgramStateRef State, const LocationContext *LCtx,
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DCXXSelfAssignmentChecker.cpp42 const auto *LCtx = C.getLocationContext(); in checkBeginFunction() local
43 const auto *MD = dyn_cast<CXXMethodDecl>(LCtx->getDecl()); in checkBeginFunction()
51 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in checkBeginFunction()
52 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
54 ProgramStateRef SelfAssignState = State->bindLoc(Param, ThisVal, LCtx); in checkBeginFunction()
56 ProgramStateRef NonSelfAssignState = State->bindLoc(Param, ParamVal, LCtx); in checkBeginFunction()
H A DCStringChecker.cpp395 BufVal = state->getSVal(SecondBuf, LCtx); in CheckBufferAccess()
1275 state = state->BindExpr(CE, LCtx, in evalMemcmp()
1374 SVal ArgVal = state->getSVal(Arg, LCtx); in evalstrLengthCommon()
1549 SVal DstVal = state->getSVal(Dst, LCtx); in evalStrcpyCommon()
1925 SVal s1Val = state->getSVal(s1, LCtx); in evalStrcmpCommon()
1932 SVal s2Val = state->getSVal(s2, LCtx); in evalStrcmpCommon()
2090 LCtx, in evalStrsep()
2093 LCtx); in evalStrsep()
2131 SVal DstVal = State->getSVal(Dst, LCtx); in evalStdCopyCommon()
2164 SVal MemVal = State->getSVal(Mem, LCtx); in evalMemset()
[all …]
H A DVirtualCallChecker.cpp94 const LocationContext *LCtx = N->getLocationContext(); in REGISTER_MAP_WITH_PROGRAMSTATE() local
96 dyn_cast_or_null<CXXConstructorDecl>(LCtx->getDecl()); in REGISTER_MAP_WITH_PROGRAMSTATE()
98 dyn_cast_or_null<CXXDestructorDecl>(LCtx->getDecl()); in REGISTER_MAP_WITH_PROGRAMSTATE()
105 const auto *MD = dyn_cast<CXXMethodDecl>(LCtx->getDecl()); in REGISTER_MAP_WITH_PROGRAMSTATE()
109 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in REGISTER_MAP_WITH_PROGRAMSTATE()
221 const auto *LCtx = C.getLocationContext(); in registerCtorDtorCallInState() local
222 const auto *MD = dyn_cast_or_null<CXXMethodDecl>(LCtx->getDecl()); in registerCtorDtorCallInState()
232 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
246 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); in registerCtorDtorCallInState()
H A DCheckObjCDealloc.cpp265 const LocationContext *LCtx = C.getLocationContext(); in checkBeginFunction() local
496 const LocationContext *LCtx = C.getLocationContext(); in diagnoseMissingReleases() local
625 const LocationContext *LCtx = C.getLocationContext(); in findPropertyOnDeallocatingInstance() local
628 const ObjCImplDecl *Container = getContainingObjCImpl(LCtx); in findPropertyOnDeallocatingInstance()
800 auto *MD = cast<ObjCMethodDecl>(LCtx->getDecl()); in getContainingObjCImpl()
980 auto *MD = dyn_cast<ObjCMethodDecl>(LCtx->getDecl()); in isInInstanceDealloc()
984 const ImplicitParamDecl *SelfDecl = LCtx->getSelfDecl(); in isInInstanceDealloc()
997 const LocationContext *LCtx = C.getLocationContext(); in instanceDeallocIsOnStack() local
999 while (LCtx) { in instanceDeallocIsOnStack()
1000 if (isInInstanceDealloc(C, LCtx, InstanceValOut)) in instanceDeallocIsOnStack()
[all …]
H A DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext(); in evalCall() local
72 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
95 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
114 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DUndefBranchChecker.cpp32 const LocationContext *LCtx; member
35 : St(std::move(S)), LCtx(L) {} in FindUndefExpr()
50 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp120 const LocationContext *LCtx, in findArgIdxOfSymbol() argument
136 const LocationContext *LCtx, in generateDiagnosticsForCallLike() argument
144 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx); in generateDiagnosticsForCallLike()
163 Mgr.getObjCMethodCall(cast<ObjCMessageExpr>(S), CurrSt, LCtx); in generateDiagnosticsForCallLike()
178 Optional<CallEventRef<>> CE = Mgr.getCall(S, CurrSt, LCtx); in generateDiagnosticsForCallLike()
179 auto Idx = findArgIdxOfSymbol(CurrSt, LCtx, Sym, CE); in generateDiagnosticsForCallLike()
372 const LocationContext *LCtx = N->getLocationContext(); in VisitNode() local
391 isSynthesizedAccessor(LCtx->getStackFrame())) { in VisitNode()
392 S = LCtx->getStackFrame()->getCallSite(); in VisitNode()
420 generateDiagnosticsForCallLike(CurrSt, LCtx, CurrV, Sym, S, os); in VisitNode()
[all …]
/freebsd-12.1/contrib/llvm/tools/clang/lib/Analysis/
H A DAnalysisDeclContext.cpp485 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) { in dumpStack() local
486 switch (LCtx->getKind()) { in dumpStack()
490 if (const auto *D = dyn_cast<NamedDecl>(LCtx->getDecl())) in dumpStack()
494 if (const Stmt *S = cast<StackFrameContext>(LCtx)->getCallSite()) { in dumpStack()
504 if (const Decl *D = cast<BlockInvocationContext>(LCtx)->getDecl()) { in dumpStack()
512 printMoreInfoPerContext(LCtx); in dumpStack()

12