transpile: operators: resolve type when checking for unsignedness

c2rust-transpile/src/translator/operators.rs

@@ -506,7 +506,7 @@ impl<'c> Translation<'c> {
     ) -> TranslationResult<Box<Expr>> {
         let is_unsigned_integral_type = self
             .ast_context
-            .index(ctype)
+            .resolve_type(ctype)
             .kind
             .is_unsigned_integral_type();
 

c2rust-transpile/tests/snapshots/platform-specific/rnd.c

@@ -0,0 +1,16 @@
+#include <stdint.h>
+#include <stdlib.h>
+
+uint32_t cur_rand_seed = 0;
+
+void set_rand_seed(uint32_t s) {
+	cur_rand_seed = s;
+}
+
+uint32_t get_rand_seed() {
+	const uint32_t INCREMENT = 1;
+	const uint32_t MULTIPLIER = 0x015A4E35;
+	cur_rand_seed = MULTIPLIER * cur_rand_seed + INCREMENT;
+	uint32_t ret = abs((int32_t)cur_rand_seed);
+	return ret;
+}

c2rust-transpile/tests/snapshots/platform-specific/rnd.rs

@@ -0,0 +1,30 @@
+#![allow(
+    dead_code,
+    mutable_transmutes,
+    non_camel_case_types,
+    non_snake_case,
+    non_upper_case_globals,
+    unused_assignments,
+    unused_mut
+)]
+extern "C" {
+    fn abs(_: std::ffi::c_int) -> std::ffi::c_int;
+}
+pub type __int32_t = std::ffi::c_int;
+pub type __uint32_t = std::ffi::c_uint;
+pub type int32_t = __int32_t;
+pub type uint32_t = __uint32_t;
+#[no_mangle]
+pub static mut cur_rand_seed: uint32_t = 0 as std::ffi::c_int as uint32_t;
+#[no_mangle]
+pub unsafe extern "C" fn set_rand_seed(mut s: uint32_t) {
+    cur_rand_seed = s;
+}
+#[no_mangle]
+pub unsafe extern "C" fn get_rand_seed() -> uint32_t {
+    let INCREMENT: uint32_t = 1 as std::ffi::c_int as uint32_t;
+    let MULTIPLIER: uint32_t = 0x15a4e35 as std::ffi::c_int as uint32_t;
+    cur_rand_seed = MULTIPLIER.wrapping_mul(cur_rand_seed).wrapping_add(INCREMENT);
+    let mut ret: uint32_t = abs(cur_rand_seed as int32_t) as uint32_t;
+    return ret;
+}

c2rust-transpile/tests/snapshots/snapshots__transpile-linux@rnd.c.snap

@@ -0,0 +1,37 @@
+---
+source: c2rust-transpile/tests/snapshots.rs
+assertion_line: 80
+expression: cat tests/snapshots/rnd.rs
+input_file: c2rust-transpile/tests/snapshots/rnd.c
+---
+#![allow(
+    dead_code,
+    mutable_transmutes,
+    non_camel_case_types,
+    non_snake_case,
+    non_upper_case_globals,
+    unused_assignments,
+    unused_mut
+)]
+extern "C" {
+    fn abs(_: std::ffi::c_int) -> std::ffi::c_int;
+}
+pub type __int32_t = std::ffi::c_int;
+pub type __uint32_t = std::ffi::c_uint;
+pub type int32_t = __int32_t;
+pub type uint32_t = __uint32_t;
+#[no_mangle]
+pub static mut cur_rand_seed: uint32_t = 0 as std::ffi::c_int as uint32_t;
+#[no_mangle]
+pub unsafe extern "C" fn set_rand_seed(mut s: uint32_t) {
+    cur_rand_seed = s;
+}
+#[no_mangle]
+pub unsafe extern "C" fn get_rand_seed() -> uint32_t {
+    let INCREMENT: uint32_t = 1 as std::ffi::c_int as uint32_t;
+    let MULTIPLIER: uint32_t = 0x15a4e35 as std::ffi::c_int as uint32_t;
+    cur_rand_seed = MULTIPLIER.wrapping_mul(cur_rand_seed).wrapping_add(INCREMENT);
+    let mut ret: uint32_t = abs(cur_rand_seed as int32_t) as uint32_t;
+    return ret;
+}
+

c2rust-transpile/tests/snapshots/snapshots__transpile-macos@rnd.c.snap

@@ -0,0 +1,35 @@
+---
+source: c2rust-transpile/tests/snapshots.rs
+assertion_line: 80
+expression: cat tests/snapshots/rnd.rs
+input_file: c2rust-transpile/tests/snapshots/rnd.c
+---
+#![allow(
+    dead_code,
+    mutable_transmutes,
+    non_camel_case_types,
+    non_snake_case,
+    non_upper_case_globals,
+    unused_assignments,
+    unused_mut
+)]
+extern "C" {
+    fn abs(_: std::ffi::c_int) -> std::ffi::c_int;
+}
+pub type int32_t = std::ffi::c_int;
+pub type uint32_t = std::ffi::c_uint;
+#[no_mangle]
+pub static mut cur_rand_seed: uint32_t = 0 as std::ffi::c_int as uint32_t;
+#[no_mangle]
+pub unsafe extern "C" fn set_rand_seed(mut s: uint32_t) {
+    cur_rand_seed = s;
+}
+#[no_mangle]
+pub unsafe extern "C" fn get_rand_seed() -> uint32_t {
+    let INCREMENT: uint32_t = 1 as std::ffi::c_int as uint32_t;
+    let MULTIPLIER: uint32_t = 0x15a4e35 as std::ffi::c_int as uint32_t;
+    cur_rand_seed = MULTIPLIER.wrapping_mul(cur_rand_seed).wrapping_add(INCREMENT);
+    let mut ret: uint32_t = abs(cur_rand_seed as int32_t) as uint32_t;
+    return ret;
+}
+