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

/freebsd-9.3-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp86 BasicValueFactory &BVF = SVB.getBasicValueFactory(); local
87 BVF.getAPSIntType(CE->getType()).apply(Result);
H A DCStringChecker.cpp554 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
557 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
676 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
677 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
679 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt,
/freebsd-9.3-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);
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.cpp320 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
324 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));

Completed in 176 milliseconds