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

Skip to content

Commit 2fc7e61

Browse files
MathiasVPMathiasVP
committed
C++: Accept test changes.
1 parent e2a0d62 commit 2fc7e61

7 files changed

Lines changed: 14293 additions & 14185 deletions

File tree

‎cpp/ql/test/library-tests/dataflow/fields/ir-path-flow.expected‎

Lines changed: 25 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,9 @@ edges
1212
| A.cpp:31:20:31:20 | c | A.cpp:23:10:23:10 | c |
1313
| A.cpp:31:20:31:20 | c | A.cpp:31:14:31:21 | B output argument [c] |
1414
| A.cpp:47:12:47:18 | new | A.cpp:48:20:48:20 | c |
15-
| A.cpp:48:12:48:18 | Call indirection [c] | A.cpp:49:10:49:10 | b indirection [c] |
15+
| A.cpp:48:12:48:18 | call to make indirection [c] | A.cpp:49:10:49:10 | b indirection [c] |
1616
| A.cpp:48:20:48:20 | c | A.cpp:29:23:29:23 | c |
17-
| A.cpp:48:20:48:20 | c | A.cpp:48:12:48:18 | Call indirection [c] |
17+
| A.cpp:48:20:48:20 | c | A.cpp:48:12:48:18 | call to make indirection [c] |
1818
| A.cpp:49:10:49:10 | b indirection [c] | A.cpp:49:10:49:13 | c |
1919
| A.cpp:49:10:49:10 | b indirection [c] | A.cpp:49:13:49:13 | c |
2020
| A.cpp:49:10:49:10 | b indirection [c] | A.cpp:49:13:49:13 | c |
@@ -32,25 +32,25 @@ edges
3232
| A.cpp:57:17:57:23 | new | A.cpp:23:10:23:10 | c |
3333
| A.cpp:57:17:57:23 | new | A.cpp:57:11:57:24 | B output argument [c] |
3434
| A.cpp:57:17:57:23 | new | A.cpp:57:17:57:23 | new |
35-
| A.cpp:64:10:64:15 | Call indirection [c] | A.cpp:66:10:66:11 | b2 indirection [c] |
36-
| A.cpp:64:21:64:28 | new | A.cpp:64:10:64:15 | Call indirection [c] |
35+
| A.cpp:64:10:64:15 | call to setOnB indirection [c] | A.cpp:66:10:66:11 | b2 indirection [c] |
36+
| A.cpp:64:21:64:28 | new | A.cpp:64:10:64:15 | call to setOnB indirection [c] |
3737
| A.cpp:64:21:64:28 | new | A.cpp:64:21:64:28 | new |
3838
| A.cpp:64:21:64:28 | new | A.cpp:85:26:85:26 | c |
3939
| A.cpp:66:10:66:11 | b2 indirection [c] | A.cpp:66:10:66:14 | c |
4040
| A.cpp:66:10:66:11 | b2 indirection [c] | A.cpp:66:14:66:14 | c |
4141
| A.cpp:66:10:66:11 | b2 indirection [c] | A.cpp:66:14:66:14 | c |
4242
| A.cpp:66:14:66:14 | c | A.cpp:66:10:66:14 | c |
43-
| A.cpp:73:10:73:19 | Call indirection [c] | A.cpp:75:10:75:11 | b2 indirection [c] |
44-
| A.cpp:73:25:73:32 | new | A.cpp:73:10:73:19 | Call indirection [c] |
43+
| A.cpp:73:10:73:19 | call to setOnBWrap indirection [c] | A.cpp:75:10:75:11 | b2 indirection [c] |
44+
| A.cpp:73:25:73:32 | new | A.cpp:73:10:73:19 | call to setOnBWrap indirection [c] |
4545
| A.cpp:73:25:73:32 | new | A.cpp:73:25:73:32 | new |
4646
| A.cpp:73:25:73:32 | new | A.cpp:78:27:78:27 | c |
4747
| A.cpp:75:10:75:11 | b2 indirection [c] | A.cpp:75:10:75:14 | c |
4848
| A.cpp:75:10:75:11 | b2 indirection [c] | A.cpp:75:14:75:14 | c |
4949
| A.cpp:75:10:75:11 | b2 indirection [c] | A.cpp:75:14:75:14 | c |
5050
| A.cpp:75:14:75:14 | c | A.cpp:75:10:75:14 | c |
5151
| A.cpp:78:27:78:27 | c | A.cpp:81:21:81:21 | c |
52-
| A.cpp:81:10:81:15 | Call indirection [c] | A.cpp:78:6:78:15 | VariableAddress indirection [c] |
53-
| A.cpp:81:21:81:21 | c | A.cpp:81:10:81:15 | Call indirection [c] |
52+
| A.cpp:81:10:81:15 | call to setOnB indirection [c] | A.cpp:78:6:78:15 | VariableAddress indirection [c] |
53+
| A.cpp:81:21:81:21 | c | A.cpp:81:10:81:15 | call to setOnB indirection [c] |
5454
| A.cpp:81:21:81:21 | c | A.cpp:85:26:85:26 | c |
5555
| A.cpp:85:26:85:26 | c | A.cpp:90:15:90:15 | c |
5656
| A.cpp:90:7:90:8 | set output argument [c] | A.cpp:85:9:85:14 | VariableAddress indirection [c] |
@@ -233,8 +233,8 @@ edges
233233
| D.cpp:38:14:38:14 | b indirection [box indirection, elem] | D.cpp:21:30:21:31 | b2 indirection [box indirection, elem] |
234234
| D.cpp:42:15:42:24 | new | D.cpp:44:5:44:26 | Store |
235235
| D.cpp:44:5:44:5 | getBox1 output argument [box indirection, elem] | D.cpp:45:14:45:14 | b indirection [box indirection, elem] |
236-
| D.cpp:44:5:44:26 | Store | D.cpp:44:19:44:22 | Call indirection [post update] [elem] |
237-
| D.cpp:44:19:44:22 | Call indirection [post update] [elem] | D.cpp:44:5:44:5 | getBox1 output argument [box indirection, elem] |
236+
| D.cpp:44:5:44:26 | Store | D.cpp:44:19:44:22 | call to getBox1 indirection [post update] [elem] |
237+
| D.cpp:44:19:44:22 | call to getBox1 indirection [post update] [elem] | D.cpp:44:5:44:5 | getBox1 output argument [box indirection, elem] |
238238
| D.cpp:45:14:45:14 | b indirection [box indirection, elem] | D.cpp:21:30:21:31 | b2 indirection [box indirection, elem] |
239239
| D.cpp:49:15:49:24 | new | D.cpp:51:27:51:27 | e |
240240
| D.cpp:51:5:51:5 | getBox1 output argument [box indirection, elem] | D.cpp:52:14:52:14 | b indirection [box indirection, elem] |
@@ -692,8 +692,8 @@ edges
692692
| qualifiers.cpp:13:42:13:46 | value | qualifiers.cpp:13:51:13:65 | Store |
693693
| qualifiers.cpp:13:51:13:65 | Store | qualifiers.cpp:13:57:13:57 | inner indirection [post update] [a] |
694694
| qualifiers.cpp:22:5:22:9 | getInner output argument [inner indirection, a] | qualifiers.cpp:23:10:23:14 | outer indirection [inner indirection, a] |
695-
| qualifiers.cpp:22:5:22:38 | Store | qualifiers.cpp:22:23:22:23 | Call indirection [post update] [a] |
696-
| qualifiers.cpp:22:23:22:23 | Call indirection [post update] [a] | qualifiers.cpp:22:5:22:9 | getInner output argument [inner indirection, a] |
695+
| qualifiers.cpp:22:5:22:38 | Store | qualifiers.cpp:22:23:22:23 | call to getInner indirection [post update] [a] |
696+
| qualifiers.cpp:22:23:22:23 | call to getInner indirection [post update] [a] | qualifiers.cpp:22:5:22:9 | getInner output argument [inner indirection, a] |
697697
| qualifiers.cpp:22:27:22:36 | call to user_input | qualifiers.cpp:22:5:22:38 | Store |
698698
| qualifiers.cpp:23:10:23:14 | outer indirection [inner indirection, a] | qualifiers.cpp:23:16:23:20 | FieldAddress indirection [a] |
699699
| qualifiers.cpp:23:10:23:14 | outer indirection [inner indirection, a] | qualifiers.cpp:23:16:23:20 | inner indirection [a] |
@@ -741,9 +741,9 @@ edges
741741
| qualifiers.cpp:43:16:43:20 | inner indirection [a] | qualifiers.cpp:43:23:43:23 | FieldAddress indirection |
742742
| qualifiers.cpp:43:16:43:20 | inner indirection [a] | qualifiers.cpp:43:23:43:23 | a |
743743
| qualifiers.cpp:43:23:43:23 | FieldAddress indirection | qualifiers.cpp:43:23:43:23 | a |
744-
| qualifiers.cpp:47:5:47:42 | Store | qualifiers.cpp:47:27:47:27 | Call indirection [post update] [a] |
744+
| qualifiers.cpp:47:5:47:42 | Store | qualifiers.cpp:47:27:47:27 | call to getInner indirection [post update] [a] |
745745
| qualifiers.cpp:47:6:47:11 | getInner output argument [inner indirection, a] | qualifiers.cpp:48:10:48:14 | outer indirection [inner indirection, a] |
746-
| qualifiers.cpp:47:27:47:27 | Call indirection [post update] [a] | qualifiers.cpp:47:6:47:11 | getInner output argument [inner indirection, a] |
746+
| qualifiers.cpp:47:27:47:27 | call to getInner indirection [post update] [a] | qualifiers.cpp:47:6:47:11 | getInner output argument [inner indirection, a] |
747747
| qualifiers.cpp:47:31:47:40 | call to user_input | qualifiers.cpp:47:5:47:42 | Store |
748748
| qualifiers.cpp:48:10:48:14 | outer indirection [inner indirection, a] | qualifiers.cpp:48:16:48:20 | FieldAddress indirection [a] |
749749
| qualifiers.cpp:48:10:48:14 | outer indirection [inner indirection, a] | qualifiers.cpp:48:16:48:20 | inner indirection [a] |
@@ -884,7 +884,7 @@ nodes
884884
| A.cpp:31:14:31:21 | B output argument [c] | semmle.label | B output argument [c] |
885885
| A.cpp:31:20:31:20 | c | semmle.label | c |
886886
| A.cpp:47:12:47:18 | new | semmle.label | new |
887-
| A.cpp:48:12:48:18 | Call indirection [c] | semmle.label | Call indirection [c] |
887+
| A.cpp:48:12:48:18 | call to make indirection [c] | semmle.label | call to make indirection [c] |
888888
| A.cpp:48:20:48:20 | c | semmle.label | c |
889889
| A.cpp:49:10:49:10 | b indirection [c] | semmle.label | b indirection [c] |
890890
| A.cpp:49:10:49:13 | c | semmle.label | c |
@@ -900,14 +900,14 @@ nodes
900900
| A.cpp:57:11:57:24 | new indirection [c] | semmle.label | new indirection [c] |
901901
| A.cpp:57:17:57:23 | new | semmle.label | new |
902902
| A.cpp:57:17:57:23 | new | semmle.label | new |
903-
| A.cpp:64:10:64:15 | Call indirection [c] | semmle.label | Call indirection [c] |
903+
| A.cpp:64:10:64:15 | call to setOnB indirection [c] | semmle.label | call to setOnB indirection [c] |
904904
| A.cpp:64:21:64:28 | new | semmle.label | new |
905905
| A.cpp:64:21:64:28 | new | semmle.label | new |
906906
| A.cpp:66:10:66:11 | b2 indirection [c] | semmle.label | b2 indirection [c] |
907907
| A.cpp:66:10:66:14 | c | semmle.label | c |
908908
| A.cpp:66:14:66:14 | c | semmle.label | c |
909909
| A.cpp:66:14:66:14 | c | semmle.label | c |
910-
| A.cpp:73:10:73:19 | Call indirection [c] | semmle.label | Call indirection [c] |
910+
| A.cpp:73:10:73:19 | call to setOnBWrap indirection [c] | semmle.label | call to setOnBWrap indirection [c] |
911911
| A.cpp:73:25:73:32 | new | semmle.label | new |
912912
| A.cpp:73:25:73:32 | new | semmle.label | new |
913913
| A.cpp:75:10:75:11 | b2 indirection [c] | semmle.label | b2 indirection [c] |
@@ -916,7 +916,7 @@ nodes
916916
| A.cpp:75:14:75:14 | c | semmle.label | c |
917917
| A.cpp:78:6:78:15 | VariableAddress indirection [c] | semmle.label | VariableAddress indirection [c] |
918918
| A.cpp:78:27:78:27 | c | semmle.label | c |
919-
| A.cpp:81:10:81:15 | Call indirection [c] | semmle.label | Call indirection [c] |
919+
| A.cpp:81:10:81:15 | call to setOnB indirection [c] | semmle.label | call to setOnB indirection [c] |
920920
| A.cpp:81:21:81:21 | c | semmle.label | c |
921921
| A.cpp:85:9:85:14 | VariableAddress indirection [c] | semmle.label | VariableAddress indirection [c] |
922922
| A.cpp:85:26:85:26 | c | semmle.label | c |
@@ -1088,7 +1088,7 @@ nodes
10881088
| D.cpp:42:15:42:24 | new | semmle.label | new |
10891089
| D.cpp:44:5:44:5 | getBox1 output argument [box indirection, elem] | semmle.label | getBox1 output argument [box indirection, elem] |
10901090
| D.cpp:44:5:44:26 | Store | semmle.label | Store |
1091-
| D.cpp:44:19:44:22 | Call indirection [post update] [elem] | semmle.label | Call indirection [post update] [elem] |
1091+
| D.cpp:44:19:44:22 | call to getBox1 indirection [post update] [elem] | semmle.label | call to getBox1 indirection [post update] [elem] |
10921092
| D.cpp:45:14:45:14 | b indirection [box indirection, elem] | semmle.label | b indirection [box indirection, elem] |
10931093
| D.cpp:49:15:49:24 | new | semmle.label | new |
10941094
| D.cpp:51:5:51:5 | getBox1 output argument [box indirection, elem] | semmle.label | getBox1 output argument [box indirection, elem] |
@@ -1506,7 +1506,7 @@ nodes
15061506
| qualifiers.cpp:13:57:13:57 | inner indirection [post update] [a] | semmle.label | inner indirection [post update] [a] |
15071507
| qualifiers.cpp:22:5:22:9 | getInner output argument [inner indirection, a] | semmle.label | getInner output argument [inner indirection, a] |
15081508
| qualifiers.cpp:22:5:22:38 | Store | semmle.label | Store |
1509-
| qualifiers.cpp:22:23:22:23 | Call indirection [post update] [a] | semmle.label | Call indirection [post update] [a] |
1509+
| qualifiers.cpp:22:23:22:23 | call to getInner indirection [post update] [a] | semmle.label | call to getInner indirection [post update] [a] |
15101510
| qualifiers.cpp:22:27:22:36 | call to user_input | semmle.label | call to user_input |
15111511
| qualifiers.cpp:23:10:23:14 | outer indirection [inner indirection, a] | semmle.label | outer indirection [inner indirection, a] |
15121512
| qualifiers.cpp:23:16:23:20 | FieldAddress indirection [a] | semmle.label | FieldAddress indirection [a] |
@@ -1548,7 +1548,7 @@ nodes
15481548
| qualifiers.cpp:43:23:43:23 | a | semmle.label | a |
15491549
| qualifiers.cpp:47:5:47:42 | Store | semmle.label | Store |
15501550
| qualifiers.cpp:47:6:47:11 | getInner output argument [inner indirection, a] | semmle.label | getInner output argument [inner indirection, a] |
1551-
| qualifiers.cpp:47:27:47:27 | Call indirection [post update] [a] | semmle.label | Call indirection [post update] [a] |
1551+
| qualifiers.cpp:47:27:47:27 | call to getInner indirection [post update] [a] | semmle.label | call to getInner indirection [post update] [a] |
15521552
| qualifiers.cpp:47:31:47:40 | call to user_input | semmle.label | call to user_input |
15531553
| qualifiers.cpp:48:10:48:14 | outer indirection [inner indirection, a] | semmle.label | outer indirection [inner indirection, a] |
15541554
| qualifiers.cpp:48:16:48:20 | FieldAddress indirection [a] | semmle.label | FieldAddress indirection [a] |
@@ -1664,14 +1664,14 @@ nodes
16641664
| struct_init.c:46:16:46:24 | pointerAB indirection [a] | semmle.label | pointerAB indirection [a] |
16651665
subpaths
16661666
| A.cpp:31:20:31:20 | c | A.cpp:23:10:23:10 | c | A.cpp:25:13:25:13 | this indirection [post update] [c] | A.cpp:31:14:31:21 | B output argument [c] |
1667-
| A.cpp:48:20:48:20 | c | A.cpp:29:23:29:23 | c | A.cpp:29:15:29:18 | VariableAddress indirection [c] | A.cpp:48:12:48:18 | Call indirection [c] |
1667+
| A.cpp:48:20:48:20 | c | A.cpp:29:23:29:23 | c | A.cpp:29:15:29:18 | VariableAddress indirection [c] | A.cpp:48:12:48:18 | call to make indirection [c] |
16681668
| A.cpp:55:12:55:19 | new | A.cpp:27:17:27:17 | c | A.cpp:27:28:27:28 | this indirection [post update] [c] | A.cpp:55:5:55:5 | set output argument [c] |
16691669
| A.cpp:56:10:56:10 | b indirection [c] | A.cpp:28:8:28:10 | this indirection [c] | A.cpp:28:8:28:10 | VariableAddress indirection | A.cpp:56:10:56:17 | call to get |
16701670
| A.cpp:57:11:57:24 | new indirection [c] | A.cpp:28:8:28:10 | this indirection [c] | A.cpp:28:8:28:10 | VariableAddress indirection | A.cpp:57:10:57:32 | call to get |
16711671
| A.cpp:57:17:57:23 | new | A.cpp:23:10:23:10 | c | A.cpp:25:13:25:13 | this indirection [post update] [c] | A.cpp:57:11:57:24 | B output argument [c] |
1672-
| A.cpp:64:21:64:28 | new | A.cpp:85:26:85:26 | c | A.cpp:85:9:85:14 | VariableAddress indirection [c] | A.cpp:64:10:64:15 | Call indirection [c] |
1673-
| A.cpp:73:25:73:32 | new | A.cpp:78:27:78:27 | c | A.cpp:78:6:78:15 | VariableAddress indirection [c] | A.cpp:73:10:73:19 | Call indirection [c] |
1674-
| A.cpp:81:21:81:21 | c | A.cpp:85:26:85:26 | c | A.cpp:85:9:85:14 | VariableAddress indirection [c] | A.cpp:81:10:81:15 | Call indirection [c] |
1672+
| A.cpp:64:21:64:28 | new | A.cpp:85:26:85:26 | c | A.cpp:85:9:85:14 | VariableAddress indirection [c] | A.cpp:64:10:64:15 | call to setOnB indirection [c] |
1673+
| A.cpp:73:25:73:32 | new | A.cpp:78:27:78:27 | c | A.cpp:78:6:78:15 | VariableAddress indirection [c] | A.cpp:73:10:73:19 | call to setOnBWrap indirection [c] |
1674+
| A.cpp:81:21:81:21 | c | A.cpp:85:26:85:26 | c | A.cpp:85:9:85:14 | VariableAddress indirection [c] | A.cpp:81:10:81:15 | call to setOnB indirection [c] |
16751675
| A.cpp:90:15:90:15 | c | A.cpp:27:17:27:17 | c | A.cpp:27:28:27:28 | this indirection [post update] [c] | A.cpp:90:7:90:8 | set output argument [c] |
16761676
| A.cpp:126:12:126:18 | new | A.cpp:27:17:27:17 | c | A.cpp:27:28:27:28 | this indirection [post update] [c] | A.cpp:126:5:126:5 | set output argument [c] |
16771677
| A.cpp:151:18:151:18 | b | A.cpp:140:13:140:13 | b | A.cpp:143:13:143:13 | this indirection [post update] [b] | A.cpp:151:12:151:24 | D output argument [b] |

0 commit comments

Comments
 (0)