C: Fix a bug where function argument type becomes more specific due to flow typing

Added a regression test as c/test/downcast_fn.sail

1 files changed, 6 insertions, 0 deletions

diff --git a/lib/sail.c b/lib/sail.c
index 62801cc7..3c0b0dac 100644
--- a/lib/sail.c
+++ b/lib/sail.c
@@ -173,6 +173,12 @@ void CREATE_OF(sail_int, mach_int)(sail_int *rop, mach_int op)
 }
 
 inline
+mach_int CREATE_OF(mach_int, sail_int)(const sail_int op)
+{
+  return mpz_get_ui(op);
+}
+
+inline
 void RECREATE_OF(sail_int, mach_int)(sail_int *rop, mach_int op)
 {
   mpz_set_si(*rop, op);