type_t *type_void_ptr;
type_t *type_const_void_ptr;
type_t *type_void_ptr_restrict;
+type_t *type_const_void_ptr_restrict;
type_t *type_char_ptr_ptr;
type_void_ptr = make_pointer_type(type_void, TYPE_QUALIFIER_NONE);
type_const_void_ptr = make_pointer_type(type_void, TYPE_QUALIFIER_CONST);
type_void_ptr_restrict = make_pointer_type(type_void, TYPE_QUALIFIER_RESTRICT);
+ type_const_void_ptr_restrict
+ = make_pointer_type(type_void, TYPE_QUALIFIER_CONST | TYPE_QUALIFIER_RESTRICT);
type_char_ptr = make_pointer_type(type_char, TYPE_QUALIFIER_NONE);
type_char_ptr_restrict = make_pointer_type(type_char, TYPE_QUALIFIER_RESTRICT);
type_signed_char_ptr = make_pointer_type(type_signed_char, TYPE_QUALIFIER_NONE);