Rust: Add self-assignment variable test

2025-12-17 01:03:14 +01:00 · 2025-09-16 09:56:26 +02:00
parent 45eff3dac8
commit 4e77b1b9b8
4 changed files with 3132 additions and 3110 deletions
--- a/rust/ql/test/library-tests/variables/Cfg.expected
+++ b/rust/ql/test/library-tests/variables/Cfg.expected
--- a/rust/ql/test/library-tests/variables/Ssa.expected
+++ b/rust/ql/test/library-tests/variables/Ssa.expected
--- a/rust/ql/test/library-tests/variables/main.rs
+++ b/rust/ql/test/library-tests/variables/main.rs
@@ -26,6 +26,8 @@ fn mutable_variable() {
    print_i64(x2); // $ read_access=x2
    x2 = 5; // $ write_access=x2
    print_i64(x2); // $ read_access=x2
+    x2 = x2; // $ read_access=x2 $ write_access=x2
+    print_i64(x2); // $ read_access=x2
 }

 fn mutable_variable_immutable_borrow() {
--- a/rust/ql/test/library-tests/variables/variables.expected
+++ b/rust/ql/test/library-tests/variables/variables.expected