transpile: tests: add trivial uint32 snapshot test

fw-immunant · fw-immunant · commit de5a710df6f2 · 2025-07-10T15:02:56.000-04:00
diff --git a/c2rust-transpile/tests/snapshots/platform-specific/uint32.c b/c2rust-transpile/tests/snapshots/platform-specific/uint32.c
@@ -0,0 +1,2 @@
+#include <stdint.h>
+uint32_t var;
diff --git a/c2rust-transpile/tests/snapshots/platform-specific/uint32.rs b/c2rust-transpile/tests/snapshots/platform-specific/uint32.rs
@@ -0,0 +1,13 @@
+#![allow(
+    dead_code,
+    mutable_transmutes,
+    non_camel_case_types,
+    non_snake_case,
+    non_upper_case_globals,
+    unused_assignments,
+    unused_mut
+)]
+pub type __uint32_t = u32;
+pub type uint32_t = __uint32_t;
+#[no_mangle]
+pub static mut var: uint32_t = 0;
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@uint32.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-linux@uint32.c.snap
@@ -0,0 +1,20 @@
+---
+source: c2rust-transpile/tests/snapshots.rs
+assertion_line: 67
+expression: cat tests/snapshots/platform-specific/uint32.rs
+input_file: c2rust-transpile/tests/snapshots/platform-specific/uint32.c
+---
+#![allow(
+    dead_code,
+    mutable_transmutes,
+    non_camel_case_types,
+    non_snake_case,
+    non_upper_case_globals,
+    unused_assignments,
+    unused_mut
+)]
+pub type __uint32_t = u32;
+pub type uint32_t = __uint32_t;
+#[no_mangle]
+pub static mut var: uint32_t = 0;
+
diff --git a/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@uint32.c.snap b/c2rust-transpile/tests/snapshots/snapshots__transpile-macos@uint32.c.snap
@@ -0,0 +1,19 @@
+---
+source: c2rust-transpile/tests/snapshots.rs
+assertion_line: 67
+expression: cat tests/snapshots/platform-specific/uint32.rs
+input_file: c2rust-transpile/tests/snapshots/platform-specific/uint32.c
+---
+#![allow(
+    dead_code,
+    mutable_transmutes,
+    non_camel_case_types,
+    non_snake_case,
+    non_upper_case_globals,
+    unused_assignments,
+    unused_mut
+)]
+pub type uint32_t = u32;
+#[no_mangle]
+pub static mut var: uint32_t = 0;
+

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+#include <stdint.h>`
	`2`	`+uint32_t var;`