Searched refs:BasicVals (Results 1 – 5 of 5) sorted by relevance
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 59 BasicValueFactory BasicVals; variable 100 : Context(context), BasicVals(context, alloc), in SValBuilder() 101 SymMgr(context, BasicVals, alloc), MemMgr(context, alloc), in SValBuilder() 182 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() 183 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory() 265 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); in makeCompoundVal() 271 BasicVals.getLazyCompoundValData(store, region)); in makeLazyCompoundVal() 283 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); in makeZeroArrayIndex() 287 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); in makeArrayIndex() 294 BasicVals.getValue(integer->getValue(), in makeIntVal() [all …]
|
H A D | SVals.h | 644 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleSValBuilder.cpp | 140 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 D | SVals.cpp | 246 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, in evalBinOp() argument 251 const llvm::APSInt *X = BasicVals.evalAPSInt(Op, getValue(), R.getValue()); in evalBinOp()
|
H A D | SValBuilder.cpp | 61 return makeCompoundVal(type, BasicVals.getEmptySValList()); in makeZeroVal() 649 BasicVals.getAPSIntType(CastTy).apply(Value); in evalCastSubKind() 710 BasicVals.getZeroWithPtrWidth(), CastTy); in evalCastSubKind() 836 BasicVals.getAPSIntType(CastTy).apply(Value); in evalCastSubKind()
|