Searched defs:BasicVals (Results 1 - 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | SVals.cpp | 221 SVal loc::ConcreteInt::evalBinOp(BasicValueFactory& BasicVals, argument
227 const llvm::APSInt *X = BasicVals.evalAPSInt(Op, getValue(), R.getValue());
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SValBuilder.h | 37 BasicValueFactory BasicVals; member in class:clang::ento::SValBuilder
64 : Context(context), BasicVals(context, alloc),
65 SymMgr(context, BasicVals, alloc),
134 BasicValueFactory &getBasicValueFactory() { return BasicVals; }
135 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; }
213 return nonloc::CompoundVal(BasicVals.getCompoundValData(type, vals));
219 BasicVals.getLazyCompoundValData(store, region));
223 return nonloc::ConcreteInt(BasicVals.getValue(0, ArrayIndexTy));
227 return nonloc::ConcreteInt(BasicVals.getValue(idx, ArrayIndexTy));
234 BasicVals
[all...] |
Completed in 563 milliseconds