Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h59 BasicValueFactory BasicVals; variable
100 : Context(context), BasicVals(context, alloc), in SValBuilder()
101 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc), in SValBuilder()
279 BasicVals.getLazyCompoundValData(store, region)); in makeLazyCompoundVal()
302 BasicVals.getValue(integer->getValue(), in makeIntVal()
313 return nonloc::ConcreteInt(BasicVals.getValue(integer)); in makeIntVal()
317 return loc::ConcreteInt(BasicVals.getValue(integer)); in makeIntLocVal()
337 BasicVals.getIntWithPtrWidth(integer, isUnsigned)); in makeIntValWithPtrWidth()
361 return nonloc::ConcreteInt(BasicVals.getTruthValue(b)); in makeTruthVal()
372 return loc::ConcreteInt(BasicVals.getZeroWithPtrWidth()); in makeNull()
[all …]
H A DSVals.h657 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleSValBuilder.cpp140 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
166 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
172 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
175 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
449 BasicVals.getAPSIntType(lSym->getType()).apply(i); in evalBinOpNN()
451 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()
481 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
487 BasicVals.evalAPSInt(op, LHSValue, RHSValue); in evalBinOpNN()
603 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
609 newRHS = BasicVals.evalAPSInt(BO_Add, first, second); in evalBinOpNN()
[all …]
H A DSValBuilder.cpp61 return makeCompoundVal(type, BasicVals.getEmptySValList()); in makeZeroVal()
663 BasicVals.getAPSIntType(CastTy).apply(Value); in evalCastSubKind()
735 ? BasicVals.getZeroWithPtrWidth() in evalCastSubKind()
736 : BasicVals.getZeroWithTypeSize(Ty); in evalCastSubKind()
864 BasicVals.getAPSIntType(CastTy).apply(Value); in evalCastSubKind()
H A DSVals.cpp305 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp() argument
310 const llvm::APSInt *X = BasicVals.evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()