codeql/rust/ql/test/library-tests/dataflow/local/inline-flow.expected

models
| 1 | Summary: <alloc::boxed::Box>::new; Argument[0]; ReturnValue.Reference; value |
| 2 | Summary: <core::option::Option>::unwrap; Argument[self].Field[core::option::Option::Some(0)]; ReturnValue; value |
| 3 | Summary: <core::option::Option>::unwrap_or; Argument[0]; ReturnValue; value |
| 4 | Summary: <core::option::Option>::unwrap_or; Argument[self].Field[core::option::Option::Some(0)]; ReturnValue; value |
| 5 | Summary: <core::option::Option>::unwrap_or_else; Argument[0].ReturnValue; ReturnValue; value |
| 6 | Summary: <core::option::Option>::unwrap_or_else; Argument[self].Field[core::option::Option::Some(0)]; ReturnValue; value |
| 7 | Summary: <core::result::Result>::err; Argument[self].Field[core::result::Result::Err(0)]; ReturnValue.Field[core::option::Option::Some(0)]; value |
| 8 | Summary: <core::result::Result>::expect; Argument[self].Field[core::result::Result::Ok(0)]; ReturnValue; value |
| 9 | Summary: <core::result::Result>::expect_err; Argument[self].Field[core::result::Result::Err(0)]; ReturnValue; value |
| 10 | Summary: <core::result::Result>::ok; Argument[self].Field[core::result::Result::Ok(0)]; ReturnValue.Field[core::option::Option::Some(0)]; value |
edges
| main.rs:23:9:23:9 | s | main.rs:24:10:24:10 | s | provenance |  |
| main.rs:23:9:23:9 | s | main.rs:26:12:26:12 | x | provenance |  |
| main.rs:23:9:23:9 | s | main.rs:30:12:30:12 | x | provenance |  |
| main.rs:23:13:23:21 | source(...) | main.rs:23:9:23:9 | s | provenance |  |
| main.rs:26:12:26:12 | x | main.rs:27:14:27:14 | x | provenance |  |
| main.rs:30:12:30:12 | x | main.rs:32:18:32:18 | x | provenance |  |
| main.rs:30:12:30:12 | x | main.rs:36:14:36:14 | x | provenance |  |
| main.rs:41:9:41:9 | a | main.rs:43:9:43:9 | c | provenance |  |
| main.rs:41:13:41:21 | source(...) | main.rs:41:9:41:9 | a | provenance |  |
| main.rs:43:9:43:9 | c | main.rs:44:10:44:10 | c | provenance |  |
| main.rs:48:9:48:9 | a | main.rs:49:9:49:9 | b | provenance |  |
| main.rs:48:13:48:21 | source(...) | main.rs:48:9:48:9 | a | provenance |  |
| main.rs:49:9:49:9 | b | main.rs:53:10:53:10 | b | provenance |  |
| main.rs:61:9:61:9 | b | main.rs:64:10:64:10 | b | provenance |  |
| main.rs:62:15:62:23 | source(...) | main.rs:61:9:61:9 | b | provenance |  |
| main.rs:70:5:70:5 | i | main.rs:71:10:71:10 | i | provenance |  |
| main.rs:70:9:70:17 | source(...) | main.rs:70:5:70:5 | i | provenance |  |
| main.rs:103:9:103:9 | i [&ref] | main.rs:104:11:104:11 | i [&ref] | provenance |  |
| main.rs:103:13:103:31 | ...::new(...) [&ref] | main.rs:103:9:103:9 | i [&ref] | provenance |  |
| main.rs:103:22:103:30 | source(...) | main.rs:103:13:103:31 | ...::new(...) [&ref] | provenance | MaD:1 |
| main.rs:104:11:104:11 | i [&ref] | main.rs:104:10:104:11 | * ... | provenance |  |
| main.rs:111:9:111:9 | a [tuple.0] | main.rs:112:10:112:10 | a [tuple.0] | provenance |  |
| main.rs:111:13:111:26 | TupleExpr [tuple.0] | main.rs:111:9:111:9 | a [tuple.0] | provenance |  |
| main.rs:111:14:111:22 | source(...) | main.rs:111:13:111:26 | TupleExpr [tuple.0] | provenance |  |
| main.rs:112:10:112:10 | a [tuple.0] | main.rs:112:10:112:12 | a.0 | provenance |  |
| main.rs:117:9:117:9 | a [tuple.1] | main.rs:118:9:118:20 | TuplePat [tuple.1] | provenance |  |
| main.rs:117:13:117:30 | TupleExpr [tuple.1] | main.rs:117:9:117:9 | a [tuple.1] | provenance |  |
| main.rs:117:17:117:26 | source(...) | main.rs:117:13:117:30 | TupleExpr [tuple.1] | provenance |  |
| main.rs:118:9:118:20 | TuplePat [tuple.1] | main.rs:118:14:118:15 | a1 | provenance |  |
| main.rs:118:14:118:15 | a1 | main.rs:120:10:120:11 | a1 | provenance |  |
| main.rs:125:9:125:13 | mut a [tuple.1] | main.rs:127:10:127:10 | a [tuple.1] | provenance |  |
| main.rs:125:17:125:31 | TupleExpr [tuple.1] | main.rs:125:9:125:13 | mut a [tuple.1] | provenance |  |
| main.rs:125:21:125:30 | source(...) | main.rs:125:17:125:31 | TupleExpr [tuple.1] | provenance |  |
| main.rs:127:10:127:10 | a [tuple.1] | main.rs:127:10:127:12 | a.1 | provenance |  |
| main.rs:128:5:128:5 | [post] a [tuple.0] | main.rs:129:5:129:5 | a [tuple.0] | provenance |  |
| main.rs:128:11:128:20 | source(...) | main.rs:128:5:128:5 | [post] a [tuple.0] | provenance |  |
| main.rs:129:5:129:5 | a [tuple.0] | main.rs:130:10:130:10 | a [tuple.0] | provenance |  |
| main.rs:130:10:130:10 | a [tuple.0] | main.rs:130:10:130:12 | a.0 | provenance |  |
| main.rs:135:9:135:9 | a [tuple.1] | main.rs:136:14:136:14 | a [tuple.1] | provenance |  |
| main.rs:135:13:135:27 | TupleExpr [tuple.1] | main.rs:135:9:135:9 | a [tuple.1] | provenance |  |
| main.rs:135:17:135:26 | source(...) | main.rs:135:13:135:27 | TupleExpr [tuple.1] | provenance |  |
| main.rs:136:9:136:9 | b [tuple.0, tuple.1] | main.rs:138:10:138:10 | b [tuple.0, tuple.1] | provenance |  |
| main.rs:136:13:136:18 | TupleExpr [tuple.0, tuple.1] | main.rs:136:9:136:9 | b [tuple.0, tuple.1] | provenance |  |
| main.rs:136:14:136:14 | a [tuple.1] | main.rs:136:13:136:18 | TupleExpr [tuple.0, tuple.1] | provenance |  |
| main.rs:138:10:138:10 | b [tuple.0, tuple.1] | main.rs:138:10:138:12 | b.0 [tuple.1] | provenance |  |
| main.rs:138:10:138:12 | b.0 [tuple.1] | main.rs:138:10:138:15 | ... .1 | provenance |  |
| main.rs:151:9:151:9 | p [Point.x] | main.rs:152:10:152:10 | p [Point.x] | provenance |  |
| main.rs:151:13:151:40 | Point {...} [Point.x] | main.rs:151:9:151:9 | p [Point.x] | provenance |  |
| main.rs:151:24:151:32 | source(...) | main.rs:151:13:151:40 | Point {...} [Point.x] | provenance |  |
| main.rs:152:10:152:10 | p [Point.x] | main.rs:152:10:152:12 | p.x | provenance |  |
| main.rs:159:5:159:5 | [post] p [Point.y] | main.rs:160:10:160:10 | p [Point.y] | provenance |  |
| main.rs:159:11:159:20 | source(...) | main.rs:159:5:159:5 | [post] p [Point.y] | provenance |  |
| main.rs:160:10:160:10 | p [Point.y] | main.rs:160:10:160:12 | p.y | provenance |  |
| main.rs:164:9:164:9 | p [Point.x] | main.rs:168:9:168:28 | Point {...} [Point.x] | provenance |  |
| main.rs:164:13:167:5 | Point {...} [Point.x] | main.rs:164:9:164:9 | p [Point.x] | provenance |  |
| main.rs:165:12:165:21 | source(...) | main.rs:164:13:167:5 | Point {...} [Point.x] | provenance |  |
| main.rs:168:9:168:28 | Point {...} [Point.x] | main.rs:168:20:168:20 | a | provenance |  |
| main.rs:168:20:168:20 | a | main.rs:169:10:169:10 | a | provenance |  |
| main.rs:179:9:179:9 | p [Point3D.plane, Point.y] | main.rs:187:10:187:10 | p [Point3D.plane, Point.y] | provenance |  |
| main.rs:179:13:185:5 | Point3D {...} [Point3D.plane, Point.y] | main.rs:179:9:179:9 | p [Point3D.plane, Point.y] | provenance |  |
| main.rs:180:16:183:9 | Point {...} [Point.y] | main.rs:179:13:185:5 | Point3D {...} [Point3D.plane, Point.y] | provenance |  |
| main.rs:182:16:182:25 | source(...) | main.rs:180:16:183:9 | Point {...} [Point.y] | provenance |  |
| main.rs:187:10:187:10 | p [Point3D.plane, Point.y] | main.rs:187:10:187:16 | p.plane [Point.y] | provenance |  |
| main.rs:187:10:187:16 | p.plane [Point.y] | main.rs:187:10:187:18 | ... .y | provenance |  |
| main.rs:192:9:192:9 | y | main.rs:194:30:194:30 | y | provenance |  |
| main.rs:192:13:192:22 | source(...) | main.rs:192:9:192:9 | y | provenance |  |
| main.rs:193:9:193:9 | p [Point3D.plane, Point.y] | main.rs:197:11:197:11 | p [Point3D.plane, Point.y] | provenance |  |
| main.rs:193:13:196:5 | Point3D {...} [Point3D.plane, Point.y] | main.rs:193:9:193:9 | p [Point3D.plane, Point.y] | provenance |  |
| main.rs:194:16:194:32 | Point {...} [Point.y] | main.rs:193:13:196:5 | Point3D {...} [Point3D.plane, Point.y] | provenance |  |
| main.rs:194:30:194:30 | y | main.rs:194:16:194:32 | Point {...} [Point.y] | provenance |  |
| main.rs:197:11:197:11 | p [Point3D.plane, Point.y] | main.rs:198:9:201:9 | Point3D {...} [Point3D.plane, Point.y] | provenance |  |
| main.rs:198:9:201:9 | Point3D {...} [Point3D.plane, Point.y] | main.rs:199:20:199:33 | Point {...} [Point.y] | provenance |  |
| main.rs:199:20:199:33 | Point {...} [Point.y] | main.rs:199:31:199:31 | y | provenance |  |
| main.rs:199:31:199:31 | y | main.rs:203:18:203:18 | y | provenance |  |
| main.rs:212:9:212:9 | s [MyTupleStruct(0)] | main.rs:213:10:213:10 | s [MyTupleStruct(0)] | provenance |  |
| main.rs:212:9:212:9 | s [MyTupleStruct(0)] | main.rs:216:11:216:11 | s [MyTupleStruct(0)] | provenance |  |
| main.rs:212:13:212:40 | MyTupleStruct(...) [MyTupleStruct(0)] | main.rs:212:9:212:9 | s [MyTupleStruct(0)] | provenance |  |
| main.rs:212:27:212:36 | source(...) | main.rs:212:13:212:40 | MyTupleStruct(...) [MyTupleStruct(0)] | provenance |  |
| main.rs:213:10:213:10 | s [MyTupleStruct(0)] | main.rs:213:10:213:12 | s.0 | provenance |  |
| main.rs:216:11:216:11 | s [MyTupleStruct(0)] | main.rs:217:9:217:27 | MyTupleStruct(...) [MyTupleStruct(0)] | provenance |  |
| main.rs:217:9:217:27 | MyTupleStruct(...) [MyTupleStruct(0)] | main.rs:217:23:217:23 | x | provenance |  |
| main.rs:217:23:217:23 | x | main.rs:218:18:218:18 | x | provenance |  |
| main.rs:228:9:228:10 | s1 [Some] | main.rs:230:11:230:12 | s1 [Some] | provenance |  |
| main.rs:228:14:228:37 | ...::Some(...) [Some] | main.rs:228:9:228:10 | s1 [Some] | provenance |  |
| main.rs:228:27:228:36 | source(...) | main.rs:228:14:228:37 | ...::Some(...) [Some] | provenance |  |
| main.rs:230:11:230:12 | s1 [Some] | main.rs:231:9:231:23 | ...::Some(...) [Some] | provenance |  |
| main.rs:231:9:231:23 | ...::Some(...) [Some] | main.rs:231:22:231:22 | n | provenance |  |
| main.rs:231:22:231:22 | n | main.rs:231:33:231:33 | n | provenance |  |
| main.rs:241:9:241:10 | s1 [Some] | main.rs:243:11:243:12 | s1 [Some] | provenance |  |
| main.rs:241:14:241:29 | Some(...) [Some] | main.rs:241:9:241:10 | s1 [Some] | provenance |  |
| main.rs:241:19:241:28 | source(...) | main.rs:241:14:241:29 | Some(...) [Some] | provenance |  |
| main.rs:243:11:243:12 | s1 [Some] | main.rs:244:9:244:15 | Some(...) [Some] | provenance |  |
| main.rs:244:9:244:15 | Some(...) [Some] | main.rs:244:14:244:14 | n | provenance |  |
| main.rs:244:14:244:14 | n | main.rs:244:25:244:25 | n | provenance |  |
| main.rs:254:9:254:10 | s1 [Some] | main.rs:255:12:255:18 | Some(...) [Some] | provenance |  |
| main.rs:254:14:254:29 | Some(...) [Some] | main.rs:254:9:254:10 | s1 [Some] | provenance |  |
| main.rs:254:19:254:28 | source(...) | main.rs:254:14:254:29 | Some(...) [Some] | provenance |  |
| main.rs:255:12:255:18 | Some(...) [Some] | main.rs:255:17:255:17 | n | provenance |  |
| main.rs:255:17:255:17 | n | main.rs:257:18:257:18 | n | provenance |  |
| main.rs:255:17:255:17 | n | main.rs:261:14:261:14 | n | provenance |  |
| main.rs:266:9:266:10 | s1 [Some] | main.rs:267:10:267:20 | s1.unwrap() | provenance | MaD:2 |
| main.rs:266:14:266:29 | Some(...) [Some] | main.rs:266:9:266:10 | s1 [Some] | provenance |  |
| main.rs:266:19:266:28 | source(...) | main.rs:266:14:266:29 | Some(...) [Some] | provenance |  |
| main.rs:271:9:271:10 | s1 [Some] | main.rs:272:10:272:24 | s1.unwrap_or(...) | provenance | MaD:4 |
| main.rs:271:14:271:29 | Some(...) [Some] | main.rs:271:9:271:10 | s1 [Some] | provenance |  |
| main.rs:271:19:271:28 | source(...) | main.rs:271:14:271:29 | Some(...) [Some] | provenance |  |
| main.rs:275:23:275:32 | source(...) | main.rs:275:10:275:33 | s2.unwrap_or(...) | provenance | MaD:3 |
| main.rs:279:9:279:10 | s1 [Some] | main.rs:280:10:280:32 | s1.unwrap_or_else(...) | provenance | MaD:6 |
| main.rs:279:14:279:29 | Some(...) [Some] | main.rs:279:9:279:10 | s1 [Some] | provenance |  |
| main.rs:279:19:279:28 | source(...) | main.rs:279:14:279:29 | Some(...) [Some] | provenance |  |
| main.rs:283:31:283:40 | source(...) | main.rs:283:10:283:41 | s2.unwrap_or_else(...) | provenance | MaD:5 |
| main.rs:287:9:287:10 | s1 [Some] | main.rs:289:14:289:15 | s1 [Some] | provenance |  |
| main.rs:287:14:287:29 | Some(...) [Some] | main.rs:287:9:287:10 | s1 [Some] | provenance |  |
| main.rs:287:19:287:28 | source(...) | main.rs:287:14:287:29 | Some(...) [Some] | provenance |  |
| main.rs:289:9:289:10 | i1 | main.rs:290:10:290:11 | i1 | provenance |  |
| main.rs:289:14:289:15 | s1 [Some] | main.rs:289:14:289:16 | TryExpr | provenance |  |
| main.rs:289:14:289:16 | TryExpr | main.rs:289:9:289:10 | i1 | provenance |  |
| main.rs:296:9:296:10 | r1 [Ok] | main.rs:297:28:297:34 | r1.ok() [Some] | provenance | MaD:10 |
| main.rs:296:32:296:45 | Ok(...) [Ok] | main.rs:296:9:296:10 | r1 [Ok] | provenance |  |
| main.rs:296:35:296:44 | source(...) | main.rs:296:32:296:45 | Ok(...) [Ok] | provenance |  |
| main.rs:297:9:297:11 | o1a [Some] | main.rs:299:10:299:21 | o1a.unwrap() | provenance | MaD:2 |
| main.rs:297:28:297:34 | r1.ok() [Some] | main.rs:297:9:297:11 | o1a [Some] | provenance |  |
| main.rs:302:9:302:10 | r2 [Err] | main.rs:304:28:304:35 | r2.err() [Some] | provenance | MaD:7 |
| main.rs:302:32:302:46 | Err(...) [Err] | main.rs:302:9:302:10 | r2 [Err] | provenance |  |
| main.rs:302:36:302:45 | source(...) | main.rs:302:32:302:46 | Err(...) [Err] | provenance |  |
| main.rs:304:9:304:11 | o2b [Some] | main.rs:306:10:306:21 | o2b.unwrap() | provenance | MaD:2 |
| main.rs:304:28:304:35 | r2.err() [Some] | main.rs:304:9:304:11 | o2b [Some] | provenance |  |
| main.rs:310:9:310:10 | s1 [Ok] | main.rs:313:14:313:15 | s1 [Ok] | provenance |  |
| main.rs:310:32:310:45 | Ok(...) [Ok] | main.rs:310:9:310:10 | s1 [Ok] | provenance |  |
| main.rs:310:35:310:44 | source(...) | main.rs:310:32:310:45 | Ok(...) [Ok] | provenance |  |
| main.rs:313:9:313:10 | i1 | main.rs:315:10:315:11 | i1 | provenance |  |
| main.rs:313:14:313:15 | s1 [Ok] | main.rs:313:14:313:16 | TryExpr | provenance |  |
| main.rs:313:14:313:16 | TryExpr | main.rs:313:9:313:10 | i1 | provenance |  |
| main.rs:323:9:323:10 | s1 [Ok] | main.rs:324:10:324:22 | s1.expect(...) | provenance | MaD:8 |
| main.rs:323:32:323:45 | Ok(...) [Ok] | main.rs:323:9:323:10 | s1 [Ok] | provenance |  |
| main.rs:323:35:323:44 | source(...) | main.rs:323:32:323:45 | Ok(...) [Ok] | provenance |  |
| main.rs:327:9:327:10 | s2 [Err] | main.rs:329:10:329:26 | s2.expect_err(...) | provenance | MaD:9 |
| main.rs:327:32:327:46 | Err(...) [Err] | main.rs:327:9:327:10 | s2 [Err] | provenance |  |
| main.rs:327:36:327:45 | source(...) | main.rs:327:32:327:46 | Err(...) [Err] | provenance |  |
| main.rs:338:9:338:10 | s1 [A] | main.rs:340:11:340:12 | s1 [A] | provenance |  |
| main.rs:338:14:338:39 | ...::A(...) [A] | main.rs:338:9:338:10 | s1 [A] | provenance |  |
| main.rs:338:29:338:38 | source(...) | main.rs:338:14:338:39 | ...::A(...) [A] | provenance |  |
| main.rs:340:11:340:12 | s1 [A] | main.rs:341:9:341:25 | ...::A(...) [A] | provenance |  |
| main.rs:340:11:340:12 | s1 [A] | main.rs:344:11:344:12 | s1 [A] | provenance |  |
| main.rs:341:9:341:25 | ...::A(...) [A] | main.rs:341:24:341:24 | n | provenance |  |
| main.rs:341:24:341:24 | n | main.rs:341:35:341:35 | n | provenance |  |
| main.rs:344:11:344:12 | s1 [A] | main.rs:345:9:345:25 | ...::A(...) [A] | provenance |  |
| main.rs:345:9:345:25 | ...::A(...) [A] | main.rs:345:24:345:24 | n | provenance |  |
| main.rs:345:24:345:24 | n | main.rs:345:55:345:55 | n | provenance |  |
| main.rs:356:9:356:10 | s1 [A] | main.rs:358:11:358:12 | s1 [A] | provenance |  |
| main.rs:356:14:356:26 | A(...) [A] | main.rs:356:9:356:10 | s1 [A] | provenance |  |
| main.rs:356:16:356:25 | source(...) | main.rs:356:14:356:26 | A(...) [A] | provenance |  |
| main.rs:358:11:358:12 | s1 [A] | main.rs:359:9:359:12 | A(...) [A] | provenance |  |
| main.rs:358:11:358:12 | s1 [A] | main.rs:362:11:362:12 | s1 [A] | provenance |  |
| main.rs:359:9:359:12 | A(...) [A] | main.rs:359:11:359:11 | n | provenance |  |
| main.rs:359:11:359:11 | n | main.rs:359:22:359:22 | n | provenance |  |
| main.rs:362:11:362:12 | s1 [A] | main.rs:363:9:363:12 | A(...) [A] | provenance |  |
| main.rs:363:9:363:12 | A(...) [A] | main.rs:363:11:363:11 | n | provenance |  |
| main.rs:363:11:363:11 | n | main.rs:363:29:363:29 | n | provenance |  |
| main.rs:377:9:377:10 | s1 [C] | main.rs:381:11:381:12 | s1 [C] | provenance |  |
| main.rs:377:14:379:5 | ...::C {...} [C] | main.rs:377:9:377:10 | s1 [C] | provenance |  |
| main.rs:378:18:378:27 | source(...) | main.rs:377:14:379:5 | ...::C {...} [C] | provenance |  |
| main.rs:381:11:381:12 | s1 [C] | main.rs:382:9:382:38 | ...::C {...} [C] | provenance |  |
| main.rs:381:11:381:12 | s1 [C] | main.rs:385:11:385:12 | s1 [C] | provenance |  |
| main.rs:382:9:382:38 | ...::C {...} [C] | main.rs:382:36:382:36 | n | provenance |  |
| main.rs:382:36:382:36 | n | main.rs:382:48:382:48 | n | provenance |  |
| main.rs:385:11:385:12 | s1 [C] | main.rs:386:9:386:38 | ...::C {...} [C] | provenance |  |
| main.rs:386:9:386:38 | ...::C {...} [C] | main.rs:386:36:386:36 | n | provenance |  |
| main.rs:386:36:386:36 | n | main.rs:386:81:386:81 | n | provenance |  |
| main.rs:397:9:397:10 | s1 [C] | main.rs:401:11:401:12 | s1 [C] | provenance |  |
| main.rs:397:14:399:5 | C {...} [C] | main.rs:397:9:397:10 | s1 [C] | provenance |  |
| main.rs:398:18:398:27 | source(...) | main.rs:397:14:399:5 | C {...} [C] | provenance |  |
| main.rs:401:11:401:12 | s1 [C] | main.rs:402:9:402:24 | C {...} [C] | provenance |  |
| main.rs:401:11:401:12 | s1 [C] | main.rs:405:11:405:12 | s1 [C] | provenance |  |
| main.rs:402:9:402:24 | C {...} [C] | main.rs:402:22:402:22 | n | provenance |  |
| main.rs:402:22:402:22 | n | main.rs:402:34:402:34 | n | provenance |  |
| main.rs:405:11:405:12 | s1 [C] | main.rs:406:9:406:24 | C {...} [C] | provenance |  |
| main.rs:406:9:406:24 | C {...} [C] | main.rs:406:22:406:22 | n | provenance |  |
| main.rs:406:22:406:22 | n | main.rs:406:53:406:53 | n | provenance |  |
| main.rs:418:9:418:12 | arr1 [element] | main.rs:419:14:419:17 | arr1 [element] | provenance |  |
| main.rs:418:16:418:33 | [...] [element] | main.rs:418:9:418:12 | arr1 [element] | provenance |  |
| main.rs:418:23:418:32 | source(...) | main.rs:418:16:418:33 | [...] [element] | provenance |  |
| main.rs:419:9:419:10 | n1 | main.rs:420:10:420:11 | n1 | provenance |  |
| main.rs:419:14:419:17 | arr1 [element] | main.rs:419:14:419:20 | arr1[2] | provenance |  |
| main.rs:419:14:419:20 | arr1[2] | main.rs:419:9:419:10 | n1 | provenance |  |
| main.rs:422:9:422:12 | arr2 [element] | main.rs:423:14:423:17 | arr2 [element] | provenance |  |
| main.rs:422:16:422:31 | [...; 10] [element] | main.rs:422:9:422:12 | arr2 [element] | provenance |  |
| main.rs:422:17:422:26 | source(...) | main.rs:422:16:422:31 | [...; 10] [element] | provenance |  |
| main.rs:423:9:423:10 | n2 | main.rs:424:10:424:11 | n2 | provenance |  |
| main.rs:423:14:423:17 | arr2 [element] | main.rs:423:14:423:20 | arr2[4] | provenance |  |
| main.rs:423:14:423:20 | arr2[4] | main.rs:423:9:423:10 | n2 | provenance |  |
| main.rs:432:9:432:12 | arr1 [element] | main.rs:433:15:433:18 | arr1 [element] | provenance |  |
| main.rs:432:16:432:33 | [...] [element] | main.rs:432:9:432:12 | arr1 [element] | provenance |  |
| main.rs:432:23:432:32 | source(...) | main.rs:432:16:432:33 | [...] [element] | provenance |  |
| main.rs:433:9:433:10 | n1 | main.rs:434:14:434:15 | n1 | provenance |  |
| main.rs:433:15:433:18 | arr1 [element] | main.rs:433:9:433:10 | n1 | provenance |  |
| main.rs:444:9:444:12 | arr1 [element] | main.rs:445:11:445:14 | arr1 [element] | provenance |  |
| main.rs:444:16:444:33 | [...] [element] | main.rs:444:9:444:12 | arr1 [element] | provenance |  |
| main.rs:444:23:444:32 | source(...) | main.rs:444:16:444:33 | [...] [element] | provenance |  |
| main.rs:445:11:445:14 | arr1 [element] | main.rs:446:9:446:17 | SlicePat [element] | provenance |  |
| main.rs:446:9:446:17 | SlicePat [element] | main.rs:446:10:446:10 | a | provenance |  |
| main.rs:446:9:446:17 | SlicePat [element] | main.rs:446:13:446:13 | b | provenance |  |
| main.rs:446:9:446:17 | SlicePat [element] | main.rs:446:16:446:16 | c | provenance |  |
| main.rs:446:10:446:10 | a | main.rs:447:18:447:18 | a | provenance |  |
| main.rs:446:13:446:13 | b | main.rs:448:18:448:18 | b | provenance |  |
| main.rs:446:16:446:16 | c | main.rs:449:18:449:18 | c | provenance |  |
| main.rs:458:5:458:11 | [post] mut_arr [element] | main.rs:459:13:459:19 | mut_arr [element] | provenance |  |
| main.rs:458:5:458:11 | [post] mut_arr [element] | main.rs:461:10:461:16 | mut_arr [element] | provenance |  |
| main.rs:458:18:458:27 | source(...) | main.rs:458:5:458:11 | [post] mut_arr [element] | provenance |  |
| main.rs:459:9:459:9 | d | main.rs:460:10:460:10 | d | provenance |  |
| main.rs:459:13:459:19 | mut_arr [element] | main.rs:459:13:459:22 | mut_arr[1] | provenance |  |
| main.rs:459:13:459:22 | mut_arr[1] | main.rs:459:9:459:9 | d | provenance |  |
| main.rs:461:10:461:16 | mut_arr [element] | main.rs:461:10:461:19 | mut_arr[0] | provenance |  |
| main.rs:484:9:484:9 | s | main.rs:485:10:485:10 | s | provenance |  |
| main.rs:484:25:484:26 | source(...) | main.rs:484:9:484:9 | s | provenance |  |
| main.rs:493:9:493:9 | a | main.rs:498:10:498:10 | a | provenance |  |
| main.rs:493:13:493:22 | source(...) | main.rs:493:9:493:9 | a | provenance |  |
| main.rs:505:9:505:10 | vs [element] | main.rs:507:10:507:11 | vs [element] | provenance |  |
| main.rs:505:9:505:10 | vs [element] | main.rs:511:14:511:15 | vs [element] | provenance |  |
| main.rs:505:14:505:34 | [...] [element] | main.rs:505:9:505:10 | vs [element] | provenance |  |
| main.rs:505:15:505:24 | source(...) | main.rs:505:14:505:34 | [...] [element] | provenance |  |
| main.rs:507:10:507:11 | vs [element] | main.rs:507:10:507:14 | vs[0] | provenance |  |
| main.rs:511:9:511:9 | v | main.rs:512:14:512:14 | v | provenance |  |
| main.rs:511:14:511:15 | vs [element] | main.rs:511:9:511:9 | v | provenance |  |
| main.rs:530:9:530:18 | mut vs_mut [element] | main.rs:532:10:532:15 | vs_mut [element] | provenance |  |
| main.rs:530:22:530:42 | [...] [element] | main.rs:530:9:530:18 | mut vs_mut [element] | provenance |  |
| main.rs:530:23:530:32 | source(...) | main.rs:530:22:530:42 | [...] [element] | provenance |  |
| main.rs:532:10:532:15 | vs_mut [element] | main.rs:532:10:532:18 | vs_mut[0] | provenance |  |
| main.rs:542:9:542:9 | a | main.rs:547:10:547:10 | a | provenance |  |
| main.rs:542:13:542:22 | source(...) | main.rs:542:9:542:9 | a | provenance |  |
| main.rs:544:9:544:9 | c | main.rs:545:18:545:18 | c | provenance |  |
| main.rs:544:13:544:22 | source(...) | main.rs:544:9:544:9 | c | provenance |  |
| main.rs:545:9:545:13 | c_ref [&ref] | main.rs:550:11:550:15 | c_ref [&ref] | provenance |  |
| main.rs:545:17:545:18 | &c [&ref] | main.rs:545:9:545:13 | c_ref [&ref] | provenance |  |
| main.rs:545:18:545:18 | c | main.rs:545:17:545:18 | &c [&ref] | provenance |  |
| main.rs:550:11:550:15 | c_ref [&ref] | main.rs:550:10:550:15 | * ... | provenance |  |
nodes
| main.rs:19:10:19:18 | source(...) | semmle.label | source(...) |
| main.rs:23:9:23:9 | s | semmle.label | s |
| main.rs:23:13:23:21 | source(...) | semmle.label | source(...) |
| main.rs:24:10:24:10 | s | semmle.label | s |
| main.rs:26:12:26:12 | x | semmle.label | x |
| main.rs:27:14:27:14 | x | semmle.label | x |
| main.rs:30:12:30:12 | x | semmle.label | x |
| main.rs:32:18:32:18 | x | semmle.label | x |
| main.rs:36:14:36:14 | x | semmle.label | x |
| main.rs:41:9:41:9 | a | semmle.label | a |
| main.rs:41:13:41:21 | source(...) | semmle.label | source(...) |
| main.rs:43:9:43:9 | c | semmle.label | c |
| main.rs:44:10:44:10 | c | semmle.label | c |
| main.rs:48:9:48:9 | a | semmle.label | a |
| main.rs:48:13:48:21 | source(...) | semmle.label | source(...) |
| main.rs:49:9:49:9 | b | semmle.label | b |
| main.rs:53:10:53:10 | b | semmle.label | b |
| main.rs:61:9:61:9 | b | semmle.label | b |
| main.rs:62:15:62:23 | source(...) | semmle.label | source(...) |
| main.rs:64:10:64:10 | b | semmle.label | b |
| main.rs:70:5:70:5 | i | semmle.label | i |
| main.rs:70:9:70:17 | source(...) | semmle.label | source(...) |
| main.rs:71:10:71:10 | i | semmle.label | i |
| main.rs:103:9:103:9 | i [&ref] | semmle.label | i [&ref] |
| main.rs:103:13:103:31 | ...::new(...) [&ref] | semmle.label | ...::new(...) [&ref] |
| main.rs:103:22:103:30 | source(...) | semmle.label | source(...) |
| main.rs:104:10:104:11 | * ... | semmle.label | * ... |
| main.rs:104:11:104:11 | i [&ref] | semmle.label | i [&ref] |
| main.rs:111:9:111:9 | a [tuple.0] | semmle.label | a [tuple.0] |
| main.rs:111:13:111:26 | TupleExpr [tuple.0] | semmle.label | TupleExpr [tuple.0] |
| main.rs:111:14:111:22 | source(...) | semmle.label | source(...) |
| main.rs:112:10:112:10 | a [tuple.0] | semmle.label | a [tuple.0] |
| main.rs:112:10:112:12 | a.0 | semmle.label | a.0 |
| main.rs:117:9:117:9 | a [tuple.1] | semmle.label | a [tuple.1] |
| main.rs:117:13:117:30 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
| main.rs:117:17:117:26 | source(...) | semmle.label | source(...) |
| main.rs:118:9:118:20 | TuplePat [tuple.1] | semmle.label | TuplePat [tuple.1] |
| main.rs:118:14:118:15 | a1 | semmle.label | a1 |
| main.rs:120:10:120:11 | a1 | semmle.label | a1 |
| main.rs:125:9:125:13 | mut a [tuple.1] | semmle.label | mut a [tuple.1] |
| main.rs:125:17:125:31 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
| main.rs:125:21:125:30 | source(...) | semmle.label | source(...) |
| main.rs:127:10:127:10 | a [tuple.1] | semmle.label | a [tuple.1] |
| main.rs:127:10:127:12 | a.1 | semmle.label | a.1 |
| main.rs:128:5:128:5 | [post] a [tuple.0] | semmle.label | [post] a [tuple.0] |
| main.rs:128:11:128:20 | source(...) | semmle.label | source(...) |
| main.rs:129:5:129:5 | a [tuple.0] | semmle.label | a [tuple.0] |
| main.rs:130:10:130:10 | a [tuple.0] | semmle.label | a [tuple.0] |
| main.rs:130:10:130:12 | a.0 | semmle.label | a.0 |
| main.rs:135:9:135:9 | a [tuple.1] | semmle.label | a [tuple.1] |
| main.rs:135:13:135:27 | TupleExpr [tuple.1] | semmle.label | TupleExpr [tuple.1] |
| main.rs:135:17:135:26 | source(...) | semmle.label | source(...) |
| main.rs:136:9:136:9 | b [tuple.0, tuple.1] | semmle.label | b [tuple.0, tuple.1] |
| main.rs:136:13:136:18 | TupleExpr [tuple.0, tuple.1] | semmle.label | TupleExpr [tuple.0, tuple.1] |
| main.rs:136:14:136:14 | a [tuple.1] | semmle.label | a [tuple.1] |
| main.rs:138:10:138:10 | b [tuple.0, tuple.1] | semmle.label | b [tuple.0, tuple.1] |
| main.rs:138:10:138:12 | b.0 [tuple.1] | semmle.label | b.0 [tuple.1] |
| main.rs:138:10:138:15 | ... .1 | semmle.label | ... .1 |
| main.rs:151:9:151:9 | p [Point.x] | semmle.label | p [Point.x] |
| main.rs:151:13:151:40 | Point {...} [Point.x] | semmle.label | Point {...} [Point.x] |
| main.rs:151:24:151:32 | source(...) | semmle.label | source(...) |
| main.rs:152:10:152:10 | p [Point.x] | semmle.label | p [Point.x] |
| main.rs:152:10:152:12 | p.x | semmle.label | p.x |
| main.rs:159:5:159:5 | [post] p [Point.y] | semmle.label | [post] p [Point.y] |
| main.rs:159:11:159:20 | source(...) | semmle.label | source(...) |
| main.rs:160:10:160:10 | p [Point.y] | semmle.label | p [Point.y] |
| main.rs:160:10:160:12 | p.y | semmle.label | p.y |
| main.rs:164:9:164:9 | p [Point.x] | semmle.label | p [Point.x] |
| main.rs:164:13:167:5 | Point {...} [Point.x] | semmle.label | Point {...} [Point.x] |
| main.rs:165:12:165:21 | source(...) | semmle.label | source(...) |
| main.rs:168:9:168:28 | Point {...} [Point.x] | semmle.label | Point {...} [Point.x] |
| main.rs:168:20:168:20 | a | semmle.label | a |
| main.rs:169:10:169:10 | a | semmle.label | a |
| main.rs:179:9:179:9 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:179:13:185:5 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:180:16:183:9 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:182:16:182:25 | source(...) | semmle.label | source(...) |
| main.rs:187:10:187:10 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:187:10:187:16 | p.plane [Point.y] | semmle.label | p.plane [Point.y] |
| main.rs:187:10:187:18 | ... .y | semmle.label | ... .y |
| main.rs:192:9:192:9 | y | semmle.label | y |
| main.rs:192:13:192:22 | source(...) | semmle.label | source(...) |
| main.rs:193:9:193:9 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:193:13:196:5 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:194:16:194:32 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:194:30:194:30 | y | semmle.label | y |
| main.rs:197:11:197:11 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:198:9:201:9 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:199:20:199:33 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:199:31:199:31 | y | semmle.label | y |
| main.rs:203:18:203:18 | y | semmle.label | y |
| main.rs:212:9:212:9 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:212:13:212:40 | MyTupleStruct(...) [MyTupleStruct(0)] | semmle.label | MyTupleStruct(...) [MyTupleStruct(0)] |
| main.rs:212:27:212:36 | source(...) | semmle.label | source(...) |
| main.rs:213:10:213:10 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:213:10:213:12 | s.0 | semmle.label | s.0 |
| main.rs:216:11:216:11 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:217:9:217:27 | MyTupleStruct(...) [MyTupleStruct(0)] | semmle.label | MyTupleStruct(...) [MyTupleStruct(0)] |
| main.rs:217:23:217:23 | x | semmle.label | x |
| main.rs:218:18:218:18 | x | semmle.label | x |
| main.rs:228:9:228:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:228:14:228:37 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| main.rs:228:27:228:36 | source(...) | semmle.label | source(...) |
| main.rs:230:11:230:12 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:231:9:231:23 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| main.rs:231:22:231:22 | n | semmle.label | n |
| main.rs:231:33:231:33 | n | semmle.label | n |
| main.rs:241:9:241:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:241:14:241:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:241:19:241:28 | source(...) | semmle.label | source(...) |
| main.rs:243:11:243:12 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:244:9:244:15 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:244:14:244:14 | n | semmle.label | n |
| main.rs:244:25:244:25 | n | semmle.label | n |
| main.rs:254:9:254:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:254:14:254:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:254:19:254:28 | source(...) | semmle.label | source(...) |
| main.rs:255:12:255:18 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:255:17:255:17 | n | semmle.label | n |
| main.rs:257:18:257:18 | n | semmle.label | n |
| main.rs:261:14:261:14 | n | semmle.label | n |
| main.rs:266:9:266:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:266:14:266:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:266:19:266:28 | source(...) | semmle.label | source(...) |
| main.rs:267:10:267:20 | s1.unwrap() | semmle.label | s1.unwrap() |
| main.rs:271:9:271:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:271:14:271:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:271:19:271:28 | source(...) | semmle.label | source(...) |
| main.rs:272:10:272:24 | s1.unwrap_or(...) | semmle.label | s1.unwrap_or(...) |
| main.rs:275:10:275:33 | s2.unwrap_or(...) | semmle.label | s2.unwrap_or(...) |
| main.rs:275:23:275:32 | source(...) | semmle.label | source(...) |
| main.rs:279:9:279:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:279:14:279:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:279:19:279:28 | source(...) | semmle.label | source(...) |
| main.rs:280:10:280:32 | s1.unwrap_or_else(...) | semmle.label | s1.unwrap_or_else(...) |
| main.rs:283:10:283:41 | s2.unwrap_or_else(...) | semmle.label | s2.unwrap_or_else(...) |
| main.rs:283:31:283:40 | source(...) | semmle.label | source(...) |
| main.rs:287:9:287:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:287:14:287:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:287:19:287:28 | source(...) | semmle.label | source(...) |
| main.rs:289:9:289:10 | i1 | semmle.label | i1 |
| main.rs:289:14:289:15 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:289:14:289:16 | TryExpr | semmle.label | TryExpr |
| main.rs:290:10:290:11 | i1 | semmle.label | i1 |
| main.rs:296:9:296:10 | r1 [Ok] | semmle.label | r1 [Ok] |
| main.rs:296:32:296:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:296:35:296:44 | source(...) | semmle.label | source(...) |
| main.rs:297:9:297:11 | o1a [Some] | semmle.label | o1a [Some] |
| main.rs:297:28:297:34 | r1.ok() [Some] | semmle.label | r1.ok() [Some] |
| main.rs:299:10:299:21 | o1a.unwrap() | semmle.label | o1a.unwrap() |
| main.rs:302:9:302:10 | r2 [Err] | semmle.label | r2 [Err] |
| main.rs:302:32:302:46 | Err(...) [Err] | semmle.label | Err(...) [Err] |
| main.rs:302:36:302:45 | source(...) | semmle.label | source(...) |
| main.rs:304:9:304:11 | o2b [Some] | semmle.label | o2b [Some] |
| main.rs:304:28:304:35 | r2.err() [Some] | semmle.label | r2.err() [Some] |
| main.rs:306:10:306:21 | o2b.unwrap() | semmle.label | o2b.unwrap() |
| main.rs:310:9:310:10 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:310:32:310:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:310:35:310:44 | source(...) | semmle.label | source(...) |
| main.rs:313:9:313:10 | i1 | semmle.label | i1 |
| main.rs:313:14:313:15 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:313:14:313:16 | TryExpr | semmle.label | TryExpr |
| main.rs:315:10:315:11 | i1 | semmle.label | i1 |
| main.rs:323:9:323:10 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:323:32:323:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:323:35:323:44 | source(...) | semmle.label | source(...) |
| main.rs:324:10:324:22 | s1.expect(...) | semmle.label | s1.expect(...) |
| main.rs:327:9:327:10 | s2 [Err] | semmle.label | s2 [Err] |
| main.rs:327:32:327:46 | Err(...) [Err] | semmle.label | Err(...) [Err] |
| main.rs:327:36:327:45 | source(...) | semmle.label | source(...) |
| main.rs:329:10:329:26 | s2.expect_err(...) | semmle.label | s2.expect_err(...) |
| main.rs:338:9:338:10 | s1 [A] | semmle.label | s1 [A] |
| main.rs:338:14:338:39 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:338:29:338:38 | source(...) | semmle.label | source(...) |
| main.rs:340:11:340:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:341:9:341:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:341:24:341:24 | n | semmle.label | n |
| main.rs:341:35:341:35 | n | semmle.label | n |
| main.rs:344:11:344:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:345:9:345:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:345:24:345:24 | n | semmle.label | n |
| main.rs:345:55:345:55 | n | semmle.label | n |
| main.rs:356:9:356:10 | s1 [A] | semmle.label | s1 [A] |
| main.rs:356:14:356:26 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:356:16:356:25 | source(...) | semmle.label | source(...) |
| main.rs:358:11:358:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:359:9:359:12 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:359:11:359:11 | n | semmle.label | n |
| main.rs:359:22:359:22 | n | semmle.label | n |
| main.rs:362:11:362:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:363:9:363:12 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:363:11:363:11 | n | semmle.label | n |
| main.rs:363:29:363:29 | n | semmle.label | n |
| main.rs:377:9:377:10 | s1 [C] | semmle.label | s1 [C] |
| main.rs:377:14:379:5 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:378:18:378:27 | source(...) | semmle.label | source(...) |
| main.rs:381:11:381:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:382:9:382:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:382:36:382:36 | n | semmle.label | n |
| main.rs:382:48:382:48 | n | semmle.label | n |
| main.rs:385:11:385:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:386:9:386:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:386:36:386:36 | n | semmle.label | n |
| main.rs:386:81:386:81 | n | semmle.label | n |
| main.rs:397:9:397:10 | s1 [C] | semmle.label | s1 [C] |
| main.rs:397:14:399:5 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:398:18:398:27 | source(...) | semmle.label | source(...) |
| main.rs:401:11:401:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:402:9:402:24 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:402:22:402:22 | n | semmle.label | n |
| main.rs:402:34:402:34 | n | semmle.label | n |
| main.rs:405:11:405:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:406:9:406:24 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:406:22:406:22 | n | semmle.label | n |
| main.rs:406:53:406:53 | n | semmle.label | n |
| main.rs:418:9:418:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:418:16:418:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:418:23:418:32 | source(...) | semmle.label | source(...) |
| main.rs:419:9:419:10 | n1 | semmle.label | n1 |
| main.rs:419:14:419:17 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:419:14:419:20 | arr1[2] | semmle.label | arr1[2] |
| main.rs:420:10:420:11 | n1 | semmle.label | n1 |
| main.rs:422:9:422:12 | arr2 [element] | semmle.label | arr2 [element] |
| main.rs:422:16:422:31 | [...; 10] [element] | semmle.label | [...; 10] [element] |
| main.rs:422:17:422:26 | source(...) | semmle.label | source(...) |
| main.rs:423:9:423:10 | n2 | semmle.label | n2 |
| main.rs:423:14:423:17 | arr2 [element] | semmle.label | arr2 [element] |
| main.rs:423:14:423:20 | arr2[4] | semmle.label | arr2[4] |
| main.rs:424:10:424:11 | n2 | semmle.label | n2 |
| main.rs:432:9:432:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:432:16:432:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:432:23:432:32 | source(...) | semmle.label | source(...) |
| main.rs:433:9:433:10 | n1 | semmle.label | n1 |
| main.rs:433:15:433:18 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:434:14:434:15 | n1 | semmle.label | n1 |
| main.rs:444:9:444:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:444:16:444:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:444:23:444:32 | source(...) | semmle.label | source(...) |
| main.rs:445:11:445:14 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:446:9:446:17 | SlicePat [element] | semmle.label | SlicePat [element] |
| main.rs:446:10:446:10 | a | semmle.label | a |
| main.rs:446:13:446:13 | b | semmle.label | b |
| main.rs:446:16:446:16 | c | semmle.label | c |
| main.rs:447:18:447:18 | a | semmle.label | a |
| main.rs:448:18:448:18 | b | semmle.label | b |
| main.rs:449:18:449:18 | c | semmle.label | c |
| main.rs:458:5:458:11 | [post] mut_arr [element] | semmle.label | [post] mut_arr [element] |
| main.rs:458:18:458:27 | source(...) | semmle.label | source(...) |
| main.rs:459:9:459:9 | d | semmle.label | d |
| main.rs:459:13:459:19 | mut_arr [element] | semmle.label | mut_arr [element] |
| main.rs:459:13:459:22 | mut_arr[1] | semmle.label | mut_arr[1] |
| main.rs:460:10:460:10 | d | semmle.label | d |
| main.rs:461:10:461:16 | mut_arr [element] | semmle.label | mut_arr [element] |
| main.rs:461:10:461:19 | mut_arr[0] | semmle.label | mut_arr[0] |
| main.rs:484:9:484:9 | s | semmle.label | s |
| main.rs:484:25:484:26 | source(...) | semmle.label | source(...) |
| main.rs:485:10:485:10 | s | semmle.label | s |
| main.rs:493:9:493:9 | a | semmle.label | a |
| main.rs:493:13:493:22 | source(...) | semmle.label | source(...) |
| main.rs:498:10:498:10 | a | semmle.label | a |
| main.rs:505:9:505:10 | vs [element] | semmle.label | vs [element] |
| main.rs:505:14:505:34 | [...] [element] | semmle.label | [...] [element] |
| main.rs:505:15:505:24 | source(...) | semmle.label | source(...) |
| main.rs:507:10:507:11 | vs [element] | semmle.label | vs [element] |
| main.rs:507:10:507:14 | vs[0] | semmle.label | vs[0] |
| main.rs:511:9:511:9 | v | semmle.label | v |
| main.rs:511:14:511:15 | vs [element] | semmle.label | vs [element] |
| main.rs:512:14:512:14 | v | semmle.label | v |
| main.rs:530:9:530:18 | mut vs_mut [element] | semmle.label | mut vs_mut [element] |
| main.rs:530:22:530:42 | [...] [element] | semmle.label | [...] [element] |
| main.rs:530:23:530:32 | source(...) | semmle.label | source(...) |
| main.rs:532:10:532:15 | vs_mut [element] | semmle.label | vs_mut [element] |
| main.rs:532:10:532:18 | vs_mut[0] | semmle.label | vs_mut[0] |
| main.rs:542:9:542:9 | a | semmle.label | a |
| main.rs:542:13:542:22 | source(...) | semmle.label | source(...) |
| main.rs:544:9:544:9 | c | semmle.label | c |
| main.rs:544:13:544:22 | source(...) | semmle.label | source(...) |
| main.rs:545:9:545:13 | c_ref [&ref] | semmle.label | c_ref [&ref] |
| main.rs:545:17:545:18 | &c [&ref] | semmle.label | &c [&ref] |
| main.rs:545:18:545:18 | c | semmle.label | c |
| main.rs:547:10:547:10 | a | semmle.label | a |
| main.rs:550:10:550:15 | * ... | semmle.label | * ... |
| main.rs:550:11:550:15 | c_ref [&ref] | semmle.label | c_ref [&ref] |
subpaths
testFailures
#select
| main.rs:19:10:19:18 | source(...) | main.rs:19:10:19:18 | source(...) | main.rs:19:10:19:18 | source(...) | $@ | main.rs:19:10:19:18 | source(...) | source(...) |
| main.rs:24:10:24:10 | s | main.rs:23:13:23:21 | source(...) | main.rs:24:10:24:10 | s | $@ | main.rs:23:13:23:21 | source(...) | source(...) |
| main.rs:27:14:27:14 | x | main.rs:23:13:23:21 | source(...) | main.rs:27:14:27:14 | x | $@ | main.rs:23:13:23:21 | source(...) | source(...) |
| main.rs:32:18:32:18 | x | main.rs:23:13:23:21 | source(...) | main.rs:32:18:32:18 | x | $@ | main.rs:23:13:23:21 | source(...) | source(...) |
| main.rs:36:14:36:14 | x | main.rs:23:13:23:21 | source(...) | main.rs:36:14:36:14 | x | $@ | main.rs:23:13:23:21 | source(...) | source(...) |
| main.rs:44:10:44:10 | c | main.rs:41:13:41:21 | source(...) | main.rs:44:10:44:10 | c | $@ | main.rs:41:13:41:21 | source(...) | source(...) |
| main.rs:53:10:53:10 | b | main.rs:48:13:48:21 | source(...) | main.rs:53:10:53:10 | b | $@ | main.rs:48:13:48:21 | source(...) | source(...) |
| main.rs:64:10:64:10 | b | main.rs:62:15:62:23 | source(...) | main.rs:64:10:64:10 | b | $@ | main.rs:62:15:62:23 | source(...) | source(...) |
| main.rs:71:10:71:10 | i | main.rs:70:9:70:17 | source(...) | main.rs:71:10:71:10 | i | $@ | main.rs:70:9:70:17 | source(...) | source(...) |
| main.rs:104:10:104:11 | * ... | main.rs:103:22:103:30 | source(...) | main.rs:104:10:104:11 | * ... | $@ | main.rs:103:22:103:30 | source(...) | source(...) |
| main.rs:112:10:112:12 | a.0 | main.rs:111:14:111:22 | source(...) | main.rs:112:10:112:12 | a.0 | $@ | main.rs:111:14:111:22 | source(...) | source(...) |
| main.rs:120:10:120:11 | a1 | main.rs:117:17:117:26 | source(...) | main.rs:120:10:120:11 | a1 | $@ | main.rs:117:17:117:26 | source(...) | source(...) |
| main.rs:127:10:127:12 | a.1 | main.rs:125:21:125:30 | source(...) | main.rs:127:10:127:12 | a.1 | $@ | main.rs:125:21:125:30 | source(...) | source(...) |
| main.rs:130:10:130:12 | a.0 | main.rs:128:11:128:20 | source(...) | main.rs:130:10:130:12 | a.0 | $@ | main.rs:128:11:128:20 | source(...) | source(...) |
| main.rs:138:10:138:15 | ... .1 | main.rs:135:17:135:26 | source(...) | main.rs:138:10:138:15 | ... .1 | $@ | main.rs:135:17:135:26 | source(...) | source(...) |
| main.rs:152:10:152:12 | p.x | main.rs:151:24:151:32 | source(...) | main.rs:152:10:152:12 | p.x | $@ | main.rs:151:24:151:32 | source(...) | source(...) |
| main.rs:160:10:160:12 | p.y | main.rs:159:11:159:20 | source(...) | main.rs:160:10:160:12 | p.y | $@ | main.rs:159:11:159:20 | source(...) | source(...) |
| main.rs:169:10:169:10 | a | main.rs:165:12:165:21 | source(...) | main.rs:169:10:169:10 | a | $@ | main.rs:165:12:165:21 | source(...) | source(...) |
| main.rs:187:10:187:18 | ... .y | main.rs:182:16:182:25 | source(...) | main.rs:187:10:187:18 | ... .y | $@ | main.rs:182:16:182:25 | source(...) | source(...) |
| main.rs:203:18:203:18 | y | main.rs:192:13:192:22 | source(...) | main.rs:203:18:203:18 | y | $@ | main.rs:192:13:192:22 | source(...) | source(...) |
| main.rs:213:10:213:12 | s.0 | main.rs:212:27:212:36 | source(...) | main.rs:213:10:213:12 | s.0 | $@ | main.rs:212:27:212:36 | source(...) | source(...) |
| main.rs:218:18:218:18 | x | main.rs:212:27:212:36 | source(...) | main.rs:218:18:218:18 | x | $@ | main.rs:212:27:212:36 | source(...) | source(...) |
| main.rs:231:33:231:33 | n | main.rs:228:27:228:36 | source(...) | main.rs:231:33:231:33 | n | $@ | main.rs:228:27:228:36 | source(...) | source(...) |
| main.rs:244:25:244:25 | n | main.rs:241:19:241:28 | source(...) | main.rs:244:25:244:25 | n | $@ | main.rs:241:19:241:28 | source(...) | source(...) |
| main.rs:257:18:257:18 | n | main.rs:254:19:254:28 | source(...) | main.rs:257:18:257:18 | n | $@ | main.rs:254:19:254:28 | source(...) | source(...) |
| main.rs:261:14:261:14 | n | main.rs:254:19:254:28 | source(...) | main.rs:261:14:261:14 | n | $@ | main.rs:254:19:254:28 | source(...) | source(...) |
| main.rs:267:10:267:20 | s1.unwrap() | main.rs:266:19:266:28 | source(...) | main.rs:267:10:267:20 | s1.unwrap() | $@ | main.rs:266:19:266:28 | source(...) | source(...) |
| main.rs:272:10:272:24 | s1.unwrap_or(...) | main.rs:271:19:271:28 | source(...) | main.rs:272:10:272:24 | s1.unwrap_or(...) | $@ | main.rs:271:19:271:28 | source(...) | source(...) |
| main.rs:275:10:275:33 | s2.unwrap_or(...) | main.rs:275:23:275:32 | source(...) | main.rs:275:10:275:33 | s2.unwrap_or(...) | $@ | main.rs:275:23:275:32 | source(...) | source(...) |
| main.rs:280:10:280:32 | s1.unwrap_or_else(...) | main.rs:279:19:279:28 | source(...) | main.rs:280:10:280:32 | s1.unwrap_or_else(...) | $@ | main.rs:279:19:279:28 | source(...) | source(...) |
| main.rs:283:10:283:41 | s2.unwrap_or_else(...) | main.rs:283:31:283:40 | source(...) | main.rs:283:10:283:41 | s2.unwrap_or_else(...) | $@ | main.rs:283:31:283:40 | source(...) | source(...) |
| main.rs:290:10:290:11 | i1 | main.rs:287:19:287:28 | source(...) | main.rs:290:10:290:11 | i1 | $@ | main.rs:287:19:287:28 | source(...) | source(...) |
| main.rs:299:10:299:21 | o1a.unwrap() | main.rs:296:35:296:44 | source(...) | main.rs:299:10:299:21 | o1a.unwrap() | $@ | main.rs:296:35:296:44 | source(...) | source(...) |
| main.rs:306:10:306:21 | o2b.unwrap() | main.rs:302:36:302:45 | source(...) | main.rs:306:10:306:21 | o2b.unwrap() | $@ | main.rs:302:36:302:45 | source(...) | source(...) |
| main.rs:315:10:315:11 | i1 | main.rs:310:35:310:44 | source(...) | main.rs:315:10:315:11 | i1 | $@ | main.rs:310:35:310:44 | source(...) | source(...) |
| main.rs:324:10:324:22 | s1.expect(...) | main.rs:323:35:323:44 | source(...) | main.rs:324:10:324:22 | s1.expect(...) | $@ | main.rs:323:35:323:44 | source(...) | source(...) |
| main.rs:329:10:329:26 | s2.expect_err(...) | main.rs:327:36:327:45 | source(...) | main.rs:329:10:329:26 | s2.expect_err(...) | $@ | main.rs:327:36:327:45 | source(...) | source(...) |
| main.rs:341:35:341:35 | n | main.rs:338:29:338:38 | source(...) | main.rs:341:35:341:35 | n | $@ | main.rs:338:29:338:38 | source(...) | source(...) |
| main.rs:345:55:345:55 | n | main.rs:338:29:338:38 | source(...) | main.rs:345:55:345:55 | n | $@ | main.rs:338:29:338:38 | source(...) | source(...) |
| main.rs:359:22:359:22 | n | main.rs:356:16:356:25 | source(...) | main.rs:359:22:359:22 | n | $@ | main.rs:356:16:356:25 | source(...) | source(...) |
| main.rs:363:29:363:29 | n | main.rs:356:16:356:25 | source(...) | main.rs:363:29:363:29 | n | $@ | main.rs:356:16:356:25 | source(...) | source(...) |
| main.rs:382:48:382:48 | n | main.rs:378:18:378:27 | source(...) | main.rs:382:48:382:48 | n | $@ | main.rs:378:18:378:27 | source(...) | source(...) |
| main.rs:386:81:386:81 | n | main.rs:378:18:378:27 | source(...) | main.rs:386:81:386:81 | n | $@ | main.rs:378:18:378:27 | source(...) | source(...) |
| main.rs:402:34:402:34 | n | main.rs:398:18:398:27 | source(...) | main.rs:402:34:402:34 | n | $@ | main.rs:398:18:398:27 | source(...) | source(...) |
| main.rs:406:53:406:53 | n | main.rs:398:18:398:27 | source(...) | main.rs:406:53:406:53 | n | $@ | main.rs:398:18:398:27 | source(...) | source(...) |
| main.rs:420:10:420:11 | n1 | main.rs:418:23:418:32 | source(...) | main.rs:420:10:420:11 | n1 | $@ | main.rs:418:23:418:32 | source(...) | source(...) |
| main.rs:424:10:424:11 | n2 | main.rs:422:17:422:26 | source(...) | main.rs:424:10:424:11 | n2 | $@ | main.rs:422:17:422:26 | source(...) | source(...) |
| main.rs:434:14:434:15 | n1 | main.rs:432:23:432:32 | source(...) | main.rs:434:14:434:15 | n1 | $@ | main.rs:432:23:432:32 | source(...) | source(...) |
| main.rs:447:18:447:18 | a | main.rs:444:23:444:32 | source(...) | main.rs:447:18:447:18 | a | $@ | main.rs:444:23:444:32 | source(...) | source(...) |
| main.rs:448:18:448:18 | b | main.rs:444:23:444:32 | source(...) | main.rs:448:18:448:18 | b | $@ | main.rs:444:23:444:32 | source(...) | source(...) |
| main.rs:449:18:449:18 | c | main.rs:444:23:444:32 | source(...) | main.rs:449:18:449:18 | c | $@ | main.rs:444:23:444:32 | source(...) | source(...) |
| main.rs:460:10:460:10 | d | main.rs:458:18:458:27 | source(...) | main.rs:460:10:460:10 | d | $@ | main.rs:458:18:458:27 | source(...) | source(...) |
| main.rs:461:10:461:19 | mut_arr[0] | main.rs:458:18:458:27 | source(...) | main.rs:461:10:461:19 | mut_arr[0] | $@ | main.rs:458:18:458:27 | source(...) | source(...) |
| main.rs:485:10:485:10 | s | main.rs:484:25:484:26 | source(...) | main.rs:485:10:485:10 | s | $@ | main.rs:484:25:484:26 | source(...) | source(...) |
| main.rs:498:10:498:10 | a | main.rs:493:13:493:22 | source(...) | main.rs:498:10:498:10 | a | $@ | main.rs:493:13:493:22 | source(...) | source(...) |
| main.rs:507:10:507:14 | vs[0] | main.rs:505:15:505:24 | source(...) | main.rs:507:10:507:14 | vs[0] | $@ | main.rs:505:15:505:24 | source(...) | source(...) |
| main.rs:512:14:512:14 | v | main.rs:505:15:505:24 | source(...) | main.rs:512:14:512:14 | v | $@ | main.rs:505:15:505:24 | source(...) | source(...) |
| main.rs:532:10:532:18 | vs_mut[0] | main.rs:530:23:530:32 | source(...) | main.rs:532:10:532:18 | vs_mut[0] | $@ | main.rs:530:23:530:32 | source(...) | source(...) |
| main.rs:547:10:547:10 | a | main.rs:542:13:542:22 | source(...) | main.rs:547:10:547:10 | a | $@ | main.rs:542:13:542:22 | source(...) | source(...) |
| main.rs:550:10:550:15 | * ... | main.rs:544:13:544:22 | source(...) | main.rs:550:10:550:15 | * ... | $@ | main.rs:544:13:544:22 | source(...) | source(...) |