Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSValBuilder.h38 BasicValueFactory BasicVals; variable
65 : Context(context), BasicVals(context, alloc), in SValBuilder()
66 SymMgr(context, BasicVals, alloc), in SValBuilder()
139 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory()
140 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory()
218 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); in makeCompoundVal()
224 BasicVals.getLazyCompoundValData(store, region)); in makeLazyCompoundVal()
228 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex()
232 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex()
239 BasicVals.getValue(integer->getValue(), in makeIntVal()
[all …]
DSVals.h543 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
/external/clang/lib/StaticAnalyzer/Core/
DSimpleSValBuilder.cpp116 BasicVals.getAPSIntType(castTy).apply(i); in evalCastFromNonLoc()
173 BasicVals.getAPSIntType(castTy).apply(i); in evalCastFromLoc()
264 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
290 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
296 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); in MakeSymIntVal()
299 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); in MakeSymIntVal()
348 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); in evalBinOpNN()
378 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
384 BasicVals.evalAPSInt(op, LHSValue, RHSValue); in evalBinOpNN()
493 APSIntType IntType = BasicVals.getAPSIntType(resultTy); in evalBinOpNN()
[all …]
DSVals.cpp221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp() argument
227 const llvm::APSInt *X = BasicVals.evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()