adding assertion to prevent recursive compound types

[libfirm] / ir / tr / type_t.h

diff --git a/ir/tr/type_t.h b/ir/tr/type_t.h
index b1cf6c5..3fc6b05 100644 (file)
--- a/ir/tr/type_t.h
+++ b/ir/tr/type_t.h
@@ -36,7 +36,7 @@ typedef struct {
   int dfn;             /**< number used for 'instanceof' operator */
 } cls_attr;
 
-/** struct attributs */
+/** struct attributes */
 typedef struct {
   entity **members;    /**< fields of this struct. No method entities
               allowed. */
@@ -54,7 +54,7 @@ typedef struct {
   int first_variadic_param;  /**< index of the first variadic param or -1 if non-variadic .*/
 } mtd_attr;
 
-/** union attributs */
+/** union attributes */
 typedef struct {
   int     n_types;
   /* type  **unioned_type; * a list of unioned types. */
@@ -64,7 +64,7 @@ typedef struct {
 
 } uni_attr;
 
-/** array attributs */
+/** array attributes */
 typedef struct {
   int   n_dimensions;  /**< Number of array dimensions.  */
   ir_node **lower_bound;   /**< Lower bounds of dimensions.  Usually all 0. */
@@ -75,7 +75,7 @@ typedef struct {
               element selection with Sel. */
 } arr_attr;
 
-/** enum attributs */
+/** enum attributes */
 typedef struct {
   int      n_enums;    /**< Number of enumerators. */
   tarval **enumer;     /**< Contains all constants that represent a member
@@ -84,9 +84,9 @@ typedef struct {
                           the source program */
 } enm_attr;
 
-/** pointer attributs */
+/** pointer attributes */
 typedef struct {
-  type *points_to;     /**< The type of the enitity the pointer points to. */
+  type *points_to;     /**< The type of the entity the pointer points to. */
 } ptr_attr;
 
 /*
@@ -99,7 +99,7 @@ typedef struct {        * No private attr, must be smaller than others! *
 } id_attr;
 */
 
-/** General type attributs. */
+/** General type attributes. */
 typedef union {
   cls_attr ca;      /**< attributes of a class type */
   stc_attr sa;      /**< attributes of a struct type */
@@ -115,11 +115,12 @@ struct type {
   firm_kind kind;          /**< the firm kind, must be k_type */
   const tp_op *type_op;    /**< the type operation of the type */
   ident *name;             /**< The name of the type */
+  visibility visibility;   /**< Visibility of entities of this type. */
   type_state state;        /**< Represents the types state: layout undefined or
-                  fixed. */
+                             fixed. */
   int size;                /**< Size of an entity of this type. This is determined
-                  when fixing the layout of this class.  Size must be
-                  given in bits. */
+                             when fixing the layout of this class.  Size must be
+                             given in bits. */
   int align;               /**< Alignment of an entity of this type. This should be
                                 set according to the source language needs. If not set it's
                                 calculated automatically by get_type_alignment().
@@ -395,6 +396,6 @@ _is_atomic_type(const type *tp) {
 #define is_Enumeration_type(enumeration)  _is_enumeration_type(enumeration)
 #define is_Pointer_type(pointer)          _is_pointer_type(pointer)
 #define is_Primitive_type(primitive)      _is_primitive_type(primitive)
-#define is_Atomic_type(tp)                _is_atomic_type(tp)
+#define is_atomic_type(tp)                _is_atomic_type(tp)
 
 # endif /* _TYPE_T_H_ */