2 * This file is part of cparser.
3 * Copyright (C) 2012 Matthias Braun <matze@braunis.de>
7 #include "lang_features.h"
10 /** The error type. */
11 type_t *type_error_type;
15 type_t *type_const_char;
19 type_t *type_long_double;
20 type_t *type_long_long;
23 type_t *type_unsigned_short;
24 type_t *type_signed_char;
25 type_t *type_unsigned_char;
26 type_t *type_unsigned_int;
27 type_t *type_unsigned_long_long;
28 type_t *type_unsigned_long;
31 type_t *type_char_ptr;
32 type_t *type_char_ptr_restrict;
33 type_t *type_const_char_ptr;
34 type_t *type_const_char_ptr_restrict;
36 type_t *type_long_long_ptr;
37 type_t *type_long_ptr;
38 type_t *type_unsigned_long_ptr;
39 type_t *type_short_ptr;
40 type_t *type_signed_char_ptr;
41 type_t *type_void_ptr;
42 type_t *type_const_void;
43 type_t *type_const_void_ptr;
44 type_t *type_void_ptr_restrict;
45 type_t *type_const_void_ptr_restrict;
47 type_t *type_char_ptr_ptr;
49 type_t *type_char16_t;
50 type_t *type_char32_t;
51 type_t *type_char16_t_const;
52 type_t *type_char32_t_const;
53 type_t *type_intmax_t;
54 type_t *type_ptrdiff_t;
57 type_t *type_uintmax_t;
58 type_t *type_uptrdiff_t;
60 type_t *type_const_wchar_t;
65 type_t *type_char16_t_ptr;
66 type_t *type_char32_t_ptr;
67 type_t *type_char16_t_const_ptr;
68 type_t *type_char32_t_const_ptr;
69 type_t *type_intmax_t_ptr;
70 type_t *type_ptrdiff_t_ptr;
71 type_t *type_ssize_t_ptr;
72 type_t *type_wchar_t_ptr;
73 type_t *type_const_wchar_t_ptr;
78 atomic_type_kind_t int8_type_kind;
79 atomic_type_kind_t int16_type_kind;
80 atomic_type_kind_t int32_type_kind;
81 atomic_type_kind_t int64_type_kind;
82 atomic_type_kind_t int128_type_kind;
83 atomic_type_kind_t unsigned_int8_type_kind;
84 atomic_type_kind_t unsigned_int16_type_kind;
85 atomic_type_kind_t unsigned_int32_type_kind;
86 atomic_type_kind_t unsigned_int64_type_kind;
87 atomic_type_kind_t unsigned_int128_type_kind;
93 type_t *type_unsigned_int8;
94 type_t *type_unsigned_int16;
95 type_t *type_unsigned_int32;
96 type_t *type_unsigned_int64;
97 type_t *type_int64_ptr;
100 void init_basic_types(void)
102 static const type_base_t error = { TYPE_ERROR, TYPE_QUALIFIER_NONE, NULL };
104 type_error_type = (type_t*)&error;
105 type_bool = make_atomic_type(ATOMIC_TYPE_BOOL, TYPE_QUALIFIER_NONE);
106 type_signed_char = make_atomic_type(ATOMIC_TYPE_SCHAR, TYPE_QUALIFIER_NONE);
107 type_unsigned_char = make_atomic_type(ATOMIC_TYPE_UCHAR, TYPE_QUALIFIER_NONE);
108 type_short = make_atomic_type(ATOMIC_TYPE_SHORT, TYPE_QUALIFIER_NONE);
109 type_unsigned_short = make_atomic_type(ATOMIC_TYPE_USHORT, TYPE_QUALIFIER_NONE);
110 type_int = make_atomic_type(ATOMIC_TYPE_INT, TYPE_QUALIFIER_NONE);
111 type_unsigned_int = make_atomic_type(ATOMIC_TYPE_UINT, TYPE_QUALIFIER_NONE);
112 type_long = make_atomic_type(ATOMIC_TYPE_LONG, TYPE_QUALIFIER_NONE);
113 type_unsigned_long = make_atomic_type(ATOMIC_TYPE_ULONG, TYPE_QUALIFIER_NONE);
114 type_long_long = make_atomic_type(ATOMIC_TYPE_LONGLONG, TYPE_QUALIFIER_NONE);
115 type_unsigned_long_long = make_atomic_type(ATOMIC_TYPE_ULONGLONG, TYPE_QUALIFIER_NONE);
116 type_long_double = make_atomic_type(ATOMIC_TYPE_LONG_DOUBLE, TYPE_QUALIFIER_NONE);
117 type_double = make_atomic_type(ATOMIC_TYPE_DOUBLE, TYPE_QUALIFIER_NONE);
118 type_float = make_atomic_type(ATOMIC_TYPE_FLOAT, TYPE_QUALIFIER_NONE);
119 type_char = make_atomic_type(ATOMIC_TYPE_CHAR, TYPE_QUALIFIER_NONE);
120 type_void = make_atomic_type(ATOMIC_TYPE_VOID, TYPE_QUALIFIER_NONE);
121 type_const_void = make_atomic_type(ATOMIC_TYPE_VOID, TYPE_QUALIFIER_CONST);
123 int8_type_kind = find_signed_int_atomic_type_kind_for_size(1);
124 int16_type_kind = find_signed_int_atomic_type_kind_for_size(2);
125 int32_type_kind = find_signed_int_atomic_type_kind_for_size(4);
126 int64_type_kind = find_signed_int_atomic_type_kind_for_size(8);
128 type_int32_t = make_atomic_type(int32_type_kind, TYPE_QUALIFIER_NONE);
129 type_int64_t = make_atomic_type(int64_type_kind, TYPE_QUALIFIER_NONE);
131 /* microsoft types */
133 type_int8 = make_atomic_type(int8_type_kind, TYPE_QUALIFIER_NONE);
134 type_int16 = make_atomic_type(int16_type_kind, TYPE_QUALIFIER_NONE);
135 type_int32 = make_atomic_type(int32_type_kind, TYPE_QUALIFIER_NONE);
136 type_int64 = make_atomic_type(int64_type_kind, TYPE_QUALIFIER_NONE);
137 unsigned_int8_type_kind = find_unsigned_int_atomic_type_kind_for_size(1);
138 type_unsigned_int8 = make_atomic_type(unsigned_int8_type_kind, TYPE_QUALIFIER_NONE);
139 unsigned_int16_type_kind = find_unsigned_int_atomic_type_kind_for_size(2);
140 type_unsigned_int16 = make_atomic_type(unsigned_int16_type_kind, TYPE_QUALIFIER_NONE);
141 unsigned_int32_type_kind = find_unsigned_int_atomic_type_kind_for_size(4);
142 type_unsigned_int32 = make_atomic_type(unsigned_int32_type_kind, TYPE_QUALIFIER_NONE);
143 unsigned_int64_type_kind = find_unsigned_int_atomic_type_kind_for_size(8);
144 type_unsigned_int64 = make_atomic_type(unsigned_int64_type_kind, TYPE_QUALIFIER_NONE);
147 type_int64_ptr = make_pointer_type(type_int64, TYPE_QUALIFIER_NONE);
151 type_void_ptr = make_pointer_type(type_void, TYPE_QUALIFIER_NONE);
152 type_const_void_ptr = make_pointer_type(type_const_void, TYPE_QUALIFIER_NONE);
153 type_void_ptr_restrict = make_pointer_type(type_void, TYPE_QUALIFIER_RESTRICT);
154 type_const_void_ptr_restrict
155 = make_pointer_type(type_const_void, TYPE_QUALIFIER_RESTRICT);
156 type_char_ptr = make_pointer_type(type_char, TYPE_QUALIFIER_NONE);
157 type_char_ptr_restrict = make_pointer_type(type_char, TYPE_QUALIFIER_RESTRICT);
158 type_signed_char_ptr = make_pointer_type(type_signed_char, TYPE_QUALIFIER_NONE);
159 type_short_ptr = make_pointer_type(type_short, TYPE_QUALIFIER_NONE);
160 type_int_ptr = make_pointer_type(type_int, TYPE_QUALIFIER_NONE);
161 type_long_ptr = make_pointer_type(type_long, TYPE_QUALIFIER_NONE);
162 type_unsigned_long_ptr = make_pointer_type(type_unsigned_long, TYPE_QUALIFIER_NONE);
163 type_long_long_ptr = make_pointer_type(type_long_long, TYPE_QUALIFIER_NONE);
165 type_char_ptr_ptr = make_pointer_type(type_char_ptr, TYPE_QUALIFIER_NONE);
166 type_valist = type_void_ptr;
168 /* const character types */
169 type_const_char = make_atomic_type(ATOMIC_TYPE_CHAR, TYPE_QUALIFIER_CONST);
170 type_const_char_ptr = make_pointer_type(type_const_char, TYPE_QUALIFIER_NONE);
171 type_const_char_ptr_restrict = make_pointer_type(type_const_char, TYPE_QUALIFIER_RESTRICT);
174 type_intmax_t = type_long_long;
175 type_size_t = type_unsigned_long;
176 type_ssize_t = type_long;
177 type_ptrdiff_t = type_long;
178 type_uintmax_t = type_unsigned_long_long;
179 type_uptrdiff_t = type_unsigned_long;
180 type_wint_t = type_int;
182 type_intmax_t_ptr = make_pointer_type(type_intmax_t, TYPE_QUALIFIER_NONE);
183 type_ptrdiff_t_ptr = make_pointer_type(type_ptrdiff_t, TYPE_QUALIFIER_NONE);
184 type_ssize_t_ptr = make_pointer_type(type_ssize_t, TYPE_QUALIFIER_NONE);
187 void init_wchar_types(atomic_type_kind_t akind)
189 type_wchar_t = make_atomic_type(akind, TYPE_QUALIFIER_NONE);
190 type_const_wchar_t = make_atomic_type(akind, TYPE_QUALIFIER_CONST);
191 type_wchar_t_ptr = make_pointer_type(type_wchar_t, TYPE_QUALIFIER_NONE);
192 type_const_wchar_t_ptr
193 = make_pointer_type(type_const_wchar_t, TYPE_QUALIFIER_NONE);
195 atomic_type_kind_t const u2 = find_unsigned_int_atomic_type_kind_for_size(2);
196 type_char16_t = make_atomic_type(u2, TYPE_QUALIFIER_NONE);
197 type_char16_t_const = make_atomic_type(u2, TYPE_QUALIFIER_CONST);
198 type_char16_t_ptr = make_pointer_type(type_char16_t, TYPE_QUALIFIER_NONE);
199 type_char16_t_const_ptr = make_pointer_type(type_char16_t_const, TYPE_QUALIFIER_NONE);
201 atomic_type_kind_t const u4 = find_unsigned_int_atomic_type_kind_for_size(4);
202 type_char32_t = make_atomic_type(u4, TYPE_QUALIFIER_NONE);
203 type_char32_t_const = make_atomic_type(u4, TYPE_QUALIFIER_CONST);
204 type_char32_t_ptr = make_pointer_type(type_char32_t, TYPE_QUALIFIER_NONE);
205 type_char32_t_const_ptr = make_pointer_type(type_char32_t_const, TYPE_QUALIFIER_NONE);