transpile: add statement expression test to macros.c snapshot

Author: kkysen

c2rust-transpile/tests/snapshots/macros.c

@@ -38,6 +38,17 @@ struct S {
 #define TERNARY LITERAL_BOOL ? 1 : 2
 #define MEMBER LITERAL_STRUCT.i
 
+#define STMT_EXPR                                                              \
+  ({                                                                           \
+    int builtin = BUILTIN;                                                     \
+    char indexing = INDEXING;                                                  \
+    float mixed = MIXED_ARITHMETIC;                                            \
+    for (int i = 0; i < builtin; i++) {                                        \
+      mixed += (float)indexing;                                                \
+    }                                                                          \
+    mixed;                                                                     \
+  })
+
 void local_muts() {
   int literal_int = LITERAL_INT;
   bool literal_bool = LITERAL_BOOL;
@@ -72,6 +83,7 @@ void local_muts() {
   const struct S *ref_struct = REF_LITERAL;
   int ternary = TERNARY;
   int member = MEMBER;
+  float stmt_expr = STMT_EXPR;
 }
 
 void local_consts() {
@@ -108,6 +120,7 @@ void local_consts() {
   const struct S *const ref_struct = REF_LITERAL;
   const int ternary = TERNARY;
   const int member = MEMBER;
+  const float stmt_expr = STMT_EXPR;
 }
 
 // TODO These are declared in the global scope and thus clash,
@@ -147,6 +160,7 @@ void local_static_consts() {
   static const struct S *const ref_struct = REF_LITERAL;
   static const int ternary = TERNARY;
   static const int member = MEMBER;
+  static const float stmt_expr = STMT_EXPR;
 }
 #endif
 
@@ -187,6 +201,7 @@ static const char *const global_static_const_ref_indexing = REF_MACRO;
 static const struct S *const global_static_const_ref_struct = REF_LITERAL;
 static const int global_static_const_ternary = TERNARY;
 static const int global_static_const_member = MEMBER;
+// static const float global_static_const_stmt_expr = STMT_EXPR; // Statement expression not allowed at file scope.
 
 void global_static_consts() {
   // Need to use `static`s or else they'll be removed when translated.
@@ -223,6 +238,7 @@ void global_static_consts() {
   (void)global_static_const_ref_struct;
   (void)global_static_const_ternary;
   (void)global_static_const_member;
+  // (void)global_static_const_stmt_expr;
 }
 
 // global consts
@@ -260,6 +276,7 @@ const char *const global_const_ref_indexing = REF_MACRO;
 const struct S *const global_const_ref_struct = REF_LITERAL;
 const int global_const_ternary = TERNARY;
 const int global_const_member = MEMBER;
+// const float global_const_stmt_expr = STMT_EXPR; // Statement expression not allowed at file scope.
 
 typedef unsigned long long U64;
 

c2rust-transpile/tests/snapshots/[email protected]

@@ -70,6 +70,24 @@ pub const PTR_ARITHMETIC: *const std::ffi::c_char = unsafe {
 };
 pub const WIDENING_CAST: std::ffi::c_int = unsafe { LITERAL_INT };
 pub const CONVERSION_CAST: std::ffi::c_int = unsafe { LITERAL_INT };
+pub const STMT_EXPR: std::ffi::c_float = unsafe {
+    ({
+        let mut builtin: std::ffi::c_int = (LITERAL_INT as std::ffi::c_uint).leading_zeros() as i32;
+        let mut indexing: std::ffi::c_char =
+            (*::core::mem::transmute::<&[u8; 6], &[std::ffi::c_char; 6]>(b"hello\0"))
+                [LITERAL_FLOAT as std::ffi::c_int as usize];
+        let mut mixed: std::ffi::c_float =
+            (LITERAL_INT as std::ffi::c_double + NESTED_FLOAT * LITERAL_CHAR as std::ffi::c_double
+                - true_0 as std::ffi::c_double) as std::ffi::c_float;
+        let mut i: std::ffi::c_int = 0 as std::ffi::c_int;
+        while i < builtin {
+            mixed += indexing as std::ffi::c_float;
+            i += 1;
+            i;
+        }
+        mixed
+    })
+};
 #[no_mangle]
 pub unsafe extern "C" fn local_muts() {
     let mut literal_int: std::ffi::c_int = LITERAL_INT;
@@ -124,6 +142,7 @@ pub unsafe extern "C" fn local_muts() {
         2 as std::ffi::c_int
     };
     let mut member: std::ffi::c_int = LITERAL_STRUCT.i;
+    let mut stmt_expr: std::ffi::c_float = STMT_EXPR;
 }
 #[no_mangle]
 pub unsafe extern "C" fn local_consts() {
@@ -179,6 +198,7 @@ pub unsafe extern "C" fn local_consts() {
         2 as std::ffi::c_int
     };
     let member: std::ffi::c_int = LITERAL_STRUCT.i;
+    let stmt_expr: std::ffi::c_float = STMT_EXPR;
 }
 static mut global_static_const_literal_int: std::ffi::c_int = LITERAL_INT;
 static mut global_static_const_literal_bool: bool = LITERAL_BOOL != 0;