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, 2 insertions, 0 deletions

diff --git a/lib/sail.h b/lib/sail.h
index a8651f50..37b6b685 100644
--- a/lib/sail.h
+++ b/lib/sail.h
@@ -101,6 +101,8 @@ SAIL_BUILTIN_TYPE(sail_int);
 void CREATE_OF(sail_int, mach_int)(sail_int *, const mach_int);
 void RECREATE_OF(sail_int, mach_int)(sail_int *, const mach_int);
 
+mach_int CREATE_OF(mach_int, sail_int)(const sail_int);
+
 void CREATE_OF(sail_int, sail_string)(sail_int *, const sail_string);
 void RECREATE_OF(sail_int, sail_string)(mpz_t *, const sail_string);