X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=type_t.h;h=b4f922036540900816dbf6b41c60f3885c46d4ca;hb=3cdead30b5c1d131d5c363188c26255514ea2fc8;hp=a8f07fce49d6d87f1f1a490c1838dcf82d724cfe;hpb=a6c7a5b4a77d9a9581a6c79b3810229c5b8fce5d;p=cparser

diff --git a/type_t.h b/type_t.h
index a8f07fc..b4f9220 100644
--- a/type_t.h
+++ b/type_t.h
@@ -44,6 +44,7 @@ typedef enum type_kind_t {
 	TYPE_ENUM,
 	TYPE_FUNCTION,
 	TYPE_POINTER,
+	TYPE_REFERENCE,
 	TYPE_ARRAY,
 	TYPE_BITFIELD,
 	TYPE_BUILTIN,
@@ -91,6 +92,12 @@ struct builtin_type_t {
 struct pointer_type_t {
 	type_base_t  base;
 	type_t      *points_to;
+	variable_t  *base_variable;  /**< Microsoft __based() extension: base variable or NULL. */
+};
+
+struct reference_type_t {
+	type_base_t  base;
+	type_t      *refers_to;
 };
 
 struct array_type_t {
@@ -113,7 +120,7 @@ struct array_type_t {
  */
 struct function_parameter_t {
 	type_t               *type;  /**< The parameter type. */
-	function_parameter_t *next;  /**< Points to the next type inthe parameter list.*/
+	function_parameter_t *next;  /**< Points to the next type in the parameter list.*/
 };
 
 /** Linkage specifications. */
@@ -147,19 +154,20 @@ struct function_type_t {
 };
 
 struct compound_type_t {
-	type_base_t  base;
-	bool         packed : 1; /**< Set if packed was specified. */
+	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. */
-	compound_t  *compound;
+	compound_t     *compound;
 };
 
 struct enum_type_t {
-	type_base_t  base;
+	type_base_t         base;
+	atomic_type_kind_t  akind; /**< underlying atomic type */
 	/** 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;
+	enum_t             *enume;
 };
 
 struct typedef_type_t {
@@ -190,6 +198,7 @@ union type_t {
 	imaginary_type_t imaginary;
 	builtin_type_t   builtin;
 	pointer_type_t   pointer;
+	reference_type_t reference;
 	array_type_t     array;
 	function_type_t  function;
 	compound_type_t  compound;
@@ -203,10 +212,14 @@ type_t *make_atomic_type(atomic_type_kind_t type, type_qualifiers_t qualifiers);
 type_t *make_complex_type(atomic_type_kind_t type, type_qualifiers_t qualifiers);
 type_t *make_imaginary_type(atomic_type_kind_t type, type_qualifiers_t qualifiers);
 type_t *make_pointer_type(type_t *points_to, type_qualifiers_t qualifiers);
+type_t *make_reference_type(type_t *refers_to);
+type_t *make_based_pointer_type(type_t *points_to,
+								type_qualifiers_t qualifiers, variable_t *variable);
 type_t *make_array_type(type_t *element_type, size_t size,
                         type_qualifiers_t qualifiers);
 
 type_t *duplicate_type(const type_t *type);
+type_t *identify_new_type(type_t *type);
 
 static inline bool is_typeref(const type_t *type)
 {
@@ -230,6 +243,12 @@ static inline bool is_type_pointer(const type_t *type)
 	return type->kind == TYPE_POINTER;
 }
 
+static inline bool is_type_reference(const type_t *type)
+{
+	assert(!is_typeref(type));
+	return type->kind == TYPE_REFERENCE;
+}
+
 static inline bool is_type_array(const type_t *type)
 {
 	assert(!is_typeref(type));