Skip to content

Commit c7112ef

Browse files
geoffw0geoffw0
committed
Rust: Accept consistency check changes.
1 parent 3805d0f commit c7112ef

File tree

1 file changed

+109
-65
lines changed

1 file changed

+109
-65
lines changed

‎rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected‎

Lines changed: 109 additions & 65 deletions
Original file line numberDiff line numberDiff line change
@@ -89,12 +89,17 @@ uniqueCallEnclosingCallable
8989
| main.rs:522:5:522:14 | CallExpr | Call should have one enclosing callable but has 0. |
9090
| main.rs:523:5:523:14 | CallExpr | Call should have one enclosing callable but has 0. |
9191
| main.rs:525:5:525:22 | CallExpr | Call should have one enclosing callable but has 0. |
92-
| main.rs:527:5:527:23 | CallExpr | Call should have one enclosing callable but has 0. |
93-
| main.rs:529:5:529:23 | CallExpr | Call should have one enclosing callable but has 0. |
92+
| main.rs:526:5:526:22 | CallExpr | Call should have one enclosing callable but has 0. |
93+
| main.rs:527:5:527:22 | CallExpr | Call should have one enclosing callable but has 0. |
94+
| main.rs:528:5:528:23 | CallExpr | Call should have one enclosing callable but has 0. |
95+
| main.rs:529:9:529:26 | CallExpr | Call should have one enclosing callable but has 0. |
9496
| main.rs:530:5:530:23 | CallExpr | Call should have one enclosing callable but has 0. |
95-
| main.rs:531:5:531:23 | CallExpr | Call should have one enclosing callable but has 0. |
96-
| main.rs:532:5:532:22 | CallExpr | Call should have one enclosing callable but has 0. |
97-
| main.rs:533:5:533:22 | CallExpr | Call should have one enclosing callable but has 0. |
97+
| main.rs:531:5:531:22 | CallExpr | Call should have one enclosing callable but has 0. |
98+
| main.rs:532:5:532:28 | CallExpr | Call should have one enclosing callable but has 0. |
99+
| main.rs:533:5:533:23 | CallExpr | Call should have one enclosing callable but has 0. |
100+
| main.rs:534:5:534:23 | CallExpr | Call should have one enclosing callable but has 0. |
101+
| main.rs:535:5:535:23 | CallExpr | Call should have one enclosing callable but has 0. |
102+
| main.rs:536:5:536:28 | CallExpr | Call should have one enclosing callable but has 0. |
98103
| more.rs:45:14:45:26 | CallExpr | Call should have one enclosing callable but has 0. |
99104
| more.rs:46:14:46:25 | CallExpr | Call should have one enclosing callable but has 0. |
100105
| more.rs:47:14:47:26 | CallExpr | Call should have one enclosing callable but has 0. |
@@ -123,68 +128,107 @@ uniqueCallEnclosingCallable
123128
| unreachable.rs:62:8:62:13 | CallExpr | Call should have one enclosing callable but has 0. |
124129
| unreachable.rs:71:8:71:13 | CallExpr | Call should have one enclosing callable but has 0. |
125130
| unreachable.rs:72:9:72:22 | CallExpr | Call should have one enclosing callable but has 0. |
126-
| unreachable.rs:73:16:73:25 | CallExpr | Call should have one enclosing callable but has 0. |
127-
| unreachable.rs:74:9:74:22 | CallExpr | Call should have one enclosing callable but has 0. |
128-
| unreachable.rs:77:8:77:13 | CallExpr | Call should have one enclosing callable but has 0. |
129-
| unreachable.rs:78:9:78:22 | CallExpr | Call should have one enclosing callable but has 0. |
130-
| unreachable.rs:79:9:79:24 | CallExpr | Call should have one enclosing callable but has 0. |
131-
| unreachable.rs:80:9:80:22 | CallExpr | Call should have one enclosing callable but has 0. |
132-
| unreachable.rs:83:8:83:13 | CallExpr | Call should have one enclosing callable but has 0. |
133-
| unreachable.rs:84:9:84:22 | CallExpr | Call should have one enclosing callable but has 0. |
134-
| unreachable.rs:85:9:85:15 | CallExpr | Call should have one enclosing callable but has 0. |
135-
| unreachable.rs:86:9:86:22 | CallExpr | Call should have one enclosing callable but has 0. |
136-
| unreachable.rs:89:8:89:13 | CallExpr | Call should have one enclosing callable but has 0. |
137-
| unreachable.rs:90:9:90:22 | CallExpr | Call should have one enclosing callable but has 0. |
138-
| unreachable.rs:91:9:91:22 | CallExpr | Call should have one enclosing callable but has 0. |
131+
| unreachable.rs:75:9:75:22 | CallExpr | Call should have one enclosing callable but has 0. |
132+
| unreachable.rs:78:5:78:18 | CallExpr | Call should have one enclosing callable but has 0. |
133+
| unreachable.rs:82:9:82:14 | CallExpr | Call should have one enclosing callable but has 0. |
134+
| unreachable.rs:83:9:83:22 | CallExpr | Call should have one enclosing callable but has 0. |
135+
| unreachable.rs:87:5:87:18 | CallExpr | Call should have one enclosing callable but has 0. |
136+
| unreachable.rs:91:8:91:13 | CallExpr | Call should have one enclosing callable but has 0. |
139137
| unreachable.rs:92:9:92:22 | CallExpr | Call should have one enclosing callable but has 0. |
140-
| unreachable.rs:95:8:95:13 | CallExpr | Call should have one enclosing callable but has 0. |
141-
| unreachable.rs:98:17:98:29 | CallExpr | Call should have one enclosing callable but has 0. |
138+
| unreachable.rs:93:16:93:25 | CallExpr | Call should have one enclosing callable but has 0. |
139+
| unreachable.rs:94:9:94:22 | CallExpr | Call should have one enclosing callable but has 0. |
140+
| unreachable.rs:97:8:97:13 | CallExpr | Call should have one enclosing callable but has 0. |
141+
| unreachable.rs:98:9:98:22 | CallExpr | Call should have one enclosing callable but has 0. |
142+
| unreachable.rs:99:9:99:24 | CallExpr | Call should have one enclosing callable but has 0. |
142143
| unreachable.rs:100:9:100:22 | CallExpr | Call should have one enclosing callable but has 0. |
143-
| unreachable.rs:102:20:102:25 | CallExpr | Call should have one enclosing callable but has 0. |
144-
| unreachable.rs:102:29:102:41 | CallExpr | Call should have one enclosing callable but has 0. |
144+
| unreachable.rs:103:8:103:13 | CallExpr | Call should have one enclosing callable but has 0. |
145145
| unreachable.rs:104:9:104:22 | CallExpr | Call should have one enclosing callable but has 0. |
146-
| unreachable.rs:108:9:108:22 | CallExpr | Call should have one enclosing callable but has 0. |
147-
| unreachable.rs:111:8:111:13 | CallExpr | Call should have one enclosing callable but has 0. |
146+
| unreachable.rs:105:9:105:15 | CallExpr | Call should have one enclosing callable but has 0. |
147+
| unreachable.rs:106:9:106:22 | CallExpr | Call should have one enclosing callable but has 0. |
148+
| unreachable.rs:109:8:109:13 | CallExpr | Call should have one enclosing callable but has 0. |
149+
| unreachable.rs:110:9:110:22 | CallExpr | Call should have one enclosing callable but has 0. |
150+
| unreachable.rs:111:9:111:22 | CallExpr | Call should have one enclosing callable but has 0. |
148151
| unreachable.rs:112:9:112:22 | CallExpr | Call should have one enclosing callable but has 0. |
149-
| unreachable.rs:114:13:114:20 | CallExpr | Call should have one enclosing callable but has 0. |
150-
| unreachable.rs:115:9:115:22 | CallExpr | Call should have one enclosing callable but has 0. |
151-
| unreachable.rs:116:22:116:29 | CallExpr | Call should have one enclosing callable but has 0. |
152-
| unreachable.rs:116:22:116:29 | CallExpr | Call should have one enclosing callable but has 0. |
153-
| unreachable.rs:117:9:117:22 | CallExpr | Call should have one enclosing callable but has 0. |
154-
| unreachable.rs:120:8:120:13 | CallExpr | Call should have one enclosing callable but has 0. |
155-
| unreachable.rs:121:9:121:22 | CallExpr | Call should have one enclosing callable but has 0. |
156-
| unreachable.rs:123:13:123:20 | CallExpr | Call should have one enclosing callable but has 0. |
152+
| unreachable.rs:115:8:115:13 | CallExpr | Call should have one enclosing callable but has 0. |
153+
| unreachable.rs:118:17:118:29 | CallExpr | Call should have one enclosing callable but has 0. |
154+
| unreachable.rs:120:9:120:22 | CallExpr | Call should have one enclosing callable but has 0. |
155+
| unreachable.rs:122:20:122:25 | CallExpr | Call should have one enclosing callable but has 0. |
156+
| unreachable.rs:122:29:122:41 | CallExpr | Call should have one enclosing callable but has 0. |
157157
| unreachable.rs:124:9:124:22 | CallExpr | Call should have one enclosing callable but has 0. |
158-
| unreachable.rs:125:21:125:28 | CallExpr | Call should have one enclosing callable but has 0. |
159-
| unreachable.rs:125:21:125:28 | CallExpr | Call should have one enclosing callable but has 0. |
160-
| unreachable.rs:126:9:126:22 | CallExpr | Call should have one enclosing callable but has 0. |
161-
| unreachable.rs:131:11:131:24 | CallExpr | Call should have one enclosing callable but has 0. |
162-
| unreachable.rs:136:13:136:26 | CallExpr | Call should have one enclosing callable but has 0. |
163-
| unreachable.rs:139:5:139:18 | CallExpr | Call should have one enclosing callable but has 0. |
164-
| unreachable.rs:141:11:141:24 | CallExpr | Call should have one enclosing callable but has 0. |
165-
| unreachable.rs:154:9:154:22 | CallExpr | Call should have one enclosing callable but has 0. |
166-
| unreachable.rs:159:8:159:13 | CallExpr | Call should have one enclosing callable but has 0. |
167-
| unreachable.rs:160:15:160:20 | CallExpr | Call should have one enclosing callable but has 0. |
168-
| unreachable.rs:161:13:161:26 | CallExpr | Call should have one enclosing callable but has 0. |
169-
| unreachable.rs:169:13:169:26 | CallExpr | Call should have one enclosing callable but has 0. |
170-
| unreachable.rs:175:12:175:17 | CallExpr | Call should have one enclosing callable but has 0. |
171-
| unreachable.rs:179:9:179:22 | CallExpr | Call should have one enclosing callable but has 0. |
172-
| unreachable.rs:183:12:183:17 | CallExpr | Call should have one enclosing callable but has 0. |
173-
| unreachable.rs:198:22:198:41 | CallExpr | Call should have one enclosing callable but has 0. |
174-
| unreachable.rs:199:9:199:22 | CallExpr | Call should have one enclosing callable but has 0. |
175-
| unreachable.rs:202:9:202:22 | CallExpr | Call should have one enclosing callable but has 0. |
176-
| unreachable.rs:205:5:205:18 | CallExpr | Call should have one enclosing callable but has 0. |
177-
| unreachable.rs:207:16:207:29 | CallExpr | Call should have one enclosing callable but has 0. |
178-
| unreachable.rs:209:9:209:22 | CallExpr | Call should have one enclosing callable but has 0. |
179-
| unreachable.rs:219:19:219:38 | CallExpr | Call should have one enclosing callable but has 0. |
180-
| unreachable.rs:220:9:220:22 | CallExpr | Call should have one enclosing callable but has 0. |
181-
| unreachable.rs:224:5:224:18 | CallExpr | Call should have one enclosing callable but has 0. |
182-
| unreachable.rs:226:13:226:32 | CallExpr | Call should have one enclosing callable but has 0. |
183-
| unreachable.rs:232:5:232:18 | CallExpr | Call should have one enclosing callable but has 0. |
184-
| unreachable.rs:236:8:236:13 | CallExpr | Call should have one enclosing callable but has 0. |
185-
| unreachable.rs:237:9:237:22 | CallExpr | Call should have one enclosing callable but has 0. |
186-
| unreachable.rs:240:9:240:22 | CallExpr | Call should have one enclosing callable but has 0. |
187-
| unreachable.rs:243:5:243:18 | CallExpr | Call should have one enclosing callable but has 0. |
188-
| unreachable.rs:247:9:247:14 | CallExpr | Call should have one enclosing callable but has 0. |
189-
| unreachable.rs:248:9:248:22 | CallExpr | Call should have one enclosing callable but has 0. |
190-
| unreachable.rs:252:5:252:18 | CallExpr | Call should have one enclosing callable but has 0. |
158+
| unreachable.rs:128:9:128:22 | CallExpr | Call should have one enclosing callable but has 0. |
159+
| unreachable.rs:131:8:131:13 | CallExpr | Call should have one enclosing callable but has 0. |
160+
| unreachable.rs:132:9:132:22 | CallExpr | Call should have one enclosing callable but has 0. |
161+
| unreachable.rs:134:13:134:20 | CallExpr | Call should have one enclosing callable but has 0. |
162+
| unreachable.rs:135:9:135:22 | CallExpr | Call should have one enclosing callable but has 0. |
163+
| unreachable.rs:136:22:136:29 | CallExpr | Call should have one enclosing callable but has 0. |
164+
| unreachable.rs:136:22:136:29 | CallExpr | Call should have one enclosing callable but has 0. |
165+
| unreachable.rs:137:9:137:22 | CallExpr | Call should have one enclosing callable but has 0. |
166+
| unreachable.rs:140:8:140:13 | CallExpr | Call should have one enclosing callable but has 0. |
167+
| unreachable.rs:141:9:141:22 | CallExpr | Call should have one enclosing callable but has 0. |
168+
| unreachable.rs:143:13:143:20 | CallExpr | Call should have one enclosing callable but has 0. |
169+
| unreachable.rs:144:9:144:22 | CallExpr | Call should have one enclosing callable but has 0. |
170+
| unreachable.rs:145:21:145:28 | CallExpr | Call should have one enclosing callable but has 0. |
171+
| unreachable.rs:145:21:145:28 | CallExpr | Call should have one enclosing callable but has 0. |
172+
| unreachable.rs:146:9:146:22 | CallExpr | Call should have one enclosing callable but has 0. |
173+
| unreachable.rs:163:8:163:13 | CallExpr | Call should have one enclosing callable but has 0. |
174+
| unreachable.rs:164:9:164:22 | CallExpr | Call should have one enclosing callable but has 0. |
175+
| unreachable.rs:165:16:165:43 | CallExpr | Call should have one enclosing callable but has 0. |
176+
| unreachable.rs:165:20:165:42 | CallExpr | Call should have one enclosing callable but has 0. |
177+
| unreachable.rs:169:8:169:13 | CallExpr | Call should have one enclosing callable but has 0. |
178+
| unreachable.rs:170:9:170:22 | CallExpr | Call should have one enclosing callable but has 0. |
179+
| unreachable.rs:171:9:171:17 | CallExpr | Call should have one enclosing callable but has 0. |
180+
| unreachable.rs:171:9:171:17 | CallExpr | Call should have one enclosing callable but has 0. |
181+
| unreachable.rs:175:8:175:13 | CallExpr | Call should have one enclosing callable but has 0. |
182+
| unreachable.rs:176:9:176:22 | CallExpr | Call should have one enclosing callable but has 0. |
183+
| unreachable.rs:177:17:177:25 | CallExpr | Call should have one enclosing callable but has 0. |
184+
| unreachable.rs:177:17:177:25 | CallExpr | Call should have one enclosing callable but has 0. |
185+
| unreachable.rs:179:5:179:18 | CallExpr | Call should have one enclosing callable but has 0. |
186+
| unreachable.rs:181:5:181:9 | CallExpr | Call should have one enclosing callable but has 0. |
187+
| unreachable.rs:185:8:185:13 | CallExpr | Call should have one enclosing callable but has 0. |
188+
| unreachable.rs:186:15:186:28 | CallExpr | Call should have one enclosing callable but has 0. |
189+
| unreachable.rs:191:17:191:30 | CallExpr | Call should have one enclosing callable but has 0. |
190+
| unreachable.rs:194:9:194:22 | CallExpr | Call should have one enclosing callable but has 0. |
191+
| unreachable.rs:197:8:197:13 | CallExpr | Call should have one enclosing callable but has 0. |
192+
| unreachable.rs:198:15:198:28 | CallExpr | Call should have one enclosing callable but has 0. |
193+
| unreachable.rs:209:8:209:13 | CallExpr | Call should have one enclosing callable but has 0. |
194+
| unreachable.rs:210:19:210:32 | CallExpr | Call should have one enclosing callable but has 0. |
195+
| unreachable.rs:214:9:214:22 | CallExpr | Call should have one enclosing callable but has 0. |
196+
| unreachable.rs:217:8:217:13 | CallExpr | Call should have one enclosing callable but has 0. |
197+
| unreachable.rs:218:13:221:10 | CallExpr | Call should have one enclosing callable but has 0. |
198+
| unreachable.rs:218:24:218:37 | CallExpr | Call should have one enclosing callable but has 0. |
199+
| unreachable.rs:222:9:222:22 | CallExpr | Call should have one enclosing callable but has 0. |
200+
| unreachable.rs:227:8:227:13 | CallExpr | Call should have one enclosing callable but has 0. |
201+
| unreachable.rs:229:13:229:26 | CallExpr | Call should have one enclosing callable but has 0. |
202+
| unreachable.rs:235:8:235:13 | CallExpr | Call should have one enclosing callable but has 0. |
203+
| unreachable.rs:236:15:236:20 | CallExpr | Call should have one enclosing callable but has 0. |
204+
| unreachable.rs:237:13:237:26 | CallExpr | Call should have one enclosing callable but has 0. |
205+
| unreachable.rs:245:13:245:26 | CallExpr | Call should have one enclosing callable but has 0. |
206+
| unreachable.rs:250:8:250:13 | CallExpr | Call should have one enclosing callable but has 0. |
207+
| unreachable.rs:252:16:252:21 | CallExpr | Call should have one enclosing callable but has 0. |
208+
| unreachable.rs:256:13:256:26 | CallExpr | Call should have one enclosing callable but has 0. |
209+
| unreachable.rs:260:8:260:13 | CallExpr | Call should have one enclosing callable but has 0. |
210+
| unreachable.rs:262:16:262:21 | CallExpr | Call should have one enclosing callable but has 0. |
211+
| unreachable.rs:272:8:272:13 | CallExpr | Call should have one enclosing callable but has 0. |
212+
| unreachable.rs:278:13:278:15 | CallExpr | Call should have one enclosing callable but has 0. |
213+
| unreachable.rs:281:9:281:31 | CallExpr | Call should have one enclosing callable but has 0. |
214+
| unreachable.rs:282:9:282:31 | CallExpr | Call should have one enclosing callable but has 0. |
215+
| unreachable.rs:283:9:283:33 | CallExpr | Call should have one enclosing callable but has 0. |
216+
| unreachable.rs:284:9:284:33 | CallExpr | Call should have one enclosing callable but has 0. |
217+
| unreachable.rs:285:9:285:22 | CallExpr | Call should have one enclosing callable but has 0. |
218+
| unreachable.rs:294:13:294:32 | CallExpr | Call should have one enclosing callable but has 0. |
219+
| unreachable.rs:296:9:296:22 | CallExpr | Call should have one enclosing callable but has 0. |
220+
| unreachable.rs:301:13:301:32 | CallExpr | Call should have one enclosing callable but has 0. |
221+
| unreachable.rs:318:22:318:41 | CallExpr | Call should have one enclosing callable but has 0. |
222+
| unreachable.rs:319:9:319:22 | CallExpr | Call should have one enclosing callable but has 0. |
223+
| unreachable.rs:322:9:322:22 | CallExpr | Call should have one enclosing callable but has 0. |
224+
| unreachable.rs:325:5:325:18 | CallExpr | Call should have one enclosing callable but has 0. |
225+
| unreachable.rs:327:16:327:29 | CallExpr | Call should have one enclosing callable but has 0. |
226+
| unreachable.rs:329:9:329:22 | CallExpr | Call should have one enclosing callable but has 0. |
227+
| unreachable.rs:339:19:339:38 | CallExpr | Call should have one enclosing callable but has 0. |
228+
| unreachable.rs:340:9:340:22 | CallExpr | Call should have one enclosing callable but has 0. |
229+
| unreachable.rs:344:5:344:18 | CallExpr | Call should have one enclosing callable but has 0. |
230+
| unreachable.rs:346:13:346:32 | CallExpr | Call should have one enclosing callable but has 0. |
231+
| unreachable.rs:352:5:352:18 | CallExpr | Call should have one enclosing callable but has 0. |
232+
| unreachable.rs:360:9:360:22 | CallExpr | Call should have one enclosing callable but has 0. |
233+
| unreachable.rs:362:9:362:22 | CallExpr | Call should have one enclosing callable but has 0. |
234+
| unreachable.rs:368:9:368:22 | CallExpr | Call should have one enclosing callable but has 0. |

0 commit comments

Comments
 (0)