Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h61 BasicValueFactory BasicVals; variable
162 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
163 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
250 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); in makeCompoundVal()
256 BasicVals.getLazyCompoundValData(store, region)); in makeLazyCompoundVal()
268 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex()
272 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex()
279 BasicVals.getValue(integer->getValue(), in makeIntVal()
290 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
294 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp183 return nonloc::ConcreteInt(BasicVals.Convert(resultTy, RHS)); in MakeSymIntVal()
196 std::optional<APSIntPtr> ConvertedRHS = BasicVals.getValue(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()
509 BasicVals.getAPSIntType(lSym->getType()).apply(i); in evalBinOpNN()
511 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); 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()