Searched refs:BVF (Results 1 - 5 of 5) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp86 BasicValueFactory &BVF = SVB.getBasicValueFactory(); local
87 BVF.getAPSIntType(CE->getType()).apply(Result);
H A DCStringChecker.cpp559 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
562 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
682 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
683 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
685 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt,
/external/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp100 BasicValueFactory &BVF = getBasicVals(); local
107 const llvm::APSInt &zero = BVF.getValue(0, T);
218 BasicValueFactory &BVF = getBasicVals(); local
219 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType());
H A DSValBuilder.cpp415 BasicValueFactory &BVF = getBasicValueFactory(); local
418 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy);
H A DProgramState.cpp319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
323 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));

Completed in 83 milliseconds