/freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | PrettyStackTraceLocationContext.h | 30 const LocationContext *LCtx; member in class:clang::ento::PrettyStackTraceLocationContext 32 PrettyStackTraceLocationContext(const LocationContext *LC) : LCtx(LC) { 33 assert(LCtx); 38 LCtx->dumpStack(OS, "\t");
|
H A D | ExprEngineC.cpp | 39 const LocationContext *LCtx = (*it)->getLocationContext(); local 40 SVal LeftV = state->getSVal(LHS, LCtx); 41 SVal RightV = state->getSVal(RHS, LCtx); 50 RightV = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, Count); 55 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), 73 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(), 79 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(), 92 state = state->BindExpr(B, LCtx, Result); 124 const LocationContext *LCtx = (*I)->getLocationContext(); local 125 SVal V = state->getSVal(LHS, LCtx); 231 const LocationContext *LCtx = subExprNode->getLocationContext(); local 250 const LocationContext *LCtx = Pred->getLocationContext(); local 277 const LocationContext *LCtx = Pred->getLocationContext(); local 408 const LocationContext *LCtx = Pred->getLocationContext(); local 583 const LocationContext *LCtx = Pred->getLocationContext(); local 635 const LocationContext *LCtx = Pred->getLocationContext(); local 772 const LocationContext *LCtx = (*I)->getLocationContext(); local 787 const LocationContext *LCtx = (*I)->getLocationContext(); local 808 const LocationContext *LCtx = (*I)->getLocationContext(); local 820 const LocationContext *LCtx = (*I)->getLocationContext(); local 879 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | ExprEngineCXX.cpp | 31 const LocationContext *LCtx = Pred->getLocationContext(); local 33 state = createTemporaryRegionIfNeeded(state, LCtx, tempExpr, ME); 56 const LocationContext *LCtx = Pred->getLocationContext(); local 73 PostStmt PS(CallExpr, LCtx); 78 State = State->BindExpr(CallExpr, LCtx, ThisVal); 80 State = bindReturnValue(Call, LCtx, State); 114 const LocationContext *LCtx = Pred->getLocationContext(); local 136 SVal LValue = State->getLValue(Var, LCtx); 150 const CXXMethodDecl *CurCtor = cast<CXXMethodDecl>(LCtx->getDecl()); 152 LCtx 293 const LocationContext *LCtx = Pred->getLocationContext(); local 340 const LocationContext *LCtx = Pred->getLocationContext(); local 453 const LocationContext *LCtx = Pred->getLocationContext(); local 468 const LocationContext *LCtx = Pred->getLocationContext(); local [all...] |
H A D | ExprEngineObjC.cpp | 26 const LocationContext *LCtx = Pred->getLocationContext(); local 27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); 32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); 97 const LocationContext *LCtx = Pred->getLocationContext(); local 101 ProgramStateRef hasElems = state->BindExpr(S, LCtx, TrueV); 105 ProgramStateRef noElems = state->BindExpr(S, LCtx, FalseV); 115 SymbolRef Sym = SymMgr.conjureSymbol(elem, LCtx, T,
|
H A D | ExprEngineCallAndReturn.cpp | 177 const LocationContext *LCtx = Pred->getLocationContext(); local 178 removeDead(Pred, Dst, dyn_cast<ReturnStmt>(LastSt), LCtx, 179 LCtx->getAnalysisDeclContext()->getBody(), 246 const LocationContext *LCtx = CEBNode->getLocationContext(); local 247 SVal V = state->getSVal(RS, LCtx); 356 void ExprEngine::examineStackFrames(const Decl *D, const LocationContext *LCtx, argument 361 while (LCtx) { 362 if (const StackFrameContext *SFC = dyn_cast<StackFrameContext>(LCtx)) { 370 LCtx = LCtx 535 bindReturnValue(const CallEvent &Call, const LocationContext *LCtx, ProgramStateRef State) argument [all...] |
H A D | ProgramState.cpp | 91 const StackFrameContext *LCtx, 105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, 141 const LocationContext *LCtx, 151 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape, 158 const LocationContext *LCtx, 164 return invalidateRegionsImpl(Values, E, Count, LCtx, CausedByPointerEscape, 171 const LocationContext *LCtx, 192 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, 210 Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, 292 const LocationContext *LCtx, 90 removeDeadBindings(ProgramStateRef state, const StackFrameContext *LCtx, SymbolReaper& SymReaper) argument 139 invalidateRegions(RegionList Regions, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument 156 invalidateRegions(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, const CallEvent *Call, RegionAndSymbolInvalidationTraits *ITraits) const argument 169 invalidateRegionsImpl(ValueList Values, const Expr *E, unsigned Count, const LocationContext *LCtx, bool CausedByPointerEscape, InvalidatedSymbols *IS, RegionAndSymbolInvalidationTraits *ITraits, const CallEvent *Call) const argument 291 BindExpr(const Stmt *S, const LocationContext *LCtx, SVal V, bool Invalidate) const argument 652 addTaint(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument 688 isTainted(const Stmt *S, const LocationContext *LCtx, TaintTagType Kind) const argument [all...] |
H A D | SymbolManager.cpp | 167 const LocationContext *LCtx, 172 SymbolConjured::Profile(profile, E, T, Count, LCtx, SymbolTag); 177 new (SD) SymbolConjured(SymbolCounter, E, LCtx, T, Count, SymbolTag); 494 if (LCtx == 0) 497 if (LCtx != ELCtx) { 500 if (LCtx->isParentOf(ELCtx)) 509 return LCtx->getAnalysis<RelaxedLiveVariables>()->isLive(Loc, ExprVal); 518 if (!LCtx) 520 const StackFrameContext *CurrentContext = LCtx->getCurrentStackFrame(); 527 if (LCtx 166 conjureSymbol(const Stmt *E, const LocationContext *LCtx, QualType T, unsigned Count, const void *SymbolTag) argument [all...] |
H A D | ExprEngine.cpp | 573 const LocationContext *LCtx = Pred->getLocationContext(); local 576 SVal ArgVal = State->getSVal(Arg, LCtx); 586 PostImplicitCall PP(Dtor, DE->getLocStart(), LCtx); 600 const LocationContext *LCtx = Pred->getLocationContext(); local 603 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl()); 605 LCtx->getCurrentStackFrame()); 622 const LocationContext *LCtx = Pred->getLocationContext(); local 624 const CXXDestructorDecl *CurDtor = cast<CXXDestructorDecl>(LCtx->getDecl()); 626 LCtx->getCurrentStackFrame()); 814 const LocationContext *LCtx local 850 const LocationContext *LCtx = N->getLocationContext(); local 927 const LocationContext *LCtx = Pred->getLocationContext(); local 1294 RecoverCastedSymbol(ProgramStateManager& StateMgr, ProgramStateRef state, const Stmt *Condition, const LocationContext *LCtx, ASTContext &Ctx) argument 1377 const LocationContext *LCtx = Pred->getLocationContext(); local 1678 const LocationContext *LCtx = Pred->getLocationContext(); local 1742 const LocationContext *LCtx = (*it)->getLocationContext(); local 1771 const LocationContext *LCtx = Pred->getLocationContext(); local 2082 const LocationContext *LCtx = (*NI)->getLocationContext(); local [all...] |
H A D | SValBuilder.cpp | 111 const LocationContext *LCtx, 119 T = LCtx->getAnalysisDeclContext()->getASTContext().getPointerType(ExType); 121 return conjureSymbolVal(SymbolTag, Ex, LCtx, T, Count); 126 const LocationContext *LCtx, 132 SymbolRef sym = SymMgr.conjureSymbol(expr, LCtx, type, count, symbolTag); 142 const LocationContext *LCtx, 148 SymbolRef sym = SymMgr.conjureSymbol(stmt, LCtx, type, visitCount); 158 const LocationContext *LCtx, 164 SymbolRef sym = SymMgr.conjureSymbol(E, LCtx, T, VisitCount); 109 conjureSymbolVal(const void *SymbolTag, const Expr *Ex, const LocationContext *LCtx, unsigned Count) argument 124 conjureSymbolVal(const void *symbolTag, const Expr *expr, const LocationContext *LCtx, QualType type, unsigned count) argument 141 conjureSymbolVal(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount) argument 157 getConjuredHeapSymbolVal(const Expr *E, const LocationContext *LCtx, unsigned VisitCount) argument
|
H A D | Environment.cpp | 71 const LocationContext *LCtx = Entry.getLocationContext(); local 98 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); 104 return lookupExpr(EnvironmentEntry(S, LCtx));
|
H A D | BugReporterVisitors.cpp | 446 const LocationContext *LCtx = N->getLocationContext(); local 447 return FrameSpace->getStackFrame() == LCtx->getCurrentStackFrame(); 1285 const LocationContext *LCtx = N->getLocationContext(); local 1288 LCtx).getAsRegion()) { 1404 const LocationContext *LCtx = N->getLocationContext(); local 1405 PathDiagnosticLocation Loc(Cond, BRC.getSourceManager(), LCtx); 1440 const LocationContext *LCtx = N->getLocationContext(); local 1441 PathDiagnosticLocation Loc(CondVarExpr, BRC.getSourceManager(), LCtx); 1448 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { 1486 const LocationContext *LCtx local 1559 const LocationContext *LCtx = N->getLocationContext(); local [all...] |
/freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 36 const LocationContext *LCtx = C.getLocationContext(); local 50 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); 51 C.addTransition(state->BindExpr(CE, LCtx, X)); 65 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); 74 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); 91 C.addTransition(state->BindExpr(CE, LCtx, V));
|
H A D | UndefResultChecker.cpp | 41 const LocationContext *LCtx = C.getLocationContext(); local 42 if (state->getSVal(B, LCtx).isUndef()) { 65 if (state->getSVal(B->getLHS(), LCtx).isUndef()) { 69 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
|
H A D | PointerArithChecker.cpp | 40 const LocationContext *LCtx = C.getLocationContext(); local 41 SVal LV = state->getSVal(B->getLHS(), LCtx); 42 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
H A D | PointerSubChecker.cpp | 43 const LocationContext *LCtx = C.getLocationContext(); local 44 SVal LV = state->getSVal(B->getLHS(), LCtx); 45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
H A D | PthreadLockChecker.cpp | 52 const LocationContext *LCtx = C.getLocationContext(); local 63 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 68 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 73 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 78 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), 84 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
|
H A D | UndefBranchChecker.cpp | 31 const LocationContext *LCtx; member in struct:__anon3475::UndefBranchChecker::FindUndefExpr 34 : St(S), LCtx(L) {} 51 return St->getSVal(Ex, LCtx).isUndef();
|
H A D | CStringChecker.cpp | 346 const LocationContext *LCtx = C.getLocationContext(); local 352 SVal BufVal = state->getSVal(FirstBuf, LCtx); 364 SVal LengthVal = state->getSVal(Size, LCtx); 390 BufVal = state->getSVal(SecondBuf, LCtx); 428 const LocationContext *LCtx = C.getLocationContext(); local 429 SVal firstVal = state->getSVal(First, LCtx); 430 SVal secondVal = state->getSVal(Second, LCtx); 479 SVal LengthVal = state->getSVal(Size, LCtx); 834 const LocationContext *LCtx = C.getPredecessor()->getLocationContext(); local 847 return state->invalidateRegions(R, E, C.blockCount(), LCtx, 907 const LocationContext *LCtx = C.getLocationContext(); local 1064 const LocationContext *LCtx = C.getLocationContext(); local 1146 const LocationContext *LCtx = C.getLocationContext(); local 1319 const LocationContext *LCtx = C.getLocationContext(); local 1678 const LocationContext *LCtx = C.getLocationContext(); local 1811 const LocationContext *LCtx = C.getLocationContext(); local [all...] |
H A D | DereferenceChecker.cpp | 46 const LocationContext *LCtx, 56 const LocationContext *LCtx, 52 AddDerefSource(raw_ostream &os, SmallVectorImpl<SourceRange> &Ranges, const Expr *Ex, const ProgramState *state, const LocationContext *LCtx, bool loadedFrom) argument
|
/freebsd-9.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CallEvent.h | 121 const LocationContext *LCtx; member in class:clang::ento::CallEvent 146 : State(state), LCtx(lctx), Origin(E), RefCount(0) {} 149 : State(state), LCtx(lctx), Origin(D), RefCount(0) {} 153 : State(Original.State), LCtx(Original.LCtx), Origin(Original.Origin), 190 return LCtx; 391 const LocationContext *LCtx) 392 : CallEvent(E, St, LCtx) {} 394 const LocationContext *LCtx) 395 : CallEvent(D, St, LCtx) {} 390 AnyFunctionCall(const Expr *E, ProgramStateRef St, const LocationContext *LCtx) argument 393 AnyFunctionCall(const Decl *D, ProgramStateRef St, const LocationContext *LCtx) argument 437 SimpleCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 468 FunctionCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 490 BlockCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 539 CXXInstanceCall(const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 542 CXXInstanceCall(const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx) argument 576 CXXMemberCall(const CXXMemberCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 617 CXXMemberOperatorCall(const CXXOperatorCallExpr *CE, ProgramStateRef St, const LocationContext *LCtx) argument 665 CXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBaseDestructor, ProgramStateRef St, const LocationContext *LCtx) argument 711 CXXConstructorCall(const CXXConstructExpr *CE, const MemRegion *Target, ProgramStateRef St, const LocationContext *LCtx) argument 757 CXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef St, const LocationContext *LCtx) argument 810 ObjCMethodCall(const ObjCMessageExpr *Msg, ProgramStateRef St, const LocationContext *LCtx) argument 928 create(Arg A, ProgramStateRef St, const LocationContext *LCtx) argument 933 create(Arg1 A1, Arg2 A2, ProgramStateRef St, const LocationContext *LCtx) argument 938 create(Arg1 A1, Arg2 A2, Arg3 A3, ProgramStateRef St, const LocationContext *LCtx) argument 945 create(Arg1 A1, Arg2 A2, Arg3 A3, Arg4 A4, ProgramStateRef St, const LocationContext *LCtx) argument 963 getObjCMethodCall(const ObjCMessageExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument 969 getCXXConstructorCall(const CXXConstructExpr *E, const MemRegion *Target, ProgramStateRef State, const LocationContext *LCtx) argument 975 getCXXDestructorCall(const CXXDestructorDecl *DD, const Stmt *Trigger, const MemRegion *Target, bool IsBase, ProgramStateRef State, const LocationContext *LCtx) argument 982 getCXXAllocatorCall(const CXXNewExpr *E, ProgramStateRef State, const LocationContext *LCtx) argument [all...] |
H A D | SValBuilder.h | 146 const LocationContext *LCtx, 150 return SymMgr.conjureSymbol(stmt, LCtx, type, visitCount, symbolTag); 154 const LocationContext *LCtx, 157 return SymMgr.conjureSymbol(expr, LCtx, visitCount, symbolTag); 174 const LocationContext *LCtx, 178 const LocationContext *LCtx, 183 const LocationContext *LCtx, 190 const LocationContext *LCtx, 145 conjureSymbol(const Stmt *stmt, const LocationContext *LCtx, QualType type, unsigned visitCount, const void *symbolTag = 0) argument 153 conjureSymbol(const Expr *expr, const LocationContext *LCtx, unsigned visitCount, const void *symbolTag = 0) argument
|
H A D | SymbolManager.h | 161 const LocationContext *LCtx; member in class:clang::ento::SymbolConjured 169 LCtx(lctx), 181 QualType T, unsigned Count, const LocationContext *LCtx, 185 profile.AddPointer(LCtx); 192 Profile(profile, S, T, Count, LCtx, SymbolTag); 501 const LocationContext *LCtx, 507 const LocationContext *LCtx, 510 return conjureSymbol(E, LCtx, E->getType(), VisitCount, SymbolTag); 576 const StackFrameContext *LCtx; member in class:clang::ento::SymbolReaper 592 : LCtx(Ct 180 Profile(llvm::FoldingSetNodeID& profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag) argument 506 conjureSymbol(const Expr *E, const LocationContext *LCtx, unsigned VisitCount, const void *SymbolTag = 0) argument [all...] |
H A D | ProgramState.h | 206 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx, 239 unsigned BlockCount, const LocationContext *LCtx, 246 unsigned BlockCount, const LocationContext *LCtx, 275 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const; 277 SVal getSValAsScalarOrLoc(const Stmt *Ex, const LocationContext *LCtx) const; 321 ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx, 333 bool isTainted(const Stmt *S, const LocationContext *LCtx, 425 const LocationContext *LCtx, 513 const StackFrameContext *LCtx, 695 const LocationContext *LCtx) cons [all...] |
H A D | Store.h | 144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx, 187 const LocationContext *LCtx,
|
/freebsd-9.3-release/contrib/llvm/tools/clang/lib/Analysis/ |
H A D | AnalysisDeclContext.cpp | 419 for (const LocationContext *LCtx = this; LCtx; LCtx = LCtx->getParent()) { 420 switch (LCtx->getKind()) { 423 cast<StackFrameContext>(LCtx)->getDecl()->print(OS, PP); 431 << cast<BlockInvocationContext>(LCtx)->getContextData()
|