/* note that the constant values represent the rank of the types as defined
* in § 6.3.1 */
-typedef enum {
+typedef enum atomic_type_kind_t {
ATOMIC_TYPE_INVALID = 0,
ATOMIC_TYPE_VOID,
ATOMIC_TYPE_CHAR,
ATOMIC_TYPE_LAST = ATOMIC_TYPE_BOOL
} atomic_type_kind_t;
-typedef enum {
+typedef enum atomic_type_flag_t {
ATOMIC_TYPE_FLAG_NONE = 0,
ATOMIC_TYPE_FLAG_SIGNED = 1 << 0,
ATOMIC_TYPE_FLAG_INTEGER = 1 << 1,
ATOMIC_TYPE_FLAG_COMPLEX = 1 << 4,
} atomic_type_flag_t;
+typedef enum type_qualifier_t {
+ TYPE_QUALIFIER_NONE = 0,
+ TYPE_QUALIFIER_CONST = 1 << 0,
+ TYPE_QUALIFIER_RESTRICT = 1 << 1,
+ TYPE_QUALIFIER_VOLATILE = 1 << 2,
+ /* microsoft extended qualifiers */
+ TYPE_QUALIFIER_W64 = 1 << 3,
+ TYPE_QUALIFIER_PTR32 = 1 << 4,
+ TYPE_QUALIFIER_PTR64 = 1 << 5,
+ TYPE_QUALIFIER_SPTR = 1 << 6,
+ TYPE_QUALIFIER_UPTR = 1 << 7,
+} type_qualifier_t;
+typedef unsigned short type_qualifiers_t;
+
typedef struct type_base_t type_base_t;
typedef struct atomic_type_t atomic_type_t;
typedef struct complex_type_t complex_type_t;
void print_type_ext(const type_t *type, const symbol_t *symbol,
const scope_t *scope);
-void print_type_qualifiers(unsigned qualifiers);
+void print_type_qualifiers(type_qualifiers_t qualifiers);
void print_enum_definition(const declaration_t *declaration);
void print_compound_definition(const declaration_t *declaration);
bool type_valid(const type_t *type);
/**
- * returns true if the type is an arithmetic type (6.2.18)
+ * returns true if the type is an arithmetic type (§6.2.5 clause 18)
*/
bool is_type_arithmetic(const type_t *type);
/**
- * returns true if the type is a scalar type (6.2.21)
+ * returns true if the type is a scalar type (§6.2.5 clause 21)
*/
bool is_type_scalar(const type_t *type);
bool types_compatible(const type_t *type1, const type_t *type2);
-bool pointers_compatible(const type_t *type1, const type_t *type2);
-
type_t *get_unqualified_type(type_t *type);
type_t *skip_typeref(type_t *type);