Skip to content

Commit

Permalink
Merge pull request #17923 from geoffw0/unreachable4
Browse files Browse the repository at this point in the history 
Rust: More tests for rust/deadcode
  • Loading branch information
@paldepind
paldepind authored Nov 11, 2024
2 parents f3c7352 + 727a7d4 commit e3662fa
Show file tree
Hide file tree
Showing 5 changed files with 304 additions and 118 deletions.
174 changes: 109 additions & 65 deletions rust/ql/test/query-tests/unusedentities/CONSISTENCY/DataFlowConsistency.expected
View file
Original file line number Diff line number Diff line change
Expand Up @@ -89,12 +89,17 @@ uniqueCallEnclosingCallable
| main.rs:522:5:522:14 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:523:5:523:14 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:525:5:525:22 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:527:5:527:23 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:529:5:529:23 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:526:5:526:22 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:527:5:527:22 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:528:5:528:23 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:529:9:529:26 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:530:5:530:23 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:531:5:531:23 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:532:5:532:22 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:533:5:533:22 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:531:5:531:22 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:532:5:532:28 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:533:5:533:23 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:534:5:534:23 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:535:5:535:23 | CallExpr | Call should have one enclosing callable but has 0. |
| main.rs:536:5:536:28 | CallExpr | Call should have one enclosing callable but has 0. |
| more.rs:45:14:45:26 | CallExpr | Call should have one enclosing callable but has 0. |
| more.rs:46:14:46:25 | CallExpr | Call should have one enclosing callable but has 0. |
| more.rs:47:14:47:26 | CallExpr | Call should have one enclosing callable but has 0. |
Expand Down Expand Up @@ -123,68 +128,107 @@ uniqueCallEnclosingCallable
| unreachable.rs:62:8:62:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:71:8:71:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:72:9:72:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:73:16:73:25 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:74:9:74:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:77:8:77:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:78:9:78:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:79:9:79:24 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:80:9:80:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:83:8:83:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:84:9:84:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:85:9:85:15 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:86:9:86:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:89:8:89:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:90:9:90:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:91:9:91:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:75:9:75:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:78:5:78:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:82:9:82:14 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:83:9:83:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:87:5:87:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:91:8:91:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:92:9:92:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:95:8:95:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:98:17:98:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:93:16:93:25 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:94:9:94:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:97:8:97:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:98:9:98:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:99:9:99:24 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:100:9:100:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:102:20:102:25 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:102:29:102:41 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:103:8:103:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:104:9:104:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:108:9:108:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:111:8:111:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:105:9:105:15 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:106:9:106:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:109:8:109:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:110:9:110:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:111:9:111:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:112:9:112:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:114:13:114:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:115:9:115:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:116:22:116:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:116:22:116:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:117:9:117:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:120:8:120:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:121:9:121:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:123:13:123:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:115:8:115:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:118:17:118:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:120:9:120:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:122:20:122:25 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:122:29:122:41 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:124:9:124:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:125:21:125:28 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:125:21:125:28 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:126:9:126:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:131:11:131:24 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:136:13:136:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:139:5:139:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:141:11:141:24 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:154:9:154:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:159:8:159:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:160:15:160:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:161:13:161:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:169:13:169:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:175:12:175:17 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:179:9:179:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:183:12:183:17 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:198:22:198:41 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:199:9:199:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:202:9:202:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:205:5:205:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:207:16:207:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:209:9:209:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:219:19:219:38 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:220:9:220:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:224:5:224:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:226:13:226:32 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:232:5:232:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:236:8:236:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:237:9:237:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:240:9:240:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:243:5:243:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:247:9:247:14 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:248:9:248:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:252:5:252:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:128:9:128:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:131:8:131:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:132:9:132:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:134:13:134:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:135:9:135:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:136:22:136:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:136:22:136:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:137:9:137:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:140:8:140:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:141:9:141:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:143:13:143:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:144:9:144:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:145:21:145:28 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:145:21:145:28 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:146:9:146:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:163:8:163:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:164:9:164:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:165:16:165:43 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:165:20:165:42 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:169:8:169:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:170:9:170:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:171:9:171:17 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:171:9:171:17 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:175:8:175:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:176:9:176:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:177:17:177:25 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:177:17:177:25 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:179:5:179:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:181:5:181:9 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:185:8:185:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:186:15:186:28 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:191:17:191:30 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:194:9:194:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:197:8:197:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:198:15:198:28 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:209:8:209:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:210:19:210:32 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:214:9:214:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:217:8:217:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:218:13:221:10 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:218:24:218:37 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:222:9:222:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:227:8:227:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:229:13:229:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:235:8:235:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:236:15:236:20 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:237:13:237:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:245:13:245:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:250:8:250:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:252:16:252:21 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:256:13:256:26 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:260:8:260:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:262:16:262:21 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:272:8:272:13 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:278:13:278:15 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:281:9:281:31 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:282:9:282:31 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:283:9:283:33 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:284:9:284:33 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:285:9:285:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:294:13:294:32 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:296:9:296:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:301:13:301:32 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:318:22:318:41 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:319:9:319:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:322:9:322:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:325:5:325:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:327:16:327:29 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:329:9:329:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:339:19:339:38 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:340:9:340:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:344:5:344:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:346:13:346:32 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:352:5:352:18 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:360:9:360:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:362:9:362:22 | CallExpr | Call should have one enclosing callable but has 0. |
| unreachable.rs:368:9:368:22 | CallExpr | Call should have one enclosing callable but has 0. |
Loading

0 comments on commit e3662fa

Please sign in to comment.