Searched refs:getLocationContext (Results 1 - 25 of 61) sorted by relevance

123

/external/clang/lib/StaticAnalyzer/Checkers/
H A DTraversalChecker.cpp41 const ParentMap &Parents = C.getLocationContext()->getParentMap();
74 for (const LocationContext *LC = C.getLocationContext()->getParent();
91 for (const LocationContext *LC = C.getLocationContext()->getParent();
H A DExprInspectionChecker.cpp61 const LocationContext *LC = N->getLocationContext();
90 const LocationContext *LC = N->getLocationContext();
118 const LocationContext *LC = N->getLocationContext();
H A DFixedAddressChecker.cpp48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
H A DObjCContainersChecker.cpp41 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
64 SVal SizeV = State->getSVal(Size, C.getLocationContext());
70 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
126 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
H A DTaintTesterChecker.cpp50 if (State->isTainted(E, C.getLocationContext())) {
H A DUndefinedArraySubscriptChecker.cpp44 const Decl *D = C.getLocationContext()->getDecl();
H A DBuiltinFunctionChecker.cpp36 const LocationContext *LCtx = C.getLocationContext();
59 RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext());
H A DUndefBranchChecker.cpp63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
97 FindUndefExpr FindIt(St, Ctx.getLocationContext());
H A DStreamChecker.cpp214 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
218 state = state->BindExpr(CE, C.getLocationContext(), RetVal);
246 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
253 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
261 C.getLocationContext()), state, C)))
264 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
288 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
295 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
302 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
309 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
[all...]
H A DAnalyzerStatsChecker.cpp50 const LocationContext *LC = GraphRoot->getLocation().getLocationContext();
60 if (D != P.getLocationContext()->getDecl())
H A DDereferenceChecker.cpp129 State.get(), N->getLocationContext());
137 State.get(), N->getLocationContext(), true);
146 State.get(), N->getLocationContext(), true);
155 State.get(), N->getLocationContext(), true);
H A DMacOSXAPIChecker.cpp61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
H A DObjCAtSyncChecker.cpp42 SVal V = state->getSVal(Ex, C.getLocationContext());
H A DPointerArithChecker.cpp40 const LocationContext *LCtx = C.getLocationContext();
H A DPointerSubChecker.cpp43 const LocationContext *LCtx = C.getLocationContext();
H A DReturnPointerRangeChecker.cpp43 SVal V = state->getSVal(RetE, C.getLocationContext());
H A DUndefinedAssignmentChecker.cpp66 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h138 const LocationContext *getLocationContext() const { function in class:clang::ento::CheckerContext
139 return Pred->getLocationContext();
147 bool inTopFrame() const { return getLocationContext()->inTopFrame(); }
174 return Pred->getLocationContext()->getAnalysisDeclContext();
196 return getState()->getSVal(S, getLocationContext());
H A DEnvironment.h40 const LocationContext *getLocationContext() const { return second; } function in class:clang::ento::EnvironmentEntry
46 ID.AddPointer(E.getLocationContext());
H A DExplodedGraph.h136 const LocationContext *getLocationContext() const { function in class:clang::ento::ExplodedNode
137 return getLocation().getLocationContext();
141 return getLocationContext()->getCurrentStackFrame();
144 const Decl &getCodeDecl() const { return *getLocationContext()->getDecl(); }
146 CFG &getCFG() const { return *getLocationContext()->getCFG(); }
148 ParentMap &getParentMap() const {return getLocationContext()->getParentMap();}
152 return *getLocationContext()->getAnalysis<T>();
/external/clang/examples/analyzer-plugin/
H A DMainCallChecker.cpp20 const LocationContext *LC = C.getLocationContext();
/external/clang/lib/StaticAnalyzer/Core/
H A DCoreEngine.cpp289 const LocationContext *LC = Pred->getLocationContext();
295 if (Blk == &(L.getLocationContext()->getCFG()->getExit())) {
297 assert (L.getLocationContext()->getCFG()->getExit().size() == 0
309 BlockEntrance BE(Blk, Pred->getLocationContext());
326 const LocationContext *LC = Pred->getLocationContext();
377 generateNode(BlockEdge(B, succ, Pred->getLocationContext()),
449 generateNode(BlockEdge(B, *(B->succ_begin()), Pred->getLocationContext()),
542 PostStmt Loc(CS.getStmt(), N->getLocationContext());
562 = cast<StackFrameContext>(N->getLocationContext());
593 if (N->getLocationContext()
[all...]
H A DExprEngineC.cpp39 const LocationContext *LCtx = (*it)->getLocationContext();
131 const LocationContext *LCtx = (*I)->getLocationContext();
194 Pred->getLocationContext(),
220 State->BindExpr(BE, Pred->getLocationContext(), V),
238 const LocationContext *LCtx = subExprNode->getLocationContext();
257 const LocationContext *LCtx = Pred->getLocationContext();
284 const LocationContext *LCtx = Pred->getLocationContext();
416 const LocationContext *LCtx = Pred->getLocationContext();
464 const LocationContext *LC = N->getLocationContext();
558 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());
[all...]
H A DExprEngineObjC.cpp26 const LocationContext *LCtx = Pred->getLocationContext();
81 elementV = state->getLValue(elemD, Pred->getLocationContext());
84 elementV = state->getSVal(elem, Pred->getLocationContext());
97 const LocationContext *LCtx = Pred->getLocationContext();
140 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext());
H A DExprEngine.cpp280 PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
426 if (shouldRemoveDeadBindings(AMgr, S, Pred, Pred->getLocationContext())){
427 removeDead(Pred, CleanedStates, currStmt, Pred->getLocationContext());
455 cast<StackFrameContext>(Pred->getLocationContext());
568 const LocationContext *LCtx = Pred->getLocationContext();
582 SVal dest = state->getLValue(varDecl, Pred->getLocationContext());
598 const LocationContext *LCtx = Pred->getLocationContext();
625 const LocationContext *LCtx = Pred->getLocationContext();
646 const LocationContext *LCtx = Pred->getLocationContext();
751 state = state->BindExpr(S, Pred->getLocationContext(),
[all...]

Completed in 147 milliseconds

123