| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugIteratorModeling.cpp | 97 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition()
105 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer()
113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity()
|
| H A D | IteratorRangeChecker.cpp | 134 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall()
209 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement()
215 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement()
|
| H A D | BoolAssignmentChecker.cpp | 83 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in checkBind()
|
| H A D | BuiltinFunctionChecker.cpp | 156 BasicValueFactory &VF = SVB.getBasicValueFactory(); in checkOverflow()
328 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall()
|
| H A D | DebugContainerModeling.cpp | 107 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField()
|
| H A D | ChrootChecker.cpp | 76 BasicValueFactory &BVF = C.getSValBuilder().getBasicValueFactory(); in evalChroot()
|
| H A D | VLASizeChecker.cpp | 97 SVB.getBasicValueFactory().getMaxValue(SizeTy)->getZExtValue(); in checkVLA()
|
| H A D | Iterator.cpp | 267 BasicValueFactory &BV = SVB.getBasicValueFactory(); in assumeNoOverflow()
|
| H A D | StreamChecker.cpp | 1094 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in getStartIndex()
1245 E.SVB.getBasicValueFactory().getValue(0, E.ACtx.UnsignedCharTy), in evalFgetx()
1246 E.SVB.getBasicValueFactory().getMaxValue(E.ACtx.UnsignedCharTy), in evalFgetx()
|
| H A D | StdLibraryFunctionsChecker.cpp | 908 return SVB.getBasicValueFactory(); in getBVF()
1050 applyOnRange(negateKind(Kind), C.getSValBuilder().getBasicValueFactory(), T, in apply()
1094 BasicValueFactory &BVF = Mgr.getSValBuilder().getBasicValueFactory(); in describeArgumentValue()
1567 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in initFunctionSummaries()
|
| H A D | CStringChecker.cpp | 920 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow()
1026 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion()
|
| H A D | MallocChecker.cpp | 1941 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in checkTaintedness()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SValBuilder.cpp | 678 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitConcreteInt()
685 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitConcreteInt()
686 return loc::ConcreteInt(VB.getBasicValueFactory().getValue(Value)); in VisitConcreteInt()
740 Sym, BO_NE, VB.getBasicValueFactory().getZeroWithTypeSize(Ty), in VisitMemRegionVal()
871 VB.getBasicValueFactory().getAPSIntType(CastTy).apply(Value); in VisitConcreteInt()
965 BasicValueFactory &BVF = VB.getBasicValueFactory(); in VisitSymbolVal()
1067 BasicValueFactory &BVF = VB.getBasicValueFactory(); in simplifySymbolCast()
|
| H A D | SimpleSValBuilder.cpp | 237 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isInRelation()
255 BasicValueFactory &BV = SVB.getBasicValueFactory(); in isWithinConstantOverflowBounds()
298 BasicValueFactory &BV = SVB.getBasicValueFactory(); in doRearrangeUnchecked()
1154 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI)); in evalBinOpLN()
|
| H A D | Store.cpp | 520 nonloc::ConcreteInt NewIdx(svalBuilder.getBasicValueFactory().getValue(BaseIdxI + in getLValueElement()
|
| H A D | ProgramState.cpp | 330 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBoundDual()
|
| H A D | CallEvent.cpp | 416 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in processArgument()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals()
|
| H A D | SValBuilder.h | 162 BasicValueFactory &getBasicValueFactory() { return BasicVals; } in getBasicValueFactory() function
163 const BasicValueFactory &getBasicValueFactory() const { return BasicVals; } in getBasicValueFactory() function
|
| H A D | ProgramState.h | 545 return svalBuilder->getBasicValueFactory(); in getBasicVals()
|