Searched refs:BasicVals (Results 1 - 4 of 4) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | SValBuilder.h | 38 BasicValueFactory BasicVals; member in class:clang::ento::SValBuilder 65 : Context(context), BasicVals(context, alloc), 66 SymMgr(context, BasicVals, alloc), 139 BasicValueFactory &getBasicValueFactory() { return BasicVals; } 140 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } 218 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals)); 224 BasicVals.getLazyCompoundValData(store, region)); 228 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy)); 232 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy)); 239 BasicVals [all...] |
H A D | SVals.h | 543 SVal evalBinOp(BasicValueFactory& BasicVals, BinaryOperator::Opcode Op,
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | SimpleSValBuilder.cpp | 116 BasicVals.getAPSIntType(castTy).apply(i); 173 BasicVals.getAPSIntType(castTy).apply(i); 264 const llvm::APSInt &Result = BasicVals.Convert(resultTy, RHS); 290 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); 296 ConvertedRHS = &BasicVals.Convert(SymbolType, RHS); 299 ConvertedRHS = &BasicVals.Convert(resultTy, RHS); 348 BasicVals.getAPSIntType(Context.VoidPtrTy).apply(i); 378 APSIntType IntType = BasicVals.getAPSIntType(resultTy); 384 BasicVals.evalAPSInt(op, LHSValue, RHSValue); 493 APSIntType IntType = BasicVals [all...] |
H A D | SVals.cpp | 221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, argument 227 const llvm::APSInt *X = BasicVals.evalAPSInt(Op, getValue(), R.getValue());
|
Completed in 349 milliseconds