reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
87 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc), 168 BasicValueFactory &getBasicValueFactory() { return BasicVals; } 169 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } 251 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); 257 BasicVals.getLazyCompoundValData(store, region)); 269 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); 273 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); 280 BasicVals.getValue(integer->getValue(), 291 return nonloc::ConcreteInt(BasicVals.getValue(integer)); 295 return loc::ConcreteInt(BasicVals.getValue(integer)); 299 return nonloc::ConcreteInt(BasicVals.getValue(integer, isUnsigned)); 304 return loc::ConcreteInt(BasicVals.getValue(integer, type)); 306 return nonloc::ConcreteInt(BasicVals.getValue(integer, type)); 310 return nonloc::ConcreteInt(BasicVals.getIntValue(integer, isUnsigned)); 315 BasicVals.getIntWithPtrWidth(integer, isUnsigned)); 319 return nonloc::LocAsInteger(BasicVals.getPersistentSValWithData(loc, bits)); 335 return nonloc::ConcreteInt(BasicVals.getTruthValue(b, type)); 339 return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); 346 return loc::ConcreteInt(BasicVals.getZeroWithTypeSize(type)); 350 return loc::ConcreteInt(BasicVals.getZeroWithPtrWidth()); 366 return loc::ConcreteInt(BasicVals.getValue(integer));tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp
61 return makeCompoundVal(type, BasicVals.getEmptySValList());
tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp122 BasicVals.getAPSIntType(castTy).apply(i); 162 BasicVals.getZeroWithPtrWidth(), castTy); 181 BasicVals.getAPSIntType(castTy).apply(i); 272 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); 298 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); 304 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); 307 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); 580 BasicVals.getAPSIntType(lSym->getType()).apply(i); 582 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); 612 APSIntType IntType = BasicVals.getAPSIntType(resultTy); 618 BasicVals.evalAPSInt(op, LHSValue, RHSValue); 727 APSIntType IntType = BasicVals.getAPSIntType(resultTy); 733 newRHS = BasicVals.evalAPSInt(BO_Add, first, second); 735 newRHS = BasicVals.evalAPSInt(BO_Sub, first, second); 898 lhs.castAs<loc::ConcreteInt>().evalBinOp(BasicVals, op, *rInt);