Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h60 BasicValueFactory BasicVals; variable
157 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
265 BasicVals.getLazyCompoundValData(store, region)); in makeLazyCompoundVal()
288 BasicVals.getValue(integer->getValue(), in makeIntVal()
299 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
303 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
312 return loc::ConcreteInt(BasicVals.getValue(integer, type)); in makeIntVal()
347 return nonloc::ConcreteInt(BasicVals.getTruthValue(b, type)); in makeTruthVal()
351 return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); in makeTruthVal()
370 return loc::ConcreteInt(BasicVals.getZeroWithTypeSize(type)); in makeNullWithType()
[all …]
/freebsd-14.2/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()