Skip to content

Commit ecac0db

Browse files
geoffw0geoffw0
committed
Rust: Accept consistency check failures.
1 parent a9d5d8b commit ecac0db

2 files changed

Lines changed: 11 additions & 0 deletions

File tree

‎rust/ql/test/query-tests/security/CWE-825/CONSISTENCY/SsaConsistency.expected‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
readWithoutDef
2+
| lifetime.rs:511:6:511:14 | my_local2 | lifetime.rs:514:9:527:2 | enter \|...\| ... | 2 |
3+
| lifetime.rs:564:6:564:14 | my_local2 | lifetime.rs:567:9:580:2 | enter { ... } | 2 |
4+
readWithoutPriorRef
5+
| lifetime.rs:511:6:511:14 | my_local2 | lifetime.rs:514:9:527:2 | enter \|...\| ... | 2 |
6+
| lifetime.rs:564:6:564:14 | my_local2 | lifetime.rs:567:9:580:2 | enter { ... } | 2 |

‎rust/ql/test/query-tests/security/CWE-825/CONSISTENCY/VariableCaptureConsistency.expected‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
variableIsCaptured
2+
| lifetime.rs:511:6:511:14 | my_local2 | CapturedVariable is not captured |
3+
| lifetime.rs:564:6:564:14 | my_local2 | CapturedVariable is not captured |
4+
consistencyOverview
5+
| CapturedVariable is not captured | 2 |

0 commit comments

Comments
 (0)