X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=type_t.h;h=b61ab777260d05d275f6fa4e3911721f4795bdd3;hb=d25522be2467160d61327fef47c4d564d59340e9;hp=17b90e14686a8d15e828c215d8372520ed146a16;hpb=1c030e37ec4ee92e8ec7786dac4d41124099efbc;p=cparser diff --git a/type_t.h b/type_t.h index 17b90e1..b61ab77 100644 --- a/type_t.h +++ b/type_t.h @@ -3,6 +3,8 @@ #include +#include + #include "type.h" #include "symbol.h" #include "token_t.h" @@ -17,7 +19,7 @@ typedef enum { TYPE_COMPOUND_STRUCT, TYPE_COMPOUND_UNION, TYPE_ENUM, - TYPE_METHOD, + TYPE_FUNCTION, TYPE_POINTER, TYPE_ARRAY, TYPE_BUILTIN, @@ -25,8 +27,10 @@ typedef enum { TYPE_TYPEOF } type_type_t; +/* note that the constant values represent the rank of the types as defined + * in § 6.3.1 */ typedef enum { - ATOMIC_TYPE_INVALID, + ATOMIC_TYPE_INVALID = 0, ATOMIC_TYPE_VOID, ATOMIC_TYPE_CHAR, ATOMIC_TYPE_SCHAR, @@ -56,15 +60,17 @@ typedef enum { } atomic_type_type_t; typedef enum { + TYPE_QUALIFIER_NONE = 0, TYPE_QUALIFIER_CONST = 1 << 0, TYPE_QUALIFIER_RESTRICT = 1 << 1, TYPE_QUALIFIER_VOLATILE = 1 << 2, - TYPE_QUALIFIER_INLINE = 1 << 3, } type_qualifier_t; struct type_t { type_type_t type; type_qualifier_t qualifiers; + + ir_type *firm_type; }; struct atomic_type_t { @@ -75,6 +81,7 @@ struct atomic_type_t { struct builtin_type_t { type_t type; symbol_t *symbol; + type_t *real_type; }; struct pointer_type_t { @@ -90,17 +97,17 @@ struct array_type_t { expression_t *size; }; -struct method_parameter_t { - type_t *type; - method_parameter_t *next; +struct function_parameter_t { + type_t *type; + function_parameter_t *next; }; -struct method_type_t { - type_t type; - type_t *result_type; - method_parameter_t *parameters; - bool variadic; - bool unspecified_parameters; +struct function_type_t { + type_t type; + type_t *result_type; + function_parameter_t *parameters; + bool variadic; + bool unspecified_parameters; }; struct compound_type_t {