| /external/clang/lib/StaticAnalyzer/Core/ |
| CheckerContext.cpp | 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
| ExprEngineCXX.cpp | 31 const LocationContext *LCtx = Pred->getLocationContext();
56 const LocationContext *LCtx = Pred->getLocationContext();
108 const LocationContext *LCtx = Pred->getLocationContext();
287 const LocationContext *LCtx = Pred->getLocationContext();
332 const LocationContext *LCtx = Pred->getLocationContext();
390 State = State->BindExpr(CNE, Pred->getLocationContext(),
442 const LocationContext *LCtx = Pred->getLocationContext();
457 const LocationContext *LCtx = Pred->getLocationContext();
|
| Environment.cpp | 71 const LocationContext *LCtx = Entry.getLocationContext();
168 if (SymReaper.isLive(BlkExpr.getStmt(), BlkExpr.getLocationContext())) {
208 Out << " (" << (const void*) En.getLocationContext() << ','
|
| ExprEngineCallAndReturn.cpp | 75 Node->getLocation().getLocationContext()->getCurrentStackFrame();
82 if (PP.getLocationContext()->getCurrentStackFrame() == SF) {
177 const LocationContext *LCtx = Pred->getLocationContext();
220 PrettyStackTraceLocationContext CrashInfo(CEBNode->getLocationContext());
222 CEBNode->getLocationContext()->getCurrentStackFrame();
246 const LocationContext *LCtx = CEBNode->getLocationContext();
421 const LocationContext *CurLC = Pred->getLocationContext();
492 = CEMgr.getSimpleCall(CE, Pred->getState(), Pred->getLocationContext());
578 State = bindReturnValue(Call, Pred->getLocationContext(), State);
593 const LocationContext *CurLC = Pred->getLocationContext();
[all...] |
| BugReporterVisitors.cpp | 207 SVal RetVal = State->getSVal(S, Node->getLocationContext());
239 if (N->getLocationContext() != StackFrame)
446 const LocationContext *LCtx = N->getLocationContext();
566 SVal V = State->getSVal(S, PS->getLocationContext());
700 P.getLocationContext());
833 const LocationContext *CurLC =Succ->getLocationContext();
834 const LocationContext *ReportLC = BR.getErrorNode()->getLocationContext();
849 return MRMgr.getVarRegion(VD, N->getLocationContext());
[all...] |
| ExplodedGraph.cpp | 127 progPoint.getLocationContext() != pred->getLocationContext())
146 ParentMap &PM = progPoint.getLocationContext()->getParentMap();
|
| PathDiagnostic.cpp | 661 return PathDiagnosticLocation::createEnd(S, SMng, P.getLocationContext());
669 CE->getLocationContext(),
673 CEE->getLocationContext(),
679 return PathDiagnosticLocation(S, SMng, P.getLocationContext());
736 const LocationContext *LC = N->getLocationContext();
754 return createDeclEnd(N->getLocationContext(), SM);
871 const Decl *caller = CE.getLocationContext()->getDecl();
873 CE.getLocationContext(),
893 callEnter = getLocationForCaller(CalleeCtx, CE.getLocationContext(), SM);
[all...] |
| CallEvent.cpp | 166 BlockCount, getLocationContext(),
175 return PreStmt(E, getLocationContext(), Tag);
176 return PostStmt(E, getLocationContext(), Tag);
184 return PreImplicitCall(D, Loc, getLocationContext(), Tag);
185 return PostImplicitCall(D, Loc, getLocationContext(), Tag);
631 const LocationContext *LCtx = getLocationContext();
688 ParentMap &PM = getLocationContext()->getParentMap();
[all...] |
| CheckerManager.cpp | 158 Pred->getLocationContext(), checkFn.Checker);
287 Pred->getLocationContext(),
369 Pred->getLocationContext(),
392 ProgramPoint L = PostCondition(Condition, Pred->getLocationContext(),
438 Pred->getLocationContext(), checkFn.Checker);
543 Pred->getLocationContext(), EI->Checker);
|
| BugReporter.cpp | 295 R(r), PDC(pdc), NMC(Backmap), LC(r->getErrorNode()->getLocationContext())
332 return PathDiagnosticLocation::createDeclEnd(N->getLocationContext(),
352 const Decl *D = N->getLocationContext()->getDecl();
538 PDB.LC = N->getLocationContext();
569 const Decl *Caller = CE->getLocationContext()->getDecl();
593 N->getLocationContext());
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CoreEngine.h | 189 : Eng(E), Block(B), LC(N->getLocationContext()) { assert(B); }
384 Pred->getLocationContext(), tag);
394 Pred->getLocationContext(), tag);
489 const LocationContext *getLocationContext() const {
490 return Pred->getLocationContext();
542 const LocationContext *getLocationContext() const {
543 return Pred->getLocationContext();
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| MacOSKeychainAPIChecker.cpp | 219 SVal ArgV = State->getSVal(Expr, C.getLocationContext());
330 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext());
461 C.getLocationContext()->getParent() == 0)
478 State->getSVal(CE, C.getLocationContext()).getAsSymbol();
494 const LocationContext *LeakContext = N->getLocationContext();
504 if (N->getLocationContext() == LeakContext)
538 AllocNode->getLocationContext());
541 AllocNode->getLocationContext()->getDecl());
617 N->getLocationContext());
|
| GenericTaintChecker.cpp | 162 return (State->isTainted(E, C.getLocationContext()) || isStdin(E, C) ||
345 State = State->addTaint(CE, C.getLocationContext());
430 SVal AddrVal = State->getSVal(Arg->IgnoreParens(), C.getLocationContext());
522 if (State->isTainted(CE->getArg(0), C.getLocationContext()) ||
547 State = State->addTaint(CE, C.getLocationContext());
571 return C.getState()->addTaint(CE, C.getLocationContext());
576 SVal Val = State->getSVal(E, C.getLocationContext());
643 !State->isTainted(E, C.getLocationContext()))
|
| PthreadLockChecker.cpp | 52 const LocationContext *LCtx = C.getLocationContext();
97 SVal X = state->getSVal(CE, C.getLocationContext());
|
| VLASizeChecker.cpp | 94 SVal sizeV = state->getSVal(SE, C.getLocationContext());
145 const LocationContext *LC = C.getLocationContext();
|
| CastSizeChecker.cpp | 48 const MemRegion *R = state->getSVal(E, C.getLocationContext()).getAsRegion();
|
| DivZeroChecker.cpp | 60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
|
| UndefCapturedBlockVarChecker.cpp | 63 C.getLocationContext()).getAsRegion());
|
| UndefResultChecker.cpp | 41 const LocationContext *LCtx = C.getLocationContext();
|
| UnixAPIChecker.cpp | 104 const SVal V = state->getSVal(oflagsEx, C.getLocationContext());
162 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
249 SVal argVal = state->getSVal(arg, C.getLocationContext());
277 SVal argVal = state->getSVal(arg, C.getLocationContext());
|
| CallAndMessageChecker.cpp | 228 const LocationContext *LCtx = C.getLocationContext();
435 const LocationContext *LCtx = C.getLocationContext();
445 if (CanRetTy != Ctx.VoidTy && C.getLocationContext()->getParentMap()
|
| ChrootChecker.cpp | 108 SVal ArgVal = state->getSVal(ArgExpr, C.getLocationContext());
|
| CStringChecker.cpp | 345 const LocationContext *LCtx = C.getLocationContext();
427 const LocationContext *LCtx = C.getLocationContext();
819 const LocationContext *LCtx = C.getPredecessor()->getLocationContext();
[all...] |
| ObjCSelfInitChecker.cpp | 140 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
190 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext());
|
| /external/clang/include/clang/Analysis/ |
| ProgramPoint.h | 86 assert(getLocationContext() == l);
110 getLocationContext(), tag);
155 const LocationContext *getLocationContext() const {
184 ID.AddPointer(getLocationContext());
|
