Do not panic, when the expression walker of the statement walker encounters an invali...

[cparser] / type_t.h

diff --git a/type_t.h b/type_t.h
index ec5b9a2..a8f07fc 100644 (file)
--- a/type_t.h
+++ b/type_t.h
@@ -59,7 +59,6 @@ typedef unsigned short type_modifiers_t;
 
 struct type_base_t {
        type_kind_t       kind;
-       source_position_t source_position;
        il_size_t         size;           /**< The size of this type. */
        type_qualifiers_t qualifiers;
        type_modifiers_t  modifiers;
@@ -102,11 +101,11 @@ struct array_type_t {
 
        ir_node      *size_node; /**< used by ast2firm phase */
 
-       unsigned      is_static         : 1; /**< a [static] type */
-       unsigned      is_variable       : 1; /**< a [*] type */
-       unsigned      has_implicit_size : 1;
-       unsigned      size_constant     : 1; /**< size expression is constant */
-       unsigned      is_vla            : 1; /**< it's a variable length array */
+       bool          is_static         : 1; /**< a [static] type */
+       bool          is_variable       : 1; /**< a [*] type */
+       bool          has_implicit_size : 1;
+       bool          size_constant     : 1; /**< size expression is constant */
+       bool          is_vla            : 1; /**< it's a variable length array */
 };
 
 /**
@@ -117,6 +116,13 @@ struct function_parameter_t {
        function_parameter_t *next;  /**< Points to the next type inthe parameter list.*/
 };
 
+/** Linkage specifications. */
+typedef enum linkage_kind_t {
+       LINKAGE_INVALID,
+       LINKAGE_C,       /**< C linkage. */
+       LINKAGE_CXX      /**< C++ linkage. */
+} linkage_kind_t;
+
 /** Calling conventions. */
 typedef enum cc_kind_t {
        CC_DEFAULT,      /**< default calling convention. */
@@ -133,31 +139,33 @@ struct function_type_t {
        type_base_t           base;
        type_t               *return_type;        /**< The return type. */
        function_parameter_t *parameters;         /**< A list of the parameter types. */
+       linkage_kind_t        linkage;
        cc_kind_t             calling_convention; /**< The specified calling convention. */
-       unsigned              variadic : 1;
-       unsigned              unspecified_parameters : 1;
-       unsigned              kr_style_parameters : 1;
+       bool                  variadic : 1;
+       bool                  unspecified_parameters : 1;
+       bool                  kr_style_parameters : 1;
 };
 
 struct compound_type_t {
-       type_base_t    base;
+       type_base_t  base;
+       bool         packed : 1; /**< Set if packed was specified. */
        /** the declaration of the compound type, the scope of the declaration
         *  contains the compound entries. */
-       declaration_t *declaration;
+       compound_t  *compound;
 };
 
 struct enum_type_t {
-       type_base_t    base;
-       /** the declaration of the enum type. You can find the enum entries by
-        *  walking the declaration->next list until you don't find
-        *  STORAGE_CLASS_ENUM_ENTRY declarations anymore */
-       declaration_t *declaration;
+       type_base_t  base;
+       /** the enum entity. You can find the enum entries by walking the
+        *  enum->base.next list until you don't find ENTITY_ENUM_VALUE entities
+        *  anymore */
+       enum_t      *enume;
 };
 
 struct typedef_type_t {
-       type_base_t    base;
-       declaration_t *declaration;
-       type_t        *resolved_type;
+       type_base_t  base;
+       typedef_t   *typedefe;
+       type_t      *resolved_type;
 };
 
 struct typeof_type_t {
@@ -170,7 +178,8 @@ struct typeof_type_t {
 struct bitfield_type_t {
        type_base_t   base;
        type_t       *base_type;
-       expression_t *size;
+       expression_t *size_expression; /**< The expression for the bit size. */
+       il_size_t     bit_size;        /**< Size of this bitfield in bits. */
 };
 
 union type_t {
@@ -260,6 +269,7 @@ static inline bool is_type_compound(const type_t *type)
 
 static inline bool is_type_valid(const type_t *type)
 {
+       assert(!is_typeref(type));
        return type->kind != TYPE_ERROR;
 }