From c6b4a81ff2f60ea16c600034f88731f44da732ae Mon Sep 17 00:00:00 2001
From: nils <48135649+Nilstrieb@users.noreply.github.com>
Date: Tue, 30 May 2023 15:51:29 +0200
Subject: [PATCH] more

---
 code.rs | 53 ++++++++++++++++++++++++++---------------------------
 1 file changed, 26 insertions(+), 27 deletions(-)

diff --git a/code.rs b/code.rs
index 55bb87e..d1a2f73 100644
--- a/code.rs
+++ b/code.rs
@@ -25,36 +25,35 @@ pub unsafe fn fn12_rs() {
                     // Taken
                     v8 = 13978819448286864680_u64;
                     v33.2 = ret;
-                    {
-                        // Taken
-                        'l2: loop {
-                            (*v20_ptr) = [11_u8; 8]; // What LLVM with low mir-opt prints
-                            (*v12) = 22; // What Miri prints
-                            loop {
-                                v21 = *v20_ptr;
-                                match v8 {
-                                    13978819448286864680 => {
-                                        // Taken
-                                        v39.2 .0 = [2262110980_u32; 6];
-                                        v8 = 2;
-                                        v39.0 = 6;
-                                        v17 = v33.2;
-                                        v33.2 = core::ptr::addr_of_mut!(v31.0);
-                                        v31.1 = *v12;
-                                        (*v17) = true;
-                                        (*v20_ptr) = v21;
-                                        match v39.0 {
-                                            6 => {
-                                                // Taken
-                                                print_var(v31.1);
-                                            }
-                                            0 => continue 'l2,
-                                            _ => return,
+
+                    // Taken
+                    'l2: loop {
+                        (*v20_ptr) = [11_u8; 8]; // What LLVM with low mir-opt prints
+                        (*v12) = 22; // What Miri prints
+                        loop {
+                            v21 = *v20_ptr;
+                            match v8 {
+                                13978819448286864680 => {
+                                    // Taken
+                                    v39.2 .0 = [2262110980_u32; 6];
+                                    v8 = 2;
+                                    v39.0 = 6;
+                                    v17 = v33.2;
+                                    v33.2 = core::ptr::addr_of_mut!(v31.0);
+                                    v31.1 = *v12;
+                                    (*v17) = true;
+                                    (*v20_ptr) = v21;
+                                    match v39.0 {
+                                        6 => {
+                                            // Taken
+                                            print_var(v31.1);
                                         }
+                                        0 => continue 'l2,
+                                        _ => return,
                                     }
-                                    2 => return,
-                                    _ => continue 'l0,
                                 }
+                                2 => return,
+                                _ => continue 'l0,
                             }
                         }
                     }