/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);
|