Home
last modified time | relevance | path

Searched refs:BasicVals (Results 1 – 3 of 3) sorted by relevance

/src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h60 BasicValueFactory BasicVals; variable
161 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
162 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
263 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); in makeCompoundVal()
269 BasicVals.getLazyCompoundValData(store, region)); in makeLazyCompoundVal()
281 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex()
285 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex()
292 BasicVals.getValue(integer->getValue(), in makeIntVal()
303 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
307 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
[all …]
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp182 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
208 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
214 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
220 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy); in MakeSymIntVal()
222 ConvertedRHS = &BasicVals.getValue(-resultIntTy.convert(RHS)); in MakeSymIntVal()
225 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
228 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
507 BasicVals.getAPSIntType(lSym->getType()).apply(i); in evalBinOpNN()
509 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()
539 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
[all …]
H A DSValBuilder.cpp54 : Context(context), BasicVals(context, alloc), in SValBuilder()
55 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc), in SValBuilder()
71 return makeCompoundVal(type, BasicVals.getEmptySValList()); in makeZeroVal()