HomeSort by: relevance | last modified time | path
    Searched refs:BVF (Results 1 - 14 of 14) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
DebugIteratorModeling.cpp 103 auto &BVF = C.getSValBuilder().getBasicValueFactory();
106 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
111 auto &BVF = C.getSValBuilder().getBasicValueFactory();
114 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
119 auto &BVF = C.getSValBuilder().getBasicValueFactory();
120 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) {
122 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid()))));
123 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
BoolAssignmentChecker.cpp 82 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
85 llvm::APSInt Zero = BVF.getValue(0, valTy);
86 llvm::APSInt One = BVF.getValue(1, valTy);
BuiltinFunctionChecker.cpp 113 BasicValueFactory &BVF = SVB.getBasicValueFactory();
114 BVF.getAPSIntType(CE->getType()).apply(Result);
DebugContainerModeling.cpp 113 auto &BVF = C.getSValBuilder().getBasicValueFactory();
115 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
IteratorRangeChecker.cpp 135 auto &BVF = C.getSValBuilder().getBasicValueFactory();
138 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
210 auto &BVF = C.getSValBuilder().getBasicValueFactory();
212 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
216 auto &BVF = C.getSValBuilder().getBasicValueFactory();
218 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
299 auto &BVF = State->getBasicVals();
301 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))),
StdLibraryFunctionsChecker.cpp 632 BasicValueFactory &BVF = getBVF(State);
650 const llvm::APSInt &Min = BVF.getValue(R.first, T);
651 const llvm::APSInt &Max = BVF.getValue(R.second, T);
701 BasicValueFactory &BVF = SVB.getBasicValueFactory();
710 const llvm::APSInt &Min = BVF.getValue(R[I].first, T);
711 const llvm::APSInt &Max = BVF.getValue(R[I].second, T);
730 BasicValueFactory &BVF = SVB.getBasicValueFactory();
748 const llvm::APSInt &MinusInf = BVF.getMinValue(T);
749 const llvm::APSInt &PlusInf = BVF.getMaxValue(T);
751 const llvm::APSInt &Left = BVF.getValue(R[0].first - 1ULL, T)
    [all...]
ContainerModeling.cpp 448 auto &BVF = SymMgr.getBasicVals();
453 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
477 auto &BVF = SymMgr.getBasicVals();
482 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
522 auto &BVF = SymMgr.getBasicVals();
527 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
559 auto &BVF = SymMgr.getBasicVals();
564 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
684 auto &BVF = SymMgr.getBasicVals();
689 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))
    [all...]
Iterator.cpp 233 auto &BVF = State->getStateManager().getBasicVals();
247 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue()));
IteratorModeling.cpp 543 auto &BVF = C.getSymbolManager().getBasicVals();
551 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
569 auto &BVF = C.getSymbolManager().getBasicVals();
577 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
CStringChecker.cpp 655 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
658 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
761 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
762 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
764 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt,
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
RangedConstraintManager.cpp 97 BasicValueFactory &BVF = getBasicVals();
98 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
124 BasicValueFactory &BVF = getBasicVals();
132 const llvm::APSInt &Zero = BVF.getValue(0, T);
158 BasicValueFactory &BVF = getBasicVals();
159 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
ProgramState.cpp 336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory();
339 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
SValBuilder.cpp 936 BasicValueFactory &BVF = getBasicValueFactory();
937 return makeNonLoc(SE, BO_NE, BVF.getValue(0, SE->getType()), CastTy);
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SMTConstraintManager.h 112 BasicValueFactory &BVF = getBasicVals();
113 ASTContext &Ctx = BVF.getContext();
153 return &BVF.getValue(Value);
166 return &BVF.Convert(SC->getType(), *Value);
194 return BVF.evalAPSInt(BSE->getOpcode(), ConvertedLHS, ConvertedRHS);

Completed in 45 milliseconds