From 636bc29dcf9f1f70e2da7c0cd6f6cf68b00fc854 Mon Sep 17 00:00:00 2001 From: Yuxiao Mao Date: Thu, 18 Jul 2024 12:35:36 +0200 Subject: [PATCH] [hlc] Use uint64 instead of uint64_t for shift cast (#11721) --- src/generators/hl2c.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/generators/hl2c.ml b/src/generators/hl2c.ml index daf452e4027..8c863f5535d 100644 --- a/src/generators/hl2c.ml +++ b/src/generators/hl2c.ml @@ -844,7 +844,7 @@ let generate_function ctx f = sexpr "%s = %s >> %s" (reg r) (reg a) (reg b) | OUShr (r,a,b) -> (match rtype r with - | HI64 -> sexpr "%s = ((uint64_t)%s) >> %s" (reg r) (reg a) (reg b) + | HI64 -> sexpr "%s = ((uint64)%s) >> %s" (reg r) (reg a) (reg b) | _ -> sexpr "%s = ((unsigned)%s) >> %s" (reg r) (reg a) (reg b) ); | OAnd (r,a,b) ->