hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-04 05:05:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add a test of def overrides

Browse Source 
The def used in this test is not overridden yet.
This commit is contained in:
Jonas Jensen
2020-09-22 14:02:14 +02:00
parent d1f453be36
commit 826632d6a9
2 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/test/experimental/library-tests/rangeanalysis/extensibility/extensibility.c
View File

@@ -11,4 +11,9 @@ int test_extensibility_add(int x) {
int test_overridability_sub(int x) {
int result = x - x; // Returns 0 due to custom modeling in QL
return result; // 0
}
}
void test_parameter_override(int magic_name_at_most_10, int magic_name_at_most_20) {
magic_name_at_most_10;
magic_name_at_most_20;
}

2
cpp/ql/test/experimental/library-tests/rangeanalysis/extensibility/extensibility.expected
View File

@@ -5,3 +5,5 @@
| extensibility.c:12:16:12:16 | x | -2.147483648E9 | 2.147483647E9 |
| extensibility.c:12:20:12:20 | x | -2.147483648E9 | 2.147483647E9 |
| extensibility.c:13:10:13:15 | result | 0.0 | 0.0 |
| extensibility.c:17:3:17:23 | magic_name_at_most_10 | -2.147483648E9 | 2.147483647E9 |
| extensibility.c:18:3:18:23 | magic_name_at_most_20 | -2.147483648E9 | 2.147483647E9 |