hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #18700 from hvitved/rust/shorthand-struct

Browse Source 
Rust: Shorthand record construction in data flow
This commit is contained in:
Tom Hvitved
2025-02-07 10:59:52 +01:00
committed by GitHub
parent 100de73066 707bf16d90
commit d8c9427d3e
13 changed files with 854 additions and 803 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/ql/lib/codeql/rust/controlflow/CfgNodes.qll
View File

@@ -241,7 +241,7 @@ final class RecordExprCfgNode extends Nodes::RecordExprCfgNode {
exists(RecordExprField ref |
ref = node.getRecordExprFieldList().getAField() and
any(ChildMapping mapping).hasCfgChild(node, ref.getExpr(), this, result) and
field = ref.getNameRef().getText()
field = ref.getFieldName()
)
}
}

20
rust/ql/lib/codeql/rust/elements/internal/PathImpl.qll
View File

@@ -34,4 +34,24 @@ module Impl {
pragma[nomagic]
string getText() { result = this.getPart().getNameRef().getText() }
}
/** A simple identifier path. */
class IdentPath extends Path {
private string name;
IdentPath() {
not this.hasQualifier() and
exists(PathSegment ps |
ps = this.getPart() and
not ps.hasGenericArgList() and
not ps.hasParenthesizedArgList() and
not ps.hasPathType() and
not ps.hasReturnTypeSyntax() and
name = ps.getNameRef().getText()
)
}
/** Gets the identifier name. */
string getName() { result = name }
}
}

25
rust/ql/lib/codeql/rust/elements/internal/RecordExprFieldImpl.qll
View File

@@ -11,6 +11,9 @@ private import codeql.rust.elements.internal.generated.RecordExprField
* be referenced directly.
*/
module Impl {
private import rust
private import codeql.rust.elements.internal.PathImpl::Impl as PathImpl
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A field in a record expression. For example `a: 1` in:
@@ -24,7 +27,27 @@ module Impl {
private string toStringPart(int index) {
index = 0 and result = this.getNameRef().getText()
or
index = 1 and result = ": " + this.getExpr().toAbbreviatedString()
index = 1 and this.hasNameRef() and result = ": "
or
index = 2 and
result = this.getExpr().toAbbreviatedString()
}
/**
* Gets the name of the field. This includes the case when shorthand syntax is used:
*
* ```rust
* Foo {
* a: 1, // field name is `a`
* b // field name is `b`
* }
* ```
*/
string getFieldName() {
result = this.getNameRef().getText()
or
not this.hasNameRef() and
result = this.getExpr().(PathExpr).getPath().(PathImpl::IdentPath).getName()
}
}
}

2
rust/ql/lib/codeql/rust/elements/internal/RecordExprImpl.qll
View File

@@ -32,7 +32,7 @@ module Impl {
RecordField getRecordField(string name) {
exists(PathResolution::ItemNode i |
i = PathResolution::resolvePath(this.getPath()) and
name = this.getRecordExprFieldList().getAField().getNameRef().getText()
name = this.getRecordExprFieldList().getAField().getFieldName()
|
result.isStructField(i, name) or
result.isVariantField(i, name)

11
rust/ql/lib/codeql/rust/elements/internal/RecordPatFieldImpl.qll
View File

@@ -21,6 +21,17 @@ module Impl {
* ```
*/
class RecordPatField extends Generated::RecordPatField {
override string toString() { result = concat(int i | | this.toStringPart(i) order by i) }
private string toStringPart(int index) {
index = 0 and result = this.getNameRef().getText()
or
index = 1 and this.hasNameRef() and result = ": "
or
index = 2 and
result = this.getPat().toAbbreviatedString()
}
/**
* Gets the name of the field. This includes the case when shorthand syntax is used:
*

12
rust/ql/lib/codeql/rust/elements/internal/VariableImpl.qll
View File

@@ -1,6 +1,7 @@
private import rust
private import codeql.rust.controlflow.ControlFlowGraph
private import codeql.rust.elements.internal.generated.ParentChild
private import codeql.rust.elements.internal.PathImpl::Impl as PathImpl
private import codeql.rust.elements.internal.PathExprBaseImpl::Impl as PathExprBaseImpl
private import codeql.rust.elements.internal.FormatTemplateVariableAccessImpl::Impl as FormatTemplateVariableAccessImpl
private import codeql.util.DenseRank
@@ -172,16 +173,7 @@ module Impl {
string name_;
VariableAccessCand() {
exists(Path p, PathSegment ps |
p = this.(PathExpr).getPath() and
not p.hasQualifier() and
ps = p.getPart() and
not ps.hasGenericArgList() and
not ps.hasParenthesizedArgList() and
not ps.hasPathType() and
not ps.hasReturnTypeSyntax() and
name_ = ps.getNameRef().getText()
)
name_ = this.(PathExpr).getPath().(PathImpl::IdentPath).getName()
or
this.(FormatTemplateVariableAccess).getName() = name_
}

4
rust/ql/test/extractor-tests/generated/RecordPatField/RecordPatField.expected
View File

@@ -1,2 +1,2 @@
| gen_record_pat_field.rs:5:15:5:18 | RecordPatField | getNumberOfAttrs: | 0 | hasNameRef: | yes | hasPat: | yes |
| gen_record_pat_field.rs:5:21:5:24 | RecordPatField | getNumberOfAttrs: | 0 | hasNameRef: | yes | hasPat: | yes |
| gen_record_pat_field.rs:5:15:5:18 | a: 1 | getNumberOfAttrs: | 0 | hasNameRef: | yes | hasPat: | yes |
| gen_record_pat_field.rs:5:21:5:24 | b: 2 | getNumberOfAttrs: | 0 | hasNameRef: | yes | hasPat: | yes |

4
rust/ql/test/extractor-tests/generated/RecordPatField/RecordPatField_getNameRef.expected
View File

@@ -1,2 +1,2 @@
| gen_record_pat_field.rs:5:15:5:18 | RecordPatField | gen_record_pat_field.rs:5:15:5:15 | a |
| gen_record_pat_field.rs:5:21:5:24 | RecordPatField | gen_record_pat_field.rs:5:21:5:21 | b |
| gen_record_pat_field.rs:5:15:5:18 | a: 1 | gen_record_pat_field.rs:5:15:5:15 | a |
| gen_record_pat_field.rs:5:21:5:24 | b: 2 | gen_record_pat_field.rs:5:21:5:21 | b |

4
rust/ql/test/extractor-tests/generated/RecordPatField/RecordPatField_getPat.expected
View File

@@ -1,2 +1,2 @@
| gen_record_pat_field.rs:5:15:5:18 | RecordPatField | gen_record_pat_field.rs:5:18:5:18 | 1 |
| gen_record_pat_field.rs:5:21:5:24 | RecordPatField | gen_record_pat_field.rs:5:24:5:24 | 2 |
| gen_record_pat_field.rs:5:15:5:18 | a: 1 | gen_record_pat_field.rs:5:18:5:18 | 1 |
| gen_record_pat_field.rs:5:21:5:24 | b: 2 | gen_record_pat_field.rs:5:24:5:24 | 2 |

2
rust/ql/test/library-tests/dataflow/local/CONSISTENCY/DataFlowConsistency.expected
View File

@@ -1,2 +1,2 @@
identityLocalStep
| main.rs:427:9:427:20 | phi(default_name) | Node steps to itself |
| main.rs:425:9:425:20 | phi(default_name) | Node steps to itself |

911
rust/ql/test/library-tests/dataflow/local/DataFlowStep.expected
View File

@@ -173,344 +173,347 @@ localStep
| main.rs:169:10:169:10 | p | main.rs:170:10:170:10 | p | |
| main.rs:170:10:170:10 | [post] p | main.rs:171:10:171:10 | p | |
| main.rs:170:10:170:10 | p | main.rs:171:10:171:10 | p | |
| main.rs:175:9:175:9 | [SSA] p | main.rs:182:11:182:11 | p | |
| main.rs:175:9:175:9 | p | main.rs:175:9:175:9 | [SSA] p | |
| main.rs:175:13:181:5 | Point3D {...} | main.rs:175:9:175:9 | p | |
| main.rs:182:5:191:5 | match p { ... } | main.rs:174:26:192:1 | { ... } | |
| main.rs:182:11:182:11 | p | main.rs:183:9:186:9 | Point3D {...} | |
| main.rs:184:28:184:28 | [SSA] x | main.rs:187:18:187:18 | x | |
| main.rs:184:28:184:28 | x | main.rs:184:28:184:28 | [SSA] x | |
| main.rs:184:31:184:31 | [SSA] y | main.rs:188:18:188:18 | y | |
| main.rs:184:31:184:31 | y | main.rs:184:31:184:31 | [SSA] y | |
| main.rs:185:13:185:13 | [SSA] z | main.rs:189:18:189:18 | z | |
| main.rs:185:13:185:13 | z | main.rs:185:13:185:13 | [SSA] z | |
| main.rs:186:14:190:9 | { ... } | main.rs:182:5:191:5 | match p { ... } | |
| main.rs:197:9:197:9 | [SSA] s | main.rs:198:10:198:10 | s | |
| main.rs:197:9:197:9 | s | main.rs:197:9:197:9 | [SSA] s | |
| main.rs:197:13:197:40 | MyTupleStruct(...) | main.rs:197:9:197:9 | s | |
| main.rs:198:10:198:10 | [post] s | main.rs:199:10:199:10 | s | |
| main.rs:198:10:198:10 | s | main.rs:199:10:199:10 | s | |
| main.rs:199:10:199:10 | [post] s | main.rs:201:11:201:11 | s | |
| main.rs:199:10:199:10 | s | main.rs:201:11:201:11 | s | |
| main.rs:201:5:206:5 | match s { ... } | main.rs:196:19:207:1 | { ... } | |
| main.rs:201:11:201:11 | s | main.rs:202:9:202:27 | MyTupleStruct(...) | |
| main.rs:202:23:202:23 | [SSA] x | main.rs:203:18:203:18 | x | |
| main.rs:202:23:202:23 | x | main.rs:202:23:202:23 | [SSA] x | |
| main.rs:202:26:202:26 | [SSA] y | main.rs:204:18:204:18 | y | |
| main.rs:202:26:202:26 | y | main.rs:202:26:202:26 | [SSA] y | |
| main.rs:202:32:205:9 | { ... } | main.rs:201:5:206:5 | match s { ... } | |
| main.rs:213:9:213:10 | [SSA] s1 | main.rs:215:11:215:12 | s1 | |
| main.rs:213:9:213:10 | s1 | main.rs:213:9:213:10 | [SSA] s1 | |
| main.rs:213:14:213:37 | ...::Some(...) | main.rs:213:9:213:10 | s1 | |
| main.rs:214:9:214:10 | [SSA] s2 | main.rs:219:11:219:12 | s2 | |
| main.rs:214:9:214:10 | s2 | main.rs:214:9:214:10 | [SSA] s2 | |
| main.rs:214:14:214:28 | ...::Some(...) | main.rs:214:9:214:10 | s2 | |
| main.rs:215:11:215:12 | s1 | main.rs:216:9:216:23 | ...::Some(...) | |
| main.rs:215:11:215:12 | s1 | main.rs:217:9:217:20 | ...::None | |
| main.rs:216:22:216:22 | [SSA] n | main.rs:216:33:216:33 | n | |
| main.rs:216:22:216:22 | n | main.rs:216:22:216:22 | [SSA] n | |
| main.rs:216:28:216:34 | sink(...) | main.rs:215:5:218:5 | match s1 { ... } | |
| main.rs:217:25:217:31 | sink(...) | main.rs:215:5:218:5 | match s1 { ... } | |
| main.rs:219:5:222:5 | match s2 { ... } | main.rs:212:37:223:1 | { ... } | |
| main.rs:219:11:219:12 | s2 | main.rs:220:9:220:23 | ...::Some(...) | |
| main.rs:219:11:219:12 | s2 | main.rs:221:9:221:20 | ...::None | |
| main.rs:220:22:220:22 | [SSA] n | main.rs:220:33:220:33 | n | |
| main.rs:220:22:220:22 | n | main.rs:220:22:220:22 | [SSA] n | |
| main.rs:220:28:220:34 | sink(...) | main.rs:219:5:222:5 | match s2 { ... } | |
| main.rs:221:25:221:31 | sink(...) | main.rs:219:5:222:5 | match s2 { ... } | |
| main.rs:226:9:226:10 | [SSA] s1 | main.rs:228:11:228:12 | s1 | |
| main.rs:226:9:226:10 | s1 | main.rs:226:9:226:10 | [SSA] s1 | |
| main.rs:226:14:226:29 | Some(...) | main.rs:226:9:226:10 | s1 | |
| main.rs:227:9:227:10 | [SSA] s2 | main.rs:232:11:232:12 | s2 | |
| main.rs:227:9:227:10 | s2 | main.rs:227:9:227:10 | [SSA] s2 | |
| main.rs:227:14:227:20 | Some(...) | main.rs:227:9:227:10 | s2 | |
| main.rs:228:11:228:12 | s1 | main.rs:229:9:229:15 | Some(...) | |
| main.rs:228:11:228:12 | s1 | main.rs:230:9:230:12 | None | |
| main.rs:229:14:229:14 | [SSA] n | main.rs:229:25:229:25 | n | |
| main.rs:229:14:229:14 | n | main.rs:229:14:229:14 | [SSA] n | |
| main.rs:229:20:229:26 | sink(...) | main.rs:228:5:231:5 | match s1 { ... } | |
| main.rs:230:17:230:23 | sink(...) | main.rs:228:5:231:5 | match s1 { ... } | |
| main.rs:232:5:235:5 | match s2 { ... } | main.rs:225:39:236:1 | { ... } | |
| main.rs:232:11:232:12 | s2 | main.rs:233:9:233:15 | Some(...) | |
| main.rs:232:11:232:12 | s2 | main.rs:234:9:234:12 | None | |
| main.rs:233:14:233:14 | [SSA] n | main.rs:233:25:233:25 | n | |
| main.rs:233:14:233:14 | n | main.rs:233:14:233:14 | [SSA] n | |
| main.rs:233:20:233:26 | sink(...) | main.rs:232:5:235:5 | match s2 { ... } | |
| main.rs:234:17:234:23 | sink(...) | main.rs:232:5:235:5 | match s2 { ... } | |
| main.rs:239:9:239:10 | [SSA] s1 | main.rs:240:10:240:11 | s1 | |
| main.rs:239:9:239:10 | s1 | main.rs:239:9:239:10 | [SSA] s1 | |
| main.rs:239:14:239:29 | Some(...) | main.rs:239:9:239:10 | s1 | |
| main.rs:244:9:244:10 | [SSA] s1 | main.rs:245:10:245:11 | s1 | |
| main.rs:244:9:244:10 | s1 | main.rs:244:9:244:10 | [SSA] s1 | |
| main.rs:244:14:244:29 | Some(...) | main.rs:244:9:244:10 | s1 | |
| main.rs:247:9:247:10 | [SSA] s2 | main.rs:248:10:248:11 | s2 | |
| main.rs:247:9:247:10 | s2 | main.rs:247:9:247:10 | [SSA] s2 | |
| main.rs:247:14:247:20 | Some(...) | main.rs:247:9:247:10 | s2 | |
| main.rs:252:9:252:10 | [SSA] s1 | main.rs:253:10:253:11 | s1 | |
| main.rs:252:9:252:10 | s1 | main.rs:252:9:252:10 | [SSA] s1 | |
| main.rs:252:14:252:29 | Some(...) | main.rs:252:9:252:10 | s1 | |
| main.rs:255:9:255:10 | [SSA] s2 | main.rs:256:10:256:11 | s2 | |
| main.rs:255:9:255:10 | s2 | main.rs:255:9:255:10 | [SSA] s2 | |
| main.rs:255:14:255:17 | None | main.rs:255:9:255:10 | s2 | |
| main.rs:260:9:260:10 | [SSA] s1 | main.rs:262:14:262:15 | s1 | |
| main.rs:260:9:260:10 | s1 | main.rs:260:9:260:10 | [SSA] s1 | |
| main.rs:260:14:260:29 | Some(...) | main.rs:260:9:260:10 | s1 | |
| main.rs:261:9:261:10 | [SSA] s2 | main.rs:264:10:264:11 | s2 | |
| main.rs:261:9:261:10 | s2 | main.rs:261:9:261:10 | [SSA] s2 | |
| main.rs:261:14:261:20 | Some(...) | main.rs:261:9:261:10 | s2 | |
| main.rs:262:9:262:10 | [SSA] i1 | main.rs:263:10:263:11 | i1 | |
| main.rs:262:9:262:10 | i1 | main.rs:262:9:262:10 | [SSA] i1 | |
| main.rs:262:14:262:16 | TryExpr | main.rs:262:9:262:10 | i1 | |
| main.rs:265:5:265:11 | Some(...) | main.rs:259:41:266:1 | { ... } | |
| main.rs:269:9:269:10 | [SSA] s1 | main.rs:272:14:272:15 | s1 | |
| main.rs:269:9:269:10 | s1 | main.rs:269:9:269:10 | [SSA] s1 | |
| main.rs:269:32:269:45 | Ok(...) | main.rs:269:9:269:10 | s1 | |
| main.rs:270:9:270:10 | [SSA] s2 | main.rs:273:14:273:15 | s2 | |
| main.rs:270:9:270:10 | s2 | main.rs:270:9:270:10 | [SSA] s2 | |
| main.rs:270:32:270:36 | Ok(...) | main.rs:270:9:270:10 | s2 | |
| main.rs:271:9:271:10 | [SSA] s3 | main.rs:276:14:276:15 | s3 | |
| main.rs:271:9:271:10 | s3 | main.rs:271:9:271:10 | [SSA] s3 | |
| main.rs:271:32:271:46 | Err(...) | main.rs:271:9:271:10 | s3 | |
| main.rs:272:9:272:10 | [SSA] i1 | main.rs:274:10:274:11 | i1 | |
| main.rs:272:9:272:10 | i1 | main.rs:272:9:272:10 | [SSA] i1 | |
| main.rs:272:14:272:16 | TryExpr | main.rs:272:9:272:10 | i1 | |
| main.rs:273:9:273:10 | [SSA] i2 | main.rs:275:10:275:11 | i2 | |
| main.rs:273:9:273:10 | i2 | main.rs:273:9:273:10 | [SSA] i2 | |
| main.rs:273:14:273:16 | TryExpr | main.rs:273:9:273:10 | i2 | |
| main.rs:276:9:276:10 | [SSA] i3 | main.rs:277:10:277:11 | i3 | |
| main.rs:276:9:276:10 | i3 | main.rs:276:9:276:10 | [SSA] i3 | |
| main.rs:276:14:276:16 | TryExpr | main.rs:276:9:276:10 | i3 | |
| main.rs:278:5:278:9 | Ok(...) | main.rs:268:46:279:1 | { ... } | |
| main.rs:282:9:282:10 | [SSA] s1 | main.rs:283:10:283:11 | s1 | |
| main.rs:282:9:282:10 | s1 | main.rs:282:9:282:10 | [SSA] s1 | |
| main.rs:282:32:282:45 | Ok(...) | main.rs:282:9:282:10 | s1 | |
| main.rs:283:10:283:11 | [post] s1 | main.rs:284:10:284:11 | s1 | |
| main.rs:283:10:283:11 | s1 | main.rs:284:10:284:11 | s1 | |
| main.rs:286:9:286:10 | [SSA] s2 | main.rs:287:10:287:11 | s2 | |
| main.rs:286:9:286:10 | s2 | main.rs:286:9:286:10 | [SSA] s2 | |
| main.rs:286:32:286:46 | Err(...) | main.rs:286:9:286:10 | s2 | |
| main.rs:287:10:287:11 | [post] s2 | main.rs:288:10:288:11 | s2 | |
| main.rs:287:10:287:11 | s2 | main.rs:288:10:288:11 | s2 | |
| main.rs:297:9:297:10 | [SSA] s1 | main.rs:299:11:299:12 | s1 | |
| main.rs:297:9:297:10 | s1 | main.rs:297:9:297:10 | [SSA] s1 | |
| main.rs:297:14:297:39 | ...::A(...) | main.rs:297:9:297:10 | s1 | |
| main.rs:298:9:298:10 | [SSA] s2 | main.rs:306:11:306:12 | s2 | |
| main.rs:298:9:298:10 | s2 | main.rs:298:9:298:10 | [SSA] s2 | |
| main.rs:298:14:298:30 | ...::B(...) | main.rs:298:9:298:10 | s2 | |
| main.rs:299:11:299:12 | s1 | main.rs:300:9:300:25 | ...::A(...) | |
| main.rs:299:11:299:12 | s1 | main.rs:301:9:301:25 | ...::B(...) | |
| main.rs:299:11:299:12 | s1 | main.rs:303:11:303:12 | s1 | |
| main.rs:300:24:300:24 | [SSA] n | main.rs:300:35:300:35 | n | |
| main.rs:300:24:300:24 | n | main.rs:300:24:300:24 | [SSA] n | |
| main.rs:300:30:300:36 | sink(...) | main.rs:299:5:302:5 | match s1 { ... } | |
| main.rs:301:24:301:24 | [SSA] n | main.rs:301:35:301:35 | n | |
| main.rs:301:24:301:24 | n | main.rs:301:24:301:24 | [SSA] n | |
| main.rs:301:30:301:36 | sink(...) | main.rs:299:5:302:5 | match s1 { ... } | |
| main.rs:303:11:303:12 | s1 | main.rs:304:9:304:45 | ... \| ... | |
| main.rs:304:9:304:45 | ... \| ... | main.rs:304:9:304:25 | ...::A(...) | |
| main.rs:304:9:304:45 | ... \| ... | main.rs:304:29:304:45 | ...::B(...) | |
| main.rs:304:9:304:45 | [SSA] [match(true)] phi | main.rs:304:55:304:55 | n | |
| main.rs:304:24:304:24 | [SSA] [input] [match(true)] phi | main.rs:304:9:304:45 | [SSA] [match(true)] phi | |
| main.rs:304:24:304:24 | [SSA] n | main.rs:304:24:304:24 | [SSA] [input] [match(true)] phi | |
| main.rs:304:24:304:24 | n | main.rs:304:24:304:24 | [SSA] n | |
| main.rs:304:44:304:44 | [SSA] [input] [match(true)] phi | main.rs:304:9:304:45 | [SSA] [match(true)] phi | |
| main.rs:304:44:304:44 | [SSA] n | main.rs:304:44:304:44 | [SSA] [input] [match(true)] phi | |
| main.rs:304:44:304:44 | n | main.rs:304:44:304:44 | [SSA] n | |
| main.rs:304:50:304:56 | sink(...) | main.rs:303:5:305:5 | match s1 { ... } | |
| main.rs:306:5:309:5 | match s2 { ... } | main.rs:296:48:310:1 | { ... } | |
| main.rs:306:11:306:12 | s2 | main.rs:307:9:307:25 | ...::A(...) | |
| main.rs:306:11:306:12 | s2 | main.rs:308:9:308:25 | ...::B(...) | |
| main.rs:307:24:307:24 | [SSA] n | main.rs:307:35:307:35 | n | |
| main.rs:307:24:307:24 | n | main.rs:307:24:307:24 | [SSA] n | |
| main.rs:307:30:307:36 | sink(...) | main.rs:306:5:309:5 | match s2 { ... } | |
| main.rs:308:24:308:24 | [SSA] n | main.rs:308:35:308:35 | n | |
| main.rs:308:24:308:24 | n | main.rs:308:24:308:24 | [SSA] n | |
| main.rs:308:30:308:36 | sink(...) | main.rs:306:5:309:5 | match s2 { ... } | |
| main.rs:315:9:315:10 | [SSA] s1 | main.rs:317:11:317:12 | s1 | |
| main.rs:315:9:315:10 | s1 | main.rs:315:9:315:10 | [SSA] s1 | |
| main.rs:315:14:315:26 | A(...) | main.rs:315:9:315:10 | s1 | |
| main.rs:316:9:316:10 | [SSA] s2 | main.rs:324:11:324:12 | s2 | |
| main.rs:316:9:316:10 | s2 | main.rs:316:9:316:10 | [SSA] s2 | |
| main.rs:316:14:316:17 | B(...) | main.rs:316:9:316:10 | s2 | |
| main.rs:317:11:317:12 | s1 | main.rs:318:9:318:12 | A(...) | |
| main.rs:317:11:317:12 | s1 | main.rs:319:9:319:12 | B(...) | |
| main.rs:317:11:317:12 | s1 | main.rs:321:11:321:12 | s1 | |
| main.rs:318:11:318:11 | [SSA] n | main.rs:318:22:318:22 | n | |
| main.rs:318:11:318:11 | n | main.rs:318:11:318:11 | [SSA] n | |
| main.rs:318:17:318:23 | sink(...) | main.rs:317:5:320:5 | match s1 { ... } | |
| main.rs:319:11:319:11 | [SSA] n | main.rs:319:22:319:22 | n | |
| main.rs:319:11:319:11 | n | main.rs:319:11:319:11 | [SSA] n | |
| main.rs:319:17:319:23 | sink(...) | main.rs:317:5:320:5 | match s1 { ... } | |
| main.rs:321:11:321:12 | s1 | main.rs:322:9:322:19 | ... \| ... | |
| main.rs:322:9:322:19 | ... \| ... | main.rs:322:9:322:12 | A(...) | |
| main.rs:322:9:322:19 | ... \| ... | main.rs:322:16:322:19 | B(...) | |
| main.rs:322:9:322:19 | [SSA] [match(true)] phi | main.rs:322:29:322:29 | n | |
| main.rs:322:11:322:11 | [SSA] [input] [match(true)] phi | main.rs:322:9:322:19 | [SSA] [match(true)] phi | |
| main.rs:322:11:322:11 | [SSA] n | main.rs:322:11:322:11 | [SSA] [input] [match(true)] phi | |
| main.rs:322:11:322:11 | n | main.rs:322:11:322:11 | [SSA] n | |
| main.rs:322:18:322:18 | [SSA] [input] [match(true)] phi | main.rs:322:9:322:19 | [SSA] [match(true)] phi | |
| main.rs:322:18:322:18 | [SSA] n | main.rs:322:18:322:18 | [SSA] [input] [match(true)] phi | |
| main.rs:322:18:322:18 | n | main.rs:322:18:322:18 | [SSA] n | |
| main.rs:322:24:322:30 | sink(...) | main.rs:321:5:323:5 | match s1 { ... } | |
| main.rs:324:5:327:5 | match s2 { ... } | main.rs:314:50:328:1 | { ... } | |
| main.rs:324:11:324:12 | s2 | main.rs:325:9:325:12 | A(...) | |
| main.rs:324:11:324:12 | s2 | main.rs:326:9:326:12 | B(...) | |
| main.rs:325:11:325:11 | [SSA] n | main.rs:325:22:325:22 | n | |
| main.rs:325:11:325:11 | n | main.rs:325:11:325:11 | [SSA] n | |
| main.rs:325:17:325:23 | sink(...) | main.rs:324:5:327:5 | match s2 { ... } | |
| main.rs:326:11:326:11 | [SSA] n | main.rs:326:22:326:22 | n | |
| main.rs:326:11:326:11 | n | main.rs:326:11:326:11 | [SSA] n | |
| main.rs:326:17:326:23 | sink(...) | main.rs:324:5:327:5 | match s2 { ... } | |
| main.rs:336:9:336:10 | [SSA] s1 | main.rs:340:11:340:12 | s1 | |
| main.rs:336:9:336:10 | s1 | main.rs:336:9:336:10 | [SSA] s1 | |
| main.rs:336:14:338:5 | ...::C {...} | main.rs:336:9:336:10 | s1 | |
| main.rs:339:9:339:10 | [SSA] s2 | main.rs:347:11:347:12 | s2 | |
| main.rs:339:9:339:10 | s2 | main.rs:339:9:339:10 | [SSA] s2 | |
| main.rs:339:14:339:43 | ...::D {...} | main.rs:339:9:339:10 | s2 | |
| main.rs:340:11:340:12 | s1 | main.rs:341:9:341:38 | ...::C {...} | |
| main.rs:340:11:340:12 | s1 | main.rs:342:9:342:38 | ...::D {...} | |
| main.rs:340:11:340:12 | s1 | main.rs:344:11:344:12 | s1 | |
| main.rs:341:36:341:36 | [SSA] n | main.rs:341:48:341:48 | n | |
| main.rs:341:36:341:36 | n | main.rs:341:36:341:36 | [SSA] n | |
| main.rs:341:43:341:49 | sink(...) | main.rs:340:5:343:5 | match s1 { ... } | |
| main.rs:342:36:342:36 | [SSA] n | main.rs:342:48:342:48 | n | |
| main.rs:342:36:342:36 | n | main.rs:342:36:342:36 | [SSA] n | |
| main.rs:342:43:342:49 | sink(...) | main.rs:340:5:343:5 | match s1 { ... } | |
| main.rs:344:11:344:12 | s1 | main.rs:345:9:345:71 | ... \| ... | |
| main.rs:345:9:345:71 | ... \| ... | main.rs:345:9:345:38 | ...::C {...} | |
| main.rs:345:9:345:71 | ... \| ... | main.rs:345:42:345:71 | ...::D {...} | |
| main.rs:345:9:345:71 | [SSA] [match(true)] phi | main.rs:345:81:345:81 | n | |
| main.rs:345:36:345:36 | [SSA] [input] [match(true)] phi | main.rs:345:9:345:71 | [SSA] [match(true)] phi | |
| main.rs:345:36:345:36 | [SSA] n | main.rs:345:36:345:36 | [SSA] [input] [match(true)] phi | |
| main.rs:345:36:345:36 | n | main.rs:345:36:345:36 | [SSA] n | |
| main.rs:345:69:345:69 | [SSA] [input] [match(true)] phi | main.rs:345:9:345:71 | [SSA] [match(true)] phi | |
| main.rs:345:69:345:69 | [SSA] n | main.rs:345:69:345:69 | [SSA] [input] [match(true)] phi | |
| main.rs:345:69:345:69 | n | main.rs:345:69:345:69 | [SSA] n | |
| main.rs:345:76:345:82 | sink(...) | main.rs:344:5:346:5 | match s1 { ... } | |
| main.rs:347:5:350:5 | match s2 { ... } | main.rs:335:49:351:1 | { ... } | |
| main.rs:347:11:347:12 | s2 | main.rs:348:9:348:38 | ...::C {...} | |
| main.rs:347:11:347:12 | s2 | main.rs:349:9:349:38 | ...::D {...} | |
| main.rs:348:36:348:36 | [SSA] n | main.rs:348:48:348:48 | n | |
| main.rs:348:36:348:36 | n | main.rs:348:36:348:36 | [SSA] n | |
| main.rs:348:43:348:49 | sink(...) | main.rs:347:5:350:5 | match s2 { ... } | |
| main.rs:349:36:349:36 | [SSA] n | main.rs:349:48:349:48 | n | |
| main.rs:349:36:349:36 | n | main.rs:349:36:349:36 | [SSA] n | |
| main.rs:349:43:349:49 | sink(...) | main.rs:347:5:350:5 | match s2 { ... } | |
| main.rs:356:9:356:10 | [SSA] s1 | main.rs:360:11:360:12 | s1 | |
| main.rs:356:9:356:10 | s1 | main.rs:356:9:356:10 | [SSA] s1 | |
| main.rs:356:14:358:5 | C {...} | main.rs:356:9:356:10 | s1 | |
| main.rs:359:9:359:10 | [SSA] s2 | main.rs:367:11:367:12 | s2 | |
| main.rs:359:9:359:10 | s2 | main.rs:359:9:359:10 | [SSA] s2 | |
| main.rs:359:14:359:29 | D {...} | main.rs:359:9:359:10 | s2 | |
| main.rs:360:11:360:12 | s1 | main.rs:361:9:361:24 | C {...} | |
| main.rs:360:11:360:12 | s1 | main.rs:362:9:362:24 | D {...} | |
| main.rs:360:11:360:12 | s1 | main.rs:364:11:364:12 | s1 | |
| main.rs:361:22:361:22 | [SSA] n | main.rs:361:34:361:34 | n | |
| main.rs:361:22:361:22 | n | main.rs:361:22:361:22 | [SSA] n | |
| main.rs:361:29:361:35 | sink(...) | main.rs:360:5:363:5 | match s1 { ... } | |
| main.rs:362:22:362:22 | [SSA] n | main.rs:362:34:362:34 | n | |
| main.rs:362:22:362:22 | n | main.rs:362:22:362:22 | [SSA] n | |
| main.rs:362:29:362:35 | sink(...) | main.rs:360:5:363:5 | match s1 { ... } | |
| main.rs:364:11:364:12 | s1 | main.rs:365:9:365:43 | ... \| ... | |
| main.rs:365:9:365:43 | ... \| ... | main.rs:365:9:365:24 | C {...} | |
| main.rs:365:9:365:43 | ... \| ... | main.rs:365:28:365:43 | D {...} | |
| main.rs:365:9:365:43 | [SSA] [match(true)] phi | main.rs:365:53:365:53 | n | |
| main.rs:365:22:365:22 | [SSA] [input] [match(true)] phi | main.rs:365:9:365:43 | [SSA] [match(true)] phi | |
| main.rs:365:22:365:22 | [SSA] n | main.rs:365:22:365:22 | [SSA] [input] [match(true)] phi | |
| main.rs:365:22:365:22 | n | main.rs:365:22:365:22 | [SSA] n | |
| main.rs:365:41:365:41 | [SSA] [input] [match(true)] phi | main.rs:365:9:365:43 | [SSA] [match(true)] phi | |
| main.rs:365:41:365:41 | [SSA] n | main.rs:365:41:365:41 | [SSA] [input] [match(true)] phi | |
| main.rs:365:41:365:41 | n | main.rs:365:41:365:41 | [SSA] n | |
| main.rs:365:48:365:54 | sink(...) | main.rs:364:5:366:5 | match s1 { ... } | |
| main.rs:367:5:370:5 | match s2 { ... } | main.rs:355:51:371:1 | { ... } | |
| main.rs:367:11:367:12 | s2 | main.rs:368:9:368:24 | C {...} | |
| main.rs:367:11:367:12 | s2 | main.rs:369:9:369:24 | D {...} | |
| main.rs:368:22:368:22 | [SSA] n | main.rs:368:34:368:34 | n | |
| main.rs:368:22:368:22 | n | main.rs:368:22:368:22 | [SSA] n | |
| main.rs:368:29:368:35 | sink(...) | main.rs:367:5:370:5 | match s2 { ... } | |
| main.rs:369:22:369:22 | [SSA] n | main.rs:369:34:369:34 | n | |
| main.rs:369:22:369:22 | n | main.rs:369:22:369:22 | [SSA] n | |
| main.rs:369:29:369:35 | sink(...) | main.rs:367:5:370:5 | match s2 { ... } | |
| main.rs:377:9:377:12 | [SSA] arr1 | main.rs:378:14:378:17 | arr1 | |
| main.rs:377:9:377:12 | arr1 | main.rs:377:9:377:12 | [SSA] arr1 | |
| main.rs:377:16:377:33 | [...] | main.rs:377:9:377:12 | arr1 | |
| main.rs:378:9:378:10 | [SSA] n1 | main.rs:379:10:379:11 | n1 | |
| main.rs:378:9:378:10 | n1 | main.rs:378:9:378:10 | [SSA] n1 | |
| main.rs:378:14:378:20 | arr1[2] | main.rs:378:9:378:10 | n1 | |
| main.rs:381:9:381:12 | [SSA] arr2 | main.rs:382:14:382:17 | arr2 | |
| main.rs:381:9:381:12 | arr2 | main.rs:381:9:381:12 | [SSA] arr2 | |
| main.rs:381:16:381:31 | [...; 10] | main.rs:381:9:381:12 | arr2 | |
| main.rs:382:9:382:10 | [SSA] n2 | main.rs:383:10:383:11 | n2 | |
| main.rs:382:9:382:10 | n2 | main.rs:382:9:382:10 | [SSA] n2 | |
| main.rs:382:14:382:20 | arr2[4] | main.rs:382:9:382:10 | n2 | |
| main.rs:385:9:385:12 | [SSA] arr3 | main.rs:386:14:386:17 | arr3 | |
| main.rs:385:9:385:12 | arr3 | main.rs:385:9:385:12 | [SSA] arr3 | |
| main.rs:385:16:385:24 | [...] | main.rs:385:9:385:12 | arr3 | |
| main.rs:386:9:386:10 | [SSA] n3 | main.rs:387:10:387:11 | n3 | |
| main.rs:386:9:386:10 | n3 | main.rs:386:9:386:10 | [SSA] n3 | |
| main.rs:386:14:386:20 | arr3[2] | main.rs:386:9:386:10 | n3 | |
| main.rs:391:9:391:12 | [SSA] arr1 | main.rs:392:15:392:18 | arr1 | |
| main.rs:391:9:391:12 | arr1 | main.rs:391:9:391:12 | [SSA] arr1 | |
| main.rs:391:16:391:33 | [...] | main.rs:391:9:391:12 | arr1 | |
| main.rs:392:9:392:10 | [SSA] n1 | main.rs:393:14:393:15 | n1 | |
| main.rs:392:9:392:10 | n1 | main.rs:392:9:392:10 | [SSA] n1 | |
| main.rs:396:9:396:12 | [SSA] arr2 | main.rs:397:15:397:18 | arr2 | |
| main.rs:396:9:396:12 | arr2 | main.rs:396:9:396:12 | [SSA] arr2 | |
| main.rs:396:16:396:24 | [...] | main.rs:396:9:396:12 | arr2 | |
| main.rs:397:5:399:5 | for ... in ... { ... } | main.rs:390:21:400:1 | { ... } | |
| main.rs:397:9:397:10 | [SSA] n2 | main.rs:398:14:398:15 | n2 | |
| main.rs:397:9:397:10 | n2 | main.rs:397:9:397:10 | [SSA] n2 | |
| main.rs:403:9:403:12 | [SSA] arr1 | main.rs:404:11:404:14 | arr1 | |
| main.rs:403:9:403:12 | arr1 | main.rs:403:9:403:12 | [SSA] arr1 | |
| main.rs:403:16:403:33 | [...] | main.rs:403:9:403:12 | arr1 | |
| main.rs:404:5:410:5 | match arr1 { ... } | main.rs:402:26:411:1 | { ... } | |
| main.rs:404:11:404:14 | arr1 | main.rs:405:9:405:17 | SlicePat | |
| main.rs:405:10:405:10 | [SSA] a | main.rs:406:18:406:18 | a | |
| main.rs:405:10:405:10 | a | main.rs:405:10:405:10 | [SSA] a | |
| main.rs:405:13:405:13 | [SSA] b | main.rs:407:18:407:18 | b | |
| main.rs:405:13:405:13 | b | main.rs:405:13:405:13 | [SSA] b | |
| main.rs:405:16:405:16 | [SSA] c | main.rs:408:18:408:18 | c | |
| main.rs:405:16:405:16 | c | main.rs:405:16:405:16 | [SSA] c | |
| main.rs:405:22:409:9 | { ... } | main.rs:404:5:410:5 | match arr1 { ... } | |
| main.rs:414:9:414:19 | [SSA] mut_arr | main.rs:415:10:415:16 | mut_arr | |
| main.rs:414:9:414:19 | mut_arr | main.rs:414:9:414:19 | [SSA] mut_arr | |
| main.rs:414:23:414:31 | [...] | main.rs:414:9:414:19 | mut_arr | |
| main.rs:415:10:415:16 | [post] mut_arr | main.rs:417:5:417:11 | mut_arr | |
| main.rs:415:10:415:16 | mut_arr | main.rs:417:5:417:11 | mut_arr | |
| main.rs:417:5:417:11 | [post] mut_arr | main.rs:418:13:418:19 | mut_arr | |
| main.rs:417:5:417:11 | mut_arr | main.rs:418:13:418:19 | mut_arr | |
| main.rs:417:18:417:27 | source(...) | main.rs:417:5:417:14 | mut_arr[1] | |
| main.rs:418:9:418:9 | [SSA] d | main.rs:419:10:419:10 | d | |
| main.rs:418:9:418:9 | d | main.rs:418:9:418:9 | [SSA] d | |
| main.rs:418:13:418:19 | [post] mut_arr | main.rs:420:10:420:16 | mut_arr | |
| main.rs:418:13:418:19 | mut_arr | main.rs:420:10:420:16 | mut_arr | |
| main.rs:418:13:418:22 | mut_arr[1] | main.rs:418:9:418:9 | d | |
| main.rs:425:39:425:43 | [SSA] names | main.rs:427:25:427:29 | names | |
| main.rs:425:39:425:43 | names | main.rs:425:39:425:43 | [SSA] names | |
| main.rs:425:39:425:72 | ...: Vec::<...> | main.rs:425:39:425:43 | names | |
| main.rs:426:9:426:20 | default_name | main.rs:426:9:426:20 | [SSA] default_name | |
| main.rs:426:24:426:45 | ... .to_string(...) | main.rs:426:9:426:20 | default_name | |
| main.rs:426:24:426:45 | ... .to_string(...) | main.rs:427:9:427:20 | phi(default_name) | |
| main.rs:427:5:433:5 | for ... in ... { ... } | main.rs:425:75:434:1 | { ... } | |
| main.rs:427:9:427:20 | phi(default_name) | main.rs:427:9:427:20 | phi(default_name) | |
| main.rs:427:9:427:20 | phi(default_name) | main.rs:429:41:429:67 | default_name | |
| main.rs:427:10:427:13 | [SSA] cond | main.rs:428:12:428:15 | cond | |
| main.rs:427:10:427:13 | cond | main.rs:427:10:427:13 | [SSA] cond | |
| main.rs:427:16:427:19 | [SSA] name | main.rs:429:21:429:24 | name | |
| main.rs:427:16:427:19 | name | main.rs:427:16:427:19 | [SSA] name | |
| main.rs:428:9:432:9 | if cond {...} | main.rs:427:31:433:5 | { ... } | |
| main.rs:429:17:429:17 | [SSA] n | main.rs:430:18:430:18 | n | |
| main.rs:429:17:429:17 | n | main.rs:429:17:429:17 | [SSA] n | |
| main.rs:429:21:429:68 | name.unwrap_or_else(...) | main.rs:429:17:429:17 | n | |
| main.rs:429:41:429:67 | [post] default_name | main.rs:427:9:427:20 | phi(default_name) | |
| main.rs:429:41:429:67 | closure self in \|...\| ... | main.rs:429:44:429:55 | this | |
| main.rs:429:41:429:67 | default_name | main.rs:427:9:427:20 | phi(default_name) | |
| main.rs:443:9:443:9 | [SSA] s | main.rs:444:10:444:10 | s | |
| main.rs:443:9:443:9 | s | main.rs:443:9:443:9 | [SSA] s | |
| main.rs:443:13:443:27 | MacroExpr | main.rs:443:9:443:9 | s | |
| main.rs:443:25:443:26 | source(...) | main.rs:443:13:443:27 | MacroExpr | |
| main.rs:470:13:470:33 | result_questionmark(...) | main.rs:470:9:470:9 | _ | |
| main.rs:482:36:482:41 | ...::new(...) | main.rs:482:36:482:41 | MacroExpr | |
| main.rs:175:9:175:9 | [SSA] y | main.rs:177:30:177:30 | y | |
| main.rs:175:9:175:9 | y | main.rs:175:9:175:9 | [SSA] y | |
| main.rs:175:13:175:22 | source(...) | main.rs:175:9:175:9 | y | |
| main.rs:176:9:176:9 | [SSA] p | main.rs:180:11:180:11 | p | |
| main.rs:176:9:176:9 | p | main.rs:176:9:176:9 | [SSA] p | |
| main.rs:176:13:179:5 | Point3D {...} | main.rs:176:9:176:9 | p | |
| main.rs:180:5:189:5 | match p { ... } | main.rs:174:26:190:1 | { ... } | |
| main.rs:180:11:180:11 | p | main.rs:181:9:184:9 | Point3D {...} | |
| main.rs:182:28:182:28 | [SSA] x | main.rs:185:18:185:18 | x | |
| main.rs:182:28:182:28 | x | main.rs:182:28:182:28 | [SSA] x | |
| main.rs:182:31:182:31 | [SSA] y | main.rs:186:18:186:18 | y | |
| main.rs:182:31:182:31 | y | main.rs:182:31:182:31 | [SSA] y | |
| main.rs:183:13:183:13 | [SSA] z | main.rs:187:18:187:18 | z | |
| main.rs:183:13:183:13 | z | main.rs:183:13:183:13 | [SSA] z | |
| main.rs:184:14:188:9 | { ... } | main.rs:180:5:189:5 | match p { ... } | |
| main.rs:195:9:195:9 | [SSA] s | main.rs:196:10:196:10 | s | |
| main.rs:195:9:195:9 | s | main.rs:195:9:195:9 | [SSA] s | |
| main.rs:195:13:195:40 | MyTupleStruct(...) | main.rs:195:9:195:9 | s | |
| main.rs:196:10:196:10 | [post] s | main.rs:197:10:197:10 | s | |
| main.rs:196:10:196:10 | s | main.rs:197:10:197:10 | s | |
| main.rs:197:10:197:10 | [post] s | main.rs:199:11:199:11 | s | |
| main.rs:197:10:197:10 | s | main.rs:199:11:199:11 | s | |
| main.rs:199:5:204:5 | match s { ... } | main.rs:194:19:205:1 | { ... } | |
| main.rs:199:11:199:11 | s | main.rs:200:9:200:27 | MyTupleStruct(...) | |
| main.rs:200:23:200:23 | [SSA] x | main.rs:201:18:201:18 | x | |
| main.rs:200:23:200:23 | x | main.rs:200:23:200:23 | [SSA] x | |
| main.rs:200:26:200:26 | [SSA] y | main.rs:202:18:202:18 | y | |
| main.rs:200:26:200:26 | y | main.rs:200:26:200:26 | [SSA] y | |
| main.rs:200:32:203:9 | { ... } | main.rs:199:5:204:5 | match s { ... } | |
| main.rs:211:9:211:10 | [SSA] s1 | main.rs:213:11:213:12 | s1 | |
| main.rs:211:9:211:10 | s1 | main.rs:211:9:211:10 | [SSA] s1 | |
| main.rs:211:14:211:37 | ...::Some(...) | main.rs:211:9:211:10 | s1 | |
| main.rs:212:9:212:10 | [SSA] s2 | main.rs:217:11:217:12 | s2 | |
| main.rs:212:9:212:10 | s2 | main.rs:212:9:212:10 | [SSA] s2 | |
| main.rs:212:14:212:28 | ...::Some(...) | main.rs:212:9:212:10 | s2 | |
| main.rs:213:11:213:12 | s1 | main.rs:214:9:214:23 | ...::Some(...) | |
| main.rs:213:11:213:12 | s1 | main.rs:215:9:215:20 | ...::None | |
| main.rs:214:22:214:22 | [SSA] n | main.rs:214:33:214:33 | n | |
| main.rs:214:22:214:22 | n | main.rs:214:22:214:22 | [SSA] n | |
| main.rs:214:28:214:34 | sink(...) | main.rs:213:5:216:5 | match s1 { ... } | |
| main.rs:215:25:215:31 | sink(...) | main.rs:213:5:216:5 | match s1 { ... } | |
| main.rs:217:5:220:5 | match s2 { ... } | main.rs:210:37:221:1 | { ... } | |
| main.rs:217:11:217:12 | s2 | main.rs:218:9:218:23 | ...::Some(...) | |
| main.rs:217:11:217:12 | s2 | main.rs:219:9:219:20 | ...::None | |
| main.rs:218:22:218:22 | [SSA] n | main.rs:218:33:218:33 | n | |
| main.rs:218:22:218:22 | n | main.rs:218:22:218:22 | [SSA] n | |
| main.rs:218:28:218:34 | sink(...) | main.rs:217:5:220:5 | match s2 { ... } | |
| main.rs:219:25:219:31 | sink(...) | main.rs:217:5:220:5 | match s2 { ... } | |
| main.rs:224:9:224:10 | [SSA] s1 | main.rs:226:11:226:12 | s1 | |
| main.rs:224:9:224:10 | s1 | main.rs:224:9:224:10 | [SSA] s1 | |
| main.rs:224:14:224:29 | Some(...) | main.rs:224:9:224:10 | s1 | |
| main.rs:225:9:225:10 | [SSA] s2 | main.rs:230:11:230:12 | s2 | |
| main.rs:225:9:225:10 | s2 | main.rs:225:9:225:10 | [SSA] s2 | |
| main.rs:225:14:225:20 | Some(...) | main.rs:225:9:225:10 | s2 | |
| main.rs:226:11:226:12 | s1 | main.rs:227:9:227:15 | Some(...) | |
| main.rs:226:11:226:12 | s1 | main.rs:228:9:228:12 | None | |
| main.rs:227:14:227:14 | [SSA] n | main.rs:227:25:227:25 | n | |
| main.rs:227:14:227:14 | n | main.rs:227:14:227:14 | [SSA] n | |
| main.rs:227:20:227:26 | sink(...) | main.rs:226:5:229:5 | match s1 { ... } | |
| main.rs:228:17:228:23 | sink(...) | main.rs:226:5:229:5 | match s1 { ... } | |
| main.rs:230:5:233:5 | match s2 { ... } | main.rs:223:39:234:1 | { ... } | |
| main.rs:230:11:230:12 | s2 | main.rs:231:9:231:15 | Some(...) | |
| main.rs:230:11:230:12 | s2 | main.rs:232:9:232:12 | None | |
| main.rs:231:14:231:14 | [SSA] n | main.rs:231:25:231:25 | n | |
| main.rs:231:14:231:14 | n | main.rs:231:14:231:14 | [SSA] n | |
| main.rs:231:20:231:26 | sink(...) | main.rs:230:5:233:5 | match s2 { ... } | |
| main.rs:232:17:232:23 | sink(...) | main.rs:230:5:233:5 | match s2 { ... } | |
| main.rs:237:9:237:10 | [SSA] s1 | main.rs:238:10:238:11 | s1 | |
| main.rs:237:9:237:10 | s1 | main.rs:237:9:237:10 | [SSA] s1 | |
| main.rs:237:14:237:29 | Some(...) | main.rs:237:9:237:10 | s1 | |
| main.rs:242:9:242:10 | [SSA] s1 | main.rs:243:10:243:11 | s1 | |
| main.rs:242:9:242:10 | s1 | main.rs:242:9:242:10 | [SSA] s1 | |
| main.rs:242:14:242:29 | Some(...) | main.rs:242:9:242:10 | s1 | |
| main.rs:245:9:245:10 | [SSA] s2 | main.rs:246:10:246:11 | s2 | |
| main.rs:245:9:245:10 | s2 | main.rs:245:9:245:10 | [SSA] s2 | |
| main.rs:245:14:245:20 | Some(...) | main.rs:245:9:245:10 | s2 | |
| main.rs:250:9:250:10 | [SSA] s1 | main.rs:251:10:251:11 | s1 | |
| main.rs:250:9:250:10 | s1 | main.rs:250:9:250:10 | [SSA] s1 | |
| main.rs:250:14:250:29 | Some(...) | main.rs:250:9:250:10 | s1 | |
| main.rs:253:9:253:10 | [SSA] s2 | main.rs:254:10:254:11 | s2 | |
| main.rs:253:9:253:10 | s2 | main.rs:253:9:253:10 | [SSA] s2 | |
| main.rs:253:14:253:17 | None | main.rs:253:9:253:10 | s2 | |
| main.rs:258:9:258:10 | [SSA] s1 | main.rs:260:14:260:15 | s1 | |
| main.rs:258:9:258:10 | s1 | main.rs:258:9:258:10 | [SSA] s1 | |
| main.rs:258:14:258:29 | Some(...) | main.rs:258:9:258:10 | s1 | |
| main.rs:259:9:259:10 | [SSA] s2 | main.rs:262:10:262:11 | s2 | |
| main.rs:259:9:259:10 | s2 | main.rs:259:9:259:10 | [SSA] s2 | |
| main.rs:259:14:259:20 | Some(...) | main.rs:259:9:259:10 | s2 | |
| main.rs:260:9:260:10 | [SSA] i1 | main.rs:261:10:261:11 | i1 | |
| main.rs:260:9:260:10 | i1 | main.rs:260:9:260:10 | [SSA] i1 | |
| main.rs:260:14:260:16 | TryExpr | main.rs:260:9:260:10 | i1 | |
| main.rs:263:5:263:11 | Some(...) | main.rs:257:41:264:1 | { ... } | |
| main.rs:267:9:267:10 | [SSA] s1 | main.rs:270:14:270:15 | s1 | |
| main.rs:267:9:267:10 | s1 | main.rs:267:9:267:10 | [SSA] s1 | |
| main.rs:267:32:267:45 | Ok(...) | main.rs:267:9:267:10 | s1 | |
| main.rs:268:9:268:10 | [SSA] s2 | main.rs:271:14:271:15 | s2 | |
| main.rs:268:9:268:10 | s2 | main.rs:268:9:268:10 | [SSA] s2 | |
| main.rs:268:32:268:36 | Ok(...) | main.rs:268:9:268:10 | s2 | |
| main.rs:269:9:269:10 | [SSA] s3 | main.rs:274:14:274:15 | s3 | |
| main.rs:269:9:269:10 | s3 | main.rs:269:9:269:10 | [SSA] s3 | |
| main.rs:269:32:269:46 | Err(...) | main.rs:269:9:269:10 | s3 | |
| main.rs:270:9:270:10 | [SSA] i1 | main.rs:272:10:272:11 | i1 | |
| main.rs:270:9:270:10 | i1 | main.rs:270:9:270:10 | [SSA] i1 | |
| main.rs:270:14:270:16 | TryExpr | main.rs:270:9:270:10 | i1 | |
| main.rs:271:9:271:10 | [SSA] i2 | main.rs:273:10:273:11 | i2 | |
| main.rs:271:9:271:10 | i2 | main.rs:271:9:271:10 | [SSA] i2 | |
| main.rs:271:14:271:16 | TryExpr | main.rs:271:9:271:10 | i2 | |
| main.rs:274:9:274:10 | [SSA] i3 | main.rs:275:10:275:11 | i3 | |
| main.rs:274:9:274:10 | i3 | main.rs:274:9:274:10 | [SSA] i3 | |
| main.rs:274:14:274:16 | TryExpr | main.rs:274:9:274:10 | i3 | |
| main.rs:276:5:276:9 | Ok(...) | main.rs:266:46:277:1 | { ... } | |
| main.rs:280:9:280:10 | [SSA] s1 | main.rs:281:10:281:11 | s1 | |
| main.rs:280:9:280:10 | s1 | main.rs:280:9:280:10 | [SSA] s1 | |
| main.rs:280:32:280:45 | Ok(...) | main.rs:280:9:280:10 | s1 | |
| main.rs:281:10:281:11 | [post] s1 | main.rs:282:10:282:11 | s1 | |
| main.rs:281:10:281:11 | s1 | main.rs:282:10:282:11 | s1 | |
| main.rs:284:9:284:10 | [SSA] s2 | main.rs:285:10:285:11 | s2 | |
| main.rs:284:9:284:10 | s2 | main.rs:284:9:284:10 | [SSA] s2 | |
| main.rs:284:32:284:46 | Err(...) | main.rs:284:9:284:10 | s2 | |
| main.rs:285:10:285:11 | [post] s2 | main.rs:286:10:286:11 | s2 | |
| main.rs:285:10:285:11 | s2 | main.rs:286:10:286:11 | s2 | |
| main.rs:295:9:295:10 | [SSA] s1 | main.rs:297:11:297:12 | s1 | |
| main.rs:295:9:295:10 | s1 | main.rs:295:9:295:10 | [SSA] s1 | |
| main.rs:295:14:295:39 | ...::A(...) | main.rs:295:9:295:10 | s1 | |
| main.rs:296:9:296:10 | [SSA] s2 | main.rs:304:11:304:12 | s2 | |
| main.rs:296:9:296:10 | s2 | main.rs:296:9:296:10 | [SSA] s2 | |
| main.rs:296:14:296:30 | ...::B(...) | main.rs:296:9:296:10 | s2 | |
| main.rs:297:11:297:12 | s1 | main.rs:298:9:298:25 | ...::A(...) | |
| main.rs:297:11:297:12 | s1 | main.rs:299:9:299:25 | ...::B(...) | |
| main.rs:297:11:297:12 | s1 | main.rs:301:11:301:12 | s1 | |
| main.rs:298:24:298:24 | [SSA] n | main.rs:298:35:298:35 | n | |
| main.rs:298:24:298:24 | n | main.rs:298:24:298:24 | [SSA] n | |
| main.rs:298:30:298:36 | sink(...) | main.rs:297:5:300:5 | match s1 { ... } | |
| main.rs:299:24:299:24 | [SSA] n | main.rs:299:35:299:35 | n | |
| main.rs:299:24:299:24 | n | main.rs:299:24:299:24 | [SSA] n | |
| main.rs:299:30:299:36 | sink(...) | main.rs:297:5:300:5 | match s1 { ... } | |
| main.rs:301:11:301:12 | s1 | main.rs:302:9:302:45 | ... \| ... | |
| main.rs:302:9:302:45 | ... \| ... | main.rs:302:9:302:25 | ...::A(...) | |
| main.rs:302:9:302:45 | ... \| ... | main.rs:302:29:302:45 | ...::B(...) | |
| main.rs:302:9:302:45 | [SSA] [match(true)] phi | main.rs:302:55:302:55 | n | |
| main.rs:302:24:302:24 | [SSA] [input] [match(true)] phi | main.rs:302:9:302:45 | [SSA] [match(true)] phi | |
| main.rs:302:24:302:24 | [SSA] n | main.rs:302:24:302:24 | [SSA] [input] [match(true)] phi | |
| main.rs:302:24:302:24 | n | main.rs:302:24:302:24 | [SSA] n | |
| main.rs:302:44:302:44 | [SSA] [input] [match(true)] phi | main.rs:302:9:302:45 | [SSA] [match(true)] phi | |
| main.rs:302:44:302:44 | [SSA] n | main.rs:302:44:302:44 | [SSA] [input] [match(true)] phi | |
| main.rs:302:44:302:44 | n | main.rs:302:44:302:44 | [SSA] n | |
| main.rs:302:50:302:56 | sink(...) | main.rs:301:5:303:5 | match s1 { ... } | |
| main.rs:304:5:307:5 | match s2 { ... } | main.rs:294:48:308:1 | { ... } | |
| main.rs:304:11:304:12 | s2 | main.rs:305:9:305:25 | ...::A(...) | |
| main.rs:304:11:304:12 | s2 | main.rs:306:9:306:25 | ...::B(...) | |
| main.rs:305:24:305:24 | [SSA] n | main.rs:305:35:305:35 | n | |
| main.rs:305:24:305:24 | n | main.rs:305:24:305:24 | [SSA] n | |
| main.rs:305:30:305:36 | sink(...) | main.rs:304:5:307:5 | match s2 { ... } | |
| main.rs:306:24:306:24 | [SSA] n | main.rs:306:35:306:35 | n | |
| main.rs:306:24:306:24 | n | main.rs:306:24:306:24 | [SSA] n | |
| main.rs:306:30:306:36 | sink(...) | main.rs:304:5:307:5 | match s2 { ... } | |
| main.rs:313:9:313:10 | [SSA] s1 | main.rs:315:11:315:12 | s1 | |
| main.rs:313:9:313:10 | s1 | main.rs:313:9:313:10 | [SSA] s1 | |
| main.rs:313:14:313:26 | A(...) | main.rs:313:9:313:10 | s1 | |
| main.rs:314:9:314:10 | [SSA] s2 | main.rs:322:11:322:12 | s2 | |
| main.rs:314:9:314:10 | s2 | main.rs:314:9:314:10 | [SSA] s2 | |
| main.rs:314:14:314:17 | B(...) | main.rs:314:9:314:10 | s2 | |
| main.rs:315:11:315:12 | s1 | main.rs:316:9:316:12 | A(...) | |
| main.rs:315:11:315:12 | s1 | main.rs:317:9:317:12 | B(...) | |
| main.rs:315:11:315:12 | s1 | main.rs:319:11:319:12 | s1 | |
| main.rs:316:11:316:11 | [SSA] n | main.rs:316:22:316:22 | n | |
| main.rs:316:11:316:11 | n | main.rs:316:11:316:11 | [SSA] n | |
| main.rs:316:17:316:23 | sink(...) | main.rs:315:5:318:5 | match s1 { ... } | |
| main.rs:317:11:317:11 | [SSA] n | main.rs:317:22:317:22 | n | |
| main.rs:317:11:317:11 | n | main.rs:317:11:317:11 | [SSA] n | |
| main.rs:317:17:317:23 | sink(...) | main.rs:315:5:318:5 | match s1 { ... } | |
| main.rs:319:11:319:12 | s1 | main.rs:320:9:320:19 | ... \| ... | |
| main.rs:320:9:320:19 | ... \| ... | main.rs:320:9:320:12 | A(...) | |
| main.rs:320:9:320:19 | ... \| ... | main.rs:320:16:320:19 | B(...) | |
| main.rs:320:9:320:19 | [SSA] [match(true)] phi | main.rs:320:29:320:29 | n | |
| main.rs:320:11:320:11 | [SSA] [input] [match(true)] phi | main.rs:320:9:320:19 | [SSA] [match(true)] phi | |
| main.rs:320:11:320:11 | [SSA] n | main.rs:320:11:320:11 | [SSA] [input] [match(true)] phi | |
| main.rs:320:11:320:11 | n | main.rs:320:11:320:11 | [SSA] n | |
| main.rs:320:18:320:18 | [SSA] [input] [match(true)] phi | main.rs:320:9:320:19 | [SSA] [match(true)] phi | |
| main.rs:320:18:320:18 | [SSA] n | main.rs:320:18:320:18 | [SSA] [input] [match(true)] phi | |
| main.rs:320:18:320:18 | n | main.rs:320:18:320:18 | [SSA] n | |
| main.rs:320:24:320:30 | sink(...) | main.rs:319:5:321:5 | match s1 { ... } | |
| main.rs:322:5:325:5 | match s2 { ... } | main.rs:312:50:326:1 | { ... } | |
| main.rs:322:11:322:12 | s2 | main.rs:323:9:323:12 | A(...) | |
| main.rs:322:11:322:12 | s2 | main.rs:324:9:324:12 | B(...) | |
| main.rs:323:11:323:11 | [SSA] n | main.rs:323:22:323:22 | n | |
| main.rs:323:11:323:11 | n | main.rs:323:11:323:11 | [SSA] n | |
| main.rs:323:17:323:23 | sink(...) | main.rs:322:5:325:5 | match s2 { ... } | |
| main.rs:324:11:324:11 | [SSA] n | main.rs:324:22:324:22 | n | |
| main.rs:324:11:324:11 | n | main.rs:324:11:324:11 | [SSA] n | |
| main.rs:324:17:324:23 | sink(...) | main.rs:322:5:325:5 | match s2 { ... } | |
| main.rs:334:9:334:10 | [SSA] s1 | main.rs:338:11:338:12 | s1 | |
| main.rs:334:9:334:10 | s1 | main.rs:334:9:334:10 | [SSA] s1 | |
| main.rs:334:14:336:5 | ...::C {...} | main.rs:334:9:334:10 | s1 | |
| main.rs:337:9:337:10 | [SSA] s2 | main.rs:345:11:345:12 | s2 | |
| main.rs:337:9:337:10 | s2 | main.rs:337:9:337:10 | [SSA] s2 | |
| main.rs:337:14:337:43 | ...::D {...} | main.rs:337:9:337:10 | s2 | |
| main.rs:338:11:338:12 | s1 | main.rs:339:9:339:38 | ...::C {...} | |
| main.rs:338:11:338:12 | s1 | main.rs:340:9:340:38 | ...::D {...} | |
| main.rs:338:11:338:12 | s1 | main.rs:342:11:342:12 | s1 | |
| main.rs:339:36:339:36 | [SSA] n | main.rs:339:48:339:48 | n | |
| main.rs:339:36:339:36 | n | main.rs:339:36:339:36 | [SSA] n | |
| main.rs:339:43:339:49 | sink(...) | main.rs:338:5:341:5 | match s1 { ... } | |
| main.rs:340:36:340:36 | [SSA] n | main.rs:340:48:340:48 | n | |
| main.rs:340:36:340:36 | n | main.rs:340:36:340:36 | [SSA] n | |
| main.rs:340:43:340:49 | sink(...) | main.rs:338:5:341:5 | match s1 { ... } | |
| main.rs:342:11:342:12 | s1 | main.rs:343:9:343:71 | ... \| ... | |
| main.rs:343:9:343:71 | ... \| ... | main.rs:343:9:343:38 | ...::C {...} | |
| main.rs:343:9:343:71 | ... \| ... | main.rs:343:42:343:71 | ...::D {...} | |
| main.rs:343:9:343:71 | [SSA] [match(true)] phi | main.rs:343:81:343:81 | n | |
| main.rs:343:36:343:36 | [SSA] [input] [match(true)] phi | main.rs:343:9:343:71 | [SSA] [match(true)] phi | |
| main.rs:343:36:343:36 | [SSA] n | main.rs:343:36:343:36 | [SSA] [input] [match(true)] phi | |
| main.rs:343:36:343:36 | n | main.rs:343:36:343:36 | [SSA] n | |
| main.rs:343:69:343:69 | [SSA] [input] [match(true)] phi | main.rs:343:9:343:71 | [SSA] [match(true)] phi | |
| main.rs:343:69:343:69 | [SSA] n | main.rs:343:69:343:69 | [SSA] [input] [match(true)] phi | |
| main.rs:343:69:343:69 | n | main.rs:343:69:343:69 | [SSA] n | |
| main.rs:343:76:343:82 | sink(...) | main.rs:342:5:344:5 | match s1 { ... } | |
| main.rs:345:5:348:5 | match s2 { ... } | main.rs:333:49:349:1 | { ... } | |
| main.rs:345:11:345:12 | s2 | main.rs:346:9:346:38 | ...::C {...} | |
| main.rs:345:11:345:12 | s2 | main.rs:347:9:347:38 | ...::D {...} | |
| main.rs:346:36:346:36 | [SSA] n | main.rs:346:48:346:48 | n | |
| main.rs:346:36:346:36 | n | main.rs:346:36:346:36 | [SSA] n | |
| main.rs:346:43:346:49 | sink(...) | main.rs:345:5:348:5 | match s2 { ... } | |
| main.rs:347:36:347:36 | [SSA] n | main.rs:347:48:347:48 | n | |
| main.rs:347:36:347:36 | n | main.rs:347:36:347:36 | [SSA] n | |
| main.rs:347:43:347:49 | sink(...) | main.rs:345:5:348:5 | match s2 { ... } | |
| main.rs:354:9:354:10 | [SSA] s1 | main.rs:358:11:358:12 | s1 | |
| main.rs:354:9:354:10 | s1 | main.rs:354:9:354:10 | [SSA] s1 | |
| main.rs:354:14:356:5 | C {...} | main.rs:354:9:354:10 | s1 | |
| main.rs:357:9:357:10 | [SSA] s2 | main.rs:365:11:365:12 | s2 | |
| main.rs:357:9:357:10 | s2 | main.rs:357:9:357:10 | [SSA] s2 | |
| main.rs:357:14:357:29 | D {...} | main.rs:357:9:357:10 | s2 | |
| main.rs:358:11:358:12 | s1 | main.rs:359:9:359:24 | C {...} | |
| main.rs:358:11:358:12 | s1 | main.rs:360:9:360:24 | D {...} | |
| main.rs:358:11:358:12 | s1 | main.rs:362:11:362:12 | s1 | |
| main.rs:359:22:359:22 | [SSA] n | main.rs:359:34:359:34 | n | |
| main.rs:359:22:359:22 | n | main.rs:359:22:359:22 | [SSA] n | |
| main.rs:359:29:359:35 | sink(...) | main.rs:358:5:361:5 | match s1 { ... } | |
| main.rs:360:22:360:22 | [SSA] n | main.rs:360:34:360:34 | n | |
| main.rs:360:22:360:22 | n | main.rs:360:22:360:22 | [SSA] n | |
| main.rs:360:29:360:35 | sink(...) | main.rs:358:5:361:5 | match s1 { ... } | |
| main.rs:362:11:362:12 | s1 | main.rs:363:9:363:43 | ... \| ... | |
| main.rs:363:9:363:43 | ... \| ... | main.rs:363:9:363:24 | C {...} | |
| main.rs:363:9:363:43 | ... \| ... | main.rs:363:28:363:43 | D {...} | |
| main.rs:363:9:363:43 | [SSA] [match(true)] phi | main.rs:363:53:363:53 | n | |
| main.rs:363:22:363:22 | [SSA] [input] [match(true)] phi | main.rs:363:9:363:43 | [SSA] [match(true)] phi | |
| main.rs:363:22:363:22 | [SSA] n | main.rs:363:22:363:22 | [SSA] [input] [match(true)] phi | |
| main.rs:363:22:363:22 | n | main.rs:363:22:363:22 | [SSA] n | |
| main.rs:363:41:363:41 | [SSA] [input] [match(true)] phi | main.rs:363:9:363:43 | [SSA] [match(true)] phi | |
| main.rs:363:41:363:41 | [SSA] n | main.rs:363:41:363:41 | [SSA] [input] [match(true)] phi | |
| main.rs:363:41:363:41 | n | main.rs:363:41:363:41 | [SSA] n | |
| main.rs:363:48:363:54 | sink(...) | main.rs:362:5:364:5 | match s1 { ... } | |
| main.rs:365:5:368:5 | match s2 { ... } | main.rs:353:51:369:1 | { ... } | |
| main.rs:365:11:365:12 | s2 | main.rs:366:9:366:24 | C {...} | |
| main.rs:365:11:365:12 | s2 | main.rs:367:9:367:24 | D {...} | |
| main.rs:366:22:366:22 | [SSA] n | main.rs:366:34:366:34 | n | |
| main.rs:366:22:366:22 | n | main.rs:366:22:366:22 | [SSA] n | |
| main.rs:366:29:366:35 | sink(...) | main.rs:365:5:368:5 | match s2 { ... } | |
| main.rs:367:22:367:22 | [SSA] n | main.rs:367:34:367:34 | n | |
| main.rs:367:22:367:22 | n | main.rs:367:22:367:22 | [SSA] n | |
| main.rs:367:29:367:35 | sink(...) | main.rs:365:5:368:5 | match s2 { ... } | |
| main.rs:375:9:375:12 | [SSA] arr1 | main.rs:376:14:376:17 | arr1 | |
| main.rs:375:9:375:12 | arr1 | main.rs:375:9:375:12 | [SSA] arr1 | |
| main.rs:375:16:375:33 | [...] | main.rs:375:9:375:12 | arr1 | |
| main.rs:376:9:376:10 | [SSA] n1 | main.rs:377:10:377:11 | n1 | |
| main.rs:376:9:376:10 | n1 | main.rs:376:9:376:10 | [SSA] n1 | |
| main.rs:376:14:376:20 | arr1[2] | main.rs:376:9:376:10 | n1 | |
| main.rs:379:9:379:12 | [SSA] arr2 | main.rs:380:14:380:17 | arr2 | |
| main.rs:379:9:379:12 | arr2 | main.rs:379:9:379:12 | [SSA] arr2 | |
| main.rs:379:16:379:31 | [...; 10] | main.rs:379:9:379:12 | arr2 | |
| main.rs:380:9:380:10 | [SSA] n2 | main.rs:381:10:381:11 | n2 | |
| main.rs:380:9:380:10 | n2 | main.rs:380:9:380:10 | [SSA] n2 | |
| main.rs:380:14:380:20 | arr2[4] | main.rs:380:9:380:10 | n2 | |
| main.rs:383:9:383:12 | [SSA] arr3 | main.rs:384:14:384:17 | arr3 | |
| main.rs:383:9:383:12 | arr3 | main.rs:383:9:383:12 | [SSA] arr3 | |
| main.rs:383:16:383:24 | [...] | main.rs:383:9:383:12 | arr3 | |
| main.rs:384:9:384:10 | [SSA] n3 | main.rs:385:10:385:11 | n3 | |
| main.rs:384:9:384:10 | n3 | main.rs:384:9:384:10 | [SSA] n3 | |
| main.rs:384:14:384:20 | arr3[2] | main.rs:384:9:384:10 | n3 | |
| main.rs:389:9:389:12 | [SSA] arr1 | main.rs:390:15:390:18 | arr1 | |
| main.rs:389:9:389:12 | arr1 | main.rs:389:9:389:12 | [SSA] arr1 | |
| main.rs:389:16:389:33 | [...] | main.rs:389:9:389:12 | arr1 | |
| main.rs:390:9:390:10 | [SSA] n1 | main.rs:391:14:391:15 | n1 | |
| main.rs:390:9:390:10 | n1 | main.rs:390:9:390:10 | [SSA] n1 | |
| main.rs:394:9:394:12 | [SSA] arr2 | main.rs:395:15:395:18 | arr2 | |
| main.rs:394:9:394:12 | arr2 | main.rs:394:9:394:12 | [SSA] arr2 | |
| main.rs:394:16:394:24 | [...] | main.rs:394:9:394:12 | arr2 | |
| main.rs:395:5:397:5 | for ... in ... { ... } | main.rs:388:21:398:1 | { ... } | |
| main.rs:395:9:395:10 | [SSA] n2 | main.rs:396:14:396:15 | n2 | |
| main.rs:395:9:395:10 | n2 | main.rs:395:9:395:10 | [SSA] n2 | |
| main.rs:401:9:401:12 | [SSA] arr1 | main.rs:402:11:402:14 | arr1 | |
| main.rs:401:9:401:12 | arr1 | main.rs:401:9:401:12 | [SSA] arr1 | |
| main.rs:401:16:401:33 | [...] | main.rs:401:9:401:12 | arr1 | |
| main.rs:402:5:408:5 | match arr1 { ... } | main.rs:400:26:409:1 | { ... } | |
| main.rs:402:11:402:14 | arr1 | main.rs:403:9:403:17 | SlicePat | |
| main.rs:403:10:403:10 | [SSA] a | main.rs:404:18:404:18 | a | |
| main.rs:403:10:403:10 | a | main.rs:403:10:403:10 | [SSA] a | |
| main.rs:403:13:403:13 | [SSA] b | main.rs:405:18:405:18 | b | |
| main.rs:403:13:403:13 | b | main.rs:403:13:403:13 | [SSA] b | |
| main.rs:403:16:403:16 | [SSA] c | main.rs:406:18:406:18 | c | |
| main.rs:403:16:403:16 | c | main.rs:403:16:403:16 | [SSA] c | |
| main.rs:403:22:407:9 | { ... } | main.rs:402:5:408:5 | match arr1 { ... } | |
| main.rs:412:9:412:19 | [SSA] mut_arr | main.rs:413:10:413:16 | mut_arr | |
| main.rs:412:9:412:19 | mut_arr | main.rs:412:9:412:19 | [SSA] mut_arr | |
| main.rs:412:23:412:31 | [...] | main.rs:412:9:412:19 | mut_arr | |
| main.rs:413:10:413:16 | [post] mut_arr | main.rs:415:5:415:11 | mut_arr | |
| main.rs:413:10:413:16 | mut_arr | main.rs:415:5:415:11 | mut_arr | |
| main.rs:415:5:415:11 | [post] mut_arr | main.rs:416:13:416:19 | mut_arr | |
| main.rs:415:5:415:11 | mut_arr | main.rs:416:13:416:19 | mut_arr | |
| main.rs:415:18:415:27 | source(...) | main.rs:415:5:415:14 | mut_arr[1] | |
| main.rs:416:9:416:9 | [SSA] d | main.rs:417:10:417:10 | d | |
| main.rs:416:9:416:9 | d | main.rs:416:9:416:9 | [SSA] d | |
| main.rs:416:13:416:19 | [post] mut_arr | main.rs:418:10:418:16 | mut_arr | |
| main.rs:416:13:416:19 | mut_arr | main.rs:418:10:418:16 | mut_arr | |
| main.rs:416:13:416:22 | mut_arr[1] | main.rs:416:9:416:9 | d | |
| main.rs:423:39:423:43 | [SSA] names | main.rs:425:25:425:29 | names | |
| main.rs:423:39:423:43 | names | main.rs:423:39:423:43 | [SSA] names | |
| main.rs:423:39:423:72 | ...: Vec::<...> | main.rs:423:39:423:43 | names | |
| main.rs:424:9:424:20 | default_name | main.rs:424:9:424:20 | [SSA] default_name | |
| main.rs:424:24:424:45 | ... .to_string(...) | main.rs:424:9:424:20 | default_name | |
| main.rs:424:24:424:45 | ... .to_string(...) | main.rs:425:9:425:20 | phi(default_name) | |
| main.rs:425:5:431:5 | for ... in ... { ... } | main.rs:423:75:432:1 | { ... } | |
| main.rs:425:9:425:20 | phi(default_name) | main.rs:425:9:425:20 | phi(default_name) | |
| main.rs:425:9:425:20 | phi(default_name) | main.rs:427:41:427:67 | default_name | |
| main.rs:425:10:425:13 | [SSA] cond | main.rs:426:12:426:15 | cond | |
| main.rs:425:10:425:13 | cond | main.rs:425:10:425:13 | [SSA] cond | |
| main.rs:425:16:425:19 | [SSA] name | main.rs:427:21:427:24 | name | |
| main.rs:425:16:425:19 | name | main.rs:425:16:425:19 | [SSA] name | |
| main.rs:426:9:430:9 | if cond {...} | main.rs:425:31:431:5 | { ... } | |
| main.rs:427:17:427:17 | [SSA] n | main.rs:428:18:428:18 | n | |
| main.rs:427:17:427:17 | n | main.rs:427:17:427:17 | [SSA] n | |
| main.rs:427:21:427:68 | name.unwrap_or_else(...) | main.rs:427:17:427:17 | n | |
| main.rs:427:41:427:67 | [post] default_name | main.rs:425:9:425:20 | phi(default_name) | |
| main.rs:427:41:427:67 | closure self in \|...\| ... | main.rs:427:44:427:55 | this | |
| main.rs:427:41:427:67 | default_name | main.rs:425:9:425:20 | phi(default_name) | |
| main.rs:441:9:441:9 | [SSA] s | main.rs:442:10:442:10 | s | |
| main.rs:441:9:441:9 | s | main.rs:441:9:441:9 | [SSA] s | |
| main.rs:441:13:441:27 | MacroExpr | main.rs:441:9:441:9 | s | |
| main.rs:441:25:441:26 | source(...) | main.rs:441:13:441:27 | MacroExpr | |
| main.rs:468:13:468:33 | result_questionmark(...) | main.rs:468:9:468:9 | _ | |
| main.rs:480:36:480:41 | ...::new(...) | main.rs:480:36:480:41 | MacroExpr | |
models
| 1 | Sink: lang:std; crate::io::stdio::_print; log-injection; Argument[0] |
| 2 | Summary: lang:core; <crate::option::Option>::expect; Argument[self].Variant[crate::option::Option::Some(0)]; ReturnValue; value |
@@ -565,59 +568,59 @@ storeStep
| main.rs:164:16:164:16 | 2 | Point.x | main.rs:163:16:166:9 | Point {...} |
| main.rs:165:16:165:25 | source(...) | Point.y | main.rs:163:16:166:9 | Point {...} |
| main.rs:167:12:167:12 | 4 | Point3D.z | main.rs:162:13:168:5 | Point3D {...} |
| main.rs:176:16:179:9 | Point {...} | Point3D.plane | main.rs:175:13:181:5 | Point3D {...} |
| main.rs:177:16:177:16 | 2 | Point.x | main.rs:176:16:179:9 | Point {...} |
| main.rs:178:16:178:25 | source(...) | Point.y | main.rs:176:16:179:9 | Point {...} |
| main.rs:180:12:180:12 | 4 | Point3D.z | main.rs:175:13:181:5 | Point3D {...} |
| main.rs:197:27:197:36 | source(...) | MyTupleStruct(0) | main.rs:197:13:197:40 | MyTupleStruct(...) |
| main.rs:197:39:197:39 | 2 | MyTupleStruct(1) | main.rs:197:13:197:40 | MyTupleStruct(...) |
| main.rs:213:27:213:36 | source(...) | Some | main.rs:213:14:213:37 | ...::Some(...) |
| main.rs:214:27:214:27 | 2 | Some | main.rs:214:14:214:28 | ...::Some(...) |
| main.rs:226:19:226:28 | source(...) | Some | main.rs:226:14:226:29 | Some(...) |
| main.rs:227:19:227:19 | 2 | Some | main.rs:227:14:227:20 | Some(...) |
| main.rs:239:19:239:28 | source(...) | Some | main.rs:239:14:239:29 | Some(...) |
| main.rs:244:19:244:28 | source(...) | Some | main.rs:244:14:244:29 | Some(...) |
| main.rs:247:19:247:19 | 0 | Some | main.rs:247:14:247:20 | Some(...) |
| main.rs:252:19:252:28 | source(...) | Some | main.rs:252:14:252:29 | Some(...) |
| main.rs:260:19:260:28 | source(...) | Some | main.rs:260:14:260:29 | Some(...) |
| main.rs:261:19:261:19 | 2 | Some | main.rs:261:14:261:20 | Some(...) |
| main.rs:265:10:265:10 | 0 | Some | main.rs:265:5:265:11 | Some(...) |
| main.rs:269:35:269:44 | source(...) | Ok | main.rs:269:32:269:45 | Ok(...) |
| main.rs:270:35:270:35 | 2 | Ok | main.rs:270:32:270:36 | Ok(...) |
| main.rs:271:36:271:45 | source(...) | Err | main.rs:271:32:271:46 | Err(...) |
| main.rs:278:8:278:8 | 0 | Ok | main.rs:278:5:278:9 | Ok(...) |
| main.rs:282:35:282:44 | source(...) | Ok | main.rs:282:32:282:45 | Ok(...) |
| main.rs:286:36:286:45 | source(...) | Err | main.rs:286:32:286:46 | Err(...) |
| main.rs:297:29:297:38 | source(...) | A | main.rs:297:14:297:39 | ...::A(...) |
| main.rs:298:29:298:29 | 2 | B | main.rs:298:14:298:30 | ...::B(...) |
| main.rs:315:16:315:25 | source(...) | A | main.rs:315:14:315:26 | A(...) |
| main.rs:316:16:316:16 | 2 | B | main.rs:316:14:316:17 | B(...) |
| main.rs:337:18:337:27 | source(...) | C | main.rs:336:14:338:5 | ...::C {...} |
| main.rs:339:41:339:41 | 2 | D | main.rs:339:14:339:43 | ...::D {...} |
| main.rs:357:18:357:27 | source(...) | C | main.rs:356:14:358:5 | C {...} |
| main.rs:359:27:359:27 | 2 | D | main.rs:359:14:359:29 | D {...} |
| main.rs:377:17:377:17 | 1 | element | main.rs:377:16:377:33 | [...] |
| main.rs:377:20:377:20 | 2 | element | main.rs:377:16:377:33 | [...] |
| main.rs:377:23:377:32 | source(...) | element | main.rs:377:16:377:33 | [...] |
| main.rs:381:17:381:26 | source(...) | element | main.rs:381:16:381:31 | [...; 10] |
| main.rs:385:17:385:17 | 1 | element | main.rs:385:16:385:24 | [...] |
| main.rs:385:20:385:20 | 2 | element | main.rs:385:16:385:24 | [...] |
| main.rs:385:23:385:23 | 3 | element | main.rs:385:16:385:24 | [...] |
| main.rs:391:17:391:17 | 1 | element | main.rs:391:16:391:33 | [...] |
| main.rs:391:20:391:20 | 2 | element | main.rs:391:16:391:33 | [...] |
| main.rs:391:23:391:32 | source(...) | element | main.rs:391:16:391:33 | [...] |
| main.rs:396:17:396:17 | 1 | element | main.rs:396:16:396:24 | [...] |
| main.rs:396:20:396:20 | 2 | element | main.rs:396:16:396:24 | [...] |
| main.rs:396:23:396:23 | 3 | element | main.rs:396:16:396:24 | [...] |
| main.rs:403:17:403:17 | 1 | element | main.rs:403:16:403:33 | [...] |
| main.rs:403:20:403:20 | 2 | element | main.rs:403:16:403:33 | [...] |
| main.rs:403:23:403:32 | source(...) | element | main.rs:403:16:403:33 | [...] |
| main.rs:414:24:414:24 | 1 | element | main.rs:414:23:414:31 | [...] |
| main.rs:414:27:414:27 | 2 | element | main.rs:414:23:414:31 | [...] |
| main.rs:414:30:414:30 | 3 | element | main.rs:414:23:414:31 | [...] |
| main.rs:417:18:417:27 | source(...) | element | main.rs:417:5:417:11 | [post] mut_arr |
| main.rs:429:41:429:67 | default_name | captured default_name | main.rs:429:41:429:67 | \|...\| ... |
| main.rs:451:27:451:27 | 0 | Some | main.rs:451:22:451:28 | Some(...) |
| main.rs:177:16:177:32 | Point {...} | Point3D.plane | main.rs:176:13:179:5 | Point3D {...} |
| main.rs:177:27:177:27 | 2 | Point.x | main.rs:177:16:177:32 | Point {...} |
| main.rs:177:30:177:30 | y | Point.y | main.rs:177:16:177:32 | Point {...} |
| main.rs:178:12:178:12 | 4 | Point3D.z | main.rs:176:13:179:5 | Point3D {...} |
| main.rs:195:27:195:36 | source(...) | MyTupleStruct(0) | main.rs:195:13:195:40 | MyTupleStruct(...) |
| main.rs:195:39:195:39 | 2 | MyTupleStruct(1) | main.rs:195:13:195:40 | MyTupleStruct(...) |
| main.rs:211:27:211:36 | source(...) | Some | main.rs:211:14:211:37 | ...::Some(...) |
| main.rs:212:27:212:27 | 2 | Some | main.rs:212:14:212:28 | ...::Some(...) |
| main.rs:224:19:224:28 | source(...) | Some | main.rs:224:14:224:29 | Some(...) |
| main.rs:225:19:225:19 | 2 | Some | main.rs:225:14:225:20 | Some(...) |
| main.rs:237:19:237:28 | source(...) | Some | main.rs:237:14:237:29 | Some(...) |
| main.rs:242:19:242:28 | source(...) | Some | main.rs:242:14:242:29 | Some(...) |
| main.rs:245:19:245:19 | 0 | Some | main.rs:245:14:245:20 | Some(...) |
| main.rs:250:19:250:28 | source(...) | Some | main.rs:250:14:250:29 | Some(...) |
| main.rs:258:19:258:28 | source(...) | Some | main.rs:258:14:258:29 | Some(...) |
| main.rs:259:19:259:19 | 2 | Some | main.rs:259:14:259:20 | Some(...) |
| main.rs:263:10:263:10 | 0 | Some | main.rs:263:5:263:11 | Some(...) |
| main.rs:267:35:267:44 | source(...) | Ok | main.rs:267:32:267:45 | Ok(...) |
| main.rs:268:35:268:35 | 2 | Ok | main.rs:268:32:268:36 | Ok(...) |
| main.rs:269:36:269:45 | source(...) | Err | main.rs:269:32:269:46 | Err(...) |
| main.rs:276:8:276:8 | 0 | Ok | main.rs:276:5:276:9 | Ok(...) |
| main.rs:280:35:280:44 | source(...) | Ok | main.rs:280:32:280:45 | Ok(...) |
| main.rs:284:36:284:45 | source(...) | Err | main.rs:284:32:284:46 | Err(...) |
| main.rs:295:29:295:38 | source(...) | A | main.rs:295:14:295:39 | ...::A(...) |
| main.rs:296:29:296:29 | 2 | B | main.rs:296:14:296:30 | ...::B(...) |
| main.rs:313:16:313:25 | source(...) | A | main.rs:313:14:313:26 | A(...) |
| main.rs:314:16:314:16 | 2 | B | main.rs:314:14:314:17 | B(...) |
| main.rs:335:18:335:27 | source(...) | C | main.rs:334:14:336:5 | ...::C {...} |
| main.rs:337:41:337:41 | 2 | D | main.rs:337:14:337:43 | ...::D {...} |
| main.rs:355:18:355:27 | source(...) | C | main.rs:354:14:356:5 | C {...} |
| main.rs:357:27:357:27 | 2 | D | main.rs:357:14:357:29 | D {...} |
| main.rs:375:17:375:17 | 1 | element | main.rs:375:16:375:33 | [...] |
| main.rs:375:20:375:20 | 2 | element | main.rs:375:16:375:33 | [...] |
| main.rs:375:23:375:32 | source(...) | element | main.rs:375:16:375:33 | [...] |
| main.rs:379:17:379:26 | source(...) | element | main.rs:379:16:379:31 | [...; 10] |
| main.rs:383:17:383:17 | 1 | element | main.rs:383:16:383:24 | [...] |
| main.rs:383:20:383:20 | 2 | element | main.rs:383:16:383:24 | [...] |
| main.rs:383:23:383:23 | 3 | element | main.rs:383:16:383:24 | [...] |
| main.rs:389:17:389:17 | 1 | element | main.rs:389:16:389:33 | [...] |
| main.rs:389:20:389:20 | 2 | element | main.rs:389:16:389:33 | [...] |
| main.rs:389:23:389:32 | source(...) | element | main.rs:389:16:389:33 | [...] |
| main.rs:394:17:394:17 | 1 | element | main.rs:394:16:394:24 | [...] |
| main.rs:394:20:394:20 | 2 | element | main.rs:394:16:394:24 | [...] |
| main.rs:394:23:394:23 | 3 | element | main.rs:394:16:394:24 | [...] |
| main.rs:401:17:401:17 | 1 | element | main.rs:401:16:401:33 | [...] |
| main.rs:401:20:401:20 | 2 | element | main.rs:401:16:401:33 | [...] |
| main.rs:401:23:401:32 | source(...) | element | main.rs:401:16:401:33 | [...] |
| main.rs:412:24:412:24 | 1 | element | main.rs:412:23:412:31 | [...] |
| main.rs:412:27:412:27 | 2 | element | main.rs:412:23:412:31 | [...] |
| main.rs:412:30:412:30 | 3 | element | main.rs:412:23:412:31 | [...] |
| main.rs:415:18:415:27 | source(...) | element | main.rs:415:5:415:11 | [post] mut_arr |
| main.rs:427:41:427:67 | default_name | captured default_name | main.rs:427:41:427:67 | \|...\| ... |
| main.rs:449:27:449:27 | 0 | Some | main.rs:449:22:449:28 | Some(...) |
readStep
| file://:0:0:0:0 | [summary param] 0 in lang:core::_::<crate::option::Option>::unwrap_or_else | function return | file://:0:0:0:0 | [summary] read: Argument[0].ReturnValue in lang:core::_::<crate::option::Option>::unwrap_or_else |
| file://:0:0:0:0 | [summary param] 0 in lang:core::_::<crate::result::Result>::unwrap_or_else | function return | file://:0:0:0:0 | [summary] read: Argument[0].ReturnValue in lang:core::_::<crate::result::Result>::unwrap_or_else |
@@ -656,66 +659,66 @@ readStep
| main.rs:122:10:122:10 | b | tuple.1 | main.rs:122:10:122:12 | b.1 |
| main.rs:151:9:151:28 | Point {...} | Point.x | main.rs:151:20:151:20 | a |
| main.rs:151:9:151:28 | Point {...} | Point.y | main.rs:151:26:151:26 | b |
| main.rs:183:9:186:9 | Point3D {...} | Point3D.plane | main.rs:184:20:184:33 | Point {...} |
| main.rs:183:9:186:9 | Point3D {...} | Point3D.z | main.rs:185:13:185:13 | z |
| main.rs:184:20:184:33 | Point {...} | Point.x | main.rs:184:28:184:28 | x |
| main.rs:184:20:184:33 | Point {...} | Point.y | main.rs:184:31:184:31 | y |
| main.rs:198:10:198:10 | s | tuple.0 | main.rs:198:10:198:12 | s.0 |
| main.rs:199:10:199:10 | s | tuple.1 | main.rs:199:10:199:12 | s.1 |
| main.rs:202:9:202:27 | MyTupleStruct(...) | MyTupleStruct(0) | main.rs:202:23:202:23 | x |
| main.rs:202:9:202:27 | MyTupleStruct(...) | MyTupleStruct(1) | main.rs:202:26:202:26 | y |
| main.rs:216:9:216:23 | ...::Some(...) | Some | main.rs:216:22:216:22 | n |
| main.rs:220:9:220:23 | ...::Some(...) | Some | main.rs:220:22:220:22 | n |
| main.rs:229:9:229:15 | Some(...) | Some | main.rs:229:14:229:14 | n |
| main.rs:233:9:233:15 | Some(...) | Some | main.rs:233:14:233:14 | n |
| main.rs:262:14:262:15 | s1 | Ok | main.rs:262:14:262:16 | TryExpr |
| main.rs:262:14:262:15 | s1 | Some | main.rs:262:14:262:16 | TryExpr |
| main.rs:264:10:264:11 | s2 | Ok | main.rs:264:10:264:12 | TryExpr |
| main.rs:264:10:264:11 | s2 | Some | main.rs:264:10:264:12 | TryExpr |
| main.rs:272:14:272:15 | s1 | Ok | main.rs:272:14:272:16 | TryExpr |
| main.rs:272:14:272:15 | s1 | Some | main.rs:272:14:272:16 | TryExpr |
| main.rs:273:14:273:15 | s2 | Ok | main.rs:273:14:273:16 | TryExpr |
| main.rs:273:14:273:15 | s2 | Some | main.rs:273:14:273:16 | TryExpr |
| main.rs:276:14:276:15 | s3 | Ok | main.rs:276:14:276:16 | TryExpr |
| main.rs:276:14:276:15 | s3 | Some | main.rs:276:14:276:16 | TryExpr |
| main.rs:300:9:300:25 | ...::A(...) | A | main.rs:300:24:300:24 | n |
| main.rs:301:9:301:25 | ...::B(...) | B | main.rs:301:24:301:24 | n |
| main.rs:304:9:304:25 | ...::A(...) | A | main.rs:304:24:304:24 | n |
| main.rs:304:29:304:45 | ...::B(...) | B | main.rs:304:44:304:44 | n |
| main.rs:307:9:307:25 | ...::A(...) | A | main.rs:307:24:307:24 | n |
| main.rs:308:9:308:25 | ...::B(...) | B | main.rs:308:24:308:24 | n |
| main.rs:318:9:318:12 | A(...) | A | main.rs:318:11:318:11 | n |
| main.rs:319:9:319:12 | B(...) | B | main.rs:319:11:319:11 | n |
| main.rs:322:9:322:12 | A(...) | A | main.rs:322:11:322:11 | n |
| main.rs:322:16:322:19 | B(...) | B | main.rs:322:18:322:18 | n |
| main.rs:325:9:325:12 | A(...) | A | main.rs:325:11:325:11 | n |
| main.rs:326:9:326:12 | B(...) | B | main.rs:326:11:326:11 | n |
| main.rs:341:9:341:38 | ...::C {...} | C | main.rs:341:36:341:36 | n |
| main.rs:342:9:342:38 | ...::D {...} | D | main.rs:342:36:342:36 | n |
| main.rs:345:9:345:38 | ...::C {...} | C | main.rs:345:36:345:36 | n |
| main.rs:345:42:345:71 | ...::D {...} | D | main.rs:345:69:345:69 | n |
| main.rs:348:9:348:38 | ...::C {...} | C | main.rs:348:36:348:36 | n |
| main.rs:349:9:349:38 | ...::D {...} | D | main.rs:349:36:349:36 | n |
| main.rs:361:9:361:24 | C {...} | C | main.rs:361:22:361:22 | n |
| main.rs:362:9:362:24 | D {...} | D | main.rs:362:22:362:22 | n |
| main.rs:365:9:365:24 | C {...} | C | main.rs:365:22:365:22 | n |
| main.rs:365:28:365:43 | D {...} | D | main.rs:365:41:365:41 | n |
| main.rs:368:9:368:24 | C {...} | C | main.rs:368:22:368:22 | n |
| main.rs:369:9:369:24 | D {...} | D | main.rs:369:22:369:22 | n |
| main.rs:378:14:378:17 | arr1 | element | main.rs:378:14:378:20 | arr1[2] |
| main.rs:382:14:382:17 | arr2 | element | main.rs:382:14:382:20 | arr2[4] |
| main.rs:386:14:386:17 | arr3 | element | main.rs:386:14:386:20 | arr3[2] |
| main.rs:392:15:392:18 | arr1 | element | main.rs:392:9:392:10 | n1 |
| main.rs:397:15:397:18 | arr2 | element | main.rs:397:9:397:10 | n2 |
| main.rs:405:9:405:17 | SlicePat | element | main.rs:405:10:405:10 | a |
| main.rs:405:9:405:17 | SlicePat | element | main.rs:405:13:405:13 | b |
| main.rs:405:9:405:17 | SlicePat | element | main.rs:405:16:405:16 | c |
| main.rs:415:10:415:16 | mut_arr | element | main.rs:415:10:415:19 | mut_arr[1] |
| main.rs:417:5:417:11 | mut_arr | element | main.rs:417:5:417:14 | mut_arr[1] |
| main.rs:418:13:418:19 | mut_arr | element | main.rs:418:13:418:22 | mut_arr[1] |
| main.rs:420:10:420:16 | mut_arr | element | main.rs:420:10:420:19 | mut_arr[0] |
| main.rs:427:9:427:20 | TuplePat | tuple.0 | main.rs:427:10:427:13 | cond |
| main.rs:427:9:427:20 | TuplePat | tuple.1 | main.rs:427:16:427:19 | name |
| main.rs:427:25:427:29 | names | element | main.rs:427:9:427:20 | TuplePat |
| main.rs:429:41:429:67 | [post] \|...\| ... | captured default_name | main.rs:429:41:429:67 | [post] default_name |
| main.rs:429:44:429:55 | this | captured default_name | main.rs:429:44:429:55 | default_name |
| main.rs:181:9:184:9 | Point3D {...} | Point3D.plane | main.rs:182:20:182:33 | Point {...} |
| main.rs:181:9:184:9 | Point3D {...} | Point3D.z | main.rs:183:13:183:13 | z |
| main.rs:182:20:182:33 | Point {...} | Point.x | main.rs:182:28:182:28 | x |
| main.rs:182:20:182:33 | Point {...} | Point.y | main.rs:182:31:182:31 | y |
| main.rs:196:10:196:10 | s | tuple.0 | main.rs:196:10:196:12 | s.0 |
| main.rs:197:10:197:10 | s | tuple.1 | main.rs:197:10:197:12 | s.1 |
| main.rs:200:9:200:27 | MyTupleStruct(...) | MyTupleStruct(0) | main.rs:200:23:200:23 | x |
| main.rs:200:9:200:27 | MyTupleStruct(...) | MyTupleStruct(1) | main.rs:200:26:200:26 | y |
| main.rs:214:9:214:23 | ...::Some(...) | Some | main.rs:214:22:214:22 | n |
| main.rs:218:9:218:23 | ...::Some(...) | Some | main.rs:218:22:218:22 | n |
| main.rs:227:9:227:15 | Some(...) | Some | main.rs:227:14:227:14 | n |
| main.rs:231:9:231:15 | Some(...) | Some | main.rs:231:14:231:14 | n |
| main.rs:260:14:260:15 | s1 | Ok | main.rs:260:14:260:16 | TryExpr |
| main.rs:260:14:260:15 | s1 | Some | main.rs:260:14:260:16 | TryExpr |
| main.rs:262:10:262:11 | s2 | Ok | main.rs:262:10:262:12 | TryExpr |
| main.rs:262:10:262:11 | s2 | Some | main.rs:262:10:262:12 | TryExpr |
| main.rs:270:14:270:15 | s1 | Ok | main.rs:270:14:270:16 | TryExpr |
| main.rs:270:14:270:15 | s1 | Some | main.rs:270:14:270:16 | TryExpr |
| main.rs:271:14:271:15 | s2 | Ok | main.rs:271:14:271:16 | TryExpr |
| main.rs:271:14:271:15 | s2 | Some | main.rs:271:14:271:16 | TryExpr |
| main.rs:274:14:274:15 | s3 | Ok | main.rs:274:14:274:16 | TryExpr |
| main.rs:274:14:274:15 | s3 | Some | main.rs:274:14:274:16 | TryExpr |
| main.rs:298:9:298:25 | ...::A(...) | A | main.rs:298:24:298:24 | n |
| main.rs:299:9:299:25 | ...::B(...) | B | main.rs:299:24:299:24 | n |
| main.rs:302:9:302:25 | ...::A(...) | A | main.rs:302:24:302:24 | n |
| main.rs:302:29:302:45 | ...::B(...) | B | main.rs:302:44:302:44 | n |
| main.rs:305:9:305:25 | ...::A(...) | A | main.rs:305:24:305:24 | n |
| main.rs:306:9:306:25 | ...::B(...) | B | main.rs:306:24:306:24 | n |
| main.rs:316:9:316:12 | A(...) | A | main.rs:316:11:316:11 | n |
| main.rs:317:9:317:12 | B(...) | B | main.rs:317:11:317:11 | n |
| main.rs:320:9:320:12 | A(...) | A | main.rs:320:11:320:11 | n |
| main.rs:320:16:320:19 | B(...) | B | main.rs:320:18:320:18 | n |
| main.rs:323:9:323:12 | A(...) | A | main.rs:323:11:323:11 | n |
| main.rs:324:9:324:12 | B(...) | B | main.rs:324:11:324:11 | n |
| main.rs:339:9:339:38 | ...::C {...} | C | main.rs:339:36:339:36 | n |
| main.rs:340:9:340:38 | ...::D {...} | D | main.rs:340:36:340:36 | n |
| main.rs:343:9:343:38 | ...::C {...} | C | main.rs:343:36:343:36 | n |
| main.rs:343:42:343:71 | ...::D {...} | D | main.rs:343:69:343:69 | n |
| main.rs:346:9:346:38 | ...::C {...} | C | main.rs:346:36:346:36 | n |
| main.rs:347:9:347:38 | ...::D {...} | D | main.rs:347:36:347:36 | n |
| main.rs:359:9:359:24 | C {...} | C | main.rs:359:22:359:22 | n |
| main.rs:360:9:360:24 | D {...} | D | main.rs:360:22:360:22 | n |
| main.rs:363:9:363:24 | C {...} | C | main.rs:363:22:363:22 | n |
| main.rs:363:28:363:43 | D {...} | D | main.rs:363:41:363:41 | n |
| main.rs:366:9:366:24 | C {...} | C | main.rs:366:22:366:22 | n |
| main.rs:367:9:367:24 | D {...} | D | main.rs:367:22:367:22 | n |
| main.rs:376:14:376:17 | arr1 | element | main.rs:376:14:376:20 | arr1[2] |
| main.rs:380:14:380:17 | arr2 | element | main.rs:380:14:380:20 | arr2[4] |
| main.rs:384:14:384:17 | arr3 | element | main.rs:384:14:384:20 | arr3[2] |
| main.rs:390:15:390:18 | arr1 | element | main.rs:390:9:390:10 | n1 |
| main.rs:395:15:395:18 | arr2 | element | main.rs:395:9:395:10 | n2 |
| main.rs:403:9:403:17 | SlicePat | element | main.rs:403:10:403:10 | a |
| main.rs:403:9:403:17 | SlicePat | element | main.rs:403:13:403:13 | b |
| main.rs:403:9:403:17 | SlicePat | element | main.rs:403:16:403:16 | c |
| main.rs:413:10:413:16 | mut_arr | element | main.rs:413:10:413:19 | mut_arr[1] |
| main.rs:415:5:415:11 | mut_arr | element | main.rs:415:5:415:14 | mut_arr[1] |
| main.rs:416:13:416:19 | mut_arr | element | main.rs:416:13:416:22 | mut_arr[1] |
| main.rs:418:10:418:16 | mut_arr | element | main.rs:418:10:418:19 | mut_arr[0] |
| main.rs:425:9:425:20 | TuplePat | tuple.0 | main.rs:425:10:425:13 | cond |
| main.rs:425:9:425:20 | TuplePat | tuple.1 | main.rs:425:16:425:19 | name |
| main.rs:425:25:425:29 | names | element | main.rs:425:9:425:20 | TuplePat |
| main.rs:427:41:427:67 | [post] \|...\| ... | captured default_name | main.rs:427:41:427:67 | [post] default_name |
| main.rs:427:44:427:55 | this | captured default_name | main.rs:427:44:427:55 | default_name |

654
rust/ql/test/library-tests/dataflow/local/inline-flow.expected
View File

@@ -49,142 +49,144 @@ edges
| main.rs:148:12:148:21 | source(...) | main.rs:147:13:150:5 | Point {...} [Point.x] | provenance | |
| main.rs:151:9:151:28 | Point {...} [Point.x] | main.rs:151:20:151:20 | a | provenance | |
| main.rs:151:20:151:20 | a | main.rs:152:10:152:10 | a | provenance | |
| main.rs:175:9:175:9 | p [Point3D.plane, Point.y] | main.rs:182:11:182:11 | p [Point3D.plane, Point.y] | provenance | |
| main.rs:175:13:181:5 | Point3D {...} [Point3D.plane, Point.y] | main.rs:175:9:175:9 | p [Point3D.plane, Point.y] | provenance | |
| main.rs:176:16:179:9 | Point {...} [Point.y] | main.rs:175:13:181:5 | Point3D {...} [Point3D.plane, Point.y] | provenance | |
| main.rs:178:16:178:25 | source(...) | main.rs:176:16:179:9 | Point {...} [Point.y] | provenance | |
| main.rs:182:11:182:11 | p [Point3D.plane, Point.y] | main.rs:183:9:186:9 | Point3D {...} [Point3D.plane, Point.y] | provenance | |
| main.rs:183:9:186:9 | Point3D {...} [Point3D.plane, Point.y] | main.rs:184:20:184:33 | Point {...} [Point.y] | provenance | |
| main.rs:184:20:184:33 | Point {...} [Point.y] | main.rs:184:31:184:31 | y | provenance | |
| main.rs:184:31:184:31 | y | main.rs:188:18:188:18 | y | provenance | |
| main.rs:197:9:197:9 | s [MyTupleStruct(0)] | main.rs:201:11:201:11 | s [MyTupleStruct(0)] | provenance | |
| main.rs:197:13:197:40 | MyTupleStruct(...) [MyTupleStruct(0)] | main.rs:197:9:197:9 | s [MyTupleStruct(0)] | provenance | |
| main.rs:197:27:197:36 | source(...) | main.rs:197:13:197:40 | MyTupleStruct(...) [MyTupleStruct(0)] | provenance | |
| main.rs:201:11:201:11 | s [MyTupleStruct(0)] | main.rs:202:9:202:27 | MyTupleStruct(...) [MyTupleStruct(0)] | provenance | |
| main.rs:202:9:202:27 | MyTupleStruct(...) [MyTupleStruct(0)] | main.rs:202:23:202:23 | x | provenance | |
| main.rs:202:23:202:23 | x | main.rs:203:18:203:18 | x | provenance | |
| main.rs:213:9:213:10 | s1 [Some] | main.rs:215:11:215:12 | s1 [Some] | provenance | |
| main.rs:213:14:213:37 | ...::Some(...) [Some] | main.rs:213:9:213:10 | s1 [Some] | provenance | |
| main.rs:213:27:213:36 | source(...) | main.rs:213:14:213:37 | ...::Some(...) [Some] | provenance | |
| main.rs:215:11:215:12 | s1 [Some] | main.rs:216:9:216:23 | ...::Some(...) [Some] | provenance | |
| main.rs:216:9:216:23 | ...::Some(...) [Some] | main.rs:216:22:216:22 | n | provenance | |
| main.rs:216:22:216:22 | n | main.rs:216:33:216:33 | n | provenance | |
| main.rs:226:9:226:10 | s1 [Some] | main.rs:228:11:228:12 | s1 [Some] | provenance | |
| main.rs:226:14:226:29 | Some(...) [Some] | main.rs:226:9:226:10 | s1 [Some] | provenance | |
| main.rs:226:19:226:28 | source(...) | main.rs:226:14:226:29 | Some(...) [Some] | provenance | |
| main.rs:228:11:228:12 | s1 [Some] | main.rs:229:9:229:15 | Some(...) [Some] | provenance | |
| main.rs:229:9:229:15 | Some(...) [Some] | main.rs:229:14:229:14 | n | provenance | |
| main.rs:229:14:229:14 | n | main.rs:229:25:229:25 | n | provenance | |
| main.rs:239:9:239:10 | s1 [Some] | main.rs:240:10:240:11 | s1 [Some] | provenance | |
| main.rs:239:14:239:29 | Some(...) [Some] | main.rs:239:9:239:10 | s1 [Some] | provenance | |
| main.rs:239:19:239:28 | source(...) | main.rs:239:14:239:29 | Some(...) [Some] | provenance | |
| main.rs:240:10:240:11 | s1 [Some] | main.rs:240:10:240:20 | s1.unwrap(...) | provenance | MaD:1 |
| main.rs:244:9:244:10 | s1 [Some] | main.rs:245:10:245:11 | s1 [Some] | provenance | |
| main.rs:244:14:244:29 | Some(...) [Some] | main.rs:244:9:244:10 | s1 [Some] | provenance | |
| main.rs:244:19:244:28 | source(...) | main.rs:244:14:244:29 | Some(...) [Some] | provenance | |
| main.rs:245:10:245:11 | s1 [Some] | main.rs:245:10:245:24 | s1.unwrap_or(...) | provenance | MaD:3 |
| main.rs:248:23:248:32 | source(...) | main.rs:248:10:248:33 | s2.unwrap_or(...) | provenance | MaD:2 |
| main.rs:252:9:252:10 | s1 [Some] | main.rs:253:10:253:11 | s1 [Some] | provenance | |
| main.rs:252:14:252:29 | Some(...) [Some] | main.rs:252:9:252:10 | s1 [Some] | provenance | |
| main.rs:252:19:252:28 | source(...) | main.rs:252:14:252:29 | Some(...) [Some] | provenance | |
| main.rs:253:10:253:11 | s1 [Some] | main.rs:253:10:253:32 | s1.unwrap_or_else(...) | provenance | MaD:5 |
| main.rs:256:31:256:40 | source(...) | main.rs:256:10:256:41 | s2.unwrap_or_else(...) | provenance | MaD:4 |
| main.rs:260:9:260:10 | s1 [Some] | main.rs:262:14:262:15 | s1 [Some] | provenance | |
| main.rs:260:14:260:29 | Some(...) [Some] | main.rs:260:9:260:10 | s1 [Some] | provenance | |
| main.rs:260:19:260:28 | source(...) | main.rs:260:14:260:29 | Some(...) [Some] | provenance | |
| main.rs:262:9:262:10 | i1 | main.rs:263:10:263:11 | i1 | provenance | |
| main.rs:262:14:262:15 | s1 [Some] | main.rs:262:14:262:16 | TryExpr | provenance | |
| main.rs:262:14:262:16 | TryExpr | main.rs:262:9:262:10 | i1 | provenance | |
| main.rs:269:9:269:10 | s1 [Ok] | main.rs:272:14:272:15 | s1 [Ok] | provenance | |
| main.rs:269:32:269:45 | Ok(...) [Ok] | main.rs:269:9:269:10 | s1 [Ok] | provenance | |
| main.rs:269:35:269:44 | source(...) | main.rs:269:32:269:45 | Ok(...) [Ok] | provenance | |
| main.rs:272:9:272:10 | i1 | main.rs:274:10:274:11 | i1 | provenance | |
| main.rs:272:14:272:15 | s1 [Ok] | main.rs:272:14:272:16 | TryExpr | provenance | |
| main.rs:272:14:272:16 | TryExpr | main.rs:272:9:272:10 | i1 | provenance | |
| main.rs:282:9:282:10 | s1 [Ok] | main.rs:283:10:283:11 | s1 [Ok] | provenance | |
| main.rs:282:32:282:45 | Ok(...) [Ok] | main.rs:282:9:282:10 | s1 [Ok] | provenance | |
| main.rs:282:35:282:44 | source(...) | main.rs:282:32:282:45 | Ok(...) [Ok] | provenance | |
| main.rs:283:10:283:11 | s1 [Ok] | main.rs:283:10:283:22 | s1.expect(...) | provenance | MaD:6 |
| main.rs:286:9:286:10 | s2 [Err] | main.rs:288:10:288:11 | s2 [Err] | provenance | |
| main.rs:286:32:286:46 | Err(...) [Err] | main.rs:286:9:286:10 | s2 [Err] | provenance | |
| main.rs:286:36:286:45 | source(...) | main.rs:286:32:286:46 | Err(...) [Err] | provenance | |
| main.rs:288:10:288:11 | s2 [Err] | main.rs:288:10:288:26 | s2.expect_err(...) | provenance | MaD:7 |
| main.rs:297:9:297:10 | s1 [A] | main.rs:299:11:299:12 | s1 [A] | provenance | |
| main.rs:297:14:297:39 | ...::A(...) [A] | main.rs:297:9:297:10 | s1 [A] | provenance | |
| main.rs:297:29:297:38 | source(...) | main.rs:297:14:297:39 | ...::A(...) [A] | provenance | |
| main.rs:299:11:299:12 | s1 [A] | main.rs:300:9:300:25 | ...::A(...) [A] | provenance | |
| main.rs:299:11:299:12 | s1 [A] | main.rs:303:11:303:12 | s1 [A] | provenance | |
| main.rs:300:9:300:25 | ...::A(...) [A] | main.rs:300:24:300:24 | n | provenance | |
| main.rs:300:24:300:24 | n | main.rs:300:35:300:35 | n | provenance | |
| main.rs:303:11:303:12 | s1 [A] | main.rs:304:9:304:25 | ...::A(...) [A] | provenance | |
| main.rs:304:9:304:25 | ...::A(...) [A] | main.rs:304:24:304:24 | n | provenance | |
| main.rs:304:24:304:24 | n | main.rs:304:55:304:55 | n | provenance | |
| main.rs:315:9:315:10 | s1 [A] | main.rs:317:11:317:12 | s1 [A] | provenance | |
| main.rs:315:14:315:26 | A(...) [A] | main.rs:315:9:315:10 | s1 [A] | provenance | |
| main.rs:315:16:315:25 | source(...) | main.rs:315:14:315:26 | A(...) [A] | provenance | |
| main.rs:317:11:317:12 | s1 [A] | main.rs:318:9:318:12 | A(...) [A] | provenance | |
| main.rs:317:11:317:12 | s1 [A] | main.rs:321:11:321:12 | s1 [A] | provenance | |
| main.rs:318:9:318:12 | A(...) [A] | main.rs:318:11:318:11 | n | provenance | |
| main.rs:318:11:318:11 | n | main.rs:318:22:318:22 | n | provenance | |
| main.rs:321:11:321:12 | s1 [A] | main.rs:322:9:322:12 | A(...) [A] | provenance | |
| main.rs:322:9:322:12 | A(...) [A] | main.rs:322:11:322:11 | n | provenance | |
| main.rs:322:11:322:11 | n | main.rs:322:29:322:29 | n | provenance | |
| main.rs:336:9:336:10 | s1 [C] | main.rs:340:11:340:12 | s1 [C] | provenance | |
| main.rs:336:14:338:5 | ...::C {...} [C] | main.rs:336:9:336:10 | s1 [C] | provenance | |
| main.rs:337:18:337:27 | source(...) | main.rs:336:14:338:5 | ...::C {...} [C] | provenance | |
| main.rs:340:11:340:12 | s1 [C] | main.rs:341:9:341:38 | ...::C {...} [C] | provenance | |
| main.rs:340:11:340:12 | s1 [C] | main.rs:344:11:344:12 | s1 [C] | provenance | |
| main.rs:341:9:341:38 | ...::C {...} [C] | main.rs:341:36:341:36 | n | provenance | |
| main.rs:341:36:341:36 | n | main.rs:341:48:341:48 | n | provenance | |
| main.rs:344:11:344:12 | s1 [C] | main.rs:345:9:345:38 | ...::C {...} [C] | provenance | |
| main.rs:345:9:345:38 | ...::C {...} [C] | main.rs:345:36:345:36 | n | provenance | |
| main.rs:345:36:345:36 | n | main.rs:345:81:345:81 | n | provenance | |
| main.rs:356:9:356:10 | s1 [C] | main.rs:360:11:360:12 | s1 [C] | provenance | |
| main.rs:356:14:358:5 | C {...} [C] | main.rs:356:9:356:10 | s1 [C] | provenance | |
| main.rs:357:18:357:27 | source(...) | main.rs:356:14:358:5 | C {...} [C] | provenance | |
| main.rs:360:11:360:12 | s1 [C] | main.rs:361:9:361:24 | C {...} [C] | provenance | |
| main.rs:360:11:360:12 | s1 [C] | main.rs:364:11:364:12 | s1 [C] | provenance | |
| main.rs:361:9:361:24 | C {...} [C] | main.rs:361:22:361:22 | n | provenance | |
| main.rs:361:22:361:22 | n | main.rs:361:34:361:34 | n | provenance | |
| main.rs:364:11:364:12 | s1 [C] | main.rs:365:9:365:24 | C {...} [C] | provenance | |
| main.rs:365:9:365:24 | C {...} [C] | main.rs:365:22:365:22 | n | provenance | |
| main.rs:365:22:365:22 | n | main.rs:365:53:365:53 | n | provenance | |
| main.rs:377:9:377:12 | arr1 [element] | main.rs:378:14:378:17 | arr1 [element] | provenance | |
| main.rs:377:16:377:33 | [...] [element] | main.rs:377:9:377:12 | arr1 [element] | provenance | |
| main.rs:377:23:377:32 | source(...) | main.rs:377:16:377:33 | [...] [element] | provenance | |
| main.rs:378:9:378:10 | n1 | main.rs:379:10:379:11 | n1 | provenance | |
| main.rs:378:14:378:17 | arr1 [element] | main.rs:378:14:378:20 | arr1[2] | provenance | |
| main.rs:378:14:378:20 | arr1[2] | main.rs:378:9:378:10 | n1 | provenance | |
| main.rs:381:9:381:12 | arr2 [element] | main.rs:382:14:382:17 | arr2 [element] | provenance | |
| main.rs:381:16:381:31 | [...; 10] [element] | main.rs:381:9:381:12 | arr2 [element] | provenance | |
| main.rs:381:17:381:26 | source(...) | main.rs:381:16:381:31 | [...; 10] [element] | provenance | |
| main.rs:382:9:382:10 | n2 | main.rs:383:10:383:11 | n2 | provenance | |
| main.rs:382:14:382:17 | arr2 [element] | main.rs:382:14:382:20 | arr2[4] | provenance | |
| main.rs:382:14:382:20 | arr2[4] | main.rs:382:9:382:10 | n2 | provenance | |
| main.rs:391:9:391:12 | arr1 [element] | main.rs:392:15:392:18 | arr1 [element] | provenance | |
| main.rs:391:16:391:33 | [...] [element] | main.rs:391:9:391:12 | arr1 [element] | provenance | |
| main.rs:391:23:391:32 | source(...) | main.rs:391:16:391:33 | [...] [element] | provenance | |
| main.rs:392:9:392:10 | n1 | main.rs:393:14:393:15 | n1 | provenance | |
| main.rs:392:15:392:18 | arr1 [element] | main.rs:392:9:392:10 | n1 | provenance | |
| main.rs:403:9:403:12 | arr1 [element] | main.rs:404:11:404:14 | arr1 [element] | provenance | |
| main.rs:403:16:403:33 | [...] [element] | main.rs:403:9:403:12 | arr1 [element] | provenance | |
| main.rs:403:23:403:32 | source(...) | main.rs:403:16:403:33 | [...] [element] | provenance | |
| main.rs:404:11:404:14 | arr1 [element] | main.rs:405:9:405:17 | SlicePat [element] | provenance | |
| main.rs:405:9:405:17 | SlicePat [element] | main.rs:405:10:405:10 | a | provenance | |
| main.rs:405:9:405:17 | SlicePat [element] | main.rs:405:13:405:13 | b | provenance | |
| main.rs:405:9:405:17 | SlicePat [element] | main.rs:405:16:405:16 | c | provenance | |
| main.rs:405:10:405:10 | a | main.rs:406:18:406:18 | a | provenance | |
| main.rs:405:13:405:13 | b | main.rs:407:18:407:18 | b | provenance | |
| main.rs:405:16:405:16 | c | main.rs:408:18:408:18 | c | provenance | |
| main.rs:417:5:417:11 | [post] mut_arr [element] | main.rs:418:13:418:19 | mut_arr [element] | provenance | |
| main.rs:417:5:417:11 | [post] mut_arr [element] | main.rs:420:10:420:16 | mut_arr [element] | provenance | |
| main.rs:417:18:417:27 | source(...) | main.rs:417:5:417:11 | [post] mut_arr [element] | provenance | |
| main.rs:418:9:418:9 | d | main.rs:419:10:419:10 | d | provenance | |
| main.rs:418:13:418:19 | mut_arr [element] | main.rs:418:13:418:22 | mut_arr[1] | provenance | |
| main.rs:418:13:418:22 | mut_arr[1] | main.rs:418:9:418:9 | d | provenance | |
| main.rs:420:10:420:16 | mut_arr [element] | main.rs:420:10:420:19 | mut_arr[0] | provenance | |
| main.rs:443:9:443:9 | s | main.rs:444:10:444:10 | s | provenance | |
| main.rs:443:25:443:26 | source(...) | main.rs:443:9:443:9 | s | provenance | |
| main.rs:175:9:175:9 | y | main.rs:177:30:177:30 | y | provenance | |
| main.rs:175:13:175:22 | source(...) | main.rs:175:9:175:9 | y | provenance | |
| main.rs:176:9:176:9 | p [Point3D.plane, Point.y] | main.rs:180:11:180:11 | p [Point3D.plane, Point.y] | provenance | |
| main.rs:176:13:179:5 | Point3D {...} [Point3D.plane, Point.y] | main.rs:176:9:176:9 | p [Point3D.plane, Point.y] | provenance | |
| main.rs:177:16:177:32 | Point {...} [Point.y] | main.rs:176:13:179:5 | Point3D {...} [Point3D.plane, Point.y] | provenance | |
| main.rs:177:30:177:30 | y | main.rs:177:16:177:32 | Point {...} [Point.y] | provenance | |
| main.rs:180:11:180:11 | p [Point3D.plane, Point.y] | main.rs:181:9:184:9 | Point3D {...} [Point3D.plane, Point.y] | provenance | |
| main.rs:181:9:184:9 | Point3D {...} [Point3D.plane, Point.y] | main.rs:182:20:182:33 | Point {...} [Point.y] | provenance | |
| main.rs:182:20:182:33 | Point {...} [Point.y] | main.rs:182:31:182:31 | y | provenance | |
| main.rs:182:31:182:31 | y | main.rs:186:18:186:18 | y | provenance | |
| main.rs:195:9:195:9 | s [MyTupleStruct(0)] | main.rs:199:11:199:11 | s [MyTupleStruct(0)] | provenance | |
| main.rs:195:13:195:40 | MyTupleStruct(...) [MyTupleStruct(0)] | main.rs:195:9:195:9 | s [MyTupleStruct(0)] | provenance | |
| main.rs:195:27:195:36 | source(...) | main.rs:195:13:195:40 | MyTupleStruct(...) [MyTupleStruct(0)] | provenance | |
| main.rs:199:11:199:11 | s [MyTupleStruct(0)] | main.rs:200:9:200:27 | MyTupleStruct(...) [MyTupleStruct(0)] | provenance | |
| main.rs:200:9:200:27 | MyTupleStruct(...) [MyTupleStruct(0)] | main.rs:200:23:200:23 | x | provenance | |
| main.rs:200:23:200:23 | x | main.rs:201:18:201:18 | x | provenance | |
| main.rs:211:9:211:10 | s1 [Some] | main.rs:213:11:213:12 | s1 [Some] | provenance | |
| main.rs:211:14:211:37 | ...::Some(...) [Some] | main.rs:211:9:211:10 | s1 [Some] | provenance | |
| main.rs:211:27:211:36 | source(...) | main.rs:211:14:211:37 | ...::Some(...) [Some] | provenance | |
| main.rs:213:11:213:12 | s1 [Some] | main.rs:214:9:214:23 | ...::Some(...) [Some] | provenance | |
| main.rs:214:9:214:23 | ...::Some(...) [Some] | main.rs:214:22:214:22 | n | provenance | |
| main.rs:214:22:214:22 | n | main.rs:214:33:214:33 | n | provenance | |
| main.rs:224:9:224:10 | s1 [Some] | main.rs:226:11:226:12 | s1 [Some] | provenance | |
| main.rs:224:14:224:29 | Some(...) [Some] | main.rs:224:9:224:10 | s1 [Some] | provenance | |
| main.rs:224:19:224:28 | source(...) | main.rs:224:14:224:29 | Some(...) [Some] | provenance | |
| main.rs:226:11:226:12 | s1 [Some] | main.rs:227:9:227:15 | Some(...) [Some] | provenance | |
| main.rs:227:9:227:15 | Some(...) [Some] | main.rs:227:14:227:14 | n | provenance | |
| main.rs:227:14:227:14 | n | main.rs:227:25:227:25 | n | provenance | |
| main.rs:237:9:237:10 | s1 [Some] | main.rs:238:10:238:11 | s1 [Some] | provenance | |
| main.rs:237:14:237:29 | Some(...) [Some] | main.rs:237:9:237:10 | s1 [Some] | provenance | |
| main.rs:237:19:237:28 | source(...) | main.rs:237:14:237:29 | Some(...) [Some] | provenance | |
| main.rs:238:10:238:11 | s1 [Some] | main.rs:238:10:238:20 | s1.unwrap(...) | provenance | MaD:1 |
| main.rs:242:9:242:10 | s1 [Some] | main.rs:243:10:243:11 | s1 [Some] | provenance | |
| main.rs:242:14:242:29 | Some(...) [Some] | main.rs:242:9:242:10 | s1 [Some] | provenance | |
| main.rs:242:19:242:28 | source(...) | main.rs:242:14:242:29 | Some(...) [Some] | provenance | |
| main.rs:243:10:243:11 | s1 [Some] | main.rs:243:10:243:24 | s1.unwrap_or(...) | provenance | MaD:3 |
| main.rs:246:23:246:32 | source(...) | main.rs:246:10:246:33 | s2.unwrap_or(...) | provenance | MaD:2 |
| main.rs:250:9:250:10 | s1 [Some] | main.rs:251:10:251:11 | s1 [Some] | provenance | |
| main.rs:250:14:250:29 | Some(...) [Some] | main.rs:250:9:250:10 | s1 [Some] | provenance | |
| main.rs:250:19:250:28 | source(...) | main.rs:250:14:250:29 | Some(...) [Some] | provenance | |
| main.rs:251:10:251:11 | s1 [Some] | main.rs:251:10:251:32 | s1.unwrap_or_else(...) | provenance | MaD:5 |
| main.rs:254:31:254:40 | source(...) | main.rs:254:10:254:41 | s2.unwrap_or_else(...) | provenance | MaD:4 |
| main.rs:258:9:258:10 | s1 [Some] | main.rs:260:14:260:15 | s1 [Some] | provenance | |
| main.rs:258:14:258:29 | Some(...) [Some] | main.rs:258:9:258:10 | s1 [Some] | provenance | |
| main.rs:258:19:258:28 | source(...) | main.rs:258:14:258:29 | Some(...) [Some] | provenance | |
| main.rs:260:9:260:10 | i1 | main.rs:261:10:261:11 | i1 | provenance | |
| main.rs:260:14:260:15 | s1 [Some] | main.rs:260:14:260:16 | TryExpr | provenance | |
| main.rs:260:14:260:16 | TryExpr | main.rs:260:9:260:10 | i1 | provenance | |
| main.rs:267:9:267:10 | s1 [Ok] | main.rs:270:14:270:15 | s1 [Ok] | provenance | |
| main.rs:267:32:267:45 | Ok(...) [Ok] | main.rs:267:9:267:10 | s1 [Ok] | provenance | |
| main.rs:267:35:267:44 | source(...) | main.rs:267:32:267:45 | Ok(...) [Ok] | provenance | |
| main.rs:270:9:270:10 | i1 | main.rs:272:10:272:11 | i1 | provenance | |
| main.rs:270:14:270:15 | s1 [Ok] | main.rs:270:14:270:16 | TryExpr | provenance | |
| main.rs:270:14:270:16 | TryExpr | main.rs:270:9:270:10 | i1 | provenance | |
| main.rs:280:9:280:10 | s1 [Ok] | main.rs:281:10:281:11 | s1 [Ok] | provenance | |
| main.rs:280:32:280:45 | Ok(...) [Ok] | main.rs:280:9:280:10 | s1 [Ok] | provenance | |
| main.rs:280:35:280:44 | source(...) | main.rs:280:32:280:45 | Ok(...) [Ok] | provenance | |
| main.rs:281:10:281:11 | s1 [Ok] | main.rs:281:10:281:22 | s1.expect(...) | provenance | MaD:6 |
| main.rs:284:9:284:10 | s2 [Err] | main.rs:286:10:286:11 | s2 [Err] | provenance | |
| main.rs:284:32:284:46 | Err(...) [Err] | main.rs:284:9:284:10 | s2 [Err] | provenance | |
| main.rs:284:36:284:45 | source(...) | main.rs:284:32:284:46 | Err(...) [Err] | provenance | |
| main.rs:286:10:286:11 | s2 [Err] | main.rs:286:10:286:26 | s2.expect_err(...) | provenance | MaD:7 |
| main.rs:295:9:295:10 | s1 [A] | main.rs:297:11:297:12 | s1 [A] | provenance | |
| main.rs:295:14:295:39 | ...::A(...) [A] | main.rs:295:9:295:10 | s1 [A] | provenance | |
| main.rs:295:29:295:38 | source(...) | main.rs:295:14:295:39 | ...::A(...) [A] | provenance | |
| main.rs:297:11:297:12 | s1 [A] | main.rs:298:9:298:25 | ...::A(...) [A] | provenance | |
| main.rs:297:11:297:12 | s1 [A] | main.rs:301:11:301:12 | s1 [A] | provenance | |
| main.rs:298:9:298:25 | ...::A(...) [A] | main.rs:298:24:298:24 | n | provenance | |
| main.rs:298:24:298:24 | n | main.rs:298:35:298:35 | n | provenance | |
| main.rs:301:11:301:12 | s1 [A] | main.rs:302:9:302:25 | ...::A(...) [A] | provenance | |
| main.rs:302:9:302:25 | ...::A(...) [A] | main.rs:302:24:302:24 | n | provenance | |
| main.rs:302:24:302:24 | n | main.rs:302:55:302:55 | n | provenance | |
| main.rs:313:9:313:10 | s1 [A] | main.rs:315:11:315:12 | s1 [A] | provenance | |
| main.rs:313:14:313:26 | A(...) [A] | main.rs:313:9:313:10 | s1 [A] | provenance | |
| main.rs:313:16:313:25 | source(...) | main.rs:313:14:313:26 | A(...) [A] | provenance | |
| main.rs:315:11:315:12 | s1 [A] | main.rs:316:9:316:12 | A(...) [A] | provenance | |
| main.rs:315:11:315:12 | s1 [A] | main.rs:319:11:319:12 | s1 [A] | provenance | |
| main.rs:316:9:316:12 | A(...) [A] | main.rs:316:11:316:11 | n | provenance | |
| main.rs:316:11:316:11 | n | main.rs:316:22:316:22 | n | provenance | |
| main.rs:319:11:319:12 | s1 [A] | main.rs:320:9:320:12 | A(...) [A] | provenance | |
| main.rs:320:9:320:12 | A(...) [A] | main.rs:320:11:320:11 | n | provenance | |
| main.rs:320:11:320:11 | n | main.rs:320:29:320:29 | n | provenance | |
| main.rs:334:9:334:10 | s1 [C] | main.rs:338:11:338:12 | s1 [C] | provenance | |
| main.rs:334:14:336:5 | ...::C {...} [C] | main.rs:334:9:334:10 | s1 [C] | provenance | |
| main.rs:335:18:335:27 | source(...) | main.rs:334:14:336:5 | ...::C {...} [C] | provenance | |
| main.rs:338:11:338:12 | s1 [C] | main.rs:339:9:339:38 | ...::C {...} [C] | provenance | |
| main.rs:338:11:338:12 | s1 [C] | main.rs:342:11:342:12 | s1 [C] | provenance | |
| main.rs:339:9:339:38 | ...::C {...} [C] | main.rs:339:36:339:36 | n | provenance | |
| main.rs:339:36:339:36 | n | main.rs:339:48:339:48 | n | provenance | |
| main.rs:342:11:342:12 | s1 [C] | main.rs:343:9:343:38 | ...::C {...} [C] | provenance | |
| main.rs:343:9:343:38 | ...::C {...} [C] | main.rs:343:36:343:36 | n | provenance | |
| main.rs:343:36:343:36 | n | main.rs:343:81:343:81 | n | provenance | |
| main.rs:354:9:354:10 | s1 [C] | main.rs:358:11:358:12 | s1 [C] | provenance | |
| main.rs:354:14:356:5 | C {...} [C] | main.rs:354:9:354:10 | s1 [C] | provenance | |
| main.rs:355:18:355:27 | source(...) | main.rs:354:14:356:5 | C {...} [C] | provenance | |
| main.rs:358:11:358:12 | s1 [C] | main.rs:359:9:359:24 | C {...} [C] | provenance | |
| main.rs:358:11:358:12 | s1 [C] | main.rs:362:11:362:12 | s1 [C] | provenance | |
| main.rs:359:9:359:24 | C {...} [C] | main.rs:359:22:359:22 | n | provenance | |
| main.rs:359:22:359:22 | n | main.rs:359:34:359:34 | n | provenance | |
| main.rs:362:11:362:12 | s1 [C] | main.rs:363:9:363:24 | C {...} [C] | provenance | |
| main.rs:363:9:363:24 | C {...} [C] | main.rs:363:22:363:22 | n | provenance | |
| main.rs:363:22:363:22 | n | main.rs:363:53:363:53 | n | provenance | |
| main.rs:375:9:375:12 | arr1 [element] | main.rs:376:14:376:17 | arr1 [element] | provenance | |
| main.rs:375:16:375:33 | [...] [element] | main.rs:375:9:375:12 | arr1 [element] | provenance | |
| main.rs:375:23:375:32 | source(...) | main.rs:375:16:375:33 | [...] [element] | provenance | |
| main.rs:376:9:376:10 | n1 | main.rs:377:10:377:11 | n1 | provenance | |
| main.rs:376:14:376:17 | arr1 [element] | main.rs:376:14:376:20 | arr1[2] | provenance | |
| main.rs:376:14:376:20 | arr1[2] | main.rs:376:9:376:10 | n1 | provenance | |
| main.rs:379:9:379:12 | arr2 [element] | main.rs:380:14:380:17 | arr2 [element] | provenance | |
| main.rs:379:16:379:31 | [...; 10] [element] | main.rs:379:9:379:12 | arr2 [element] | provenance | |
| main.rs:379:17:379:26 | source(...) | main.rs:379:16:379:31 | [...; 10] [element] | provenance | |
| main.rs:380:9:380:10 | n2 | main.rs:381:10:381:11 | n2 | provenance | |
| main.rs:380:14:380:17 | arr2 [element] | main.rs:380:14:380:20 | arr2[4] | provenance | |
| main.rs:380:14:380:20 | arr2[4] | main.rs:380:9:380:10 | n2 | provenance | |
| main.rs:389:9:389:12 | arr1 [element] | main.rs:390:15:390:18 | arr1 [element] | provenance | |
| main.rs:389:16:389:33 | [...] [element] | main.rs:389:9:389:12 | arr1 [element] | provenance | |
| main.rs:389:23:389:32 | source(...) | main.rs:389:16:389:33 | [...] [element] | provenance | |
| main.rs:390:9:390:10 | n1 | main.rs:391:14:391:15 | n1 | provenance | |
| main.rs:390:15:390:18 | arr1 [element] | main.rs:390:9:390:10 | n1 | provenance | |
| main.rs:401:9:401:12 | arr1 [element] | main.rs:402:11:402:14 | arr1 [element] | provenance | |
| main.rs:401:16:401:33 | [...] [element] | main.rs:401:9:401:12 | arr1 [element] | provenance | |
| main.rs:401:23:401:32 | source(...) | main.rs:401:16:401:33 | [...] [element] | provenance | |
| main.rs:402:11:402:14 | arr1 [element] | main.rs:403:9:403:17 | SlicePat [element] | provenance | |
| main.rs:403:9:403:17 | SlicePat [element] | main.rs:403:10:403:10 | a | provenance | |
| main.rs:403:9:403:17 | SlicePat [element] | main.rs:403:13:403:13 | b | provenance | |
| main.rs:403:9:403:17 | SlicePat [element] | main.rs:403:16:403:16 | c | provenance | |
| main.rs:403:10:403:10 | a | main.rs:404:18:404:18 | a | provenance | |
| main.rs:403:13:403:13 | b | main.rs:405:18:405:18 | b | provenance | |
| main.rs:403:16:403:16 | c | main.rs:406:18:406:18 | c | provenance | |
| main.rs:415:5:415:11 | [post] mut_arr [element] | main.rs:416:13:416:19 | mut_arr [element] | provenance | |
| main.rs:415:5:415:11 | [post] mut_arr [element] | main.rs:418:10:418:16 | mut_arr [element] | provenance | |
| main.rs:415:18:415:27 | source(...) | main.rs:415:5:415:11 | [post] mut_arr [element] | provenance | |
| main.rs:416:9:416:9 | d | main.rs:417:10:417:10 | d | provenance | |
| main.rs:416:13:416:19 | mut_arr [element] | main.rs:416:13:416:22 | mut_arr[1] | provenance | |
| main.rs:416:13:416:22 | mut_arr[1] | main.rs:416:9:416:9 | d | provenance | |
| main.rs:418:10:418:16 | mut_arr [element] | main.rs:418:10:418:19 | mut_arr[0] | provenance | |
| main.rs:441:9:441:9 | s | main.rs:442:10:442:10 | s | provenance | |
| main.rs:441:25:441:26 | source(...) | main.rs:441:9:441:9 | s | provenance | |
nodes
| main.rs:15:10:15:18 | source(...) | semmle.label | source(...) |
| main.rs:19:9:19:9 | s | semmle.label | s |
@@ -240,165 +242,167 @@ nodes
| main.rs:151:9:151:28 | Point {...} [Point.x] | semmle.label | Point {...} [Point.x] |
| main.rs:151:20:151:20 | a | semmle.label | a |
| main.rs:152:10:152:10 | a | semmle.label | a |
| main.rs:175:9:175:9 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:175:13:181:5 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:176:16:179:9 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:178:16:178:25 | source(...) | semmle.label | source(...) |
| main.rs:182:11:182:11 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:183:9:186:9 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:184:20:184:33 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:184:31:184:31 | y | semmle.label | y |
| main.rs:188:18:188:18 | y | semmle.label | y |
| main.rs:197:9:197:9 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:197:13:197:40 | MyTupleStruct(...) [MyTupleStruct(0)] | semmle.label | MyTupleStruct(...) [MyTupleStruct(0)] |
| main.rs:197:27:197:36 | source(...) | semmle.label | source(...) |
| main.rs:201:11:201:11 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:202:9:202:27 | MyTupleStruct(...) [MyTupleStruct(0)] | semmle.label | MyTupleStruct(...) [MyTupleStruct(0)] |
| main.rs:202:23:202:23 | x | semmle.label | x |
| main.rs:203:18:203:18 | x | semmle.label | x |
| main.rs:213:9:213:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:213:14:213:37 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| main.rs:213:27:213:36 | source(...) | semmle.label | source(...) |
| main.rs:215:11:215:12 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:216:9:216:23 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| main.rs:216:22:216:22 | n | semmle.label | n |
| main.rs:216:33:216:33 | n | semmle.label | n |
| main.rs:226:9:226:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:226:14:226:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:226:19:226:28 | source(...) | semmle.label | source(...) |
| main.rs:228:11:228:12 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:229:9:229:15 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:229:14:229:14 | n | semmle.label | n |
| main.rs:229:25:229:25 | n | semmle.label | n |
| main.rs:239:9:239:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:239:14:239:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:239:19:239:28 | source(...) | semmle.label | source(...) |
| main.rs:240:10:240:11 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:240:10:240:20 | s1.unwrap(...) | semmle.label | s1.unwrap(...) |
| main.rs:244:9:244:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:244:14:244:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:244:19:244:28 | source(...) | semmle.label | source(...) |
| main.rs:245:10:245:11 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:245:10:245:24 | s1.unwrap_or(...) | semmle.label | s1.unwrap_or(...) |
| main.rs:248:10:248:33 | s2.unwrap_or(...) | semmle.label | s2.unwrap_or(...) |
| main.rs:248:23:248:32 | source(...) | semmle.label | source(...) |
| main.rs:252:9:252:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:252:14:252:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:252:19:252:28 | source(...) | semmle.label | source(...) |
| main.rs:253:10:253:11 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:253:10:253:32 | s1.unwrap_or_else(...) | semmle.label | s1.unwrap_or_else(...) |
| main.rs:256:10:256:41 | s2.unwrap_or_else(...) | semmle.label | s2.unwrap_or_else(...) |
| main.rs:256:31:256:40 | source(...) | semmle.label | source(...) |
| main.rs:260:9:260:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:260:14:260:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:260:19:260:28 | source(...) | semmle.label | source(...) |
| main.rs:262:9:262:10 | i1 | semmle.label | i1 |
| main.rs:262:14:262:15 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:262:14:262:16 | TryExpr | semmle.label | TryExpr |
| main.rs:263:10:263:11 | i1 | semmle.label | i1 |
| main.rs:269:9:269:10 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:269:32:269:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:269:35:269:44 | source(...) | semmle.label | source(...) |
| main.rs:272:9:272:10 | i1 | semmle.label | i1 |
| main.rs:272:14:272:15 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:272:14:272:16 | TryExpr | semmle.label | TryExpr |
| main.rs:274:10:274:11 | i1 | semmle.label | i1 |
| main.rs:282:9:282:10 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:282:32:282:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:282:35:282:44 | source(...) | semmle.label | source(...) |
| main.rs:283:10:283:11 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:283:10:283:22 | s1.expect(...) | semmle.label | s1.expect(...) |
| main.rs:286:9:286:10 | s2 [Err] | semmle.label | s2 [Err] |
| main.rs:286:32:286:46 | Err(...) [Err] | semmle.label | Err(...) [Err] |
| main.rs:286:36:286:45 | source(...) | semmle.label | source(...) |
| main.rs:288:10:288:11 | s2 [Err] | semmle.label | s2 [Err] |
| main.rs:288:10:288:26 | s2.expect_err(...) | semmle.label | s2.expect_err(...) |
| main.rs:297:9:297:10 | s1 [A] | semmle.label | s1 [A] |
| main.rs:297:14:297:39 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:297:29:297:38 | source(...) | semmle.label | source(...) |
| main.rs:299:11:299:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:300:9:300:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:300:24:300:24 | n | semmle.label | n |
| main.rs:300:35:300:35 | n | semmle.label | n |
| main.rs:303:11:303:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:304:9:304:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:304:24:304:24 | n | semmle.label | n |
| main.rs:304:55:304:55 | n | semmle.label | n |
| main.rs:315:9:315:10 | s1 [A] | semmle.label | s1 [A] |
| main.rs:315:14:315:26 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:315:16:315:25 | source(...) | semmle.label | source(...) |
| main.rs:317:11:317:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:318:9:318:12 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:318:11:318:11 | n | semmle.label | n |
| main.rs:318:22:318:22 | n | semmle.label | n |
| main.rs:321:11:321:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:322:9:322:12 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:322:11:322:11 | n | semmle.label | n |
| main.rs:322:29:322:29 | n | semmle.label | n |
| main.rs:336:9:336:10 | s1 [C] | semmle.label | s1 [C] |
| main.rs:336:14:338:5 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:337:18:337:27 | source(...) | semmle.label | source(...) |
| main.rs:340:11:340:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:341:9:341:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:341:36:341:36 | n | semmle.label | n |
| main.rs:341:48:341:48 | n | semmle.label | n |
| main.rs:344:11:344:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:345:9:345:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:345:36:345:36 | n | semmle.label | n |
| main.rs:345:81:345:81 | n | semmle.label | n |
| main.rs:356:9:356:10 | s1 [C] | semmle.label | s1 [C] |
| main.rs:356:14:358:5 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:357:18:357:27 | source(...) | semmle.label | source(...) |
| main.rs:360:11:360:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:361:9:361:24 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:361:22:361:22 | n | semmle.label | n |
| main.rs:361:34:361:34 | n | semmle.label | n |
| main.rs:364:11:364:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:365:9:365:24 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:365:22:365:22 | n | semmle.label | n |
| main.rs:365:53:365:53 | n | semmle.label | n |
| main.rs:377:9:377:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:377:16:377:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:377:23:377:32 | source(...) | semmle.label | source(...) |
| main.rs:378:9:378:10 | n1 | semmle.label | n1 |
| main.rs:378:14:378:17 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:378:14:378:20 | arr1[2] | semmle.label | arr1[2] |
| main.rs:379:10:379:11 | n1 | semmle.label | n1 |
| main.rs:381:9:381:12 | arr2 [element] | semmle.label | arr2 [element] |
| main.rs:381:16:381:31 | [...; 10] [element] | semmle.label | [...; 10] [element] |
| main.rs:381:17:381:26 | source(...) | semmle.label | source(...) |
| main.rs:382:9:382:10 | n2 | semmle.label | n2 |
| main.rs:382:14:382:17 | arr2 [element] | semmle.label | arr2 [element] |
| main.rs:382:14:382:20 | arr2[4] | semmle.label | arr2[4] |
| main.rs:383:10:383:11 | n2 | semmle.label | n2 |
| main.rs:391:9:391:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:391:16:391:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:391:23:391:32 | source(...) | semmle.label | source(...) |
| main.rs:392:9:392:10 | n1 | semmle.label | n1 |
| main.rs:392:15:392:18 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:393:14:393:15 | n1 | semmle.label | n1 |
| main.rs:403:9:403:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:403:16:403:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:403:23:403:32 | source(...) | semmle.label | source(...) |
| main.rs:404:11:404:14 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:405:9:405:17 | SlicePat [element] | semmle.label | SlicePat [element] |
| main.rs:405:10:405:10 | a | semmle.label | a |
| main.rs:405:13:405:13 | b | semmle.label | b |
| main.rs:405:16:405:16 | c | semmle.label | c |
| main.rs:406:18:406:18 | a | semmle.label | a |
| main.rs:407:18:407:18 | b | semmle.label | b |
| main.rs:408:18:408:18 | c | semmle.label | c |
| main.rs:417:5:417:11 | [post] mut_arr [element] | semmle.label | [post] mut_arr [element] |
| main.rs:417:18:417:27 | source(...) | semmle.label | source(...) |
| main.rs:418:9:418:9 | d | semmle.label | d |
| main.rs:418:13:418:19 | mut_arr [element] | semmle.label | mut_arr [element] |
| main.rs:418:13:418:22 | mut_arr[1] | semmle.label | mut_arr[1] |
| main.rs:419:10:419:10 | d | semmle.label | d |
| main.rs:420:10:420:16 | mut_arr [element] | semmle.label | mut_arr [element] |
| main.rs:420:10:420:19 | mut_arr[0] | semmle.label | mut_arr[0] |
| main.rs:443:9:443:9 | s | semmle.label | s |
| main.rs:443:25:443:26 | source(...) | semmle.label | source(...) |
| main.rs:444:10:444:10 | s | semmle.label | s |
| main.rs:175:9:175:9 | y | semmle.label | y |
| main.rs:175:13:175:22 | source(...) | semmle.label | source(...) |
| main.rs:176:9:176:9 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:176:13:179:5 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:177:16:177:32 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:177:30:177:30 | y | semmle.label | y |
| main.rs:180:11:180:11 | p [Point3D.plane, Point.y] | semmle.label | p [Point3D.plane, Point.y] |
| main.rs:181:9:184:9 | Point3D {...} [Point3D.plane, Point.y] | semmle.label | Point3D {...} [Point3D.plane, Point.y] |
| main.rs:182:20:182:33 | Point {...} [Point.y] | semmle.label | Point {...} [Point.y] |
| main.rs:182:31:182:31 | y | semmle.label | y |
| main.rs:186:18:186:18 | y | semmle.label | y |
| main.rs:195:9:195:9 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:195:13:195:40 | MyTupleStruct(...) [MyTupleStruct(0)] | semmle.label | MyTupleStruct(...) [MyTupleStruct(0)] |
| main.rs:195:27:195:36 | source(...) | semmle.label | source(...) |
| main.rs:199:11:199:11 | s [MyTupleStruct(0)] | semmle.label | s [MyTupleStruct(0)] |
| main.rs:200:9:200:27 | MyTupleStruct(...) [MyTupleStruct(0)] | semmle.label | MyTupleStruct(...) [MyTupleStruct(0)] |
| main.rs:200:23:200:23 | x | semmle.label | x |
| main.rs:201:18:201:18 | x | semmle.label | x |
| main.rs:211:9:211:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:211:14:211:37 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| main.rs:211:27:211:36 | source(...) | semmle.label | source(...) |
| main.rs:213:11:213:12 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:214:9:214:23 | ...::Some(...) [Some] | semmle.label | ...::Some(...) [Some] |
| main.rs:214:22:214:22 | n | semmle.label | n |
| main.rs:214:33:214:33 | n | semmle.label | n |
| main.rs:224:9:224:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:224:14:224:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:224:19:224:28 | source(...) | semmle.label | source(...) |
| main.rs:226:11:226:12 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:227:9:227:15 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:227:14:227:14 | n | semmle.label | n |
| main.rs:227:25:227:25 | n | semmle.label | n |
| main.rs:237:9:237:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:237:14:237:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:237:19:237:28 | source(...) | semmle.label | source(...) |
| main.rs:238:10:238:11 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:238:10:238:20 | s1.unwrap(...) | semmle.label | s1.unwrap(...) |
| main.rs:242:9:242:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:242:14:242:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:242:19:242:28 | source(...) | semmle.label | source(...) |
| main.rs:243:10:243:11 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:243:10:243:24 | s1.unwrap_or(...) | semmle.label | s1.unwrap_or(...) |
| main.rs:246:10:246:33 | s2.unwrap_or(...) | semmle.label | s2.unwrap_or(...) |
| main.rs:246:23:246:32 | source(...) | semmle.label | source(...) |
| main.rs:250:9:250:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:250:14:250:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:250:19:250:28 | source(...) | semmle.label | source(...) |
| main.rs:251:10:251:11 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:251:10:251:32 | s1.unwrap_or_else(...) | semmle.label | s1.unwrap_or_else(...) |
| main.rs:254:10:254:41 | s2.unwrap_or_else(...) | semmle.label | s2.unwrap_or_else(...) |
| main.rs:254:31:254:40 | source(...) | semmle.label | source(...) |
| main.rs:258:9:258:10 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:258:14:258:29 | Some(...) [Some] | semmle.label | Some(...) [Some] |
| main.rs:258:19:258:28 | source(...) | semmle.label | source(...) |
| main.rs:260:9:260:10 | i1 | semmle.label | i1 |
| main.rs:260:14:260:15 | s1 [Some] | semmle.label | s1 [Some] |
| main.rs:260:14:260:16 | TryExpr | semmle.label | TryExpr |
| main.rs:261:10:261:11 | i1 | semmle.label | i1 |
| main.rs:267:9:267:10 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:267:32:267:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:267:35:267:44 | source(...) | semmle.label | source(...) |
| main.rs:270:9:270:10 | i1 | semmle.label | i1 |
| main.rs:270:14:270:15 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:270:14:270:16 | TryExpr | semmle.label | TryExpr |
| main.rs:272:10:272:11 | i1 | semmle.label | i1 |
| main.rs:280:9:280:10 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:280:32:280:45 | Ok(...) [Ok] | semmle.label | Ok(...) [Ok] |
| main.rs:280:35:280:44 | source(...) | semmle.label | source(...) |
| main.rs:281:10:281:11 | s1 [Ok] | semmle.label | s1 [Ok] |
| main.rs:281:10:281:22 | s1.expect(...) | semmle.label | s1.expect(...) |
| main.rs:284:9:284:10 | s2 [Err] | semmle.label | s2 [Err] |
| main.rs:284:32:284:46 | Err(...) [Err] | semmle.label | Err(...) [Err] |
| main.rs:284:36:284:45 | source(...) | semmle.label | source(...) |
| main.rs:286:10:286:11 | s2 [Err] | semmle.label | s2 [Err] |
| main.rs:286:10:286:26 | s2.expect_err(...) | semmle.label | s2.expect_err(...) |
| main.rs:295:9:295:10 | s1 [A] | semmle.label | s1 [A] |
| main.rs:295:14:295:39 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:295:29:295:38 | source(...) | semmle.label | source(...) |
| main.rs:297:11:297:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:298:9:298:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:298:24:298:24 | n | semmle.label | n |
| main.rs:298:35:298:35 | n | semmle.label | n |
| main.rs:301:11:301:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:302:9:302:25 | ...::A(...) [A] | semmle.label | ...::A(...) [A] |
| main.rs:302:24:302:24 | n | semmle.label | n |
| main.rs:302:55:302:55 | n | semmle.label | n |
| main.rs:313:9:313:10 | s1 [A] | semmle.label | s1 [A] |
| main.rs:313:14:313:26 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:313:16:313:25 | source(...) | semmle.label | source(...) |
| main.rs:315:11:315:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:316:9:316:12 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:316:11:316:11 | n | semmle.label | n |
| main.rs:316:22:316:22 | n | semmle.label | n |
| main.rs:319:11:319:12 | s1 [A] | semmle.label | s1 [A] |
| main.rs:320:9:320:12 | A(...) [A] | semmle.label | A(...) [A] |
| main.rs:320:11:320:11 | n | semmle.label | n |
| main.rs:320:29:320:29 | n | semmle.label | n |
| main.rs:334:9:334:10 | s1 [C] | semmle.label | s1 [C] |
| main.rs:334:14:336:5 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:335:18:335:27 | source(...) | semmle.label | source(...) |
| main.rs:338:11:338:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:339:9:339:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:339:36:339:36 | n | semmle.label | n |
| main.rs:339:48:339:48 | n | semmle.label | n |
| main.rs:342:11:342:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:343:9:343:38 | ...::C {...} [C] | semmle.label | ...::C {...} [C] |
| main.rs:343:36:343:36 | n | semmle.label | n |
| main.rs:343:81:343:81 | n | semmle.label | n |
| main.rs:354:9:354:10 | s1 [C] | semmle.label | s1 [C] |
| main.rs:354:14:356:5 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:355:18:355:27 | source(...) | semmle.label | source(...) |
| main.rs:358:11:358:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:359:9:359:24 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:359:22:359:22 | n | semmle.label | n |
| main.rs:359:34:359:34 | n | semmle.label | n |
| main.rs:362:11:362:12 | s1 [C] | semmle.label | s1 [C] |
| main.rs:363:9:363:24 | C {...} [C] | semmle.label | C {...} [C] |
| main.rs:363:22:363:22 | n | semmle.label | n |
| main.rs:363:53:363:53 | n | semmle.label | n |
| main.rs:375:9:375:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:375:16:375:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:375:23:375:32 | source(...) | semmle.label | source(...) |
| main.rs:376:9:376:10 | n1 | semmle.label | n1 |
| main.rs:376:14:376:17 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:376:14:376:20 | arr1[2] | semmle.label | arr1[2] |
| main.rs:377:10:377:11 | n1 | semmle.label | n1 |
| main.rs:379:9:379:12 | arr2 [element] | semmle.label | arr2 [element] |
| main.rs:379:16:379:31 | [...; 10] [element] | semmle.label | [...; 10] [element] |
| main.rs:379:17:379:26 | source(...) | semmle.label | source(...) |
| main.rs:380:9:380:10 | n2 | semmle.label | n2 |
| main.rs:380:14:380:17 | arr2 [element] | semmle.label | arr2 [element] |
| main.rs:380:14:380:20 | arr2[4] | semmle.label | arr2[4] |
| main.rs:381:10:381:11 | n2 | semmle.label | n2 |
| main.rs:389:9:389:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:389:16:389:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:389:23:389:32 | source(...) | semmle.label | source(...) |
| main.rs:390:9:390:10 | n1 | semmle.label | n1 |
| main.rs:390:15:390:18 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:391:14:391:15 | n1 | semmle.label | n1 |
| main.rs:401:9:401:12 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:401:16:401:33 | [...] [element] | semmle.label | [...] [element] |
| main.rs:401:23:401:32 | source(...) | semmle.label | source(...) |
| main.rs:402:11:402:14 | arr1 [element] | semmle.label | arr1 [element] |
| main.rs:403:9:403:17 | SlicePat [element] | semmle.label | SlicePat [element] |
| main.rs:403:10:403:10 | a | semmle.label | a |
| main.rs:403:13:403:13 | b | semmle.label | b |
| main.rs:403:16:403:16 | c | semmle.label | c |
| main.rs:404:18:404:18 | a | semmle.label | a |
| main.rs:405:18:405:18 | b | semmle.label | b |
| main.rs:406:18:406:18 | c | semmle.label | c |
| main.rs:415:5:415:11 | [post] mut_arr [element] | semmle.label | [post] mut_arr [element] |
| main.rs:415:18:415:27 | source(...) | semmle.label | source(...) |
| main.rs:416:9:416:9 | d | semmle.label | d |
| main.rs:416:13:416:19 | mut_arr [element] | semmle.label | mut_arr [element] |
| main.rs:416:13:416:22 | mut_arr[1] | semmle.label | mut_arr[1] |
| main.rs:417:10:417:10 | d | semmle.label | d |
| main.rs:418:10:418:16 | mut_arr [element] | semmle.label | mut_arr [element] |
| main.rs:418:10:418:19 | mut_arr[0] | semmle.label | mut_arr[0] |
| main.rs:441:9:441:9 | s | semmle.label | s |
| main.rs:441:25:441:26 | source(...) | semmle.label | source(...) |
| main.rs:442:10:442:10 | s | semmle.label | s |
subpaths
testFailures
#select
@@ -414,33 +418,33 @@ testFailures
| main.rs:113:10:113:12 | a.0 | main.rs:111:11:111:20 | source(...) | main.rs:113:10:113:12 | a.0 | $@ | main.rs:111:11:111:20 | source(...) | source(...) |
| main.rs:121:10:121:15 | ... .1 | main.rs:118:17:118:26 | source(...) | main.rs:121:10:121:15 | ... .1 | $@ | main.rs:118:17:118:26 | source(...) | source(...) |
| main.rs:152:10:152:10 | a | main.rs:148:12:148:21 | source(...) | main.rs:152:10:152:10 | a | $@ | main.rs:148:12:148:21 | source(...) | source(...) |
| main.rs:188:18:188:18 | y | main.rs:178:16:178:25 | source(...) | main.rs:188:18:188:18 | y | $@ | main.rs:178:16:178:25 | source(...) | source(...) |
| main.rs:203:18:203:18 | x | main.rs:197:27:197:36 | source(...) | main.rs:203:18:203:18 | x | $@ | main.rs:197:27:197:36 | source(...) | source(...) |
| main.rs:216:33:216:33 | n | main.rs:213:27:213:36 | source(...) | main.rs:216:33:216:33 | n | $@ | main.rs:213:27:213:36 | source(...) | source(...) |
| main.rs:229:25:229:25 | n | main.rs:226:19:226:28 | source(...) | main.rs:229:25:229:25 | n | $@ | main.rs:226:19:226:28 | source(...) | source(...) |
| main.rs:240:10:240:20 | s1.unwrap(...) | main.rs:239:19:239:28 | source(...) | main.rs:240:10:240:20 | s1.unwrap(...) | $@ | main.rs:239:19:239:28 | source(...) | source(...) |
| main.rs:245:10:245:24 | s1.unwrap_or(...) | main.rs:244:19:244:28 | source(...) | main.rs:245:10:245:24 | s1.unwrap_or(...) | $@ | main.rs:244:19:244:28 | source(...) | source(...) |
| main.rs:248:10:248:33 | s2.unwrap_or(...) | main.rs:248:23:248:32 | source(...) | main.rs:248:10:248:33 | s2.unwrap_or(...) | $@ | main.rs:248:23:248:32 | source(...) | source(...) |
| main.rs:253:10:253:32 | s1.unwrap_or_else(...) | main.rs:252:19:252:28 | source(...) | main.rs:253:10:253:32 | s1.unwrap_or_else(...) | $@ | main.rs:252:19:252:28 | source(...) | source(...) |
| main.rs:256:10:256:41 | s2.unwrap_or_else(...) | main.rs:256:31:256:40 | source(...) | main.rs:256:10:256:41 | s2.unwrap_or_else(...) | $@ | main.rs:256:31:256:40 | source(...) | source(...) |
| main.rs:263:10:263:11 | i1 | main.rs:260:19:260:28 | source(...) | main.rs:263:10:263:11 | i1 | $@ | main.rs:260:19:260:28 | source(...) | source(...) |
| main.rs:274:10:274:11 | i1 | main.rs:269:35:269:44 | source(...) | main.rs:274:10:274:11 | i1 | $@ | main.rs:269:35:269:44 | source(...) | source(...) |
| main.rs:283:10:283:22 | s1.expect(...) | main.rs:282:35:282:44 | source(...) | main.rs:283:10:283:22 | s1.expect(...) | $@ | main.rs:282:35:282:44 | source(...) | source(...) |
| main.rs:288:10:288:26 | s2.expect_err(...) | main.rs:286:36:286:45 | source(...) | main.rs:288:10:288:26 | s2.expect_err(...) | $@ | main.rs:286:36:286:45 | source(...) | source(...) |
| main.rs:300:35:300:35 | n | main.rs:297:29:297:38 | source(...) | main.rs:300:35:300:35 | n | $@ | main.rs:297:29:297:38 | source(...) | source(...) |
| main.rs:304:55:304:55 | n | main.rs:297:29:297:38 | source(...) | main.rs:304:55:304:55 | n | $@ | main.rs:297:29:297:38 | source(...) | source(...) |
| main.rs:318:22:318:22 | n | main.rs:315:16:315:25 | source(...) | main.rs:318:22:318:22 | n | $@ | main.rs:315:16:315:25 | source(...) | source(...) |
| main.rs:322:29:322:29 | n | main.rs:315:16:315:25 | source(...) | main.rs:322:29:322:29 | n | $@ | main.rs:315:16:315:25 | source(...) | source(...) |
| main.rs:341:48:341:48 | n | main.rs:337:18:337:27 | source(...) | main.rs:341:48:341:48 | n | $@ | main.rs:337:18:337:27 | source(...) | source(...) |
| main.rs:345:81:345:81 | n | main.rs:337:18:337:27 | source(...) | main.rs:345:81:345:81 | n | $@ | main.rs:337:18:337:27 | source(...) | source(...) |
| main.rs:361:34:361:34 | n | main.rs:357:18:357:27 | source(...) | main.rs:361:34:361:34 | n | $@ | main.rs:357:18:357:27 | source(...) | source(...) |
| main.rs:365:53:365:53 | n | main.rs:357:18:357:27 | source(...) | main.rs:365:53:365:53 | n | $@ | main.rs:357:18:357:27 | source(...) | source(...) |
| main.rs:379:10:379:11 | n1 | main.rs:377:23:377:32 | source(...) | main.rs:379:10:379:11 | n1 | $@ | main.rs:377:23:377:32 | source(...) | source(...) |
| main.rs:383:10:383:11 | n2 | main.rs:381:17:381:26 | source(...) | main.rs:383:10:383:11 | n2 | $@ | main.rs:381:17:381:26 | source(...) | source(...) |
| main.rs:393:14:393:15 | n1 | main.rs:391:23:391:32 | source(...) | main.rs:393:14:393:15 | n1 | $@ | main.rs:391:23:391:32 | source(...) | source(...) |
| main.rs:406:18:406:18 | a | main.rs:403:23:403:32 | source(...) | main.rs:406:18:406:18 | a | $@ | main.rs:403:23:403:32 | source(...) | source(...) |
| main.rs:407:18:407:18 | b | main.rs:403:23:403:32 | source(...) | main.rs:407:18:407:18 | b | $@ | main.rs:403:23:403:32 | source(...) | source(...) |
| main.rs:408:18:408:18 | c | main.rs:403:23:403:32 | source(...) | main.rs:408:18:408:18 | c | $@ | main.rs:403:23:403:32 | source(...) | source(...) |
| main.rs:419:10:419:10 | d | main.rs:417:18:417:27 | source(...) | main.rs:419:10:419:10 | d | $@ | main.rs:417:18:417:27 | source(...) | source(...) |
| main.rs:420:10:420:19 | mut_arr[0] | main.rs:417:18:417:27 | source(...) | main.rs:420:10:420:19 | mut_arr[0] | $@ | main.rs:417:18:417:27 | source(...) | source(...) |
| main.rs:444:10:444:10 | s | main.rs:443:25:443:26 | source(...) | main.rs:444:10:444:10 | s | $@ | main.rs:443:25:443:26 | source(...) | source(...) |
| main.rs:186:18:186:18 | y | main.rs:175:13:175:22 | source(...) | main.rs:186:18:186:18 | y | $@ | main.rs:175:13:175:22 | source(...) | source(...) |
| main.rs:201:18:201:18 | x | main.rs:195:27:195:36 | source(...) | main.rs:201:18:201:18 | x | $@ | main.rs:195:27:195:36 | source(...) | source(...) |
| main.rs:214:33:214:33 | n | main.rs:211:27:211:36 | source(...) | main.rs:214:33:214:33 | n | $@ | main.rs:211:27:211:36 | source(...) | source(...) |
| main.rs:227:25:227:25 | n | main.rs:224:19:224:28 | source(...) | main.rs:227:25:227:25 | n | $@ | main.rs:224:19:224:28 | source(...) | source(...) |
| main.rs:238:10:238:20 | s1.unwrap(...) | main.rs:237:19:237:28 | source(...) | main.rs:238:10:238:20 | s1.unwrap(...) | $@ | main.rs:237:19:237:28 | source(...) | source(...) |
| main.rs:243:10:243:24 | s1.unwrap_or(...) | main.rs:242:19:242:28 | source(...) | main.rs:243:10:243:24 | s1.unwrap_or(...) | $@ | main.rs:242:19:242:28 | source(...) | source(...) |
| main.rs:246:10:246:33 | s2.unwrap_or(...) | main.rs:246:23:246:32 | source(...) | main.rs:246:10:246:33 | s2.unwrap_or(...) | $@ | main.rs:246:23:246:32 | source(...) | source(...) |
| main.rs:251:10:251:32 | s1.unwrap_or_else(...) | main.rs:250:19:250:28 | source(...) | main.rs:251:10:251:32 | s1.unwrap_or_else(...) | $@ | main.rs:250:19:250:28 | source(...) | source(...) |
| main.rs:254:10:254:41 | s2.unwrap_or_else(...) | main.rs:254:31:254:40 | source(...) | main.rs:254:10:254:41 | s2.unwrap_or_else(...) | $@ | main.rs:254:31:254:40 | source(...) | source(...) |
| main.rs:261:10:261:11 | i1 | main.rs:258:19:258:28 | source(...) | main.rs:261:10:261:11 | i1 | $@ | main.rs:258:19:258:28 | source(...) | source(...) |
| main.rs:272:10:272:11 | i1 | main.rs:267:35:267:44 | source(...) | main.rs:272:10:272:11 | i1 | $@ | main.rs:267:35:267:44 | source(...) | source(...) |
| main.rs:281:10:281:22 | s1.expect(...) | main.rs:280:35:280:44 | source(...) | main.rs:281:10:281:22 | s1.expect(...) | $@ | main.rs:280:35:280:44 | source(...) | source(...) |
| main.rs:286:10:286:26 | s2.expect_err(...) | main.rs:284:36:284:45 | source(...) | main.rs:286:10:286:26 | s2.expect_err(...) | $@ | main.rs:284:36:284:45 | source(...) | source(...) |
| main.rs:298:35:298:35 | n | main.rs:295:29:295:38 | source(...) | main.rs:298:35:298:35 | n | $@ | main.rs:295:29:295:38 | source(...) | source(...) |
| main.rs:302:55:302:55 | n | main.rs:295:29:295:38 | source(...) | main.rs:302:55:302:55 | n | $@ | main.rs:295:29:295:38 | source(...) | source(...) |
| main.rs:316:22:316:22 | n | main.rs:313:16:313:25 | source(...) | main.rs:316:22:316:22 | n | $@ | main.rs:313:16:313:25 | source(...) | source(...) |
| main.rs:320:29:320:29 | n | main.rs:313:16:313:25 | source(...) | main.rs:320:29:320:29 | n | $@ | main.rs:313:16:313:25 | source(...) | source(...) |
| main.rs:339:48:339:48 | n | main.rs:335:18:335:27 | source(...) | main.rs:339:48:339:48 | n | $@ | main.rs:335:18:335:27 | source(...) | source(...) |
| main.rs:343:81:343:81 | n | main.rs:335:18:335:27 | source(...) | main.rs:343:81:343:81 | n | $@ | main.rs:335:18:335:27 | source(...) | source(...) |
| main.rs:359:34:359:34 | n | main.rs:355:18:355:27 | source(...) | main.rs:359:34:359:34 | n | $@ | main.rs:355:18:355:27 | source(...) | source(...) |
| main.rs:363:53:363:53 | n | main.rs:355:18:355:27 | source(...) | main.rs:363:53:363:53 | n | $@ | main.rs:355:18:355:27 | source(...) | source(...) |
| main.rs:377:10:377:11 | n1 | main.rs:375:23:375:32 | source(...) | main.rs:377:10:377:11 | n1 | $@ | main.rs:375:23:375:32 | source(...) | source(...) |
| main.rs:381:10:381:11 | n2 | main.rs:379:17:379:26 | source(...) | main.rs:381:10:381:11 | n2 | $@ | main.rs:379:17:379:26 | source(...) | source(...) |
| main.rs:391:14:391:15 | n1 | main.rs:389:23:389:32 | source(...) | main.rs:391:14:391:15 | n1 | $@ | main.rs:389:23:389:32 | source(...) | source(...) |
| main.rs:404:18:404:18 | a | main.rs:401:23:401:32 | source(...) | main.rs:404:18:404:18 | a | $@ | main.rs:401:23:401:32 | source(...) | source(...) |
| main.rs:405:18:405:18 | b | main.rs:401:23:401:32 | source(...) | main.rs:405:18:405:18 | b | $@ | main.rs:401:23:401:32 | source(...) | source(...) |
| main.rs:406:18:406:18 | c | main.rs:401:23:401:32 | source(...) | main.rs:406:18:406:18 | c | $@ | main.rs:401:23:401:32 | source(...) | source(...) |
| main.rs:417:10:417:10 | d | main.rs:415:18:415:27 | source(...) | main.rs:417:10:417:10 | d | $@ | main.rs:415:18:415:27 | source(...) | source(...) |
| main.rs:418:10:418:19 | mut_arr[0] | main.rs:415:18:415:27 | source(...) | main.rs:418:10:418:19 | mut_arr[0] | $@ | main.rs:415:18:415:27 | source(...) | source(...) |
| main.rs:442:10:442:10 | s | main.rs:441:25:441:26 | source(...) | main.rs:442:10:442:10 | s | $@ | main.rs:441:25:441:26 | source(...) | source(...) |

6
rust/ql/test/library-tests/dataflow/local/main.rs
View File

@@ -172,11 +172,9 @@ fn struct_nested_field() {
}
fn struct_nested_match() {
let y = source(93);
let p = Point3D {
plane: Point {
x: 2,
y: source(93),
},
plane: Point { x: 2, y },
z: 4,
};
match p {