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

1 2 3

  /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);
LoopWidening.cpp 45 const LocationContext *LCtx,
57 ASTContext &ASTCtx = LCtx->getAnalysisDeclContext()->getASTContext();
58 const StackFrameContext *STC = LCtx->getStackFrame();
73 *LCtx->getDecl()->getBody(), ASTCtx);
77 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx);
96 BlockCount, LCtx, true, nullptr, nullptr,
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...]
ProgramState.cpp 95 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, CausedByPointerEscape
    [all...]
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...]
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...]
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);
SymbolManager.cpp 75 << LCtx->getID();
77 os << ", S" << S->getID(LCtx->getDecl()->getASTContext());
173 const LocationContext *LCtx,
178 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag);
183 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag);
226 const LocationContext *LCtx,
229 SymbolMetadata::Profile(profile, R, S, T, LCtx, Count, SymbolTag);
234 new (SD) SymbolMetadata(SymbolCounter, R, S, T, LCtx, Count, SymbolTag);
493 if (LCtx == nullptr)
496 if (LCtx != ELCtx)
    [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...]
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
LoopWidening.h 29 const LocationContext *LCtx,
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...]
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...]
SValBuilder.h 194 const LocationContext *LCtx,
198 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag);
202 const LocationContext *LCtx,
205 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag);
222 const LocationContext *LCtx,
226 const LocationContext *LCtx,
230 const LocationContext *LCtx,
238 const LocationContext *LCtx,
247 const LocationContext *LCtx,
ProgramState.h 238 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,
334 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
336 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const;
434 void printJson(raw_ostream &Out, const LocationContext *LCtx = nullptr
    [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);
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);
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));
CStringChecker.cpp 115 const LocationContext *LCtx,
452 const LocationContext *LCtx = C.getLocationContext();
453 SVal firstVal = state->getSVal(First.Expression, LCtx);
454 SVal secondVal = state->getSVal(Second.Expression, LCtx);
503 SVal LengthVal = state->getSVal(Size.Expression, LCtx);
883 const LocationContext *LCtx = C.getLocationContext();
887 SVal BufVal = state->getSVal(FirstBuf, LCtx);
889 SVal LengthVal = state->getSVal(Size, LCtx);
959 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
982 return state->invalidateRegions(R, E, C.blockCount(), LCtx,
    [all...]
Taint.h 31 const LocationContext *LCtx,
66 const LocationContext *LCtx,
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...]
Taint.cpp 43 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);
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()));
  /src/external/apache2/llvm/dist/clang/lib/Analysis/
AnalysisDeclContext.cpp 453 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) {
454 switch (LCtx->getKind()) {
458 if (const auto *D = dyn_cast<NamedDecl>(LCtx->getDecl()))
462 if (const Stmt *S = cast<StackFrameContext>(LCtx)->getCallSite()) {
469 if (const Decl *D = cast<BlockInvocationContext>(LCtx)->getDecl()) {
491 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent())
    [all...]

Completed in 74 milliseconds

1 2 3