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

  /external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp 88 BasicValueFactory &BVF = SVB.getBasicValueFactory();
89 BVF.getAPSIntType(CE->getType()).apply(Result);
CStringChecker.cpp 559 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
562 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
682 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
683 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
685 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt,
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 100 BasicValueFactory &BVF = getBasicVals();
107 const llvm::APSInt &zero = BVF.getValue(0, T);
218 BasicValueFactory &BVF = getBasicVals();
219 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType());
SValBuilder.cpp 415 BasicValueFactory &BVF = getBasicValueFactory();
418 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy);
ProgramState.cpp 319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
323 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));

Completed in 2640 milliseconds