Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h60 BasicValueFactory BasicVals; variable
87 : Context(context), BasicVals(context, alloc), in SValBuilder()
88 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc), in SValBuilder()
258 BasicVals.getLazyCompoundValData(store, region)); in makeLazyCompoundVal()
281 BasicVals.getValue(integer->getValue(), in makeIntVal()
292 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
296 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
316 BasicVals.getIntWithPtrWidth(integer, isUnsigned)); in makeIntValWithPtrWidth()
340 return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); in makeTruthVal()
351 return loc::ConcreteInt(BasicVals.getZeroWithPtrWidth()); in makeNull()
[all …]
H A DSVals.h647 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp123 BasicVals.getAPSIntType(castTy).apply(i); in evalCastFromNonLoc()
163 BasicVals.getZeroWithPtrWidth(), castTy); in evalCastFromLoc()
182 BasicVals.getAPSIntType(castTy).apply(i); in evalCastFromLoc()
273 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
299 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
305 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
308 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
575 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()
605 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
611 BasicVals.evalAPSInt(op, LHSValue, RHSValue); in evalBinOpNN()
[all …]
H A DSVals.cpp268 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp() argument
273 const llvm::APSInt *X = BasicVals.evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()
H A DSValBuilder.cpp62 return makeCompoundVal(type, BasicVals.getEmptySValList()); in makeZeroVal()