diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-21 11:16:42 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-21 11:16:42 +0100 |
commit | b873e06abcee1c7f6a51aaabb973b550a52a5b61 (patch) | |
tree | 70ccd9c7cbba08e20b782217b1a2268b1afce3e9 /runtime | |
parent | 65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5 (diff) | |
parent | eb7bd26e2b9eeed21d204bad26fa56c8a7937ffb (diff) | |
download | compcert-kvx-b873e06abcee1c7f6a51aaabb973b550a52a5b61.tar.gz compcert-kvx-b873e06abcee1c7f6a51aaabb973b550a52a5b61.zip |
Merge tag 'v3.4' into mppa_k1c
Conflicts:
.gitignore
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/include/stddef.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/runtime/include/stddef.h b/runtime/include/stddef.h index 452497c3..6056db62 100644 --- a/runtime/include/stddef.h +++ b/runtime/include/stddef.h @@ -117,4 +117,13 @@ typedef signed int wchar_t; #define offsetof(ty,member) (__builtin_offsetof(ty,member)) #endif +#ifdef _STDDEF_H +/* Type whose alignment is supported in every context and is at least + as great as that of any standard type not using alignment + specifiers. Since we do not support long double per default the type + with the maximum alignment supported in every context is long long. +*/ +typedef long long max_align_t; +#endif + #endif |