HomeSort by relevance Sort by last modified time
    Searched refs:BVF (Results 1 - 5 of 5) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.h 26 BasicValueFactory &BVF;
29 : SU(subengine), BVF(BV) {}
84 BasicValueFactory &getBasicVals() const { return BVF; }
SimpleConstraintManager.cpp 141 BasicValueFactory &BVF = getBasicVals();
148 const llvm::APSInt &zero = BVF.getValue(0, T);
242 BasicValueFactory &BVF = getBasicVals();
243 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType());
RangeConstraintManager.cpp 288 RangeConstraintManager(SubEngine *subengine, BasicValueFactory &BVF)
289 : SimpleConstraintManager(subengine, BVF) {}
ProgramState.cpp 296 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
300 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
  /external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp 551 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
554 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
    [all...]

Completed in 605 milliseconds