Home
last modified time | relevance | path

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

/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h60 BasicValueFactory BasicVals; variable
149 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
150 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
242 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); in makeCompoundVal()
248 BasicVals.getLazyCompoundValData(store, region)); in makeLazyCompoundVal()
260 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex()
264 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex()
271 BasicVals.getValue(integer->getValue(), in makeIntVal()
282 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
286 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
[all …]
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp168 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
194 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
200 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
206 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy); in MakeSymIntVal()
208 ConvertedRHS = &BasicVals.getValue(-resultIntTy.convert(RHS)); in MakeSymIntVal()
211 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
214 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
493 BasicVals.getAPSIntType(lSym->getType()).apply(i); in evalBinOpNN()
495 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()
525 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()