diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2022-01-19 22:59:13 -0800 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-01-21 00:09:10 +0100 |
| commit | 983b56e9f7ef1fdfcf82ad82cc70f939318e599f (patch) | |
| tree | 1d7fd8e704ffd8436842c014df703c7a9070e186 /tests | |
| parent | cf4bcc3f1435eafa3ed8b5fadfa9698033d1e2df (diff) | |
Add _Static_assert when compiling server and user stubs.
This is only done when data is inlined with a concrete size. It
ensures the C and Mig types have the same size in the target arch.
Tested by building the hurd package. No assertions were triggered.
Message-Id: <YekIQaxvs+4FrHyw@viriathus>
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/good/case.defs | 6 | ||||
| -rw-r--r-- | tests/includes/types.h | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/tests/good/case.defs b/tests/good/case.defs index 25ba510..479f733 100644 --- a/tests/good/case.defs +++ b/tests/good/case.defs @@ -19,9 +19,11 @@ /* Tests some keywords with different casing. */ SUBSYSTEM myroutine 100; -TyPe int = MACH_MSG_TYPE_INTEGER_64; +import <stdint.h>; + +TyPe uint64_t = MACH_MSG_TYPE_INTEGER_64; typE mach_port_t = MACH_MSG_TYPE_COPY_SEND; RouTine factorial(port : mach_port_t; n : int; - out result : int); + out result : uint64_t); diff --git a/tests/includes/types.h b/tests/includes/types.h index c8c3afd..fe70e69 100644 --- a/tests/includes/types.h +++ b/tests/includes/types.h @@ -28,7 +28,7 @@ typedef struct char_struct { char c4; } char_struct_t; -typedef char* string_t; +typedef char string_t[256]; typedef const char* const_string_t; static inline int8_t int_to_int8(int n) { |