Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 121596d

Browse files
nickrolfenickrolfe
authored
Merge pull request #317 from ian-semmle/discover_walk
C++: Test changes for discover_walk
2 parents d976168 + ef15523 commit 121596d

94 files changed

Lines changed: 2257 additions & 2199 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎cpp/ql/test/examples/expressions/PrintAST.expected‎

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
#-----| __va_list_tag::operator=() -> __va_list_tag &
2-
#-----| params:
3-
#-----| __va_list_tag::operator=() -> __va_list_tag &
4-
#-----| params:
51
#-----| operator delete(void *) -> void
62
#-----| params:
73
#-----| 0: p#0
@@ -10,6 +6,14 @@
106
#-----| params:
117
#-----| 0: p#0
128
#-----| Type = unsigned long
9+
#-----| operator=(__va_list_tag &&) -> __va_list_tag &
10+
#-----| params:
11+
#-----| 0: p#0
12+
#-----| Type = __va_list_tag &&
13+
#-----| operator=(const __va_list_tag &) -> __va_list_tag &
14+
#-----| params:
15+
#-----| 0: p#0
16+
#-----| Type = const __va_list_tag &
1317
AddressOf.c:
1418
# 1| AddressOf(int) -> void
1519
# 1| params:

‎cpp/ql/test/header-variant-tests/deduplication/functions.expected‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
| bar.h:1:13:1:15 | bar | MemberFunction | 1 | C |
33
| bar.h:1:13:1:15 | bar | MemberFunction | 1 | C |
44
| bar.h:1:13:1:15 | bar | MemberFunction | 2 | D |
5-
| file://:0:0:0:0 | operator= | MemberFunction | 0 | __va_list_tag |
6-
| file://:0:0:0:0 | operator= | MemberFunction | 0 | __va_list_tag |
5+
| file://:0:0:0:0 | operator= | Function | 0 | <none> |
6+
| file://:0:0:0:0 | operator= | Function | 0 | <none> |
77
| foo.h:1:13:1:15 | foo | Function | 1 | <none> |
88
| foo.h:1:13:1:15 | foo | MemberFunction | 1 | C |
99
| foo.h:1:13:1:15 | foo | MemberFunction | 1 | C |

‎cpp/ql/test/header-variant-tests/deduplication/variables.expected‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,11 @@
44
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | C && | Variable | <none> |
55
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | C && | Variable | <none> |
66
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | D && | Variable | <none> |
7+
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | __va_list_tag && | Variable | <none> |
78
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const C & | Variable | <none> |
89
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const C & | Variable | <none> |
910
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const D & | Variable | <none> |
11+
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const __va_list_tag & | Variable | <none> |
1012
| file://:0:0:0:0 | reg_save_area | file://:0:0:0:0 | void * | MemberVariable | __va_list_tag |
1113
| foo.h:7:5:7:15 | foo_defined | file://:0:0:0:0 | int | MemberVariable | C |
1214
| foo.h:7:5:7:15 | foo_defined | file://:0:0:0:0 | int | Variable | <none> |

‎cpp/ql/test/header-variant-tests/functions-in-headers/one_x.expected‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,4 +2,6 @@
22
| file://:0:0:0:0 | fp_offset | fp_offset | false |
33
| file://:0:0:0:0 | gp_offset | gp_offset | false |
44
| file://:0:0:0:0 | overflow_arg_area | overflow_arg_area | false |
5+
| file://:0:0:0:0 | p#0 | p#0 | false |
6+
| file://:0:0:0:0 | p#0 | p#0 | false |
57
| file://:0:0:0:0 | reg_save_area | reg_save_area | false |

‎cpp/ql/test/library-tests/CPP-205/elements.expected‎

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,11 @@
11
| CPP-205.cpp:0:0:0:0 | CPP-205.cpp |
22
| CPP-205.cpp:1:20:1:20 | T |
33
| CPP-205.cpp:1:20:1:20 | definition of T |
4+
| CPP-205.cpp:2:5:2:5 | definition of fn |
5+
| CPP-205.cpp:2:5:2:5 | fn |
46
| CPP-205.cpp:2:5:2:6 | definition of fn |
57
| CPP-205.cpp:2:5:2:6 | fn |
6-
| CPP-205.cpp:2:5:2:6 | fn |
8+
| CPP-205.cpp:2:10:2:12 | definition of out |
79
| CPP-205.cpp:2:10:2:12 | definition of out |
810
| CPP-205.cpp:2:10:2:12 | out |
911
| CPP-205.cpp:2:10:2:12 | out |
@@ -12,8 +14,6 @@
1214
| CPP-205.cpp:3:3:3:33 | declaration |
1315
| CPP-205.cpp:3:3:3:33 | declaration |
1416
| CPP-205.cpp:3:15:3:15 | declaration of y |
15-
| CPP-205.cpp:3:15:3:15 | declaration of y |
16-
| CPP-205.cpp:3:15:3:15 | y |
1717
| CPP-205.cpp:3:15:3:15 | y |
1818
| CPP-205.cpp:3:17:3:31 | 5 |
1919
| CPP-205.cpp:4:3:4:11 | return ... |
@@ -26,5 +26,9 @@
2626
| CPP-205.cpp:8:3:8:15 | return ... |
2727
| CPP-205.cpp:8:10:8:11 | call to fn |
2828
| CPP-205.cpp:8:13:8:13 | 0 |
29+
| file://:0:0:0:0 | __va_list_tag |
2930
| file://:0:0:0:0 | operator= |
3031
| file://:0:0:0:0 | operator= |
32+
| file://:0:0:0:0 | p#0 |
33+
| file://:0:0:0:0 | p#0 |
34+
| file://:0:0:0:0 | y |

‎cpp/ql/test/library-tests/atomic/variables.expected‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,9 @@
1313
| k | _Atomic(int) *_Atomic | atomic {pointer to {atomic {int}}} |
1414
| m | int | int |
1515
| overflow_arg_area | void * | pointer to {void} |
16+
| p#0 | __va_list_tag && | rvalue reference to {struct __va_list_tag} |
1617
| p#0 | atomic_box<int> && | rvalue reference to {struct atomic_box<int>} |
18+
| p#0 | const __va_list_tag & | reference to {const {struct __va_list_tag}} |
1719
| p#0 | const atomic_box<int> & | reference to {const {struct atomic_box<int>}} |
1820
| reg_save_area | void * | pointer to {void} |
1921
| value | _Atomic(T) | atomic {T} |

‎cpp/ql/test/library-tests/blocks/cpp/blocks.expected‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,5 +26,7 @@
2626
| file://:0:0:0:0 | gp_offset | file://:0:0:0:0 | unsigned int | unsigned int |
2727
| file://:0:0:0:0 | overflow_arg_area | file://:0:0:0:0 | void * | pointer to {void} |
2828
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | Example && | rvalue reference to {struct Example} |
29+
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | __va_list_tag && | rvalue reference to {struct __va_list_tag} |
2930
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const Example & | reference to {const {struct Example}} |
31+
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const __va_list_tag & | reference to {const {struct __va_list_tag}} |
3032
| file://:0:0:0:0 | reg_save_area | file://:0:0:0:0 | void * | pointer to {void} |

‎cpp/ql/test/library-tests/blocks/deduplication/functions.expected‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
| 1 | 1 |
2-
| 2 | 1 |
2+
| 2 | 2 |
33
| 9 | 2 |

‎cpp/ql/test/library-tests/builtins/functions_file/isbuiltin.expected‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
| file://:0:0:0:0 | __builtin_add_overflow | true | 0 | file://:0:0:0:0 | bool |
2-
| file://:0:0:0:0 | __builtin_foobar | true | 0 | file://:0:0:0:0 | int |
3-
| file://:0:0:0:0 | __builtin_malloc | true | 0 | file://:0:0:0:0 | float |
2+
| file://:0:0:0:0 | __builtin_foobar | true | 1 | file://:0:0:0:0 | int |
3+
| file://:0:0:0:0 | __builtin_malloc | true | 4 | file://:0:0:0:0 | float |
44
| test.c:1:6:1:6 | f | false | 3 | file://:0:0:0:0 | long |

0 commit comments

Comments
 (0)