Merge pull request #3026 from MathiasVP/simplerangeanalysis-const-var-access

C++: Handle constant variable accesses in SimpleRangeAnalysis.qll
This commit is contained in:
Jonas Jensen
2020-03-10 11:22:33 +01:00
committed by GitHub
3 changed files with 30 additions and 5 deletions

View File

@@ -69,3 +69,10 @@ void test10(int x) {
} while (0);
}
}
extern const int const256;
void test11() {
short s;
for(s = 0; s < const256; ++s) {}
}

View File

@@ -0,0 +1 @@
const int const256 = 256;