/external/llvm-project/clang/unittests/StaticAnalyzer/ |
D | RangeSetTest.cpp | 27 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/ |
D | DebugIteratorModeling.cpp | 103 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()
|
D | IteratorRangeChecker.cpp | 135 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()
|
D | BoolAssignmentChecker.cpp | 82 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()
|
D | StdLibraryFunctionsChecker.cpp | 576 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 …]
|
D | DebugContainerModeling.cpp | 113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local 115 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
|
D | BuiltinFunctionChecker.cpp | 117 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local 118 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
|
D | ContainerModeling.cpp | 448 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()
|
D | Iterator.cpp | 233 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition() local 247 IntDist = nonloc::ConcreteInt(BVF.getValue(-IntDist.getValue())); in advancePosition()
|
D | IteratorModeling.cpp | 543 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()
|
D | CStringChecker.cpp | 655 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/ |
D | RangedConstraintManager.cpp | 97 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()
|
D | ProgramState.cpp | 336 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local 339 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
|
D | SValBuilder.cpp | 550 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/ |
D | SimpleConstraintManager.cpp | 100 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()
|
D | SValBuilder.cpp | 487 BasicValueFactory &BVF = getBasicValueFactory(); in evalCast() local 490 return makeNonLoc(Sym, BO_NE, BVF.getValue(0, Sym->getType()), castTy); in evalCast()
|
D | ProgramState.cpp | 319 BasicValueFactory &BVF = svalBuilder.getBasicValueFactory(); in assumeInBound() local 323 nonloc::ConcreteInt Min(BVF.getMinValue(indexTy)); in assumeInBound()
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | BuiltinFunctionChecker.cpp | 89 BasicValueFactory &BVF = SVB.getBasicValueFactory(); in evalCall() local 90 BVF.getAPSIntType(CE->getType()).apply(Result); in evalCall()
|
D | CStringChecker.cpp | 571 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/ |
D | SMTConstraintManager.h | 112 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/ |
D | 2013-1_UNLOCODE_CodeListPart1.csv | 32123 ,"FJ","BVF","Bua","Bua",,"---4----","AI","9912",,, 32959 ,"FR","BVF","Bassuet","Bassuet","51","-----6--","RQ","0907",,"4848N 00440E",
|
D | 2013-1_UNLOCODE_CodeListPart3.csv | 10656 ,"US","BVF","Beaver Falls","Beaver Falls","NY","--3-----","RQ","9307",,,
|