HomeSort by relevance Sort by last modified time
    Searched refs:LCtx (Results 1 - 25 of 118) sorted by null

1 2 3 4 5

  /external/clang/lib/StaticAnalyzer/Core/
PrettyStackTraceLocationContext.h 30 const LocationContext *LCtx;
32 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) {
33 assert(LCtx);
38 LCtx->dumpStack(OS, "\t");
ExprEngineC.cpp 39 const LocationContext *LCtx = (*it)->getLocationContext();
40 SVal LeftV = state->getSVal(LHS, LCtx);
41 SVal RightV = state->getSVal(RHS, LCtx);
50 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx,
56 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
74 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
80 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(),
89 state = createTemporaryRegionIfNeeded(state, LCtx, LHS);
99 state = state->BindExpr(B, LCtx, Result);
131 const LocationContext *LCtx = (*I)->getLocationContext()
    [all...]
ExprEngineCXX.cpp 31 const LocationContext *LCtx = Pred->getLocationContext();
33 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME);
56 const LocationContext *LCtx = Pred->getLocationContext();
73 PostStmt PS(CallExpr, LCtx);
78 State = State->BindExpr(CallExpr, LCtx, ThisVal);
80 State = bindReturnValue(Call, LCtx, State);
109 const LocationContext *LCtx = Pred->getLocationContext();
120 SVal LValue = State->getLValue(Var, LCtx);
129 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl());
131 getSValBuilder().getCXXThis(CurCtor, LCtx->getCurrentStackFrame())
    [all...]
LoopWidening.cpp 40 const LocationContext *LCtx,
52 const StackFrameContext *STC = LCtx->getCurrentStackFrame();
63 BlockCount, LCtx, true, nullptr, nullptr,
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 30 const LocationContext *LCtx,
CallEvent.h 144 const LocationContext *LCtx;
168 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
169 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
171 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
172 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
176 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
214 return LCtx;
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 30 const LocationContext *LCtx,
CallEvent.h 146 const LocationContext *LCtx;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
171 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
173 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
174 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
178 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
216 return LCtx;
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 30 const LocationContext *LCtx,
CallEvent.h 146 const LocationContext *LCtx;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
171 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
173 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
174 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
178 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
216 return LCtx;
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 30 const LocationContext *LCtx,
CallEvent.h 146 const LocationContext *LCtx;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
171 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
173 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
174 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
178 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
216 return LCtx;
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 30 const LocationContext *LCtx,
CallEvent.h 146 const LocationContext *LCtx;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
171 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
173 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
174 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
178 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
216 return LCtx;
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 30 const LocationContext *LCtx,
CallEvent.h 146 const LocationContext *LCtx;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
171 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
173 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
174 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
178 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
216 return LCtx;
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 30 const LocationContext *LCtx,
CallEvent.h 146 const LocationContext *LCtx;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
171 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
173 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
174 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
178 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
216 return LCtx;
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 30 const LocationContext *LCtx,
CallEvent.h 146 const LocationContext *LCtx;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
171 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
173 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
174 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
178 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
216 return LCtx;
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 30 const LocationContext *LCtx,
CallEvent.h 146 const LocationContext *LCtx;
170 CallEvent(const Expr *E, ProgramStateRef state, const LocationContext *lctx)
171 : State(std::move(state)), LCtx(lctx), Origin(E), RefCount(0) {}
173 CallEvent(const Decl *D, ProgramStateRef state, const LocationContext *lctx)
174 : State(std::move(state)), LCtx(lctx), Origin(D), RefCount(0) {}
178 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin),
216 return LCtx;
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp 36 const LocationContext *LCtx = C.getLocationContext();
53 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
54 C.addTransition(state->BindExpr(CE, LCtx, X));
68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
94 C.addTransition(state->BindExpr(CE, LCtx, V));
UndefResultChecker.cpp 41 const LocationContext *LCtx = C.getLocationContext();
42 if (state->getSVal(B, LCtx).isUndef()) {
66 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
70 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
PointerSubChecker.cpp 43 const LocationContext *LCtx = C.getLocationContext();
44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);

Completed in 407 milliseconds

1 2 3 4 5