Home
last modified time | relevance | path

Searched refs:BVF (Results 1 – 22 of 22) sorted by relevance

/external/llvm-project/clang/unittests/StaticAnalyzer/
DRangeSetTest.cpp27 TestCase(BasicValueFactory &BVF, RangeSet::Factory &F, in TestCase()
30 : original(createRangeSetFromList(BVF, F, originalList)), in TestCase()
31 expected(createRangeSetFromList(BVF, F, expectedList)) {} in TestCase()
34 RangeSet createRangeSetFromList(BasicValueFactory &BVF, RangeSet::Factory &F, in createRangeSetFromList()
43 F, RangeSet(F, BVF.getValue(from), BVF.getValue(to))); in createRangeSetFromList()
61 BasicValueFactory BVF{context, alloc}; member in clang::ento::__anon4fc717830111::RangeSetTest
90 {BVF, F, {MIN, A}, {MIN, MIN, D, MAX}}, in checkNegate()
91 {BVF, F, {MIN, C}, {MIN, MIN, B, MAX}}, in checkNegate()
92 {BVF, F, {MIN, MID}, {MIN, MIN, MID, MAX}}, in checkNegate()
93 {BVF, F, {MIN, MAX}, {MIN, MAX}}, in checkNegate()
[all …]
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DDebugIteratorModeling.cpp103 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition() local
106 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
111 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer() local
114 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
119 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity() local
120 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()
122 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
123 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
DIteratorRangeChecker.cpp135 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in checkPreCall() local
138 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in checkPreCall()
210 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyIncrement() local
212 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyIncrement()
216 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in verifyDecrement() local
218 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in verifyDecrement()
299 auto &BVF = State->getBasicVals(); in isZero() local
301 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))), in isZero()
DBoolAssignmentChecker.cpp82 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkBind() local
85 llvm::APSInt Zero = BVF.getValue(0, valTy); in checkBind()
86 llvm::APSInt One = BVF.getValue(1, valTy); in checkBind()
DStdLibraryFunctionsChecker.cpp576 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsOutOfRange() local
585 const llvm::APSInt &Min = BVF.getValue(R[I].first, T); in applyAsOutOfRange()
586 const llvm::APSInt &Max = BVF.getValue(R[I].second, T); in applyAsOutOfRange()
605 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in applyAsWithinRange() local
623 const llvm::APSInt &MinusInf = BVF.getMinValue(T); in applyAsWithinRange()
624 const llvm::APSInt &PlusInf = BVF.getMaxValue(T); in applyAsWithinRange()
626 const llvm::APSInt &Left = BVF.getValue(R[0].first - 1ULL, T); in applyAsWithinRange()
634 const llvm::APSInt &Right = BVF.getValue(R[E - 1].second + 1ULL, T); in applyAsWithinRange()
643 const llvm::APSInt &Min = BVF.getValue(R[I - 1].second + 1ULL, T); in applyAsWithinRange()
644 const llvm::APSInt &Max = BVF.getValue(R[I].first - 1ULL, T); in applyAsWithinRange()
[all …]
DDebugContainerModeling.cpp113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local
115 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
DBuiltinFunctionChecker.cpp117 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
118 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
DContainerModeling.cpp448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack() local
453 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushBack()
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack() local
482 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopBack()
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront() local
527 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePushFront()
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront() local
564 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handlePopFront()
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter() local
689 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))), in handleEraseAfter()
DIterator.cpp233 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition() local
247 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue())); in advancePosition()
DIteratorModeling.cpp543 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement() local
551 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleIncrement()
569 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement() local
577 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1)))); in handleDecrement()
DCStringChecker.cpp655 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
658 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()
761 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local
762 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion()
764 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()
/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DRangedConstraintManager.cpp97 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
98 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
124 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
132 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
158 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
159 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
DProgramState.cpp336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local
339 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
DSValBuilder.cpp550 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local
553 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy); in evalCast()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp100 BasicValueFactory &BVF = getBasicVals(); in assumeAuxForSymbol() local
107 const llvm::APSInt &zero = BVF.getValue(0, T); in assumeAuxForSymbol()
254 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
255 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType()); in assumeSymRel()
308 BasicValueFactory &BVF = getBasicVals(); in assumeSymWithinInclusiveRange() local
309 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymWithinInclusiveRange()
DSValBuilder.cpp487 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local
490 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy); in evalCast()
DProgramState.cpp319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local
323 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
/external/clang/lib/StaticAnalyzer/Checkers/
DBuiltinFunctionChecker.cpp89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local
90 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
DCStringChecker.cpp571 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in checkAdditionOverflow() local
574 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()
694 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in getCStringLengthForRegion() local
695 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion()
697 const llvm::APSInt *maxLengthInt = BVF.evalAPSInt(BO_Div, maxValInt, in getCStringLengthForRegion()
/external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSMTConstraintManager.h112 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
113 ASTContext &Ctx = BVF.getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
153 return &BVF.getValue(Value); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
166 return &BVF.Convert(SC->getType(), *Value); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
194 return BVF.evalAPSInt(BSE->getOpcode(), ConvertedLHS, ConvertedRHS); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/external/cldr/tools/java/org/unicode/cldr/util/data/external/
D2013-1_UNLOCODE_CodeListPart1.csv32123 ,"FJ","BVF","Bua","Bua",,"---4----","AI","9912",,,
32959 ,"FR","BVF","Bassuet","Bassuet","51","-----6--","RQ","0907",,"4848N 00440E",
D2013-1_UNLOCODE_CodeListPart3.csv10656 ,"US","BVF","Beaver Falls","Beaver Falls","NY","--3-----","RQ","9307",,,