HomeSort by: relevance | last modified time | path
    Searched defs:LCtx (Results 1 - 25 of 28) sorted by relevancy

1 2

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
PrettyStackTraceLocationContext.h 29 const LocationContext *LCtx;
31 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) {
32 assert(LCtx);
37 LCtx->dumpStack(Out);
Environment.cpp 95 const LocationContext *LCtx = Entry.getLocationContext();
126 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
132 return lookupExpr(EnvironmentEntry(S, LCtx));
216 const LocationContext *LCtx, const char *NL,
226 if (!LCtx) {
233 LCtx = LC;
240 assert(LCtx);
242 Out << "{ \"pointer\": \"" << (const void *)LCtx->getStackFrame()
246 LCtx->printJson(Out, NL, Space, IsDot, [&](const LocationContext *LC) {
247 // LCtx items begi
    [all...]
ExprEngineObjC.cpp 25 const LocationContext *LCtx = Pred->getLocationContext();
26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
54 const LocationContext *LCtx = Pred->getLocationContext();
57 ExprEngine::setWhetherHasMoreIteration(state, S, LCtx, hasElements);
69 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
76 nextState = nextState->bindLoc(elementV, V, LCtx);
CoreEngine.cpp 473 const LocationContext *LCtx = Pred->getLocationContext();
475 LCtx->getStackFrame()->getCallSite())) {
479 BlockEdge Loc(B, *B->succ_begin(), LCtx);
490 BlockEdge Loc(B, *(B->succ_begin() + 1), LCtx);
LoopUnrolling.cpp 31 const LocationContext *LCtx;
34 : K(InK), LoopStmt(S), LCtx(L), maxStep(N) {}
48 const LocationContext *getLocationContext() const { return LCtx; }
55 ID.AddPointer(LCtx);
264 auto LCtx = Pred->getLocationContext();
271 LCtx == LS.getHead().getLocationContext()) {
275 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath));
282 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath));
291 LoopState::getNormal(LoopStmt, LCtx, maxVisitOnPath));
294 LoopState::getUnrolled(LoopStmt, LCtx, innerMaxStep))
    [all...]
ExprEngineC.cpp 30 unsigned Count, const LocationContext *LCtx) {
35 return svalBuilder.conjureSymbolVal(Expression, LCtx, Ty, Count);
57 const LocationContext *LCtx = (*it)->getLocationContext();
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, LHS)
    [all...]
ExprEngineCXX.cpp 32 const LocationContext *LCtx = Pred->getLocationContext();
34 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME);
68 const LocationContext *LCtx = Pred->getLocationContext();
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 return makeZeroElementRegion(State, State->getLValue(Var, LCtx), Ty,
135 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
136 Loc ThisPtr = SVB.getCXXThis(CurCtor, LCtx->getStackFrame())
    [all...]
ExprEngineCallAndReturn.cpp 182 const LocationContext *LCtx = Pred->getLocationContext();
183 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx,
184 LCtx->getAnalysisDeclContext()->getBody(),
233 const LocationContext *LCtx = CEBNode->getLocationContext();
234 SVal V = state->getSVal(RS, LCtx);
388 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx,
393 while (LCtx) {
394 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) {
402 LCtx = LCtx->getParent()
    [all...]
BugReporterVisitors.cpp 207 const LocationContext *LCtx = N->getLocationContext();
218 return State->getSVal(State->getLValue(VD, LCtx));
222 if (auto FieldL = State->getSVal(ME, LCtx).getAs<Loc>())
876 auto *LCtx = N->getLocationContext();
884 State->getLValue(VD, LCtx).getAsRegion()))
1260 const LocationContext *LCtx = N->getLocationContext();
1261 return FrameSpace->getStackFrame() == LCtx->getStackFrame();
2381 const LocationContext *LCtx = N->getLocationContext();
2389 CurrentState->getSVal(Cond, LCtx).isUnknownOrUndef();
2436 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx);
    [all...]
RegionStore.cpp 421 const LocationContext *LCtx,
428 const LocationContext *LCtx,
621 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
989 const LocationContext *LCtx;
999 const LocationContext *lctx,
1005 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r),
1092 RM.getRegionManager().getVarRegion(VD, LCtx);
1142 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count);
1163 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx,
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
CXXSelfAssignmentChecker.cpp 41 const auto *LCtx = C.getLocationContext();
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);
UndefBranchChecker.cpp 33 const LocationContext *LCtx;
36 : St(std::move(S)), LCtx(L) {}
51 return St->getSVal(Ex, LCtx).isUndef();
BuiltinFunctionChecker.cpp 40 const LocationContext *LCtx = C.getLocationContext();
77 C.addTransition(state->BindExpr(CE, LCtx, Arg));
98 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
126 C.addTransition(state->BindExpr(CE, LCtx, V));
STLAlgorithmModeling.cpp 111 const auto *LCtx = C.getLocationContext();
113 SVal RetVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount());
114 SVal Param = State->getSVal(CE->getArg(paramNum), LCtx);
116 auto StateFound = State->BindExpr(CE, LCtx, RetVal);
125 CE, LCtx, C.blockCount());
138 Param = State->getSVal(CE->getArg(paramNum + 1), LCtx);
147 CE, LCtx, C.blockCount());
163 auto StateNotFound = State->BindExpr(CE, LCtx, Param);
VirtualCallChecker.cpp 167 const auto *LCtx = C.getLocationContext();
168 const auto *MD = dyn_cast_or_null<CXXMethodDecl>(LCtx->getDecl());
178 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
192 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame()));
IteratorModeling.cpp 499 auto *LCtx = C.getLocationContext();
501 CE, LCtx, C.getASTContext().BoolTy, C.blockCount()));
502 State = State->BindExpr(CE, LCtx, RetVal);
695 const auto *LCtx = C.getLocationContext();
696 State = createIteratorPosition(State, RetVal, Cont, CE, LCtx, C.blockCount());
CallAndMessageChecker.cpp 373 const LocationContext *LCtx = C.getLocationContext();
374 SVal L = State->getSVal(Callee, LCtx);
683 const LocationContext *LCtx = C.getLocationContext();
688 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
726 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
CheckObjCDealloc.cpp 154 bool isInInstanceDealloc(const CheckerContext &C, const LocationContext *LCtx,
161 const ObjCImplDecl *getContainingObjCImpl(const LocationContext *LCtx) const;
264 const LocationContext *LCtx = C.getLocationContext();
279 for (auto *PropImpl : getContainingObjCImpl(LCtx)->property_impls()) {
495 const LocationContext *LCtx = C.getLocationContext();
525 cast<ObjCMethodDecl>(LCtx->getDecl())->getClassInterface())
599 assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty());
623 const LocationContext *LCtx = C.getLocationContext();
626 const ObjCImplDecl *Container = getContainingObjCImpl(LCtx);
795 /// Returns the ObjCImplDecl containing the method declaration in LCtx
    [all...]
DynamicTypePropagation.cpp 379 const LocationContext *LCtx = C.getLocationContext();
388 LCtx->getParentMap().getParent(Ctor->getOriginExpr())))
391 recordFixedType(Target, cast<CXXConstructorDecl>(LCtx->getDecl()), C);
StreamChecker.cpp 174 const LocationContext *LCtx = C.getLocationContext();
176 .conjureSymbolVal(nullptr, CE, LCtx, C.blockCount())
BasicObjCFoundationChecks.cpp 890 const LocationContext *LCtx = C.getLocationContext();
898 ElementLoc = State->getLValue(ElemDecl, LCtx);
900 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SymbolManager.h 81 const LocationContext *LCtx;
85 SymbolConjured(SymbolID sym, const Stmt *s, const LocationContext *lctx,
88 LCtx(lctx), SymbolTag(symbolTag) {
94 assert(lctx);
109 QualType T, unsigned Count, const LocationContext *LCtx,
113 profile.AddPointer(LCtx);
120 Profile(profile, S, T, Count, LCtx, SymbolTag);
213 const LocationContext *LCtx;
219 const LocationContext *LCtx, unsigned count, const void *tag
    [all...]
CallEvent.h 149 const LocationContext *LCtx;
172 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
173 : State(std::move(state)), LCtx(lctx), Origin(E) {}
175 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
176 : State(std::move(state)), LCtx(lctx), Origin(D) {}
180 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
219 return LCtx;
    [all...]
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
RetainCountDiagnostics.cpp 173 const LocationContext *LCtx,
214 const LocationContext *LCtx,
222 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx);
241 Mgr.getObjCMethodCall(cast<ObjCMessageExpr>(S), CurrSt, LCtx);
256 Optional<CallEventRef<>> CE = Mgr.getCall(S, CurrSt, LCtx);
257 auto Idx = findArgIdxOfSymbol(CurrSt, LCtx, Sym, CE);
485 const LocationContext *LCtx = N->getLocationContext();
511 isSynthesizedAccessor(LCtx->getStackFrame())) {
512 S = LCtx->getStackFrame()->getCallSite();
540 generateDiagnosticsForCallLike(CurrSt, LCtx, CurrV, Sym, S, os)
    [all...]
RetainCountChecker.cpp 907 const LocationContext *LCtx = C.getLocationContext();
926 SVal RetVal = state->getSVal(BindReturnTo, LCtx);
936 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount());
940 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false);
948 CE, LCtx, C.getSValBuilder().makeNull(), /*Invalidate=*/false);
1186 ArrayRef<const MemRegion *> Regions, const LocationContext *LCtx,
1336 const LocationContext *LCtx = Ctx.getLocationContext();
1337 const Decl *D = LCtx->getDecl();
1349 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol();
1380 const LocationContext *LCtx = Pred->getLocationContext()
    [all...]

Completed in 85 milliseconds

1 2