| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/unittests/StaticAnalyzer/ |
| H A D | RangeSetTest.cpp | 43 F, RangeSet(F, BVF.getValue(from), BVF.getValue(to))); in createRangeSetFromList()
61 BasicValueFactory BVF{context, alloc}; member in clang::ento::__anon6431fd250111::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()
94 {BVF, F, {A, D}, {A, D}}, in checkNegate()
95 {BVF, F, {A, B}, {C, D}}, in checkNegate()
101 {BVF, F, {A, A}, {D, D}}, in checkNegate()
102 {BVF, F, {MID, MID}, {MID, MID}}, in checkNegate()
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/unittests/StaticAnalyzer/ |
| H A D | RangeSetTest.cpp | 43 F, RangeSet(F, BVF.getValue(from), BVF.getValue(to))); in createRangeSetFromList()
61 BasicValueFactory BVF{context, alloc}; member in clang::ento::__anon511ddd440111::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()
94 {BVF, F, {A, D}, {A, D}}, in checkNegate()
95 {BVF, F, {A, B}, {C, D}}, in checkNegate()
101 {BVF, F, {A, A}, {D, D}}, in checkNegate()
102 {BVF, F, {MID, MID}, {MID, MID}}, in checkNegate()
[all …]
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/unittests/StaticAnalyzer/ |
| H A D | RangeSetTest.cpp | 43 F, RangeSet(F, BVF.getValue(from), BVF.getValue(to))); in createRangeSetFromList()
61 BasicValueFactory BVF{context, alloc}; member in clang::ento::__anone0f2cb3e0111::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()
94 {BVF, F, {A, D}, {A, D}}, in checkNegate()
95 {BVF, F, {A, B}, {C, D}}, in checkNegate()
101 {BVF, F, {A, A}, {D, D}}, in checkNegate()
102 {BVF, F, {MID, MID}, {MID, MID}}, in checkNegate()
[all …]
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/unittests/StaticAnalyzer/ |
| H A D | RangeSetTest.cpp | 43 F, RangeSet(F, BVF.getValue(from), BVF.getValue(to))); in createRangeSetFromList()
61 BasicValueFactory BVF{context, alloc}; member in clang::ento::__anonb89f5dda0111::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()
94 {BVF, F, {A, D}, {A, D}}, in checkNegate()
95 {BVF, F, {A, B}, {C, D}}, in checkNegate()
101 {BVF, F, {A, A}, {D, D}}, in checkNegate()
102 {BVF, F, {MID, MID}, {MID, MID}}, in checkNegate()
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/unittests/StaticAnalyzer/ |
| H A D | RangeSetTest.cpp | 43 F, RangeSet(F, BVF.getValue(from), BVF.getValue(to))); in createRangeSetFromList()
61 BasicValueFactory BVF{context, alloc}; member in clang::ento::__anon8c8e7dd80111::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()
94 {BVF, F, {A, D}, {A, D}}, in checkNegate()
95 {BVF, F, {A, B}, {C, D}}, in checkNegate()
101 {BVF, F, {A, A}, {D, D}}, in checkNegate()
102 {BVF, F, {MID, MID}, {MID, MID}}, in checkNegate()
[all …]
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugIteratorModeling.cpp | 113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local
115 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
155 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition() local
158 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
163 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer() local
166 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
171 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity() local
172 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()
174 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
175 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | DebugIteratorModeling.cpp | 113 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerContainerDataField() local
115 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerContainerDataField()
155 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorPosition() local
158 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorPosition()
163 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorContainer() local
166 }, loc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorContainer()
171 auto &BVF = C.getSValBuilder().getBasicValueFactory(); in analyzerIteratorValidity() local
172 analyzerIteratorDataField(CE, C, [&BVF](const IteratorPosition *P) { in analyzerIteratorValidity()
174 nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get((P->isValid())))); in analyzerIteratorValidity()
175 }, nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0)))); in analyzerIteratorValidity()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/lang/clang-mesa/clang-13.0.1.src/lib/StaticAnalyzer/Checkers/ |
| H A 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()
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 78 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
79 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
105 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
113 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
139 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
140 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 77 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
78 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
104 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
112 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
138 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
139 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 77 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
78 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
104 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
112 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
138 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
139 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 77 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
78 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
104 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
112 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
138 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
139 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 77 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
78 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
104 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
112 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
138 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
139 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 77 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
78 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
104 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
112 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
138 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
139 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
|
| /dports/devel/llvm80/llvm-8.0.1.src/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 78 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange() local
79 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange()
105 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported() local
113 const llvm::APSInt &Zero = BVF.getValue(0, T); in assumeSymUnsupported()
139 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel() local
140 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel()
|