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

  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 312 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
316 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
  /external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp 564 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
567 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
    [all...]

Completed in 130 milliseconds