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 /server.c | |
parent | cf4bcc3f1435eafa3ed8b5fadfa9698033d1e2df (diff) | |
download | mig-983b56e9f7ef1fdfcf82ad82cc70f939318e599f.tar.gz mig-983b56e9f7ef1fdfcf82ad82cc70f939318e599f.tar.bz2 mig-983b56e9f7ef1fdfcf82ad82cc70f939318e599f.zip |
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 'server.c')
-rw-r--r-- | server.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -184,7 +184,7 @@ WriteEpilog(FILE *file, const statement_t *stats) WriteStaticDecl(file, itRetCodeType, itRetCodeType->itDeallocate, itRetCodeType->itLongForm, - !IsKernelServer, "RetCodeType"); + /*is_server=*/ TRUE, !IsKernelServer, "RetCodeType"); fprintf(file, "\n"); fprintf(file, "\tmig_routine_t routine;\n"); @@ -1328,7 +1328,7 @@ WriteRoutine(FILE *file, const routine_t *rt) WriteList(file, rt->rtArgs, WriteCheckDecl, akbRequestQC, "\n", "\n"); WriteList(file, rt->rtArgs, - IsKernelServer ? WriteTypeDeclOut : WriteTypeDeclIn, + IsKernelServer ? WriteTypeDeclOutServer : WriteTypeDeclInServer, akbReplyInit, "\n", "\n"); WriteList(file, rt->rtArgs, WriteLocalVarDecl, |