/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | ArrayBoundCheckerV2.cpp | 60 SValBuilder &svalBuilder, 68 static SVal computeExtentBegin(SValBuilder &svalBuilder, argument 73 return svalBuilder.makeZeroArrayIndex(); 100 SValBuilder &svalBuilder = checkerContext.getSValBuilder(); local 102 RegionRawOffsetV2::computeOffset(state, svalBuilder, location); 111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion()); 115 svalBuilder.evalBinOpNN(state, BO_LT, rawOffset.getByteOffset(), *NV, 116 svalBuilder.getConditionType()); 141 rawOffset.getRegion()->getExtent(svalBuilder); 146 = svalBuilder 236 getValue(SVal val, SValBuilder &svalBuilder) argument 252 addValue(ProgramStateRef state, SVal x, SVal y, SValBuilder &svalBuilder) argument 266 computeOffset(ProgramStateRef state, SValBuilder &svalBuilder, SVal location) argument [all...] |
H A D | BoolAssignmentChecker.cpp | 80 SValBuilder &svalBuilder = C.getSValBuilder(); local 84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); 86 svalBuilder.evalBinOp(state, BO_GE, *DV, zeroVal, 87 svalBuilder.getConditionType()); 120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy); 122 svalBuilder.evalBinOp(state, BO_LE, *DV, OneVal, 123 svalBuilder.getConditionType());
|
H A D | VLASizeChecker.cpp | 131 SValBuilder &svalBuilder = C.getSValBuilder(); local 134 svalBuilder.evalCast(sizeD, SizeTy, SE->getType()).castAs<NonLoc>(); 138 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); 141 SVal ArraySizeVal = svalBuilder.evalBinOpNN( 147 state->getRegion(VD, LC)->getExtent(svalBuilder); 150 svalBuilder.evalEQ(state, Extent, ArraySize);
|
H A D | CStringChecker.cpp | 211 SValBuilder &svalBuilder = C.getSValBuilder(); 212 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); 213 return state->assume(svalBuilder.evalEQ(state, *val, zero)); 281 SValBuilder &svalBuilder = C.getSValBuilder(); local 283 svalBuilder.convertToArrayIndex(superReg->getExtent(svalBuilder)); 344 SValBuilder &svalBuilder = C.getSValBuilder(); 345 ASTContext &Ctx = svalBuilder.getContext(); 370 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); 371 NonLoc LastOffset = svalBuilder 667 SValBuilder &svalBuilder = C.getSValBuilder(); local 739 SValBuilder &svalBuilder = C.getSValBuilder(); local 1061 SValBuilder &svalBuilder = C.getSValBuilder(); local 1711 SValBuilder &svalBuilder = C.getSValBuilder(); local [all...] |
H A D | BuiltinFunctionChecker.cpp | 67 SValBuilder& svalBuilder = C.getSValBuilder(); local 68 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 70 svalBuilder.evalEQ(state, Extent, Size);
|
H A D | CastSizeChecker.cpp | 56 SValBuilder &svalBuilder = C.getSValBuilder(); 57 SVal extent = SR->getExtent(svalBuilder); 58 const llvm::APSInt *extentInt = svalBuilder.getKnownValue(state, extent);
|
H A D | StreamChecker.cpp | 211 SValBuilder &svalBuilder = C.getSValBuilder(); local 213 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount())
|
H A D | BasicObjCFoundationChecks.cpp | 542 SValBuilder &svalBuilder = C.getSValBuilder(); 544 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); 547 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal);
|
H A D | MallocChecker.cpp | 755 SValBuilder &svalBuilder = C.getSValBuilder(); local 757 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count) 775 SValBuilder &svalBuilder = C.getSValBuilder(); local 776 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 778 svalBuilder.evalEQ(State, Extent, *DefinedSize); 1432 SValBuilder &svalBuilder = C.getSValBuilder(); local 1435 svalBuilder.evalEQ(state, arg0Val, svalBuilder.makeNull()); 1450 svalBuilder.evalEQ(state, Arg1Val, 1451 svalBuilder 1525 SValBuilder &svalBuilder = C.getSValBuilder(); local [all...] |
/freebsd-10.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineC.cpp | 50 RightV = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, Count); 73 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(), 79 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(), 139 V = svalBuilder.evalCast(V, CLHSTy, LTy); 142 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), 154 LHSVal = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, LTy, 157 Result = svalBuilder.evalCast(LHSVal, CTy, LTy); 162 LHSVal = svalBuilder.evalCast(Result, LTy, CTy); 186 SVal V = svalBuilder.getBlockPointer(BE->getBlockDecl(), T, 317 V = svalBuilder [all...] |
H A D | SVals.cpp | 195 SVal nonloc::ConcreteInt::evalBinOp(SValBuilder &svalBuilder, argument 199 svalBuilder.getBasicValueFactory().evalAPSInt(Op, getValue(), R.getValue()); 208 nonloc::ConcreteInt::evalComplement(SValBuilder &svalBuilder) const { 209 return svalBuilder.makeIntVal(~getValue()); 213 nonloc::ConcreteInt::evalMinus(SValBuilder &svalBuilder) const { 214 return svalBuilder.makeIntVal(-getValue());
|
H A D | Store.cpp | 25 : svalBuilder(stateMgr.getSValBuilder()), StateMgr(stateMgr), 26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} 47 NonLoc idx = svalBuilder.makeArrayIndex(index); 48 return MRMgr.getElementRegion(EleTy, idx, Base, svalBuilder.getContext()); 68 NonLoc idx = svalBuilder.makeZeroArrayIndex(); 384 ASTContext &Ctx = svalBuilder.getContext(); 392 assert(svalBuilder.getContext().hasSameUnqualifiedType(castTy, T)); 396 return svalBuilder.dispatchCast(V, castTy); 454 Offset = svalBuilder.convertToArrayIndex(Offset).castAs<NonLoc>(); 494 nonloc::ConcreteInt NewIdx(svalBuilder [all...] |
H A D | ExprEngineObjC.cpp | 100 SVal TrueV = svalBuilder.makeTruthVal(1); 104 SVal FalseV = svalBuilder.makeTruthVal(0); 117 SVal V = svalBuilder.makeLoc(Sym); 121 SVal nilV = svalBuilder.makeIntVal(0, T);
|
H A D | RegionStore.cpp | 657 SValBuilder &svalBuilder; member in class:__anon3649::ClusterAnalysis 688 svalBuilder(StateMgr.getSValBuilder()), 919 collectSubRegionBindings(Bindings, svalBuilder, *Cluster, Top, TopKey, 1054 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, Ctx.IntTy, Count); 1075 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1084 svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1090 DefinedOrUnknownSVal V = svalBuilder.conjureSymbolVal(baseR, Ex, LCtx, 1106 SVal V = svalBuilder.conjureSymbolVal(/* SymbolTag = */ (const void*) GS, Ex, LCtx, 1214 SVal Size = cast<SubRegion>(R)->getExtent(svalBuilder); 1215 const llvm::APSInt *SizeInt = svalBuilder [all...] |
H A D | Environment.cpp | 69 SValBuilder& svalBuilder) const { 93 return svalBuilder.getConstantVal(cast<Expr>(S)).getValue(); 98 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
|
H A D | MemRegion.cpp | 183 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { 184 ASTContext &Ctx = svalBuilder.getContext(); 188 return nonloc::SymbolVal(svalBuilder.getSymbolManager().getExtentSymbol(this)); 193 QualType sizeTy = svalBuilder.getArrayIndexType(); 194 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); 197 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { 202 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); 207 QualType T = getDesugaredValueType(svalBuilder.getContext()); 216 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const { 217 return nonloc::SymbolVal(svalBuilder [all...] |
H A D | ExprEngineCXX.cpp | 235 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy); 361 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); 363 symVal = svalBuilder.conjureSymbolVal(0, CNE, LCtx, CNE->getType(), 415 Result = svalBuilder.evalCast(PlacementLoc, CNE->getType(), 454 SVal V = svalBuilder.conjureSymbolVal(CS, LCtx, VD->getType(), 470 svalBuilder.getRegionManager().getCXXThisRegion(
|
H A D | ProgramState.cpp | 76 svalBuilder(createSimpleSValBuilder(alloc, Ctx, *this)), 316 SValBuilder &svalBuilder = SM.getSValBuilder(); local 317 ASTContext &Ctx = svalBuilder.getContext(); 320 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); 327 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add, 334 svalBuilder.evalBinOpNN(this, BO_Add, UpperBound.castAs<NonLoc>(), 341 SVal inBound = svalBuilder.evalBinOpNN(this, BO_LT, newIdx.castAs<NonLoc>(),
|
H A D | ExprEngine.cpp | 70 svalBuilder(StateMgr.getSValBuilder()), 120 svalBuilder.makeZeroVal(T), 157 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC); 454 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); 722 svalBuilder.makeIntValWithPtrWidth(0, false)); 810 Optional<SVal> ConstantVal = svalBuilder.getConstantVal(ArgE); 851 SVal result = svalBuilder.conjureSymbolVal(0, Ex, LCtx, resultType, 1611 DefinedOrUnknownSVal Res = svalBuilder.evalEQ(DefaultSt ? DefaultSt : state, 1701 SVal V = svalBuilder.makeIntVal(ED->getInitVal()); 1706 SVal V = svalBuilder [all...] |
/freebsd-10.3-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ExprEngine.h | 75 /// svalBuilder - SValBuilder object that creates SVals from expressions. 76 SValBuilder &svalBuilder; member in class:clang::ento::ExprEngine 132 SValBuilder &getSValBuilder() { return svalBuilder; } 444 return X.isValid() ? svalBuilder.evalMinus(X.castAs<NonLoc>()) : X; 448 return X.isValid() ? svalBuilder.evalComplement(X.castAs<NonLoc>()) : X; 455 return svalBuilder.evalBinOpNN(state, op, L, R, T); 460 return R.isValid() ? svalBuilder.evalBinOpNN(state, op, L, 466 return svalBuilder.evalBinOp(ST, Op, LHS, RHS, T);
|
H A D | Environment.h | 77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
H A D | ProgramState.h | 457 OwningPtr<SValBuilder> svalBuilder; member in class:clang::ento::ProgramStateManager 479 ASTContext &getContext() { return svalBuilder->getContext(); } 480 const ASTContext &getContext() const { return svalBuilder->getContext(); } 483 return svalBuilder->getBasicValueFactory(); 487 return *svalBuilder; 491 return svalBuilder->getSymbolManager(); 494 return svalBuilder->getSymbolManager(); 500 return svalBuilder->getRegionManager(); 503 return svalBuilder->getRegionManager(); 697 *getStateManager().svalBuilder); [all...] |
H A D | Store.h | 42 SValBuilder &svalBuilder; member in class:clang::ento::StoreManager 88 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC));
|
H A D | SVals.h | 348 SVal evalBinOp(SValBuilder &svalBuilder, BinaryOperator::Opcode Op, 351 ConcreteInt evalComplement(SValBuilder &svalBuilder) const; 353 ConcreteInt evalMinus(SValBuilder &svalBuilder) const;
|
H A D | MemRegion.h | 429 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 464 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 524 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 728 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 764 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 944 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const;
|