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

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 131 BasicValueFactory &BVF = getBasicVals();
138 const llvm::APSInt &zero = BVF.getValue(0, T);
249 BasicValueFactory &BVF = getBasicVals();
250 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType());
SValBuilder.cpp 409 BasicValueFactory &BVF = getBasicValueFactory();
412 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy);
ProgramState.cpp 340 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
344 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
  /external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp 553 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
556 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
    [all...]

Completed in 143 milliseconds