@@ -1176,6 +1176,12 @@ static void predefined_type_size(const char *name, const char *suffix, unsigned
predefined_width(name, bits);
}
+static void predefined_type(const char *name, struct symbol *type)
+{
+ const char *typename = builtin_typename(type);
+ add_pre_buffer("#weak_define __%s_TYPE__ %s\n", name, typename);
+}
+
static void predefined_macros(void)
{
predefine("__CHECKER__", 0, "1");
@@ -1269,16 +1275,7 @@ static void create_builtin_stream(void)
// Temporary hack
add_pre_buffer("#define _Pragma(x)\n");
- // gcc defines __SIZE_TYPE__ to be size_t. For linux/i86 and
- // solaris/sparc that is really "unsigned int" and for linux/x86_64
- // it is "long unsigned int". In either case we can probably
- // get away with this. We need the #weak_define as cgcc will define
- // the right __SIZE_TYPE__.
- if (size_t_ctype == &ulong_ctype)
- add_pre_buffer("#weak_define __SIZE_TYPE__ long unsigned int\n");
- else
- add_pre_buffer("#weak_define __SIZE_TYPE__ unsigned int\n");
-
+ predefined_type("SIZE", size_t_ctype);
/* add the multiarch include directories, if any */
if (multiarch_dir && *multiarch_dir) {
@@ -3,7 +3,6 @@
/*
* check-name: predefined macros for LLP64
* check-command: test-linearize -Wno-decl -msize-llp64 $file
- * check-known-to-fail
* check-output-ignore
*
* check-output-contains: ret\\..*\\$0
size_t_ctype is set to uint, ulong or ullong, depending on the architecture (ullong is only used for LLP64). However, when emitting '__SIZE_TYPE__', it's only compared to ulong or uint. Fix this by using an small helper directly using the right struct symbol * and using builtin_typename() to output the right type. This way we're guaranteed that '__SIZE_TYPE__' is kept coherent with the internal type: size_t_ctype. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com> --- lib.c | 17 +++++++---------- validation/preprocessor/predef-llp64.c | 1 - 2 files changed, 7 insertions(+), 11 deletions(-)