Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h60 BasicValueFactory BasicVals; variable
149 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
248 BasicVals.getLazyCompoundValData(store, region)); in makeLazyCompoundVal()
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()
295 return loc::ConcreteInt(BasicVals.getValue(integer, type)); in makeIntVal()
330 return nonloc::ConcreteInt(BasicVals.getTruthValue(b, type)); in makeTruthVal()
334 return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); in makeTruthVal()
353 return loc::ConcreteInt(BasicVals.getZeroWithTypeSize(type)); in makeNullWithType()
[all …]
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp167 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
193 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
199 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
205 APSIntType resultIntTy = BasicVals.getAPSIntType(resultTy); in MakeSymIntVal()
207 ConvertedRHS = &BasicVals.getValue(-resultIntTy.convert(RHS)); in MakeSymIntVal()
210 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
213 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
492 BasicVals.getAPSIntType(lSym->getType()).apply(i); in evalBinOpNN()
494 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()
524 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
[all …]
H A DSValBuilder.cpp55 : Context(context), BasicVals(context, alloc), in SValBuilder()
56 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc), in SValBuilder()
72 return makeCompoundVal(type, BasicVals.getEmptySValList()); in makeZeroVal()