Skip to content

C++: Test changes for discover_walk #317

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Oct 18, 2018
Merged

C++: Test changes for discover_walk #317

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
1b79613
C++: Enhance a test
ian-semmle May 26, 2018
894a37c
C++: Accept test changes
ian-semmle Sep 26, 2018
ef15523
C++: Enhance MagicConstantsNumbers test
ian-semmle Oct 12, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 8 additions & 4 deletions cpp/ql/test/examples/expressions/PrintAST.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,3 @@
#-----| __va_list_tag::operator=() -> __va_list_tag &
#-----| params:
#-----| __va_list_tag::operator=() -> __va_list_tag &
#-----| params:
#-----| operator delete(void *) -> void
#-----| params:
#-----| 0: p#0
Expand All @@ -10,6 +6,14 @@
#-----| params:
#-----| 0: p#0
#-----| Type = unsigned long
#-----| operator=(__va_list_tag &&) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = __va_list_tag &&
#-----| operator=(const __va_list_tag &) -> __va_list_tag &
#-----| params:
#-----| 0: p#0
#-----| Type = const __va_list_tag &
AddressOf.c:
# 1| AddressOf(int) -> void
# 1| params:
Expand Down
4 changes: 2 additions & 2 deletions cpp/ql/test/header-variant-tests/deduplication/functions.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@
| bar.h:1:13:1:15 | bar | MemberFunction | 1 | C |
| bar.h:1:13:1:15 | bar | MemberFunction | 1 | C |
| bar.h:1:13:1:15 | bar | MemberFunction | 2 | D |
| file://:0:0:0:0 | operator= | MemberFunction | 0 | __va_list_tag |
| file://:0:0:0:0 | operator= | MemberFunction | 0 | __va_list_tag |
| file://:0:0:0:0 | operator= | Function | 0 | <none> |
| file://:0:0:0:0 | operator= | Function | 0 | <none> |
| foo.h:1:13:1:15 | foo | Function | 1 | <none> |
| foo.h:1:13:1:15 | foo | MemberFunction | 1 | C |
| foo.h:1:13:1:15 | foo | MemberFunction | 1 | C |
Expand Down
2 changes: 2 additions & 0 deletions cpp/ql/test/header-variant-tests/deduplication/variables.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,9 +4,11 @@
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | C && | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | C && | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | D && | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | __va_list_tag && | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const C & | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const C & | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const D & | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const __va_list_tag & | Variable | <none> |
| file://:0:0:0:0 | reg_save_area | file://:0:0:0:0 | void * | MemberVariable | __va_list_tag |
| foo.h:7:5:7:15 | foo_defined | file://:0:0:0:0 | int | MemberVariable | C |
| foo.h:7:5:7:15 | foo_defined | file://:0:0:0:0 | int | Variable | <none> |
Expand Down
2 changes: 2 additions & 0 deletions cpp/ql/test/header-variant-tests/functions-in-headers/one_x.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,6 @@
| file://:0:0:0:0 | fp_offset | fp_offset | false |
| file://:0:0:0:0 | gp_offset | gp_offset | false |
| file://:0:0:0:0 | overflow_arg_area | overflow_arg_area | false |
| file://:0:0:0:0 | p#0 | p#0 | false |
| file://:0:0:0:0 | p#0 | p#0 | false |
| file://:0:0:0:0 | reg_save_area | reg_save_area | false |
10 changes: 7 additions & 3 deletions cpp/ql/test/library-tests/CPP-205/elements.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,9 +1,11 @@
| CPP-205.cpp:0:0:0:0 | CPP-205.cpp |
| CPP-205.cpp:1:20:1:20 | T |
| CPP-205.cpp:1:20:1:20 | definition of T |
| CPP-205.cpp:2:5:2:5 | definition of fn |
| CPP-205.cpp:2:5:2:5 | fn |
| CPP-205.cpp:2:5:2:6 | definition of fn |
| CPP-205.cpp:2:5:2:6 | fn |
| CPP-205.cpp:2:5:2:6 | fn |
| CPP-205.cpp:2:10:2:12 | definition of out |
| CPP-205.cpp:2:10:2:12 | definition of out |
| CPP-205.cpp:2:10:2:12 | out |
| CPP-205.cpp:2:10:2:12 | out |
Expand All @@ -12,8 +14,6 @@
| CPP-205.cpp:3:3:3:33 | declaration |
| CPP-205.cpp:3:3:3:33 | declaration |
| CPP-205.cpp:3:15:3:15 | declaration of y |
| CPP-205.cpp:3:15:3:15 | declaration of y |
| CPP-205.cpp:3:15:3:15 | y |
| CPP-205.cpp:3:15:3:15 | y |
| CPP-205.cpp:3:17:3:31 | 5 |
| CPP-205.cpp:4:3:4:11 | return ... |
Expand All @@ -26,5 +26,9 @@
| CPP-205.cpp:8:3:8:15 | return ... |
| CPP-205.cpp:8:10:8:11 | call to fn |
| CPP-205.cpp:8:13:8:13 | 0 |
| file://:0:0:0:0 | __va_list_tag |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | y |
2 changes: 2 additions & 0 deletions cpp/ql/test/library-tests/atomic/variables.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,9 @@
| k | _Atomic(int) *_Atomic | atomic {pointer to {atomic {int}}} |
| m | int | int |
| overflow_arg_area | void * | pointer to {void} |
| p#0 | __va_list_tag && | rvalue reference to {struct __va_list_tag} |
| p#0 | atomic_box<int> && | rvalue reference to {struct atomic_box<int>} |
| p#0 | const __va_list_tag & | reference to {const {struct __va_list_tag}} |
| p#0 | const atomic_box<int> & | reference to {const {struct atomic_box<int>}} |
| reg_save_area | void * | pointer to {void} |
| value | _Atomic(T) | atomic {T} |
Expand Down
2 changes: 2 additions & 0 deletions cpp/ql/test/library-tests/blocks/cpp/blocks.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,5 +26,7 @@
| file://:0:0:0:0 | gp_offset | file://:0:0:0:0 | unsigned int | unsigned int |
| file://:0:0:0:0 | overflow_arg_area | file://:0:0:0:0 | void * | pointer to {void} |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | Example && | rvalue reference to {struct Example} |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | __va_list_tag && | rvalue reference to {struct __va_list_tag} |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const Example & | reference to {const {struct Example}} |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const __va_list_tag & | reference to {const {struct __va_list_tag}} |
| file://:0:0:0:0 | reg_save_area | file://:0:0:0:0 | void * | pointer to {void} |
2 changes: 1 addition & 1 deletion cpp/ql/test/library-tests/blocks/deduplication/functions.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
| 1 | 1 |
| 2 | 1 |
| 2 | 2 |
| 9 | 2 |
4 changes: 2 additions & 2 deletions cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.expected
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
| file://:0:0:0:0 | __builtin_add_overflow | true | 0 | file://:0:0:0:0 | bool |
| file://:0:0:0:0 | __builtin_foobar | true | 0 | file://:0:0:0:0 | int |
| file://:0:0:0:0 | __builtin_malloc | true | 0 | file://:0:0:0:0 | float |
| file://:0:0:0:0 | __builtin_foobar | true | 1 | file://:0:0:0:0 | int |
| file://:0:0:0:0 | __builtin_malloc | true | 4 | file://:0:0:0:0 | float |
| test.c:1:6:1:6 | f | false | 3 | file://:0:0:0:0 | long |
Loading