Warn about reference address as bool in condition of ?: and if (), too, not only...

[cparser] / types.c

diff --git a/types.c b/types.c
index 1f06895..586b95b 100644 (file)
--- a/types.c
+++ b/types.c
@@ -20,10 +20,12 @@
 #include "type_t.h"
 #include "types.h"
 #include "lang_features.h"
+#include "entity_t.h"
 
 /** The error type. */
 type_t *type_error_type;
 
+type_t *type_bool;
 type_t *type_char;
 type_t *type_const_char;
 type_t *type_double;
@@ -91,11 +93,11 @@ type_t *type_unsigned_int64;
 
 void init_basic_types(void)
 {
-       static const type_base_t error = { TYPE_ERROR, TYPE_QUALIFIER_NONE,
-                                          TYPE_MODIFIER_NONE, 0, { NULL, 0 },
-                                          NULL };
+       static const type_base_t error = { TYPE_ERROR, 0, TYPE_QUALIFIER_NONE,
+                                          TYPE_MODIFIER_NONE, 0, NULL };
 
        type_error_type         = (type_t*)&error;
+       type_bool               = make_atomic_type(ATOMIC_TYPE_BOOL,        TYPE_QUALIFIER_NONE);
        type_signed_char        = make_atomic_type(ATOMIC_TYPE_SCHAR,       TYPE_QUALIFIER_NONE);
        type_short              = make_atomic_type(ATOMIC_TYPE_SHORT,       TYPE_QUALIFIER_NONE);
        type_unsigned_short     = make_atomic_type(ATOMIC_TYPE_USHORT,      TYPE_QUALIFIER_NONE);
@@ -145,4 +147,23 @@ void init_basic_types(void)
        /* const character types */
        type_const_char         = make_atomic_type(ATOMIC_TYPE_CHAR,        TYPE_QUALIFIER_CONST);
        type_const_char_ptr     = make_pointer_type(type_const_char,        TYPE_QUALIFIER_NONE);
+
+       /* other types */
+       type_intmax_t    = type_long_long;
+       type_size_t      = type_unsigned_long;
+       type_ssize_t     = type_long;
+       type_ptrdiff_t   = type_long;
+       type_uintmax_t   = type_unsigned_long_long;
+       type_uptrdiff_t  = type_unsigned_long;
+       type_wchar_t     = make_atomic_type(wchar_atomic_kind, TYPE_QUALIFIER_NONE);
+       type_wint_t      = type_int;
+       type_const_wchar_t
+               = make_atomic_type(wchar_atomic_kind, TYPE_QUALIFIER_CONST);
+
+       type_intmax_t_ptr  = make_pointer_type(type_intmax_t,  TYPE_QUALIFIER_NONE);
+       type_ptrdiff_t_ptr = make_pointer_type(type_ptrdiff_t, TYPE_QUALIFIER_NONE);
+       type_ssize_t_ptr   = make_pointer_type(type_ssize_t,   TYPE_QUALIFIER_NONE);
+       type_wchar_t_ptr   = make_pointer_type(type_wchar_t,   TYPE_QUALIFIER_NONE);
+       type_const_wchar_t_ptr
+               = make_pointer_type(type_const_wchar_t, TYPE_QUALIFIER_NONE);
 }