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

/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); local
90 BVF.getAPSIntType(CE->getType()).apply(Result);
H A DCStringChecker.cpp567 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
570 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
690 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
691 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
693 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt,
/freebsd-11.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp100 BasicValueFactory &BVF = getBasicVals(); local
107 const llvm::APSInt &zero = BVF.getValue(0, T);
254 BasicValueFactory &BVF = getBasicVals(); local
255 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType());
308 BasicValueFactory &BVF = getBasicVals(); local
309 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
H A DSValBuilder.cpp482 BasicValueFactory &BVF = getBasicValueFactory(); local
485 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 71 milliseconds