| /netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugIteratorModeling.cpp | 103 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
106 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
111 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
114 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
119 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
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))));
|
| H A D | BoolAssignmentChecker.cpp | 82 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
85 llvm::APSInt Zero = BVF.getValue(0, valTy);
86 llvm::APSInt One = BVF.getValue(1, valTy);
|
| H A D | DebugContainerModeling.cpp | 113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
115 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))));
|
| H A D | IteratorRangeChecker.cpp | 135 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
138 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
210 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
212 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
216 auto &BVF = C.getSValBuilder().getBasicValueFactory(); local
218 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
299 auto &BVF = State->getBasicVals(); local
301 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))),
|
| H A D | BuiltinFunctionChecker.cpp | 113 BasicValueFactory &BVF = SVB.getBasicValueFactory(); local
114 BVF.getAPSIntType(CE->getType()).apply(Result);
|
| H A D | StdLibraryFunctionsChecker.cpp | 632 BasicValueFactory &BVF = getBVF(State); local
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(); local
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(); local
748 const llvm::APSInt &MinusInf = BVF.getMinValue(T);
749 const llvm::APSInt &PlusInf = BVF.getMaxValue(T);
751 const llvm::APSInt &Left = BVF
955 BasicValueFactory &BVF = SVB.getBasicValueFactory(); local
1028 BasicValueFactory &BVF; member in class:GetMaxValue
1031 GetMaxValue(BasicValueFactory &BVF) argument
[all...] |
| H A D | ContainerModeling.cpp | 448 auto &BVF = SymMgr.getBasicVals(); local
453 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
477 auto &BVF = SymMgr.getBasicVals(); local
482 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
522 auto &BVF = SymMgr.getBasicVals(); local
527 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
559 auto &BVF = SymMgr.getBasicVals(); local
564 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),
684 auto &BVF = SymMgr.getBasicVals(); local
689 nonloc::ConcreteInt(BVF
[all...] |
| H A D | Iterator.cpp | 233 auto &BVF = State->getStateManager().getBasicVals(); local
247 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue()));
|
| H A D | IteratorModeling.cpp | 543 auto &BVF = C.getSymbolManager().getBasicVals(); local
551 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
569 auto &BVF = C.getSymbolManager().getBasicVals(); local
577 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));
|
| H A D | CStringChecker.cpp | 655 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
658 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
761 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
762 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
764 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt,
|
| /netbsd-current/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 97 BasicValueFactory &BVF = getBasicVals(); local
98 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
124 BasicValueFactory &BVF = getBasicVals(); local
132 const llvm::APSInt &Zero = BVF.getValue(0, T);
158 BasicValueFactory &BVF = getBasicVals(); local
159 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType());
|
| H A D | ProgramState.cpp | 336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); local
339 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy));
|
| H A D | SValBuilder.cpp | 936 BasicValueFactory &BVF = getBasicValueFactory(); local
937 return makeNonLoc(SE, BO_NE, BVF.getValue(0, SE->getType()), CastTy);
|
| /netbsd-current/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 112 BasicValueFactory &BVF = getBasicVals(); variable
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);
|