Searched defs:BVF (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp312 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
316 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp564 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
567 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);

Completed in 88 milliseconds