hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-24 16:25:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #17786 from paldepind/rust-saa-additions

Browse Source 
Rust: SSA additions
This commit is contained in:
Tom Hvitved
2024-10-29 09:51:38 +01:00
committed by GitHub
parent 813ccb9c06 8f8564ddfd
commit 7ddc8f087d
7 changed files with 2323 additions and 2090 deletions
Download Patch File Download Diff File Expand all files Collapse all files

136
rust/ql/lib/codeql/rust/dataflow/internal/SsaImpl.qll
View File

@@ -49,24 +49,20 @@ module SsaInput implements SsaImplCommon::InputSig<Location> {
/**
* A variable amenable to SSA construction.
*
* All immutable variables are amenable. Mutable variables are restricted
* to those that are not captured by closures, and are not borrowed
* (either explicitly using `& mut`, or (potentially) implicit as borrowed
* receivers in a method call).
* All immutable variables are amenable. Mutable variables are restricted to
* those that are not borrowed (either explicitly using `& mut`, or
* (potentially) implicit as borrowed receivers in a method call).
*/
class SourceVariable extends Variable {
SourceVariable() {
this.isImmutable()
or
this.isMutable() and
not this.isCaptured() and
forall(VariableAccess va | va = this.getAnAccess() |
va instanceof VariableReadAccess and
this.isMutable()
implies
not exists(VariableAccess va | va = this.getAnAccess() |
va = any(RefExpr re | re.isMut()).getExpr()
or
// receivers can be borrowed implicitly, cf.
// https://doc.rust-lang.org/reference/expressions/method-call-expr.html
not va = any(MethodCallExpr mce).getReceiver()
or
variableWrite(va, this)
va = any(MethodCallExpr mce).getReceiver()
)
}
}
@@ -78,6 +74,8 @@ module SsaInput implements SsaImplCommon::InputSig<Location> {
capturedEntryWrite(bb, i, v)
) and
certain = true
or
capturedCallWrite(_, bb, i, v) and certain = false
}
predicate variableRead(BasicBlock bb, int i, SourceVariable v, boolean certain) {
@@ -102,6 +100,10 @@ module SsaInput implements SsaImplCommon::InputSig<Location> {
v = va.getVariable() and
certain = false
)
or
capturedCallRead(_, bb, i, v) and certain = false
or
capturedExitRead(bb, i, v) and certain = false
}
}
@@ -147,6 +149,35 @@ private predicate variableReadActual(BasicBlock bb, int i, Variable v) {
)
}
/**
* Holds if captured variable `v` is written directly inside `scope`,
* or inside a (transitively) nested scope of `scope`.
*/
pragma[noinline]
private predicate hasCapturedWrite(Variable v, Cfg::CfgScope scope) {
any(VariableWriteAccess write | write.getVariable() = v and scope = write.getEnclosingCallable+())
.isCapture()
}
/**
* Holds if `v` is read inside basic block `bb` at index `i`, which is in the
* immediate outer scope of `scope`.
*/
pragma[noinline]
private predicate variableReadActualInOuterScope(
BasicBlock bb, int i, Variable v, Cfg::CfgScope scope
) {
variableReadActual(bb, i, v) and bb.getScope() = scope.getEnclosingCallable()
}
pragma[noinline]
private predicate hasVariableReadWithCapturedWrite(
BasicBlock bb, int i, Variable v, Cfg::CfgScope scope
) {
hasCapturedWrite(v, scope) and
variableReadActualInOuterScope(bb, i, v, scope)
}
private predicate adjacentDefReachesRead(
Definition def, BasicBlock bb1, int i1, BasicBlock bb2, int i2
) {
@@ -207,16 +238,81 @@ private predicate lastRefSkipUncertainReadsExt(DefinitionExt def, BasicBlock bb,
)
}
/** Holds if `bb` contains a captured access to variable `v`. */
private VariableAccess getACapturedVariableAccess(BasicBlock bb, Variable v) {
result = bb.getANode().getAstNode() and
result.isCapture() and
result.getVariable() = v
}
/** Holds if `bb` contains a captured write to variable `v`. */
pragma[noinline]
private predicate writesCapturedVariable(BasicBlock bb, Variable v) {
getACapturedVariableAccess(bb, v) instanceof VariableWriteAccess
}
/** Holds if `bb` contains a captured read to variable `v`. */
pragma[nomagic]
private predicate hasCapturedVariableAccess(BasicBlock bb, Variable v) {
exists(VariableAccess read |
read = bb.getANode().getAstNode() and
read.isCapture() and
read.getVariable() = v
private predicate readsCapturedVariable(BasicBlock bb, Variable v) {
getACapturedVariableAccess(bb, v) instanceof VariableReadAccess
}
/**
* Holds if captured variable `v` is read directly inside `scope`,
* or inside a (transitively) nested scope of `scope`.
*/
pragma[noinline]
private predicate hasCapturedRead(Variable v, Cfg::CfgScope scope) {
any(VariableReadAccess read | read.getVariable() = v and scope = read.getEnclosingCallable+())
.isCapture()
}
/**
* Holds if `v` is written inside basic block `bb` at index `i`, which is in
* the immediate outer scope of `scope`.
*/
pragma[noinline]
private predicate variableWriteInOuterScope(BasicBlock bb, int i, Variable v, Cfg::CfgScope scope) {
SsaInput::variableWrite(bb, i, v, _) and scope.getEnclosingCallable() = bb.getScope()
}
/**
* Holds if the call `call` at index `i` in basic block `bb` may reach
* a callable that reads captured variable `v`.
*/
private predicate capturedCallRead(CallExprBase call, BasicBlock bb, int i, Variable v) {
exists(Cfg::CfgScope scope |
hasCapturedRead(v, scope) and
(
variableWriteInOuterScope(bb, any(int j | j < i), v, scope) or
variableWriteInOuterScope(bb.getAPredecessor+(), _, v, scope)
) and
call = bb.getNode(i).getAstNode()
)
}
/**
* Holds if the call `call` at index `i` in basic block `bb` may reach a callable
* that writes captured variable `v`.
*/
predicate capturedCallWrite(CallExprBase call, BasicBlock bb, int i, Variable v) {
call = bb.getNode(i).getAstNode() and
exists(Cfg::CfgScope scope |
hasVariableReadWithCapturedWrite(bb, any(int j | j > i), v, scope)
or
hasVariableReadWithCapturedWrite(bb.getASuccessor+(), _, v, scope)
)
}
/**
* Holds if a pseudo read of captured variable `v` should be inserted
* at index `i` in exit block `bb`.
*/
private predicate capturedExitRead(AnnotatedExitBasicBlock bb, int i, Variable v) {
bb.isNormal() and
writesCapturedVariable(bb.getAPredecessor*(), v) and
i = bb.length()
}
cached
private module Cached {
/**
@@ -225,7 +321,7 @@ private module Cached {
*/
cached
predicate capturedEntryWrite(EntryBasicBlock bb, int i, Variable v) {
hasCapturedVariableAccess(bb.getASuccessor*(), v) and
readsCapturedVariable(bb.getASuccessor*(), v) and
i = -1
}

2333
rust/ql/test/library-tests/variables/Cfg.expected
View File

File diff suppressed because it is too large Load Diff

1034
rust/ql/test/library-tests/variables/Ssa.expected
View File

File diff suppressed because it is too large Load Diff

854
rust/ql/test/library-tests/variables/variables.expected
View File

@@ -3,426 +3,454 @@ failures
variable
| variables.rs:3:14:3:14 | s |
| variables.rs:7:14:7:14 | i |
| variables.rs:12:9:12:10 | x1 |
| variables.rs:17:13:17:14 | x2 |
| variables.rs:24:9:24:10 | x3 |
| variables.rs:26:9:26:10 | x3 |
| variables.rs:32:9:32:10 | x4 |
| variables.rs:35:13:35:14 | x4 |
| variables.rs:49:13:49:14 | a1 |
| variables.rs:50:13:50:14 | b1 |
| variables.rs:53:13:53:13 | x |
| variables.rs:54:13:54:13 | y |
| variables.rs:64:9:64:10 | p1 |
| variables.rs:66:12:66:13 | a2 |
| variables.rs:67:12:67:13 | b2 |
| variables.rs:74:9:74:10 | s1 |
| variables.rs:76:21:76:22 | s2 |
| variables.rs:83:14:83:15 | x5 |
| variables.rs:91:9:91:10 | s1 |
| variables.rs:93:24:93:25 | s2 |
| variables.rs:100:9:100:10 | x6 |
| variables.rs:101:9:101:10 | y1 |
| variables.rs:105:14:105:15 | y1 |
| variables.rs:117:9:117:15 | numbers |
| variables.rs:121:13:121:17 | first |
| variables.rs:122:13:122:17 | third |
| variables.rs:123:13:123:17 | fifth |
| variables.rs:133:13:133:17 | first |
| variables.rs:135:13:135:16 | last |
| variables.rs:144:9:144:10 | p2 |
| variables.rs:148:16:148:17 | x7 |
| variables.rs:158:9:158:11 | msg |
| variables.rs:162:17:162:27 | id_variable |
| variables.rs:167:26:167:27 | id |
| variables.rs:178:9:178:14 | either |
| variables.rs:180:9:180:44 | a3 |
| variables.rs:192:9:192:10 | tv |
| variables.rs:194:9:194:81 | a4 |
| variables.rs:198:9:198:83 | a5 |
| variables.rs:202:9:202:83 | a6 |
| variables.rs:208:9:208:14 | either |
| variables.rs:210:9:210:44 | a7 |
| variables.rs:218:9:218:14 | either |
| variables.rs:221:13:221:13 | e |
| variables.rs:222:14:222:51 | a11 |
| variables.rs:225:33:225:35 | a12 |
| variables.rs:242:9:242:10 | fv |
| variables.rs:244:9:244:109 | a13 |
| variables.rs:250:5:250:6 | a8 |
| variables.rs:252:9:252:10 | b3 |
| variables.rs:253:9:253:10 | c1 |
| variables.rs:261:6:261:41 | a9 |
| variables.rs:268:13:268:15 | a10 |
| variables.rs:269:13:269:14 | b4 |
| variables.rs:270:13:270:14 | c2 |
| variables.rs:291:13:291:15 | a10 |
| variables.rs:292:13:292:14 | b4 |
| variables.rs:304:9:304:23 | example_closure |
| variables.rs:305:10:305:10 | x |
| variables.rs:307:9:307:10 | n1 |
| variables.rs:312:9:312:26 | immutable_variable |
| variables.rs:313:10:313:10 | x |
| variables.rs:315:9:315:10 | n2 |
| variables.rs:321:9:321:9 | v |
| variables.rs:323:9:323:12 | text |
| variables.rs:330:13:330:13 | a |
| variables.rs:338:13:338:13 | i |
| variables.rs:339:9:339:13 | ref_i |
| variables.rs:345:17:345:17 | x |
| variables.rs:352:22:352:22 | x |
| variables.rs:352:39:352:39 | y |
| variables.rs:361:13:361:13 | x |
| variables.rs:362:9:362:9 | y |
| variables.rs:368:13:368:13 | z |
| variables.rs:369:9:369:9 | w |
| variables.rs:381:13:381:13 | x |
| variables.rs:382:9:382:9 | y |
| variables.rs:389:13:389:13 | x |
| variables.rs:390:13:390:15 | cap |
| variables.rs:399:9:399:9 | x |
| variables.rs:400:13:400:15 | cap |
| variables.rs:407:8:407:8 | b |
| variables.rs:408:13:408:13 | x |
| variables.rs:423:13:423:14 | b1 |
| variables.rs:423:24:423:25 | b2 |
| variables.rs:424:9:424:9 | x |
| variables.rs:450:13:450:13 | a |
| variables.rs:458:14:458:14 | x |
| variables.rs:463:9:463:9 | x |
| variables.rs:467:9:467:9 | z |
| variables.rs:482:11:482:11 | a |
| variables.rs:11:18:11:18 | i |
| variables.rs:16:9:16:10 | x1 |
| variables.rs:21:13:21:14 | x2 |
| variables.rs:28:13:28:13 | x |
| variables.rs:35:9:35:10 | x3 |
| variables.rs:37:9:37:10 | x3 |
| variables.rs:43:9:43:10 | x4 |
| variables.rs:46:13:46:14 | x4 |
| variables.rs:60:13:60:14 | a1 |
| variables.rs:61:13:61:14 | b1 |
| variables.rs:64:13:64:13 | x |
| variables.rs:65:13:65:13 | y |
| variables.rs:75:9:75:10 | p1 |
| variables.rs:77:12:77:13 | a2 |
| variables.rs:78:12:78:13 | b2 |
| variables.rs:85:9:85:10 | s1 |
| variables.rs:87:21:87:22 | s2 |
| variables.rs:94:14:94:15 | x5 |
| variables.rs:102:9:102:10 | s1 |
| variables.rs:104:24:104:25 | s2 |
| variables.rs:111:9:111:10 | x6 |
| variables.rs:112:9:112:10 | y1 |
| variables.rs:116:14:116:15 | y1 |
| variables.rs:128:9:128:15 | numbers |
| variables.rs:132:13:132:17 | first |
| variables.rs:133:13:133:17 | third |
| variables.rs:134:13:134:17 | fifth |
| variables.rs:144:13:144:17 | first |
| variables.rs:146:13:146:16 | last |
| variables.rs:155:9:155:10 | p2 |
| variables.rs:159:16:159:17 | x7 |
| variables.rs:169:9:169:11 | msg |
| variables.rs:173:17:173:27 | id_variable |
| variables.rs:178:26:178:27 | id |
| variables.rs:189:9:189:14 | either |
| variables.rs:191:9:191:44 | a3 |
| variables.rs:203:9:203:10 | tv |
| variables.rs:205:9:205:81 | a4 |
| variables.rs:209:9:209:83 | a5 |
| variables.rs:213:9:213:83 | a6 |
| variables.rs:219:9:219:14 | either |
| variables.rs:221:9:221:44 | a7 |
| variables.rs:229:9:229:14 | either |
| variables.rs:232:13:232:13 | e |
| variables.rs:233:14:233:51 | a11 |
| variables.rs:236:33:236:35 | a12 |
| variables.rs:253:9:253:10 | fv |
| variables.rs:255:9:255:109 | a13 |
| variables.rs:261:5:261:6 | a8 |
| variables.rs:263:9:263:10 | b3 |
| variables.rs:264:9:264:10 | c1 |
| variables.rs:272:6:272:41 | a9 |
| variables.rs:279:13:279:15 | a10 |
| variables.rs:280:13:280:14 | b4 |
| variables.rs:281:13:281:14 | c2 |
| variables.rs:302:13:302:15 | a10 |
| variables.rs:303:13:303:14 | b4 |
| variables.rs:315:9:315:23 | example_closure |
| variables.rs:316:10:316:10 | x |
| variables.rs:318:9:318:10 | n1 |
| variables.rs:323:9:323:26 | immutable_variable |
| variables.rs:324:10:324:10 | x |
| variables.rs:326:9:326:10 | n2 |
| variables.rs:332:9:332:9 | v |
| variables.rs:334:9:334:12 | text |
| variables.rs:341:13:341:13 | a |
| variables.rs:349:13:349:13 | i |
| variables.rs:350:9:350:13 | ref_i |
| variables.rs:356:17:356:17 | x |
| variables.rs:363:22:363:22 | x |
| variables.rs:363:39:363:39 | y |
| variables.rs:372:13:372:13 | x |
| variables.rs:373:9:373:9 | y |
| variables.rs:379:13:379:13 | z |
| variables.rs:380:9:380:9 | w |
| variables.rs:392:13:392:13 | x |
| variables.rs:393:9:393:9 | y |
| variables.rs:400:9:400:9 | x |
| variables.rs:402:9:402:11 | cap |
| variables.rs:410:13:410:13 | x |
| variables.rs:412:9:412:16 | closure1 |
| variables.rs:418:13:418:13 | y |
| variables.rs:420:13:420:20 | closure2 |
| variables.rs:426:13:426:13 | z |
| variables.rs:428:13:428:20 | closure3 |
| variables.rs:435:8:435:8 | b |
| variables.rs:436:13:436:13 | x |
| variables.rs:451:13:451:14 | b1 |
| variables.rs:451:24:451:25 | b2 |
| variables.rs:452:9:452:9 | x |
| variables.rs:478:13:478:13 | a |
| variables.rs:487:9:487:9 | x |
| variables.rs:491:9:491:9 | z |
| variables.rs:506:11:506:11 | a |
variableAccess
| variables.rs:4:20:4:20 | s | variables.rs:3:14:3:14 | s |
| variables.rs:8:20:8:20 | i | variables.rs:7:14:7:14 | i |
| variables.rs:13:15:13:16 | x1 | variables.rs:12:9:12:10 | x1 |
| variables.rs:18:15:18:16 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:19:5:19:6 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:20:15:20:16 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:25:15:25:16 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:27:9:27:10 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:28:15:28:16 | x3 | variables.rs:26:9:26:10 | x3 |
| variables.rs:33:15:33:16 | x4 | variables.rs:32:9:32:10 | x4 |
| variables.rs:36:19:36:20 | x4 | variables.rs:35:13:35:14 | x4 |
| variables.rs:38:15:38:16 | x4 | variables.rs:32:9:32:10 | x4 |
| variables.rs:57:15:57:16 | a1 | variables.rs:49:13:49:14 | a1 |
| variables.rs:58:15:58:16 | b1 | variables.rs:50:13:50:14 | b1 |
| variables.rs:59:15:59:15 | x | variables.rs:53:13:53:13 | x |
| variables.rs:60:15:60:15 | y | variables.rs:54:13:54:13 | y |
| variables.rs:68:9:68:10 | p1 | variables.rs:64:9:64:10 | p1 |
| variables.rs:69:15:69:16 | a2 | variables.rs:66:12:66:13 | a2 |
| variables.rs:70:15:70:16 | b2 | variables.rs:67:12:67:13 | b2 |
| variables.rs:77:11:77:12 | s1 | variables.rs:74:9:74:10 | s1 |
| variables.rs:78:19:78:20 | s2 | variables.rs:76:21:76:22 | s2 |
| variables.rs:87:15:87:16 | x5 | variables.rs:83:14:83:15 | x5 |
| variables.rs:94:11:94:12 | s1 | variables.rs:91:9:91:10 | s1 |
| variables.rs:95:19:95:20 | s2 | variables.rs:93:24:93:25 | s2 |
| variables.rs:103:11:103:12 | x6 | variables.rs:100:9:100:10 | x6 |
| variables.rs:108:23:108:24 | y1 | variables.rs:105:14:105:15 | y1 |
| variables.rs:113:15:113:16 | y1 | variables.rs:101:9:101:10 | y1 |
| variables.rs:119:11:119:17 | numbers | variables.rs:117:9:117:15 | numbers |
| variables.rs:125:23:125:27 | first | variables.rs:121:13:121:17 | first |
| variables.rs:126:23:126:27 | third | variables.rs:122:13:122:17 | third |
| variables.rs:127:23:127:27 | fifth | variables.rs:123:13:123:17 | fifth |
| variables.rs:131:11:131:17 | numbers | variables.rs:117:9:117:15 | numbers |
| variables.rs:137:23:137:27 | first | variables.rs:133:13:133:17 | first |
| variables.rs:138:23:138:26 | last | variables.rs:135:13:135:16 | last |
| variables.rs:146:11:146:12 | p2 | variables.rs:144:9:144:10 | p2 |
| variables.rs:149:24:149:25 | x7 | variables.rs:148:16:148:17 | x7 |
| variables.rs:160:11:160:13 | msg | variables.rs:158:9:158:11 | msg |
| variables.rs:163:24:163:34 | id_variable | variables.rs:162:17:162:27 | id_variable |
| variables.rs:168:23:168:24 | id | variables.rs:167:26:167:27 | id |
| variables.rs:179:11:179:16 | either | variables.rs:178:9:178:14 | either |
| variables.rs:181:26:181:27 | a3 | variables.rs:180:9:180:44 | a3 |
| variables.rs:193:11:193:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:195:26:195:27 | a4 | variables.rs:194:9:194:81 | a4 |
| variables.rs:197:11:197:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:199:26:199:27 | a5 | variables.rs:198:9:198:83 | a5 |
| variables.rs:201:11:201:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:203:26:203:27 | a6 | variables.rs:202:9:202:83 | a6 |
| variables.rs:209:11:209:16 | either | variables.rs:208:9:208:14 | either |
| variables.rs:211:16:211:17 | a7 | variables.rs:210:9:210:44 | a7 |
| variables.rs:212:26:212:27 | a7 | variables.rs:210:9:210:44 | a7 |
| variables.rs:220:11:220:16 | either | variables.rs:218:9:218:14 | either |
| variables.rs:224:23:224:25 | a11 | variables.rs:222:14:222:51 | a11 |
| variables.rs:226:15:226:15 | e | variables.rs:221:13:221:13 | e |
| variables.rs:227:28:227:30 | a12 | variables.rs:225:33:225:35 | a12 |
| variables.rs:243:11:243:12 | fv | variables.rs:242:9:242:10 | fv |
| variables.rs:245:26:245:28 | a13 | variables.rs:244:9:244:109 | a13 |
| variables.rs:255:15:255:16 | a8 | variables.rs:250:5:250:6 | a8 |
| variables.rs:256:15:256:16 | b3 | variables.rs:252:9:252:10 | b3 |
| variables.rs:257:15:257:16 | c1 | variables.rs:253:9:253:10 | c1 |
| variables.rs:263:15:263:16 | a9 | variables.rs:261:6:261:41 | a9 |
| variables.rs:272:15:272:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:273:15:273:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:274:15:274:16 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:277:9:277:10 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:278:9:278:10 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:279:9:279:11 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:281:9:281:11 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:282:9:282:10 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:283:9:283:10 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:285:15:285:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:286:15:286:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:287:15:287:16 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:294:23:294:25 | a10 | variables.rs:291:13:291:15 | a10 |
| variables.rs:295:23:295:24 | b4 | variables.rs:292:13:292:14 | b4 |
| variables.rs:299:15:299:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:300:15:300:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:306:9:306:9 | x | variables.rs:305:10:305:10 | x |
| variables.rs:308:9:308:23 | example_closure | variables.rs:304:9:304:23 | example_closure |
| variables.rs:309:15:309:16 | n1 | variables.rs:307:9:307:10 | n1 |
| variables.rs:314:9:314:9 | x | variables.rs:313:10:313:10 | x |
| variables.rs:316:9:316:26 | immutable_variable | variables.rs:312:9:312:26 | immutable_variable |
| variables.rs:317:15:317:16 | n2 | variables.rs:315:9:315:10 | n2 |
| variables.rs:324:12:324:12 | v | variables.rs:321:9:321:9 | v |
| variables.rs:325:19:325:22 | text | variables.rs:323:9:323:12 | text |
| variables.rs:331:5:331:5 | a | variables.rs:330:13:330:13 | a |
| variables.rs:332:15:332:15 | a | variables.rs:330:13:330:13 | a |
| variables.rs:333:11:333:11 | a | variables.rs:330:13:330:13 | a |
| variables.rs:334:15:334:15 | a | variables.rs:330:13:330:13 | a |
| variables.rs:340:14:340:14 | i | variables.rs:338:13:338:13 | i |
| variables.rs:341:6:341:10 | ref_i | variables.rs:339:9:339:13 | ref_i |
| variables.rs:342:15:342:15 | i | variables.rs:338:13:338:13 | i |
| variables.rs:346:6:346:6 | x | variables.rs:345:17:345:17 | x |
| variables.rs:347:10:347:10 | x | variables.rs:345:17:345:17 | x |
| variables.rs:348:10:348:10 | x | variables.rs:345:17:345:17 | x |
| variables.rs:349:12:349:12 | x | variables.rs:345:17:345:17 | x |
| variables.rs:353:6:353:6 | x | variables.rs:352:22:352:22 | x |
| variables.rs:354:10:354:10 | x | variables.rs:352:22:352:22 | x |
| variables.rs:355:10:355:10 | x | variables.rs:352:22:352:22 | x |
| variables.rs:356:6:356:6 | y | variables.rs:352:39:352:39 | y |
| variables.rs:357:9:357:9 | x | variables.rs:352:22:352:22 | x |
| variables.rs:363:27:363:27 | x | variables.rs:361:13:361:13 | x |
| variables.rs:364:6:364:6 | y | variables.rs:362:9:362:9 | y |
| variables.rs:366:15:366:15 | x | variables.rs:361:13:361:13 | x |
| variables.rs:370:19:370:19 | x | variables.rs:361:13:361:13 | x |
| variables.rs:372:14:372:14 | z | variables.rs:368:13:368:13 | z |
| variables.rs:373:9:373:9 | w | variables.rs:369:9:369:9 | w |
| variables.rs:375:7:375:7 | w | variables.rs:369:9:369:9 | w |
| variables.rs:377:15:377:15 | z | variables.rs:368:13:368:13 | z |
| variables.rs:383:14:383:14 | x | variables.rs:381:13:381:13 | x |
| variables.rs:384:6:384:6 | y | variables.rs:382:9:382:9 | y |
| variables.rs:385:15:385:15 | x | variables.rs:381:13:381:13 | x |
| variables.rs:391:19:391:19 | x | variables.rs:389:13:389:13 | x |
| variables.rs:392:9:392:9 | x | variables.rs:389:13:389:13 | x |
| variables.rs:394:5:394:7 | cap | variables.rs:390:13:390:15 | cap |
| variables.rs:395:15:395:15 | x | variables.rs:389:13:389:13 | x |
| variables.rs:401:19:401:19 | x | variables.rs:399:9:399:9 | x |
| variables.rs:403:5:403:7 | cap | variables.rs:400:13:400:15 | cap |
| variables.rs:404:15:404:15 | x | variables.rs:399:9:399:9 | x |
| variables.rs:409:15:409:15 | x | variables.rs:408:13:408:13 | x |
| variables.rs:410:15:410:15 | x | variables.rs:408:13:408:13 | x |
| variables.rs:411:8:411:8 | b | variables.rs:407:8:407:8 | b |
| variables.rs:412:9:412:9 | x | variables.rs:408:13:408:13 | x |
| variables.rs:413:19:413:19 | x | variables.rs:408:13:408:13 | x |
| variables.rs:414:19:414:19 | x | variables.rs:408:13:408:13 | x |
| variables.rs:416:9:416:9 | x | variables.rs:408:13:408:13 | x |
| variables.rs:417:19:417:19 | x | variables.rs:408:13:408:13 | x |
| variables.rs:418:19:418:19 | x | variables.rs:408:13:408:13 | x |
| variables.rs:420:15:420:15 | x | variables.rs:408:13:408:13 | x |
| variables.rs:425:8:425:9 | b1 | variables.rs:423:13:423:14 | b1 |
| variables.rs:426:19:426:19 | x | variables.rs:424:9:424:9 | x |
| variables.rs:428:19:428:19 | x | variables.rs:424:9:424:9 | x |
| variables.rs:431:8:431:9 | b2 | variables.rs:423:24:423:25 | b2 |
| variables.rs:432:19:432:19 | x | variables.rs:424:9:424:9 | x |
| variables.rs:434:19:434:19 | x | variables.rs:424:9:424:9 | x |
| variables.rs:451:15:451:15 | a | variables.rs:450:13:450:13 | a |
| variables.rs:452:5:452:5 | a | variables.rs:450:13:450:13 | a |
| variables.rs:453:15:453:15 | a | variables.rs:450:13:450:13 | a |
| variables.rs:454:5:454:5 | a | variables.rs:450:13:450:13 | a |
| variables.rs:455:15:455:15 | a | variables.rs:450:13:450:13 | a |
| variables.rs:459:16:459:16 | x | variables.rs:458:14:458:14 | x |
| variables.rs:464:16:464:16 | x | variables.rs:463:9:463:9 | x |
| variables.rs:465:15:465:15 | x | variables.rs:463:9:463:9 | x |
| variables.rs:468:16:468:16 | z | variables.rs:467:9:467:9 | z |
| variables.rs:483:3:483:3 | a | variables.rs:482:11:482:11 | a |
| variables.rs:485:13:485:13 | a | variables.rs:482:11:482:11 | a |
| variables.rs:12:16:12:16 | i | variables.rs:11:18:11:18 | i |
| variables.rs:17:15:17:16 | x1 | variables.rs:16:9:16:10 | x1 |
| variables.rs:22:15:22:16 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:23:5:23:6 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:24:15:24:16 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:29:20:29:20 | x | variables.rs:28:13:28:13 | x |
| variables.rs:30:5:30:5 | x | variables.rs:28:13:28:13 | x |
| variables.rs:31:20:31:20 | x | variables.rs:28:13:28:13 | x |
| variables.rs:36:15:36:16 | x3 | variables.rs:35:9:35:10 | x3 |
| variables.rs:38:9:38:10 | x3 | variables.rs:35:9:35:10 | x3 |
| variables.rs:39:15:39:16 | x3 | variables.rs:37:9:37:10 | x3 |
| variables.rs:44:15:44:16 | x4 | variables.rs:43:9:43:10 | x4 |
| variables.rs:47:19:47:20 | x4 | variables.rs:46:13:46:14 | x4 |
| variables.rs:49:15:49:16 | x4 | variables.rs:43:9:43:10 | x4 |
| variables.rs:68:15:68:16 | a1 | variables.rs:60:13:60:14 | a1 |
| variables.rs:69:15:69:16 | b1 | variables.rs:61:13:61:14 | b1 |
| variables.rs:70:15:70:15 | x | variables.rs:64:13:64:13 | x |
| variables.rs:71:15:71:15 | y | variables.rs:65:13:65:13 | y |
| variables.rs:79:9:79:10 | p1 | variables.rs:75:9:75:10 | p1 |
| variables.rs:80:15:80:16 | a2 | variables.rs:77:12:77:13 | a2 |
| variables.rs:81:15:81:16 | b2 | variables.rs:78:12:78:13 | b2 |
| variables.rs:88:11:88:12 | s1 | variables.rs:85:9:85:10 | s1 |
| variables.rs:89:19:89:20 | s2 | variables.rs:87:21:87:22 | s2 |
| variables.rs:98:15:98:16 | x5 | variables.rs:94:14:94:15 | x5 |
| variables.rs:105:11:105:12 | s1 | variables.rs:102:9:102:10 | s1 |
| variables.rs:106:19:106:20 | s2 | variables.rs:104:24:104:25 | s2 |
| variables.rs:114:11:114:12 | x6 | variables.rs:111:9:111:10 | x6 |
| variables.rs:119:23:119:24 | y1 | variables.rs:116:14:116:15 | y1 |
| variables.rs:124:15:124:16 | y1 | variables.rs:112:9:112:10 | y1 |
| variables.rs:130:11:130:17 | numbers | variables.rs:128:9:128:15 | numbers |
| variables.rs:136:23:136:27 | first | variables.rs:132:13:132:17 | first |
| variables.rs:137:23:137:27 | third | variables.rs:133:13:133:17 | third |
| variables.rs:138:23:138:27 | fifth | variables.rs:134:13:134:17 | fifth |
| variables.rs:142:11:142:17 | numbers | variables.rs:128:9:128:15 | numbers |
| variables.rs:148:23:148:27 | first | variables.rs:144:13:144:17 | first |
| variables.rs:149:23:149:26 | last | variables.rs:146:13:146:16 | last |
| variables.rs:157:11:157:12 | p2 | variables.rs:155:9:155:10 | p2 |
| variables.rs:160:24:160:25 | x7 | variables.rs:159:16:159:17 | x7 |
| variables.rs:171:11:171:13 | msg | variables.rs:169:9:169:11 | msg |
| variables.rs:174:24:174:34 | id_variable | variables.rs:173:17:173:27 | id_variable |
| variables.rs:179:23:179:24 | id | variables.rs:178:26:178:27 | id |
| variables.rs:190:11:190:16 | either | variables.rs:189:9:189:14 | either |
| variables.rs:192:26:192:27 | a3 | variables.rs:191:9:191:44 | a3 |
| variables.rs:204:11:204:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:206:26:206:27 | a4 | variables.rs:205:9:205:81 | a4 |
| variables.rs:208:11:208:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:210:26:210:27 | a5 | variables.rs:209:9:209:83 | a5 |
| variables.rs:212:11:212:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:214:26:214:27 | a6 | variables.rs:213:9:213:83 | a6 |
| variables.rs:220:11:220:16 | either | variables.rs:219:9:219:14 | either |
| variables.rs:222:16:222:17 | a7 | variables.rs:221:9:221:44 | a7 |
| variables.rs:223:26:223:27 | a7 | variables.rs:221:9:221:44 | a7 |
| variables.rs:231:11:231:16 | either | variables.rs:229:9:229:14 | either |
| variables.rs:235:23:235:25 | a11 | variables.rs:233:14:233:51 | a11 |
| variables.rs:237:15:237:15 | e | variables.rs:232:13:232:13 | e |
| variables.rs:238:28:238:30 | a12 | variables.rs:236:33:236:35 | a12 |
| variables.rs:254:11:254:12 | fv | variables.rs:253:9:253:10 | fv |
| variables.rs:256:26:256:28 | a13 | variables.rs:255:9:255:109 | a13 |
| variables.rs:266:15:266:16 | a8 | variables.rs:261:5:261:6 | a8 |
| variables.rs:267:15:267:16 | b3 | variables.rs:263:9:263:10 | b3 |
| variables.rs:268:15:268:16 | c1 | variables.rs:264:9:264:10 | c1 |
| variables.rs:274:15:274:16 | a9 | variables.rs:272:6:272:41 | a9 |
| variables.rs:283:15:283:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:284:15:284:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:285:15:285:16 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:288:9:288:10 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:289:9:289:10 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:290:9:290:11 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:292:9:292:11 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:293:9:293:10 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:294:9:294:10 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:296:15:296:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:297:15:297:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:298:15:298:16 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:305:23:305:25 | a10 | variables.rs:302:13:302:15 | a10 |
| variables.rs:306:23:306:24 | b4 | variables.rs:303:13:303:14 | b4 |
| variables.rs:310:15:310:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:311:15:311:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:317:9:317:9 | x | variables.rs:316:10:316:10 | x |
| variables.rs:319:9:319:23 | example_closure | variables.rs:315:9:315:23 | example_closure |
| variables.rs:320:15:320:16 | n1 | variables.rs:318:9:318:10 | n1 |
| variables.rs:325:9:325:9 | x | variables.rs:324:10:324:10 | x |
| variables.rs:327:9:327:26 | immutable_variable | variables.rs:323:9:323:26 | immutable_variable |
| variables.rs:328:15:328:16 | n2 | variables.rs:326:9:326:10 | n2 |
| variables.rs:335:12:335:12 | v | variables.rs:332:9:332:9 | v |
| variables.rs:336:19:336:22 | text | variables.rs:334:9:334:12 | text |
| variables.rs:342:5:342:5 | a | variables.rs:341:13:341:13 | a |
| variables.rs:343:15:343:15 | a | variables.rs:341:13:341:13 | a |
| variables.rs:344:11:344:11 | a | variables.rs:341:13:341:13 | a |
| variables.rs:345:15:345:15 | a | variables.rs:341:13:341:13 | a |
| variables.rs:351:14:351:14 | i | variables.rs:349:13:349:13 | i |
| variables.rs:352:6:352:10 | ref_i | variables.rs:350:9:350:13 | ref_i |
| variables.rs:353:15:353:15 | i | variables.rs:349:13:349:13 | i |
| variables.rs:357:6:357:6 | x | variables.rs:356:17:356:17 | x |
| variables.rs:358:10:358:10 | x | variables.rs:356:17:356:17 | x |
| variables.rs:359:10:359:10 | x | variables.rs:356:17:356:17 | x |
| variables.rs:360:12:360:12 | x | variables.rs:356:17:356:17 | x |
| variables.rs:364:6:364:6 | x | variables.rs:363:22:363:22 | x |
| variables.rs:365:10:365:10 | x | variables.rs:363:22:363:22 | x |
| variables.rs:366:10:366:10 | x | variables.rs:363:22:363:22 | x |
| variables.rs:367:6:367:6 | y | variables.rs:363:39:363:39 | y |
| variables.rs:368:9:368:9 | x | variables.rs:363:22:363:22 | x |
| variables.rs:374:27:374:27 | x | variables.rs:372:13:372:13 | x |
| variables.rs:375:6:375:6 | y | variables.rs:373:9:373:9 | y |
| variables.rs:377:15:377:15 | x | variables.rs:372:13:372:13 | x |
| variables.rs:381:19:381:19 | x | variables.rs:372:13:372:13 | x |
| variables.rs:383:14:383:14 | z | variables.rs:379:13:379:13 | z |
| variables.rs:384:9:384:9 | w | variables.rs:380:9:380:9 | w |
| variables.rs:386:7:386:7 | w | variables.rs:380:9:380:9 | w |
| variables.rs:388:15:388:15 | z | variables.rs:379:13:379:13 | z |
| variables.rs:394:14:394:14 | x | variables.rs:392:13:392:13 | x |
| variables.rs:395:6:395:6 | y | variables.rs:393:9:393:9 | y |
| variables.rs:396:15:396:15 | x | variables.rs:392:13:392:13 | x |
| variables.rs:403:19:403:19 | x | variables.rs:400:9:400:9 | x |
| variables.rs:405:5:405:7 | cap | variables.rs:402:9:402:11 | cap |
| variables.rs:406:15:406:15 | x | variables.rs:400:9:400:9 | x |
| variables.rs:413:19:413:19 | x | variables.rs:410:13:410:13 | x |
| variables.rs:415:5:415:12 | closure1 | variables.rs:412:9:412:16 | closure1 |
| variables.rs:416:15:416:15 | x | variables.rs:410:13:410:13 | x |
| variables.rs:421:9:421:9 | y | variables.rs:418:13:418:13 | y |
| variables.rs:423:5:423:12 | closure2 | variables.rs:420:13:420:20 | closure2 |
| variables.rs:424:15:424:15 | y | variables.rs:418:13:418:13 | y |
| variables.rs:429:9:429:9 | z | variables.rs:426:13:426:13 | z |
| variables.rs:431:5:431:12 | closure3 | variables.rs:428:13:428:20 | closure3 |
| variables.rs:432:15:432:15 | z | variables.rs:426:13:426:13 | z |
| variables.rs:437:15:437:15 | x | variables.rs:436:13:436:13 | x |
| variables.rs:438:15:438:15 | x | variables.rs:436:13:436:13 | x |
| variables.rs:439:8:439:8 | b | variables.rs:435:8:435:8 | b |
| variables.rs:440:9:440:9 | x | variables.rs:436:13:436:13 | x |
| variables.rs:441:19:441:19 | x | variables.rs:436:13:436:13 | x |
| variables.rs:442:19:442:19 | x | variables.rs:436:13:436:13 | x |
| variables.rs:444:9:444:9 | x | variables.rs:436:13:436:13 | x |
| variables.rs:445:19:445:19 | x | variables.rs:436:13:436:13 | x |
| variables.rs:446:19:446:19 | x | variables.rs:436:13:436:13 | x |
| variables.rs:448:15:448:15 | x | variables.rs:436:13:436:13 | x |
| variables.rs:453:8:453:9 | b1 | variables.rs:451:13:451:14 | b1 |
| variables.rs:454:19:454:19 | x | variables.rs:452:9:452:9 | x |
| variables.rs:456:19:456:19 | x | variables.rs:452:9:452:9 | x |
| variables.rs:459:8:459:9 | b2 | variables.rs:451:24:451:25 | b2 |
| variables.rs:460:19:460:19 | x | variables.rs:452:9:452:9 | x |
| variables.rs:462:19:462:19 | x | variables.rs:452:9:452:9 | x |
| variables.rs:479:15:479:15 | a | variables.rs:478:13:478:13 | a |
| variables.rs:480:5:480:5 | a | variables.rs:478:13:478:13 | a |
| variables.rs:481:15:481:15 | a | variables.rs:478:13:478:13 | a |
| variables.rs:482:5:482:5 | a | variables.rs:478:13:478:13 | a |
| variables.rs:483:15:483:15 | a | variables.rs:478:13:478:13 | a |
| variables.rs:488:20:488:20 | x | variables.rs:487:9:487:9 | x |
| variables.rs:489:15:489:15 | x | variables.rs:487:9:487:9 | x |
| variables.rs:492:20:492:20 | z | variables.rs:491:9:491:9 | z |
| variables.rs:507:3:507:3 | a | variables.rs:506:11:506:11 | a |
| variables.rs:509:13:509:13 | a | variables.rs:506:11:506:11 | a |
variableWriteAccess
| variables.rs:19:5:19:6 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:277:9:277:10 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:278:9:278:10 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:279:9:279:11 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:412:9:412:9 | x | variables.rs:408:13:408:13 | x |
| variables.rs:416:9:416:9 | x | variables.rs:408:13:408:13 | x |
| variables.rs:454:5:454:5 | a | variables.rs:450:13:450:13 | a |
| variables.rs:23:5:23:6 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:30:5:30:5 | x | variables.rs:28:13:28:13 | x |
| variables.rs:288:9:288:10 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:289:9:289:10 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:290:9:290:11 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:421:9:421:9 | y | variables.rs:418:13:418:13 | y |
| variables.rs:440:9:440:9 | x | variables.rs:436:13:436:13 | x |
| variables.rs:444:9:444:9 | x | variables.rs:436:13:436:13 | x |
| variables.rs:482:5:482:5 | a | variables.rs:478:13:478:13 | a |
variableReadAccess
| variables.rs:4:20:4:20 | s | variables.rs:3:14:3:14 | s |
| variables.rs:8:20:8:20 | i | variables.rs:7:14:7:14 | i |
| variables.rs:13:15:13:16 | x1 | variables.rs:12:9:12:10 | x1 |
| variables.rs:18:15:18:16 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:20:15:20:16 | x2 | variables.rs:17:13:17:14 | x2 |
| variables.rs:25:15:25:16 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:27:9:27:10 | x3 | variables.rs:24:9:24:10 | x3 |
| variables.rs:28:15:28:16 | x3 | variables.rs:26:9:26:10 | x3 |
| variables.rs:33:15:33:16 | x4 | variables.rs:32:9:32:10 | x4 |
| variables.rs:36:19:36:20 | x4 | variables.rs:35:13:35:14 | x4 |
| variables.rs:38:15:38:16 | x4 | variables.rs:32:9:32:10 | x4 |
| variables.rs:57:15:57:16 | a1 | variables.rs:49:13:49:14 | a1 |
| variables.rs:58:15:58:16 | b1 | variables.rs:50:13:50:14 | b1 |
| variables.rs:59:15:59:15 | x | variables.rs:53:13:53:13 | x |
| variables.rs:60:15:60:15 | y | variables.rs:54:13:54:13 | y |
| variables.rs:68:9:68:10 | p1 | variables.rs:64:9:64:10 | p1 |
| variables.rs:69:15:69:16 | a2 | variables.rs:66:12:66:13 | a2 |
| variables.rs:70:15:70:16 | b2 | variables.rs:67:12:67:13 | b2 |
| variables.rs:77:11:77:12 | s1 | variables.rs:74:9:74:10 | s1 |
| variables.rs:78:19:78:20 | s2 | variables.rs:76:21:76:22 | s2 |
| variables.rs:87:15:87:16 | x5 | variables.rs:83:14:83:15 | x5 |
| variables.rs:94:11:94:12 | s1 | variables.rs:91:9:91:10 | s1 |
| variables.rs:95:19:95:20 | s2 | variables.rs:93:24:93:25 | s2 |
| variables.rs:103:11:103:12 | x6 | variables.rs:100:9:100:10 | x6 |
| variables.rs:108:23:108:24 | y1 | variables.rs:105:14:105:15 | y1 |
| variables.rs:113:15:113:16 | y1 | variables.rs:101:9:101:10 | y1 |
| variables.rs:119:11:119:17 | numbers | variables.rs:117:9:117:15 | numbers |
| variables.rs:125:23:125:27 | first | variables.rs:121:13:121:17 | first |
| variables.rs:126:23:126:27 | third | variables.rs:122:13:122:17 | third |
| variables.rs:127:23:127:27 | fifth | variables.rs:123:13:123:17 | fifth |
| variables.rs:131:11:131:17 | numbers | variables.rs:117:9:117:15 | numbers |
| variables.rs:137:23:137:27 | first | variables.rs:133:13:133:17 | first |
| variables.rs:138:23:138:26 | last | variables.rs:135:13:135:16 | last |
| variables.rs:146:11:146:12 | p2 | variables.rs:144:9:144:10 | p2 |
| variables.rs:149:24:149:25 | x7 | variables.rs:148:16:148:17 | x7 |
| variables.rs:160:11:160:13 | msg | variables.rs:158:9:158:11 | msg |
| variables.rs:163:24:163:34 | id_variable | variables.rs:162:17:162:27 | id_variable |
| variables.rs:168:23:168:24 | id | variables.rs:167:26:167:27 | id |
| variables.rs:179:11:179:16 | either | variables.rs:178:9:178:14 | either |
| variables.rs:181:26:181:27 | a3 | variables.rs:180:9:180:44 | a3 |
| variables.rs:193:11:193:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:195:26:195:27 | a4 | variables.rs:194:9:194:81 | a4 |
| variables.rs:197:11:197:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:199:26:199:27 | a5 | variables.rs:198:9:198:83 | a5 |
| variables.rs:201:11:201:12 | tv | variables.rs:192:9:192:10 | tv |
| variables.rs:203:26:203:27 | a6 | variables.rs:202:9:202:83 | a6 |
| variables.rs:209:11:209:16 | either | variables.rs:208:9:208:14 | either |
| variables.rs:211:16:211:17 | a7 | variables.rs:210:9:210:44 | a7 |
| variables.rs:212:26:212:27 | a7 | variables.rs:210:9:210:44 | a7 |
| variables.rs:220:11:220:16 | either | variables.rs:218:9:218:14 | either |
| variables.rs:224:23:224:25 | a11 | variables.rs:222:14:222:51 | a11 |
| variables.rs:226:15:226:15 | e | variables.rs:221:13:221:13 | e |
| variables.rs:227:28:227:30 | a12 | variables.rs:225:33:225:35 | a12 |
| variables.rs:243:11:243:12 | fv | variables.rs:242:9:242:10 | fv |
| variables.rs:245:26:245:28 | a13 | variables.rs:244:9:244:109 | a13 |
| variables.rs:255:15:255:16 | a8 | variables.rs:250:5:250:6 | a8 |
| variables.rs:256:15:256:16 | b3 | variables.rs:252:9:252:10 | b3 |
| variables.rs:257:15:257:16 | c1 | variables.rs:253:9:253:10 | c1 |
| variables.rs:263:15:263:16 | a9 | variables.rs:261:6:261:41 | a9 |
| variables.rs:272:15:272:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:273:15:273:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:274:15:274:16 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:281:9:281:11 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:282:9:282:10 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:283:9:283:10 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:285:15:285:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:286:15:286:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:287:15:287:16 | c2 | variables.rs:270:13:270:14 | c2 |
| variables.rs:294:23:294:25 | a10 | variables.rs:291:13:291:15 | a10 |
| variables.rs:295:23:295:24 | b4 | variables.rs:292:13:292:14 | b4 |
| variables.rs:299:15:299:17 | a10 | variables.rs:268:13:268:15 | a10 |
| variables.rs:300:15:300:16 | b4 | variables.rs:269:13:269:14 | b4 |
| variables.rs:306:9:306:9 | x | variables.rs:305:10:305:10 | x |
| variables.rs:308:9:308:23 | example_closure | variables.rs:304:9:304:23 | example_closure |
| variables.rs:309:15:309:16 | n1 | variables.rs:307:9:307:10 | n1 |
| variables.rs:314:9:314:9 | x | variables.rs:313:10:313:10 | x |
| variables.rs:316:9:316:26 | immutable_variable | variables.rs:312:9:312:26 | immutable_variable |
| variables.rs:317:15:317:16 | n2 | variables.rs:315:9:315:10 | n2 |
| variables.rs:324:12:324:12 | v | variables.rs:321:9:321:9 | v |
| variables.rs:325:19:325:22 | text | variables.rs:323:9:323:12 | text |
| variables.rs:332:15:332:15 | a | variables.rs:330:13:330:13 | a |
| variables.rs:334:15:334:15 | a | variables.rs:330:13:330:13 | a |
| variables.rs:341:6:341:10 | ref_i | variables.rs:339:9:339:13 | ref_i |
| variables.rs:342:15:342:15 | i | variables.rs:338:13:338:13 | i |
| variables.rs:346:6:346:6 | x | variables.rs:345:17:345:17 | x |
| variables.rs:347:10:347:10 | x | variables.rs:345:17:345:17 | x |
| variables.rs:348:10:348:10 | x | variables.rs:345:17:345:17 | x |
| variables.rs:349:12:349:12 | x | variables.rs:345:17:345:17 | x |
| variables.rs:353:6:353:6 | x | variables.rs:352:22:352:22 | x |
| variables.rs:354:10:354:10 | x | variables.rs:352:22:352:22 | x |
| variables.rs:355:10:355:10 | x | variables.rs:352:22:352:22 | x |
| variables.rs:356:6:356:6 | y | variables.rs:352:39:352:39 | y |
| variables.rs:357:9:357:9 | x | variables.rs:352:22:352:22 | x |
| variables.rs:364:6:364:6 | y | variables.rs:362:9:362:9 | y |
| variables.rs:366:15:366:15 | x | variables.rs:361:13:361:13 | x |
| variables.rs:373:9:373:9 | w | variables.rs:369:9:369:9 | w |
| variables.rs:375:7:375:7 | w | variables.rs:369:9:369:9 | w |
| variables.rs:377:15:377:15 | z | variables.rs:368:13:368:13 | z |
| variables.rs:384:6:384:6 | y | variables.rs:382:9:382:9 | y |
| variables.rs:385:15:385:15 | x | variables.rs:381:13:381:13 | x |
| variables.rs:391:19:391:19 | x | variables.rs:389:13:389:13 | x |
| variables.rs:394:5:394:7 | cap | variables.rs:390:13:390:15 | cap |
| variables.rs:395:15:395:15 | x | variables.rs:389:13:389:13 | x |
| variables.rs:401:19:401:19 | x | variables.rs:399:9:399:9 | x |
| variables.rs:403:5:403:7 | cap | variables.rs:400:13:400:15 | cap |
| variables.rs:404:15:404:15 | x | variables.rs:399:9:399:9 | x |
| variables.rs:409:15:409:15 | x | variables.rs:408:13:408:13 | x |
| variables.rs:410:15:410:15 | x | variables.rs:408:13:408:13 | x |
| variables.rs:411:8:411:8 | b | variables.rs:407:8:407:8 | b |
| variables.rs:413:19:413:19 | x | variables.rs:408:13:408:13 | x |
| variables.rs:414:19:414:19 | x | variables.rs:408:13:408:13 | x |
| variables.rs:417:19:417:19 | x | variables.rs:408:13:408:13 | x |
| variables.rs:418:19:418:19 | x | variables.rs:408:13:408:13 | x |
| variables.rs:420:15:420:15 | x | variables.rs:408:13:408:13 | x |
| variables.rs:425:8:425:9 | b1 | variables.rs:423:13:423:14 | b1 |
| variables.rs:426:19:426:19 | x | variables.rs:424:9:424:9 | x |
| variables.rs:428:19:428:19 | x | variables.rs:424:9:424:9 | x |
| variables.rs:431:8:431:9 | b2 | variables.rs:423:24:423:25 | b2 |
| variables.rs:432:19:432:19 | x | variables.rs:424:9:424:9 | x |
| variables.rs:434:19:434:19 | x | variables.rs:424:9:424:9 | x |
| variables.rs:451:15:451:15 | a | variables.rs:450:13:450:13 | a |
| variables.rs:452:5:452:5 | a | variables.rs:450:13:450:13 | a |
| variables.rs:453:15:453:15 | a | variables.rs:450:13:450:13 | a |
| variables.rs:455:15:455:15 | a | variables.rs:450:13:450:13 | a |
| variables.rs:459:16:459:16 | x | variables.rs:458:14:458:14 | x |
| variables.rs:465:15:465:15 | x | variables.rs:463:9:463:9 | x |
| variables.rs:483:3:483:3 | a | variables.rs:482:11:482:11 | a |
| variables.rs:485:13:485:13 | a | variables.rs:482:11:482:11 | a |
| variables.rs:12:16:12:16 | i | variables.rs:11:18:11:18 | i |
| variables.rs:17:15:17:16 | x1 | variables.rs:16:9:16:10 | x1 |
| variables.rs:22:15:22:16 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:24:15:24:16 | x2 | variables.rs:21:13:21:14 | x2 |
| variables.rs:36:15:36:16 | x3 | variables.rs:35:9:35:10 | x3 |
| variables.rs:38:9:38:10 | x3 | variables.rs:35:9:35:10 | x3 |
| variables.rs:39:15:39:16 | x3 | variables.rs:37:9:37:10 | x3 |
| variables.rs:44:15:44:16 | x4 | variables.rs:43:9:43:10 | x4 |
| variables.rs:47:19:47:20 | x4 | variables.rs:46:13:46:14 | x4 |
| variables.rs:49:15:49:16 | x4 | variables.rs:43:9:43:10 | x4 |
| variables.rs:68:15:68:16 | a1 | variables.rs:60:13:60:14 | a1 |
| variables.rs:69:15:69:16 | b1 | variables.rs:61:13:61:14 | b1 |
| variables.rs:70:15:70:15 | x | variables.rs:64:13:64:13 | x |
| variables.rs:71:15:71:15 | y | variables.rs:65:13:65:13 | y |
| variables.rs:79:9:79:10 | p1 | variables.rs:75:9:75:10 | p1 |
| variables.rs:80:15:80:16 | a2 | variables.rs:77:12:77:13 | a2 |
| variables.rs:81:15:81:16 | b2 | variables.rs:78:12:78:13 | b2 |
| variables.rs:88:11:88:12 | s1 | variables.rs:85:9:85:10 | s1 |
| variables.rs:89:19:89:20 | s2 | variables.rs:87:21:87:22 | s2 |
| variables.rs:98:15:98:16 | x5 | variables.rs:94:14:94:15 | x5 |
| variables.rs:105:11:105:12 | s1 | variables.rs:102:9:102:10 | s1 |
| variables.rs:106:19:106:20 | s2 | variables.rs:104:24:104:25 | s2 |
| variables.rs:114:11:114:12 | x6 | variables.rs:111:9:111:10 | x6 |
| variables.rs:119:23:119:24 | y1 | variables.rs:116:14:116:15 | y1 |
| variables.rs:124:15:124:16 | y1 | variables.rs:112:9:112:10 | y1 |
| variables.rs:130:11:130:17 | numbers | variables.rs:128:9:128:15 | numbers |
| variables.rs:136:23:136:27 | first | variables.rs:132:13:132:17 | first |
| variables.rs:137:23:137:27 | third | variables.rs:133:13:133:17 | third |
| variables.rs:138:23:138:27 | fifth | variables.rs:134:13:134:17 | fifth |
| variables.rs:142:11:142:17 | numbers | variables.rs:128:9:128:15 | numbers |
| variables.rs:148:23:148:27 | first | variables.rs:144:13:144:17 | first |
| variables.rs:149:23:149:26 | last | variables.rs:146:13:146:16 | last |
| variables.rs:157:11:157:12 | p2 | variables.rs:155:9:155:10 | p2 |
| variables.rs:160:24:160:25 | x7 | variables.rs:159:16:159:17 | x7 |
| variables.rs:171:11:171:13 | msg | variables.rs:169:9:169:11 | msg |
| variables.rs:174:24:174:34 | id_variable | variables.rs:173:17:173:27 | id_variable |
| variables.rs:179:23:179:24 | id | variables.rs:178:26:178:27 | id |
| variables.rs:190:11:190:16 | either | variables.rs:189:9:189:14 | either |
| variables.rs:192:26:192:27 | a3 | variables.rs:191:9:191:44 | a3 |
| variables.rs:204:11:204:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:206:26:206:27 | a4 | variables.rs:205:9:205:81 | a4 |
| variables.rs:208:11:208:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:210:26:210:27 | a5 | variables.rs:209:9:209:83 | a5 |
| variables.rs:212:11:212:12 | tv | variables.rs:203:9:203:10 | tv |
| variables.rs:214:26:214:27 | a6 | variables.rs:213:9:213:83 | a6 |
| variables.rs:220:11:220:16 | either | variables.rs:219:9:219:14 | either |
| variables.rs:222:16:222:17 | a7 | variables.rs:221:9:221:44 | a7 |
| variables.rs:223:26:223:27 | a7 | variables.rs:221:9:221:44 | a7 |
| variables.rs:231:11:231:16 | either | variables.rs:229:9:229:14 | either |
| variables.rs:235:23:235:25 | a11 | variables.rs:233:14:233:51 | a11 |
| variables.rs:237:15:237:15 | e | variables.rs:232:13:232:13 | e |
| variables.rs:238:28:238:30 | a12 | variables.rs:236:33:236:35 | a12 |
| variables.rs:254:11:254:12 | fv | variables.rs:253:9:253:10 | fv |
| variables.rs:256:26:256:28 | a13 | variables.rs:255:9:255:109 | a13 |
| variables.rs:266:15:266:16 | a8 | variables.rs:261:5:261:6 | a8 |
| variables.rs:267:15:267:16 | b3 | variables.rs:263:9:263:10 | b3 |
| variables.rs:268:15:268:16 | c1 | variables.rs:264:9:264:10 | c1 |
| variables.rs:274:15:274:16 | a9 | variables.rs:272:6:272:41 | a9 |
| variables.rs:283:15:283:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:284:15:284:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:285:15:285:16 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:292:9:292:11 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:293:9:293:10 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:294:9:294:10 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:296:15:296:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:297:15:297:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:298:15:298:16 | c2 | variables.rs:281:13:281:14 | c2 |
| variables.rs:305:23:305:25 | a10 | variables.rs:302:13:302:15 | a10 |
| variables.rs:306:23:306:24 | b4 | variables.rs:303:13:303:14 | b4 |
| variables.rs:310:15:310:17 | a10 | variables.rs:279:13:279:15 | a10 |
| variables.rs:311:15:311:16 | b4 | variables.rs:280:13:280:14 | b4 |
| variables.rs:317:9:317:9 | x | variables.rs:316:10:316:10 | x |
| variables.rs:319:9:319:23 | example_closure | variables.rs:315:9:315:23 | example_closure |
| variables.rs:320:15:320:16 | n1 | variables.rs:318:9:318:10 | n1 |
| variables.rs:325:9:325:9 | x | variables.rs:324:10:324:10 | x |
| variables.rs:327:9:327:26 | immutable_variable | variables.rs:323:9:323:26 | immutable_variable |
| variables.rs:328:15:328:16 | n2 | variables.rs:326:9:326:10 | n2 |
| variables.rs:335:12:335:12 | v | variables.rs:332:9:332:9 | v |
| variables.rs:336:19:336:22 | text | variables.rs:334:9:334:12 | text |
| variables.rs:343:15:343:15 | a | variables.rs:341:13:341:13 | a |
| variables.rs:345:15:345:15 | a | variables.rs:341:13:341:13 | a |
| variables.rs:352:6:352:10 | ref_i | variables.rs:350:9:350:13 | ref_i |
| variables.rs:353:15:353:15 | i | variables.rs:349:13:349:13 | i |
| variables.rs:357:6:357:6 | x | variables.rs:356:17:356:17 | x |
| variables.rs:358:10:358:10 | x | variables.rs:356:17:356:17 | x |
| variables.rs:359:10:359:10 | x | variables.rs:356:17:356:17 | x |
| variables.rs:360:12:360:12 | x | variables.rs:356:17:356:17 | x |
| variables.rs:364:6:364:6 | x | variables.rs:363:22:363:22 | x |
| variables.rs:365:10:365:10 | x | variables.rs:363:22:363:22 | x |
| variables.rs:366:10:366:10 | x | variables.rs:363:22:363:22 | x |
| variables.rs:367:6:367:6 | y | variables.rs:363:39:363:39 | y |
| variables.rs:368:9:368:9 | x | variables.rs:363:22:363:22 | x |
| variables.rs:375:6:375:6 | y | variables.rs:373:9:373:9 | y |
| variables.rs:377:15:377:15 | x | variables.rs:372:13:372:13 | x |
| variables.rs:384:9:384:9 | w | variables.rs:380:9:380:9 | w |
| variables.rs:386:7:386:7 | w | variables.rs:380:9:380:9 | w |
| variables.rs:388:15:388:15 | z | variables.rs:379:13:379:13 | z |
| variables.rs:395:6:395:6 | y | variables.rs:393:9:393:9 | y |
| variables.rs:396:15:396:15 | x | variables.rs:392:13:392:13 | x |
| variables.rs:403:19:403:19 | x | variables.rs:400:9:400:9 | x |
| variables.rs:405:5:405:7 | cap | variables.rs:402:9:402:11 | cap |
| variables.rs:406:15:406:15 | x | variables.rs:400:9:400:9 | x |
| variables.rs:413:19:413:19 | x | variables.rs:410:13:410:13 | x |
| variables.rs:415:5:415:12 | closure1 | variables.rs:412:9:412:16 | closure1 |
| variables.rs:416:15:416:15 | x | variables.rs:410:13:410:13 | x |
| variables.rs:423:5:423:12 | closure2 | variables.rs:420:13:420:20 | closure2 |
| variables.rs:424:15:424:15 | y | variables.rs:418:13:418:13 | y |
| variables.rs:429:9:429:9 | z | variables.rs:426:13:426:13 | z |
| variables.rs:431:5:431:12 | closure3 | variables.rs:428:13:428:20 | closure3 |
| variables.rs:432:15:432:15 | z | variables.rs:426:13:426:13 | z |
| variables.rs:437:15:437:15 | x | variables.rs:436:13:436:13 | x |
| variables.rs:438:15:438:15 | x | variables.rs:436:13:436:13 | x |
| variables.rs:439:8:439:8 | b | variables.rs:435:8:435:8 | b |
| variables.rs:441:19:441:19 | x | variables.rs:436:13:436:13 | x |
| variables.rs:442:19:442:19 | x | variables.rs:436:13:436:13 | x |
| variables.rs:445:19:445:19 | x | variables.rs:436:13:436:13 | x |
| variables.rs:446:19:446:19 | x | variables.rs:436:13:436:13 | x |
| variables.rs:448:15:448:15 | x | variables.rs:436:13:436:13 | x |
| variables.rs:453:8:453:9 | b1 | variables.rs:451:13:451:14 | b1 |
| variables.rs:454:19:454:19 | x | variables.rs:452:9:452:9 | x |
| variables.rs:456:19:456:19 | x | variables.rs:452:9:452:9 | x |
| variables.rs:459:8:459:9 | b2 | variables.rs:451:24:451:25 | b2 |
| variables.rs:460:19:460:19 | x | variables.rs:452:9:452:9 | x |
| variables.rs:462:19:462:19 | x | variables.rs:452:9:452:9 | x |
| variables.rs:479:15:479:15 | a | variables.rs:478:13:478:13 | a |
| variables.rs:480:5:480:5 | a | variables.rs:478:13:478:13 | a |
| variables.rs:481:15:481:15 | a | variables.rs:478:13:478:13 | a |
| variables.rs:483:15:483:15 | a | variables.rs:478:13:478:13 | a |
| variables.rs:489:15:489:15 | x | variables.rs:487:9:487:9 | x |
| variables.rs:507:3:507:3 | a | variables.rs:506:11:506:11 | a |
| variables.rs:509:13:509:13 | a | variables.rs:506:11:506:11 | a |
variableInitializer
| variables.rs:12:9:12:10 | x1 | variables.rs:12:14:12:16 | "a" |
| variables.rs:17:13:17:14 | x2 | variables.rs:17:18:17:18 | 4 |
| variables.rs:24:9:24:10 | x3 | variables.rs:24:14:24:14 | 1 |
| variables.rs:26:9:26:10 | x3 | variables.rs:27:9:27:14 | ... + ... |
| variables.rs:32:9:32:10 | x4 | variables.rs:32:14:32:16 | "a" |
| variables.rs:35:13:35:14 | x4 | variables.rs:35:18:35:20 | "b" |
| variables.rs:64:9:64:10 | p1 | variables.rs:64:14:64:37 | RecordExpr |
| variables.rs:74:9:74:10 | s1 | variables.rs:74:14:74:41 | CallExpr |
| variables.rs:91:9:91:10 | s1 | variables.rs:91:14:91:41 | CallExpr |
| variables.rs:100:9:100:10 | x6 | variables.rs:100:14:100:20 | CallExpr |
| variables.rs:101:9:101:10 | y1 | variables.rs:101:14:101:15 | 10 |
| variables.rs:117:9:117:15 | numbers | variables.rs:117:19:117:35 | TupleExpr |
| variables.rs:144:9:144:10 | p2 | variables.rs:144:14:144:37 | RecordExpr |
| variables.rs:158:9:158:11 | msg | variables.rs:158:15:158:38 | RecordExpr |
| variables.rs:178:9:178:14 | either | variables.rs:178:18:178:33 | CallExpr |
| variables.rs:192:9:192:10 | tv | variables.rs:192:14:192:36 | CallExpr |
| variables.rs:208:9:208:14 | either | variables.rs:208:18:208:33 | CallExpr |
| variables.rs:218:9:218:14 | either | variables.rs:218:18:218:33 | CallExpr |
| variables.rs:242:9:242:10 | fv | variables.rs:242:14:242:35 | CallExpr |
| variables.rs:304:9:304:23 | example_closure | variables.rs:305:9:306:9 | ClosureExpr |
| variables.rs:307:9:307:10 | n1 | variables.rs:308:9:308:26 | CallExpr |
| variables.rs:312:9:312:26 | immutable_variable | variables.rs:313:9:314:9 | ClosureExpr |
| variables.rs:315:9:315:10 | n2 | variables.rs:316:9:316:29 | CallExpr |
| variables.rs:321:9:321:9 | v | variables.rs:321:13:321:41 | RefExpr |
| variables.rs:330:13:330:13 | a | variables.rs:330:17:330:17 | 0 |
| variables.rs:338:13:338:13 | i | variables.rs:338:17:338:17 | 1 |
| variables.rs:339:9:339:13 | ref_i | variables.rs:340:9:340:14 | RefExpr |
| variables.rs:361:13:361:13 | x | variables.rs:361:17:361:17 | 2 |
| variables.rs:362:9:362:9 | y | variables.rs:363:9:363:28 | CallExpr |
| variables.rs:368:13:368:13 | z | variables.rs:368:17:368:17 | 4 |
| variables.rs:369:9:369:9 | w | variables.rs:370:9:370:19 | RefExpr |
| variables.rs:381:13:381:13 | x | variables.rs:381:17:381:17 | 1 |
| variables.rs:382:9:382:9 | y | variables.rs:383:9:383:14 | RefExpr |
| variables.rs:389:13:389:13 | x | variables.rs:389:17:389:18 | 10 |
| variables.rs:390:13:390:15 | cap | variables.rs:390:19:393:5 | ClosureExpr |
| variables.rs:399:9:399:9 | x | variables.rs:399:13:399:15 | 100 |
| variables.rs:400:13:400:15 | cap | variables.rs:400:19:402:5 | ClosureExpr |
| variables.rs:408:13:408:13 | x | variables.rs:408:17:408:17 | 1 |
| variables.rs:424:9:424:9 | x | variables.rs:424:13:424:13 | 1 |
| variables.rs:450:13:450:13 | a | variables.rs:450:17:450:35 | RecordExpr |
| variables.rs:463:9:463:9 | x | variables.rs:463:13:463:14 | 16 |
| variables.rs:467:9:467:9 | z | variables.rs:467:13:467:14 | 17 |
| variables.rs:482:11:482:11 | a | variables.rs:482:15:482:33 | RecordExpr |
| variables.rs:16:9:16:10 | x1 | variables.rs:16:14:16:16 | "a" |
| variables.rs:21:13:21:14 | x2 | variables.rs:21:18:21:18 | 4 |
| variables.rs:28:13:28:13 | x | variables.rs:28:17:28:17 | 1 |
| variables.rs:35:9:35:10 | x3 | variables.rs:35:14:35:14 | 1 |
| variables.rs:37:9:37:10 | x3 | variables.rs:38:9:38:14 | ... + ... |
| variables.rs:43:9:43:10 | x4 | variables.rs:43:14:43:16 | "a" |
| variables.rs:46:13:46:14 | x4 | variables.rs:46:18:46:20 | "b" |
| variables.rs:75:9:75:10 | p1 | variables.rs:75:14:75:37 | RecordExpr |
| variables.rs:85:9:85:10 | s1 | variables.rs:85:14:85:41 | CallExpr |
| variables.rs:102:9:102:10 | s1 | variables.rs:102:14:102:41 | CallExpr |
| variables.rs:111:9:111:10 | x6 | variables.rs:111:14:111:20 | CallExpr |
| variables.rs:112:9:112:10 | y1 | variables.rs:112:14:112:15 | 10 |
| variables.rs:128:9:128:15 | numbers | variables.rs:128:19:128:35 | TupleExpr |
| variables.rs:155:9:155:10 | p2 | variables.rs:155:14:155:37 | RecordExpr |
| variables.rs:169:9:169:11 | msg | variables.rs:169:15:169:38 | RecordExpr |
| variables.rs:189:9:189:14 | either | variables.rs:189:18:189:33 | CallExpr |
| variables.rs:203:9:203:10 | tv | variables.rs:203:14:203:36 | CallExpr |
| variables.rs:219:9:219:14 | either | variables.rs:219:18:219:33 | CallExpr |
| variables.rs:229:9:229:14 | either | variables.rs:229:18:229:33 | CallExpr |
| variables.rs:253:9:253:10 | fv | variables.rs:253:14:253:35 | CallExpr |
| variables.rs:315:9:315:23 | example_closure | variables.rs:316:9:317:9 | ClosureExpr |
| variables.rs:318:9:318:10 | n1 | variables.rs:319:9:319:26 | CallExpr |
| variables.rs:323:9:323:26 | immutable_variable | variables.rs:324:9:325:9 | ClosureExpr |
| variables.rs:326:9:326:10 | n2 | variables.rs:327:9:327:29 | CallExpr |
| variables.rs:332:9:332:9 | v | variables.rs:332:13:332:41 | RefExpr |
| variables.rs:341:13:341:13 | a | variables.rs:341:17:341:17 | 0 |
| variables.rs:349:13:349:13 | i | variables.rs:349:17:349:17 | 1 |
| variables.rs:350:9:350:13 | ref_i | variables.rs:351:9:351:14 | RefExpr |
| variables.rs:372:13:372:13 | x | variables.rs:372:17:372:17 | 2 |
| variables.rs:373:9:373:9 | y | variables.rs:374:9:374:28 | CallExpr |
| variables.rs:379:13:379:13 | z | variables.rs:379:17:379:17 | 4 |
| variables.rs:380:9:380:9 | w | variables.rs:381:9:381:19 | RefExpr |
| variables.rs:392:13:392:13 | x | variables.rs:392:17:392:17 | 1 |
| variables.rs:393:9:393:9 | y | variables.rs:394:9:394:14 | RefExpr |
| variables.rs:400:9:400:9 | x | variables.rs:400:13:400:15 | 100 |
| variables.rs:402:9:402:11 | cap | variables.rs:402:15:404:5 | ClosureExpr |
| variables.rs:410:13:410:13 | x | variables.rs:410:17:410:17 | 1 |
| variables.rs:412:9:412:16 | closure1 | variables.rs:412:20:414:5 | ClosureExpr |
| variables.rs:418:13:418:13 | y | variables.rs:418:17:418:17 | 2 |
| variables.rs:420:13:420:20 | closure2 | variables.rs:420:24:422:5 | ClosureExpr |
| variables.rs:426:13:426:13 | z | variables.rs:426:17:426:17 | 2 |
| variables.rs:428:13:428:20 | closure3 | variables.rs:428:24:430:5 | ClosureExpr |
| variables.rs:436:13:436:13 | x | variables.rs:436:17:436:17 | 1 |
| variables.rs:452:9:452:9 | x | variables.rs:452:13:452:13 | 1 |
| variables.rs:478:13:478:13 | a | variables.rs:478:17:478:35 | RecordExpr |
| variables.rs:487:9:487:9 | x | variables.rs:487:13:487:14 | 16 |
| variables.rs:491:9:491:9 | z | variables.rs:491:13:491:14 | 17 |
| variables.rs:506:11:506:11 | a | variables.rs:506:15:506:33 | RecordExpr |
capturedVariable
| variables.rs:389:13:389:13 | x |
| variables.rs:399:9:399:9 | x |
| variables.rs:400:9:400:9 | x |
| variables.rs:410:13:410:13 | x |
| variables.rs:418:13:418:13 | y |
| variables.rs:426:13:426:13 | z |
capturedAccess
| variables.rs:391:19:391:19 | x |
| variables.rs:392:9:392:9 | x |
| variables.rs:401:19:401:19 | x |
| variables.rs:403:19:403:19 | x |
| variables.rs:413:19:413:19 | x |
| variables.rs:421:9:421:9 | y |
| variables.rs:429:9:429:9 | z |

53
rust/ql/test/library-tests/variables/variables.rs
View File

@@ -8,6 +8,10 @@ fn print_i64(i: i64) { // i
println!("{}", i); // $ read_access=i
}
fn print_i64_ref(i: &i64) {
print_i64(*i) // $ read_access=i
}
fn immutable_variable() {
let x1 = "a"; // x1
print_str(x1); // $ read_access=x1
@@ -20,6 +24,13 @@ fn mutable_variable() {
print_i64(x2); // $ read_access=x2
}
fn mutable_variable_immutable_borrow() {
let mut x = 1;
print_i64_ref(&x); // $ access=x
x = 2; // $ write_access=x
print_i64_ref(&x); // $ access=x
}
fn variable_shadow1() {
let x3 = 1; // x3_1
print_i64(x3); // $ read_access=x3_1
@@ -385,23 +396,40 @@ fn alias() {
print_i64(x); // $ read_access=x
}
fn capture_mut() {
let mut x = 10; // x
let mut cap = || {
fn capture_immut() {
let x = 100; // x
// Captures immutable value by immutable reference
let cap = || {
print_i64(x); // $ read_access=x
x += 1; // $ access=x
};
cap(); // $ read_access=cap
print_i64(x); // $ read_access=x
}
fn capture_immut() {
let x = 100; // x
let mut cap = || {
fn capture_mut() {
let mut x = 1; // x
// Captures mutable value by immutable reference
let closure1 = || {
print_i64(x); // $ read_access=x
};
cap(); // $ read_access=cap
closure1(); // $ read_access=closure1
print_i64(x); // $ read_access=x
let mut y = 2; // y
// Captures mutable value by mutable reference
let mut closure2 = || {
y = 3; // $ write_access=y
};
closure2(); // $ read_access=closure2
print_i64(y); // $ read_access=y
let mut z = 2; // z
// Captures mutable value by mutable reference and calls mutating method
let mut closure3 = || {
z.add_assign(1); // $ read_access=z
};
closure3(); // $ read_access=closure3
print_i64(z); // $ read_access=z
}
fn phi(b : bool) {
@@ -455,17 +483,13 @@ fn structs() {
print_i64(a.my_get()); // $ read_access=a
}
fn ref_param(x: &i64) {
print_i64(*x) // $ read_access=x
}
fn ref_arg() {
let x = 16; // x
ref_param(&x); // $ access=x
print_i64_ref(&x); // $ access=x
print_i64(x); // $ read_access=x
let z = 17; // z
ref_param(&z); // $ access=z
print_i64_ref(&z); // $ access=z
}
trait Bar {
@@ -488,6 +512,7 @@ fn ref_methodcall_receiver() {
fn main() {
immutable_variable();
mutable_variable();
mutable_variable_immutable_borrow();
variable_shadow1();
variable_shadow2();
let_pattern1();

1
rust/ql/test/query-tests/unusedentities/UnusedValue.expected
View File

@@ -18,7 +18,6 @@
| main.rs:348:5:348:39 | kind | Variable is assigned a value that is never used. |
| main.rs:370:9:370:9 | x | Variable is assigned a value that is never used. |
| main.rs:378:17:378:17 | x | Variable is assigned a value that is never used. |
| main.rs:432:9:432:10 | i6 | Variable is assigned a value that is never used. |
| more.rs:24:9:24:11 | val | Variable is assigned a value that is never used. |
| more.rs:46:9:46:14 | a_ptr4 | Variable is assigned a value that is never used. |
| more.rs:61:9:61:13 | d_ptr | Variable is assigned a value that is never used. |

2
rust/ql/test/query-tests/unusedentities/main.rs
View File

@@ -429,7 +429,7 @@ fn folds_and_closures() {
let a5 = 1..10;
_ = a5.fold(0, | acc, val | val); // BAD: unused variable
let i6 = 1; // SPURIOUS: unused value
let i6 = 1;
let a6 = 1..10;
_ = a6.fold(0, | acc, val | acc + val + i6);
}