Skip to content

Commit 1b7dde8

Browse files
committed
Ruby: Accept qltest changes due to removed splitting.
1 parent b1ab236 commit 1b7dde8

4 files changed

Lines changed: 454 additions & 940 deletions

File tree

ruby/ql/test/library-tests/controlflow/graph/Nodes.expected

Lines changed: 7 additions & 43 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,6 @@
11
callsWithNoArguments
2-
| break_ensure.rb:8:6:8:13 | [ensure: exception] call to elements |
32
| break_ensure.rb:8:6:8:13 | call to elements |
4-
| break_ensure.rb:8:6:8:18 | [ensure: exception] call to nil? |
53
| break_ensure.rb:8:6:8:18 | call to nil? |
6-
| break_ensure.rb:20:10:20:15 | [ensure: break] call to nil? |
7-
| break_ensure.rb:20:10:20:15 | [ensure: exception] call to nil? |
84
| break_ensure.rb:20:10:20:15 | call to nil? |
95
| break_ensure.rb:29:8:29:13 | call to nil? |
106
| case.rb:2:8:2:9 | call to x1 |
@@ -26,8 +22,7 @@ callsWithNoArguments
2622
| cfg.rb:62:7:62:12 | * ... |
2723
| cfg.rb:62:17:62:27 | * ... |
2824
| cfg.rb:90:1:93:3 | call to each |
29-
| cfg.rb:90:5:90:5 | [false] ! ... |
30-
| cfg.rb:90:5:90:5 | [true] ! ... |
25+
| cfg.rb:90:5:90:5 | ! ... |
3126
| cfg.rb:90:5:90:5 | defined? ... |
3227
| cfg.rb:98:10:98:15 | ** ... |
3328
| cfg.rb:98:30:98:35 | ** ... |
@@ -61,36 +56,27 @@ callsWithNoArguments
6156
| desugar.rb:22:18:22:29 | * ... |
6257
| desugar.rb:26:6:26:11 | * ... |
6358
| desugar.rb:26:15:26:25 | * ... |
64-
| ifs.rb:4:30:4:38 | [false] ! ... |
65-
| ifs.rb:4:30:4:38 | [true] ! ... |
59+
| ifs.rb:4:30:4:38 | ! ... |
6660
| ifs.rb:20:9:20:10 | - ... |
67-
| ifs.rb:41:6:41:10 | [false] ! ... |
61+
| ifs.rb:41:6:41:10 | ! ... |
6862
| loops.rb:25:3:27:5 | call to each |
6963
| raise.rb:155:3:155:50 | call to each |
7064
| raise.rb:155:37:155:48 | call to nil? |
7165
| raise.rb:159:3:163:5 | call to foo |
7266
positionalArguments
7367
| break_ensure.rb:2:9:2:13 | ... < ... | break_ensure.rb:2:13:2:13 | 0 |
7468
| break_ensure.rb:3:8:3:12 | ... > ... | break_ensure.rb:3:12:3:12 | 0 |
75-
| break_ensure.rb:9:5:9:23 | [ensure: exception] call to puts | break_ensure.rb:9:10:9:23 | [ensure: exception] "elements nil" |
7669
| break_ensure.rb:9:5:9:23 | call to puts | break_ensure.rb:9:10:9:23 | "elements nil" |
7770
| break_ensure.rb:14:9:14:13 | ... < ... | break_ensure.rb:14:13:14:13 | 0 |
7871
| break_ensure.rb:16:10:16:14 | ... > ... | break_ensure.rb:16:14:16:14 | 0 |
79-
| break_ensure.rb:21:9:21:20 | [ensure: break] call to puts | break_ensure.rb:21:14:21:20 | [ensure: break] "y nil" |
80-
| break_ensure.rb:21:9:21:20 | [ensure: exception] call to puts | break_ensure.rb:21:14:21:20 | [ensure: exception] "y nil" |
8172
| break_ensure.rb:21:9:21:20 | call to puts | break_ensure.rb:21:14:21:20 | "y nil" |
8273
| break_ensure.rb:33:11:33:15 | ... < ... | break_ensure.rb:33:15:33:15 | 0 |
83-
| break_ensure.rb:33:11:33:15 | [ensure: exception] ... < ... | break_ensure.rb:33:15:33:15 | [ensure: exception] 0 |
84-
| break_ensure.rb:33:11:33:15 | [ensure: return] ... < ... | break_ensure.rb:33:15:33:15 | [ensure: return] 0 |
8574
| break_ensure.rb:35:12:35:16 | ... > ... | break_ensure.rb:35:16:35:16 | 0 |
86-
| break_ensure.rb:35:12:35:16 | [ensure: exception] ... > ... | break_ensure.rb:35:16:35:16 | [ensure: exception] 0 |
87-
| break_ensure.rb:35:12:35:16 | [ensure: return] ... > ... | break_ensure.rb:35:16:35:16 | [ensure: return] 0 |
8875
| break_ensure.rb:41:3:41:13 | call to puts | break_ensure.rb:41:8:41:13 | "Done" |
8976
| break_ensure.rb:45:9:45:13 | ... < ... | break_ensure.rb:45:13:45:13 | 0 |
9077
| break_ensure.rb:47:10:47:14 | ... > ... | break_ensure.rb:47:14:47:14 | 1 |
9178
| break_ensure.rb:48:9:48:16 | call to raise | break_ensure.rb:48:15:48:16 | "" |
9279
| break_ensure.rb:51:10:51:14 | ... > ... | break_ensure.rb:51:14:51:14 | 0 |
93-
| break_ensure.rb:51:10:51:14 | [ensure: exception] ... > ... | break_ensure.rb:51:14:51:14 | [ensure: exception] 0 |
9480
| case.rb:3:29:3:37 | call to puts | case.rb:3:34:3:37 | "x2" |
9581
| case.rb:4:17:4:24 | call to puts | case.rb:4:22:4:24 | "2" |
9682
| case.rb:14:13:14:18 | ... == ... | case.rb:14:18:14:18 | 5 |
@@ -263,10 +249,8 @@ positionalArguments
263249
| ifs.rb:2:6:2:10 | ... > ... | ifs.rb:2:10:2:10 | 2 |
264250
| ifs.rb:3:5:3:30 | call to puts | ifs.rb:3:10:3:30 | "x is greater than 2" |
265251
| ifs.rb:4:9:4:14 | ... <= ... | ifs.rb:4:14:4:14 | 2 |
266-
| ifs.rb:4:9:4:24 | [false] ... and ... | ifs.rb:4:20:4:24 | ... > ... |
267-
| ifs.rb:4:9:4:24 | [true] ... and ... | ifs.rb:4:20:4:24 | ... > ... |
268-
| ifs.rb:4:9:4:38 | [false] ... and ... | ifs.rb:4:30:4:38 | [false] ! ... |
269-
| ifs.rb:4:9:4:38 | [true] ... and ... | ifs.rb:4:30:4:38 | [true] ! ... |
252+
| ifs.rb:4:9:4:24 | ... and ... | ifs.rb:4:20:4:24 | ... > ... |
253+
| ifs.rb:4:9:4:38 | ... and ... | ifs.rb:4:30:4:38 | ! ... |
270254
| ifs.rb:4:20:4:24 | ... > ... | ifs.rb:4:24:4:24 | 0 |
271255
| ifs.rb:4:32:4:37 | ... == ... | ifs.rb:4:37:4:37 | 5 |
272256
| ifs.rb:5:5:5:17 | call to puts | ifs.rb:5:10:5:17 | "x is 1" |
@@ -279,8 +263,7 @@ positionalArguments
279263
| ifs.rb:38:12:38:17 | ... == ... | ifs.rb:38:17:38:17 | 2 |
280264
| ifs.rb:48:5:48:15 | call to puts | ifs.rb:48:10:48:15 | "true" |
281265
| ifs.rb:51:3:51:13 | call to puts | ifs.rb:51:8:51:13 | "done" |
282-
| ifs.rb:55:7:55:14 | [false] ... \|\| ... | ifs.rb:55:13:55:14 | b2 |
283-
| ifs.rb:55:7:55:14 | [true] ... \|\| ... | ifs.rb:55:13:55:14 | b2 |
266+
| ifs.rb:55:7:55:14 | ... \|\| ... | ifs.rb:55:13:55:14 | b2 |
284267
| ifs.rb:56:5:56:19 | call to puts | ifs.rb:56:10:56:19 | "b1 or b2" |
285268
| loops.rb:2:9:2:14 | ... >= ... | loops.rb:2:14:2:14 | 0 |
286269
| loops.rb:3:5:3:10 | call to puts | loops.rb:3:10:3:10 | x |
@@ -319,56 +302,37 @@ positionalArguments
319302
| raise.rb:70:5:70:17 | call to raise | raise.rb:70:11:70:17 | "x > 2" |
320303
| raise.rb:71:9:71:13 | ... < ... | raise.rb:71:13:71:13 | 0 |
321304
| raise.rb:74:3:74:20 | call to puts | raise.rb:74:8:74:20 | "0 <= x <= 2" |
322-
| raise.rb:76:3:76:15 | [ensure: exception] call to puts | raise.rb:76:8:76:15 | [ensure: exception] "ensure" |
323-
| raise.rb:76:3:76:15 | [ensure: return] call to puts | raise.rb:76:8:76:15 | [ensure: return] "ensure" |
324305
| raise.rb:76:3:76:15 | call to puts | raise.rb:76:8:76:15 | "ensure" |
325306
| raise.rb:80:3:80:17 | call to puts | raise.rb:80:8:80:17 | "Begin m8" |
326307
| raise.rb:82:8:82:12 | ... > ... | raise.rb:82:12:82:12 | 2 |
327308
| raise.rb:83:7:83:19 | call to raise | raise.rb:83:13:83:19 | "x > 2" |
328309
| raise.rb:84:11:84:15 | ... < ... | raise.rb:84:15:84:15 | 0 |
329310
| raise.rb:87:5:87:22 | call to puts | raise.rb:87:10:87:22 | "0 <= x <= 2" |
330-
| raise.rb:89:5:89:17 | [ensure: exception] call to puts | raise.rb:89:10:89:17 | [ensure: exception] "ensure" |
331-
| raise.rb:89:5:89:17 | [ensure: return] call to puts | raise.rb:89:10:89:17 | [ensure: return] "ensure" |
332311
| raise.rb:89:5:89:17 | call to puts | raise.rb:89:10:89:17 | "ensure" |
333312
| raise.rb:91:3:91:15 | call to puts | raise.rb:91:8:91:15 | "End m8" |
334313
| raise.rb:95:3:95:17 | call to puts | raise.rb:95:8:95:17 | "Begin m9" |
335314
| raise.rb:97:8:97:12 | ... > ... | raise.rb:97:12:97:12 | 2 |
336315
| raise.rb:98:7:98:19 | call to raise | raise.rb:98:13:98:19 | "x > 2" |
337316
| raise.rb:99:11:99:15 | ... < ... | raise.rb:99:15:99:15 | 0 |
338317
| raise.rb:102:5:102:22 | call to puts | raise.rb:102:10:102:22 | "0 <= x <= 2" |
339-
| raise.rb:104:5:104:23 | [ensure: exception] call to puts | raise.rb:104:10:104:23 | [ensure: exception] "outer ensure" |
340-
| raise.rb:104:5:104:23 | [ensure: return] call to puts | raise.rb:104:10:104:23 | [ensure: return] "outer ensure" |
341318
| raise.rb:104:5:104:23 | call to puts | raise.rb:104:10:104:23 | "outer ensure" |
342-
| raise.rb:107:9:107:26 | [ensure: exception] call to raise | raise.rb:107:15:107:26 | [ensure: exception] "b1 is true" |
343-
| raise.rb:107:9:107:26 | [ensure: return] call to raise | raise.rb:107:15:107:26 | [ensure: return] "b1 is true" |
344319
| raise.rb:107:9:107:26 | call to raise | raise.rb:107:15:107:26 | "b1 is true" |
345-
| raise.rb:110:7:110:25 | [ensure(1): exception] call to puts | raise.rb:110:12:110:25 | [ensure(1): exception] "inner ensure" |
346-
| raise.rb:110:7:110:25 | [ensure: exception, ensure(1): exception] call to puts | raise.rb:110:12:110:25 | [ensure: exception, ensure(1): exception] "inner ensure" |
347-
| raise.rb:110:7:110:25 | [ensure: exception] call to puts | raise.rb:110:12:110:25 | [ensure: exception] "inner ensure" |
348-
| raise.rb:110:7:110:25 | [ensure: return, ensure(1): exception] call to puts | raise.rb:110:12:110:25 | [ensure: return, ensure(1): exception] "inner ensure" |
349-
| raise.rb:110:7:110:25 | [ensure: return] call to puts | raise.rb:110:12:110:25 | [ensure: return] "inner ensure" |
350320
| raise.rb:110:7:110:25 | call to puts | raise.rb:110:12:110:25 | "inner ensure" |
351321
| raise.rb:113:3:113:15 | call to puts | raise.rb:113:8:113:15 | "End m9" |
352-
| raise.rb:115:3:115:22 | [ensure: exception] call to puts | raise.rb:115:8:115:22 | [ensure: exception] "method ensure" |
353-
| raise.rb:115:3:115:22 | [ensure: return] call to puts | raise.rb:115:8:115:22 | [ensure: return] "method ensure" |
354322
| raise.rb:115:3:115:22 | call to puts | raise.rb:115:8:115:22 | "method ensure" |
355-
| raise.rb:117:5:117:22 | [ensure: exception] call to raise | raise.rb:117:11:117:22 | [ensure: exception] "b2 is true" |
356-
| raise.rb:117:5:117:22 | [ensure: return] call to raise | raise.rb:117:11:117:22 | [ensure: return] "b2 is true" |
357323
| raise.rb:117:5:117:22 | call to raise | raise.rb:117:11:117:22 | "b2 is true" |
358324
| raise.rb:121:14:121:30 | call to raise | raise.rb:121:20:121:30 | "Exception" |
359325
| raise.rb:125:3:125:51 | call to puts | raise.rb:125:8:125:51 | "Will not get executed if p is..." |
360326
| raise.rb:131:7:131:22 | call to raise | raise.rb:131:13:131:22 | ExceptionA |
361327
| raise.rb:135:5:135:21 | call to puts | raise.rb:135:10:135:21 | "ExceptionB" |
362-
| raise.rb:137:5:137:17 | [ensure: exception] call to puts | raise.rb:137:10:137:17 | [ensure: exception] "Ensure" |
363328
| raise.rb:137:5:137:17 | call to puts | raise.rb:137:10:137:17 | "Ensure" |
364329
| raise.rb:139:3:139:16 | call to puts | raise.rb:139:8:139:16 | "End m11" |
365330
| raise.rb:144:5:144:12 | call to raise | raise.rb:144:11:144:12 | "" |
366331
| raise.rb:155:25:155:32 | call to raise | raise.rb:155:31:155:32 | "" |
367332
| raise.rb:160:5:162:7 | call to bar | raise.rb:160:9:162:7 | -> { ... } |
368333
| raise.rb:161:7:161:14 | call to raise | raise.rb:161:13:161:14 | "" |
369334
| raise.rb:168:5:168:12 | call to raise | raise.rb:168:11:168:12 | "" |
370-
| raise.rb:174:8:174:23 | [false] ... \|\| ... | raise.rb:174:14:174:23 | ... == ... |
371-
| raise.rb:174:8:174:23 | [true] ... \|\| ... | raise.rb:174:14:174:23 | ... == ... |
335+
| raise.rb:174:8:174:23 | ... \|\| ... | raise.rb:174:14:174:23 | ... == ... |
372336
| raise.rb:174:14:174:23 | ... == ... | raise.rb:174:20:174:23 | true |
373337
keywordArguments
374338
| cfg.html.erb:6:9:6:58 | call to stylesheet_link_tag | media | cfg.html.erb:6:54:6:58 | "all" |

0 commit comments

Comments
 (0)