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 89 BasicValueFactory &BVF = SVB.getBasicValueFactory();
90 BVF.getAPSIntType(CE->getType()).apply(Result);
CStringChecker.cpp 571 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
574 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
694 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
695 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
697 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);
254 BasicValueFactory &BVF = getBasicVals();
255 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType());
308 BasicValueFactory &BVF = getBasicVals();
309 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
SValBuilder.cpp 487 BasicValueFactory &BVF = getBasicValueFactory();
490 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 1632 milliseconds