| @@ -1,1039 +1,1039 @@ | | | @@ -1,1039 +1,1039 @@ |
1 | /* $NetBSD: tree.c,v 1.314 2021/07/14 17:07:24 rillig Exp $ */ | | 1 | /* $NetBSD: tree.c,v 1.315 2021/07/15 17:03:50 rillig Exp $ */ |
2 | | | 2 | |
3 | /* | | 3 | /* |
4 | * Copyright (c) 1994, 1995 Jochen Pohl | | 4 | * Copyright (c) 1994, 1995 Jochen Pohl |
5 | * All Rights Reserved. | | 5 | * All Rights Reserved. |
6 | * | | 6 | * |
7 | * Redistribution and use in source and binary forms, with or without | | 7 | * Redistribution and use in source and binary forms, with or without |
8 | * modification, are permitted provided that the following conditions | | 8 | * modification, are permitted provided that the following conditions |
9 | * are met: | | 9 | * are met: |
10 | * 1. Redistributions of source code must retain the above copyright | | 10 | * 1. Redistributions of source code must retain the above copyright |
11 | * notice, this list of conditions and the following disclaimer. | | 11 | * notice, this list of conditions and the following disclaimer. |
12 | * 2. Redistributions in binary form must reproduce the above copyright | | 12 | * 2. Redistributions in binary form must reproduce the above copyright |
13 | * notice, this list of conditions and the following disclaimer in the | | 13 | * notice, this list of conditions and the following disclaimer in the |
14 | * documentation and/or other materials provided with the distribution. | | 14 | * documentation and/or other materials provided with the distribution. |
15 | * 3. All advertising materials mentioning features or use of this software | | 15 | * 3. All advertising materials mentioning features or use of this software |
16 | * must display the following acknowledgement: | | 16 | * must display the following acknowledgement: |
17 | * This product includes software developed by Jochen Pohl for | | 17 | * This product includes software developed by Jochen Pohl for |
18 | * The NetBSD Project. | | 18 | * The NetBSD Project. |
19 | * 4. The name of the author may not be used to endorse or promote products | | 19 | * 4. The name of the author may not be used to endorse or promote products |
20 | * derived from this software without specific prior written permission. | | 20 | * derived from this software without specific prior written permission. |
21 | * | | 21 | * |
22 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR | | 22 | * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR |
23 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES | | 23 | * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
24 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. | | 24 | * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
25 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, | | 25 | * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, |
26 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT | | 26 | * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
27 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | | 27 | * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
28 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | | 28 | * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
29 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | | 29 | * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
30 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF | | 30 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
31 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | | 31 | * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
32 | */ | | 32 | */ |
33 | | | 33 | |
34 | #if HAVE_NBTOOL_CONFIG_H | | 34 | #if HAVE_NBTOOL_CONFIG_H |
35 | #include "nbtool_config.h" | | 35 | #include "nbtool_config.h" |
36 | #endif | | 36 | #endif |
37 | | | 37 | |
38 | #include <sys/cdefs.h> | | 38 | #include <sys/cdefs.h> |
39 | #if defined(__RCSID) && !defined(lint) | | 39 | #if defined(__RCSID) && !defined(lint) |
40 | __RCSID("$NetBSD: tree.c,v 1.314 2021/07/14 17:07:24 rillig Exp $"); | | 40 | __RCSID("$NetBSD: tree.c,v 1.315 2021/07/15 17:03:50 rillig Exp $"); |
41 | #endif | | 41 | #endif |
42 | | | 42 | |
43 | #include <float.h> | | 43 | #include <float.h> |
44 | #include <limits.h> | | 44 | #include <limits.h> |
45 | #include <math.h> | | 45 | #include <math.h> |
46 | #include <signal.h> | | 46 | #include <signal.h> |
47 | #include <stdlib.h> | | 47 | #include <stdlib.h> |
48 | #include <string.h> | | 48 | #include <string.h> |
49 | | | 49 | |
50 | #include "lint1.h" | | 50 | #include "lint1.h" |
51 | #include "cgram.h" | | 51 | #include "cgram.h" |
52 | | | 52 | |
53 | static tnode_t *expr_new_integer_constant(tspec_t, int64_t); | | 53 | static tnode_t *expr_new_integer_constant(tspec_t, int64_t); |
54 | static void check_pointer_comparison(op_t, | | 54 | static void check_pointer_comparison(op_t, |
55 | const tnode_t *, const tnode_t *); | | 55 | const tnode_t *, const tnode_t *); |
56 | static bool check_assign_types_compatible(op_t, int, | | 56 | static bool check_assign_types_compatible(op_t, int, |
57 | const tnode_t *, const tnode_t *); | | 57 | const tnode_t *, const tnode_t *); |
58 | static void check_bad_enum_operation(op_t, | | 58 | static void check_bad_enum_operation(op_t, |
59 | const tnode_t *, const tnode_t *); | | 59 | const tnode_t *, const tnode_t *); |
60 | static void check_enum_type_mismatch(op_t, int, | | 60 | static void check_enum_type_mismatch(op_t, int, |
61 | const tnode_t *, const tnode_t *); | | 61 | const tnode_t *, const tnode_t *); |
62 | static void check_enum_int_mismatch(op_t, int, | | 62 | static void check_enum_int_mismatch(op_t, int, |
63 | const tnode_t *, const tnode_t *); | | 63 | const tnode_t *, const tnode_t *); |
64 | static tnode_t *new_tnode(op_t, type_t *, tnode_t *, tnode_t *); | | 64 | static tnode_t *new_tnode(op_t, type_t *, tnode_t *, tnode_t *); |
65 | static void balance(op_t, tnode_t **, tnode_t **); | | 65 | static void balance(op_t, tnode_t **, tnode_t **); |
66 | static void warn_incompatible_types(op_t, const type_t *, tspec_t, | | 66 | static void warn_incompatible_types(op_t, const type_t *, tspec_t, |
67 | const type_t *, tspec_t); | | 67 | const type_t *, tspec_t); |
68 | static void warn_incompatible_pointers(const mod_t *, | | 68 | static void warn_incompatible_pointers(const mod_t *, |
69 | const type_t *, const type_t *); | | 69 | const type_t *, const type_t *); |
70 | static bool has_constant_member(const type_t *); | | 70 | static bool has_constant_member(const type_t *); |
71 | static void check_prototype_conversion(int, tspec_t, tspec_t, type_t *, | | 71 | static void check_prototype_conversion(int, tspec_t, tspec_t, type_t *, |
72 | tnode_t *); | | 72 | tnode_t *); |
73 | static void check_integer_conversion(op_t, int, tspec_t, tspec_t, type_t *, | | 73 | static void check_integer_conversion(op_t, int, tspec_t, tspec_t, type_t *, |
74 | tnode_t *); | | 74 | tnode_t *); |
75 | static void check_pointer_integer_conversion(op_t, tspec_t, type_t *, | | 75 | static void check_pointer_integer_conversion(op_t, tspec_t, type_t *, |
76 | tnode_t *); | | 76 | tnode_t *); |
77 | static void check_pointer_conversion(tnode_t *, type_t *); | | 77 | static void check_pointer_conversion(tnode_t *, type_t *); |
78 | static tnode_t *build_struct_access(op_t, tnode_t *, tnode_t *); | | 78 | static tnode_t *build_struct_access(op_t, tnode_t *, tnode_t *); |
79 | static tnode_t *build_prepost_incdec(op_t, tnode_t *); | | 79 | static tnode_t *build_prepost_incdec(op_t, tnode_t *); |
80 | static tnode_t *build_real_imag(op_t, tnode_t *); | | 80 | static tnode_t *build_real_imag(op_t, tnode_t *); |
81 | static tnode_t *build_address(tnode_t *, bool); | | 81 | static tnode_t *build_address(tnode_t *, bool); |
82 | static tnode_t *build_plus_minus(op_t, tnode_t *, tnode_t *); | | 82 | static tnode_t *build_plus_minus(op_t, tnode_t *, tnode_t *); |
83 | static tnode_t *build_bit_shift(op_t, tnode_t *, tnode_t *); | | 83 | static tnode_t *build_bit_shift(op_t, tnode_t *, tnode_t *); |
84 | static tnode_t *build_colon(tnode_t *, tnode_t *); | | 84 | static tnode_t *build_colon(tnode_t *, tnode_t *); |
85 | static tnode_t *build_assignment(op_t, tnode_t *, tnode_t *); | | 85 | static tnode_t *build_assignment(op_t, tnode_t *, tnode_t *); |
86 | static tnode_t *plength(type_t *); | | 86 | static tnode_t *plength(type_t *); |
87 | static tnode_t *fold(tnode_t *); | | 87 | static tnode_t *fold(tnode_t *); |
88 | static tnode_t *fold_test(tnode_t *); | | 88 | static tnode_t *fold_test(tnode_t *); |
89 | static tnode_t *fold_float(tnode_t *); | | 89 | static tnode_t *fold_float(tnode_t *); |
90 | static tnode_t *check_function_arguments(type_t *, tnode_t *); | | 90 | static tnode_t *check_function_arguments(type_t *, tnode_t *); |
91 | static tnode_t *check_prototype_argument(int, type_t *, tnode_t *); | | 91 | static tnode_t *check_prototype_argument(int, type_t *, tnode_t *); |
92 | static void check_null_effect(const tnode_t *); | | 92 | static void check_null_effect(const tnode_t *); |
93 | static void display_expression(const tnode_t *, int); | | 93 | static void display_expression(const tnode_t *, int); |
94 | static void check_array_index(tnode_t *, bool); | | 94 | static void check_array_index(tnode_t *, bool); |
95 | static void check_integer_comparison(op_t, tnode_t *, tnode_t *); | | 95 | static void check_integer_comparison(op_t, tnode_t *, tnode_t *); |
96 | static void check_precedence_confusion(tnode_t *); | | 96 | static void check_precedence_confusion(tnode_t *); |
97 | | | 97 | |
98 | extern sig_atomic_t fpe; | | 98 | extern sig_atomic_t fpe; |
99 | | | 99 | |
100 | static const char * | | 100 | static const char * |
101 | op_name(op_t op) | | 101 | op_name(op_t op) |
102 | { | | 102 | { |
103 | return modtab[op].m_name; | | 103 | return modtab[op].m_name; |
104 | } | | 104 | } |
105 | | | 105 | |
106 | #ifdef DEBUG | | 106 | #ifdef DEBUG |
107 | void | | 107 | void |
108 | debug_node(const tnode_t *tn, int indent) | | 108 | debug_node(const tnode_t *tn, int indent) |
109 | { | | 109 | { |
110 | op_t op; | | 110 | op_t op; |
111 | | | 111 | |
112 | if (tn == NULL) { | | 112 | if (tn == NULL) { |
113 | printf("%*s" "null\n", indent, ""); | | 113 | printf("%*s" "null\n", indent, ""); |
114 | return; | | 114 | return; |
115 | } | | 115 | } |
116 | | | 116 | |
117 | op = tn->tn_op; | | 117 | op = tn->tn_op; |
118 | printf("%*s%s with type '%s'%s%s", | | 118 | printf("%*s%s with type '%s'%s%s", |
119 | 2 * indent, "", | | 119 | 2 * indent, "", |
120 | op == CVT && !tn->tn_cast ? "convert" : op_name(op), | | 120 | op == CVT && !tn->tn_cast ? "convert" : op_name(op), |
121 | type_name(tn->tn_type), tn->tn_lvalue ? ", lvalue" : "", | | 121 | type_name(tn->tn_type), tn->tn_lvalue ? ", lvalue" : "", |
122 | tn->tn_parenthesized ? ", parenthesized" : ""); | | 122 | tn->tn_parenthesized ? ", parenthesized" : ""); |
123 | | | 123 | |
124 | if (op == NAME) | | 124 | if (op == NAME) |
125 | printf(" %s\n", tn->tn_sym->s_name); | | 125 | printf(" %s\n", tn->tn_sym->s_name); |
126 | else if (op == CON && is_floating(tn->tn_type->t_tspec)) | | 126 | else if (op == CON && is_floating(tn->tn_type->t_tspec)) |
127 | printf(", value %Lg", tn->tn_val->v_ldbl); | | 127 | printf(", value %Lg", tn->tn_val->v_ldbl); |
128 | else if (op == CON && is_uinteger(tn->tn_type->t_tspec)) | | 128 | else if (op == CON && is_uinteger(tn->tn_type->t_tspec)) |
129 | printf(", value %llu\n", (unsigned long long)tn->tn_val->v_quad); | | 129 | printf(", value %llu\n", (unsigned long long)tn->tn_val->v_quad); |
130 | else if (op == CON && is_integer(tn->tn_type->t_tspec)) | | 130 | else if (op == CON && is_integer(tn->tn_type->t_tspec)) |
131 | printf(", value %lld\n", (long long)tn->tn_val->v_quad); | | 131 | printf(", value %lld\n", (long long)tn->tn_val->v_quad); |
132 | else if (op == CON) | | 132 | else if (op == CON) |
133 | printf(", unknown value\n"); | | 133 | printf(", unknown value\n"); |
134 | else if (op == STRING) | | 134 | else if (op == STRING) |
135 | printf(", length %zu\n", tn->tn_string->st_len); | | 135 | printf(", length %zu\n", tn->tn_string->st_len); |
136 | else { | | 136 | else { |
137 | printf("\n"); | | 137 | printf("\n"); |
138 | | | 138 | |
139 | debug_node(tn->tn_left, indent + 1); | | 139 | debug_node(tn->tn_left, indent + 1); |
140 | if (modtab[op].m_binary || tn->tn_right != NULL) | | 140 | if (modtab[op].m_binary || tn->tn_right != NULL) |
141 | debug_node(tn->tn_right, indent + 1); | | 141 | debug_node(tn->tn_right, indent + 1); |
142 | } | | 142 | } |
143 | } | | 143 | } |
144 | #endif | | 144 | #endif |
145 | | | 145 | |
146 | /* Build 'pointer to tp', 'array of tp' or 'function returning tp'. */ | | 146 | /* Build 'pointer to tp', 'array of tp' or 'function returning tp'. */ |
147 | type_t * | | 147 | type_t * |
148 | derive_type(type_t *tp, tspec_t t) | | 148 | derive_type(type_t *tp, tspec_t t) |
149 | { | | 149 | { |
150 | type_t *tp2; | | 150 | type_t *tp2; |
151 | | | 151 | |
152 | tp2 = getblk(sizeof(*tp2)); | | 152 | tp2 = getblk(sizeof(*tp2)); |
153 | tp2->t_tspec = t; | | 153 | tp2->t_tspec = t; |
154 | tp2->t_subt = tp; | | 154 | tp2->t_subt = tp; |
155 | return tp2; | | 155 | return tp2; |
156 | } | | 156 | } |
157 | | | 157 | |
158 | /* | | 158 | /* |
159 | * Build 'pointer to tp', 'array of tp' or 'function returning tp'. The | | 159 | * Build 'pointer to tp', 'array of tp' or 'function returning tp'. The |
160 | * memory is freed at the end of the current expression. | | 160 | * memory is freed at the end of the current expression. |
161 | */ | | 161 | */ |
162 | type_t * | | 162 | type_t * |
163 | expr_derive_type(type_t *tp, tspec_t t) | | 163 | expr_derive_type(type_t *tp, tspec_t t) |
164 | { | | 164 | { |
165 | type_t *tp2; | | 165 | type_t *tp2; |
166 | | | 166 | |
167 | tp2 = expr_zalloc(sizeof(*tp2)); | | 167 | tp2 = expr_zalloc(sizeof(*tp2)); |
168 | tp2->t_tspec = t; | | 168 | tp2->t_tspec = t; |
169 | tp2->t_subt = tp; | | 169 | tp2->t_subt = tp; |
170 | return tp2; | | 170 | return tp2; |
171 | } | | 171 | } |
172 | | | 172 | |
173 | /* | | 173 | /* |
174 | * Create a node for a constant. | | 174 | * Create a node for a constant. |
175 | */ | | 175 | */ |
176 | tnode_t * | | 176 | tnode_t * |
177 | expr_new_constant(type_t *tp, val_t *v) | | 177 | expr_new_constant(type_t *tp, val_t *v) |
178 | { | | 178 | { |
179 | tnode_t *n; | | 179 | tnode_t *n; |
180 | | | 180 | |
181 | n = expr_zalloc_tnode(); | | 181 | n = expr_zalloc_tnode(); |
182 | n->tn_op = CON; | | 182 | n->tn_op = CON; |
183 | n->tn_type = tp; | | 183 | n->tn_type = tp; |
184 | n->tn_val = expr_zalloc(sizeof(*n->tn_val)); | | 184 | n->tn_val = expr_zalloc(sizeof(*n->tn_val)); |
185 | n->tn_val->v_tspec = tp->t_tspec; | | 185 | n->tn_val->v_tspec = tp->t_tspec; |
186 | n->tn_val->v_unsigned_since_c90 = v->v_unsigned_since_c90; | | 186 | n->tn_val->v_unsigned_since_c90 = v->v_unsigned_since_c90; |
187 | n->tn_val->v_u = v->v_u; | | 187 | n->tn_val->v_u = v->v_u; |
188 | free(v); | | 188 | free(v); |
189 | return n; | | 189 | return n; |
190 | } | | 190 | } |
191 | | | 191 | |
192 | static tnode_t * | | 192 | static tnode_t * |
193 | expr_new_integer_constant(tspec_t t, int64_t q) | | 193 | expr_new_integer_constant(tspec_t t, int64_t q) |
194 | { | | 194 | { |
195 | tnode_t *n; | | 195 | tnode_t *n; |
196 | | | 196 | |
197 | n = expr_zalloc_tnode(); | | 197 | n = expr_zalloc_tnode(); |
198 | n->tn_op = CON; | | 198 | n->tn_op = CON; |
199 | n->tn_type = gettyp(t); | | 199 | n->tn_type = gettyp(t); |
200 | n->tn_val = expr_zalloc(sizeof(*n->tn_val)); | | 200 | n->tn_val = expr_zalloc(sizeof(*n->tn_val)); |
201 | n->tn_val->v_tspec = t; | | 201 | n->tn_val->v_tspec = t; |
202 | n->tn_val->v_quad = q; | | 202 | n->tn_val->v_quad = q; |
203 | return n; | | 203 | return n; |
204 | } | | 204 | } |
205 | | | 205 | |
206 | static void | | 206 | static void |
207 | fallback_symbol(sym_t *sym) | | 207 | fallback_symbol(sym_t *sym) |
208 | { | | 208 | { |
209 | | | 209 | |
210 | if (fallback_symbol_strict_bool(sym)) | | 210 | if (fallback_symbol_strict_bool(sym)) |
211 | return; | | 211 | return; |
212 | | | 212 | |
213 | if (block_level > 0 && (strcmp(sym->s_name, "__FUNCTION__") == 0 || | | 213 | if (block_level > 0 && (strcmp(sym->s_name, "__FUNCTION__") == 0 || |
214 | strcmp(sym->s_name, "__PRETTY_FUNCTION__") == 0)) { | | 214 | strcmp(sym->s_name, "__PRETTY_FUNCTION__") == 0)) { |
215 | /* __FUNCTION__/__PRETTY_FUNCTION__ is a GCC extension */ | | 215 | /* __FUNCTION__/__PRETTY_FUNCTION__ is a GCC extension */ |
216 | gnuism(316); | | 216 | gnuism(316); |
217 | sym->s_type = derive_type(gettyp(CHAR), PTR); | | 217 | sym->s_type = derive_type(gettyp(CHAR), PTR); |
218 | sym->s_type->t_const = true; | | 218 | sym->s_type->t_const = true; |
219 | return; | | 219 | return; |
220 | } | | 220 | } |
221 | | | 221 | |
222 | if (block_level > 0 && strcmp(sym->s_name, "__func__") == 0) { | | 222 | if (block_level > 0 && strcmp(sym->s_name, "__func__") == 0) { |
223 | if (!Sflag) | | 223 | if (!Sflag) |
224 | /* __func__ is a C9X feature */ | | 224 | /* __func__ is a C9X feature */ |
225 | warning(317); | | 225 | warning(317); |
226 | sym->s_type = derive_type(gettyp(CHAR), PTR); | | 226 | sym->s_type = derive_type(gettyp(CHAR), PTR); |
227 | sym->s_type->t_const = true; | | 227 | sym->s_type->t_const = true; |
228 | return; | | 228 | return; |
229 | } | | 229 | } |
230 | | | 230 | |
231 | /* '%s' undefined */ | | 231 | /* '%s' undefined */ |
232 | error(99, sym->s_name); | | 232 | error(99, sym->s_name); |
233 | } | | 233 | } |
234 | | | 234 | |
235 | /* https://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html */ | | 235 | /* https://gcc.gnu.org/onlinedocs/gcc/C-Extensions.html */ |
236 | static bool | | 236 | static bool |
237 | is_gcc_builtin(const char *name) | | 237 | is_gcc_builtin(const char *name) |
238 | { | | 238 | { |
239 | return strncmp(name, "__atomic_", 9) == 0 || | | 239 | return strncmp(name, "__atomic_", 9) == 0 || |
240 | strncmp(name, "__builtin_", 10) == 0; | | 240 | strncmp(name, "__builtin_", 10) == 0; |
241 | } | | 241 | } |
242 | | | 242 | |
243 | /* | | 243 | /* |
244 | * Create a node for a name (symbol table entry). | | 244 | * Create a node for a name (symbol table entry). |
245 | * follow_token is the token which follows the name. | | 245 | * follow_token is the token which follows the name. |
246 | */ | | 246 | */ |
247 | tnode_t * | | 247 | tnode_t * |
248 | new_name_node(sym_t *sym, int follow_token) | | 248 | new_name_node(sym_t *sym, int follow_token) |
249 | { | | 249 | { |
250 | tnode_t *n; | | 250 | tnode_t *n; |
251 | | | 251 | |
252 | if (sym->s_scl == NOSCL) { | | 252 | if (sym->s_scl == NOSCL) { |
253 | sym->s_scl = EXTERN; | | 253 | sym->s_scl = EXTERN; |
254 | sym->s_def = DECL; | | 254 | sym->s_def = DECL; |
255 | if (follow_token == T_LPAREN) { | | 255 | if (follow_token == T_LPAREN) { |
256 | if (gflag && is_gcc_builtin(sym->s_name)) { | | 256 | if (gflag && is_gcc_builtin(sym->s_name)) { |
257 | /* | | 257 | /* |
258 | * Do not warn about these, just assume that | | 258 | * Do not warn about these, just assume that |
259 | * they are regular functions compatible with | | 259 | * they are regular functions compatible with |
260 | * non-prototype calling conventions. | | 260 | * non-prototype calling conventions. |
261 | */ | | 261 | */ |
262 | } else if (Sflag) { | | 262 | } else if (Sflag) { |
263 | /* function '%s' implicitly declared to ... */ | | 263 | /* function '%s' implicitly declared to ... */ |
264 | warning(215, sym->s_name); | | 264 | warning(215, sym->s_name); |
265 | } else if (sflag) { | | 265 | } else if (sflag) { |
266 | /* function '%s' implicitly declared to ... */ | | 266 | /* function '%s' implicitly declared to ... */ |
267 | warning(215, sym->s_name); | | 267 | warning(215, sym->s_name); |
268 | } | | 268 | } |
269 | /* | | 269 | /* |
270 | * XXX if tflag is set the symbol should be | | 270 | * XXX if tflag is set the symbol should be |
271 | * exported to level 0 | | 271 | * exported to level 0 |
272 | */ | | 272 | */ |
273 | sym->s_type = derive_type(sym->s_type, FUNC); | | 273 | sym->s_type = derive_type(sym->s_type, FUNC); |
274 | } else { | | 274 | } else { |
275 | fallback_symbol(sym); | | 275 | fallback_symbol(sym); |
276 | } | | 276 | } |
277 | } | | 277 | } |
278 | | | 278 | |
279 | lint_assert(sym->s_kind == FVFT || sym->s_kind == FMEMBER); | | 279 | lint_assert(sym->s_kind == FVFT || sym->s_kind == FMEMBER); |
280 | | | 280 | |
281 | n = expr_zalloc_tnode(); | | 281 | n = expr_zalloc_tnode(); |
282 | n->tn_type = sym->s_type; | | 282 | n->tn_type = sym->s_type; |
283 | if (sym->s_scl != CTCONST) { | | 283 | if (sym->s_scl != CTCONST) { |
284 | n->tn_op = NAME; | | 284 | n->tn_op = NAME; |
285 | n->tn_sym = sym; | | 285 | n->tn_sym = sym; |
286 | if (sym->s_kind == FVFT && sym->s_type->t_tspec != FUNC) | | 286 | if (sym->s_kind == FVFT && sym->s_type->t_tspec != FUNC) |
287 | n->tn_lvalue = true; | | 287 | n->tn_lvalue = true; |
288 | } else { | | 288 | } else { |
289 | n->tn_op = CON; | | 289 | n->tn_op = CON; |
290 | n->tn_val = expr_zalloc(sizeof(*n->tn_val)); | | 290 | n->tn_val = expr_zalloc(sizeof(*n->tn_val)); |
291 | *n->tn_val = sym->s_value; | | 291 | *n->tn_val = sym->s_value; |
292 | } | | 292 | } |
293 | | | 293 | |
294 | return n; | | 294 | return n; |
295 | } | | 295 | } |
296 | | | 296 | |
297 | tnode_t * | | 297 | tnode_t * |
298 | new_string_node(strg_t *strg) | | 298 | new_string_node(strg_t *strg) |
299 | { | | 299 | { |
300 | size_t len; | | 300 | size_t len; |
301 | tnode_t *n; | | 301 | tnode_t *n; |
302 | | | 302 | |
303 | len = strg->st_len; | | 303 | len = strg->st_len; |
304 | | | 304 | |
305 | n = expr_zalloc_tnode(); | | 305 | n = expr_zalloc_tnode(); |
306 | | | 306 | |
307 | n->tn_op = STRING; | | 307 | n->tn_op = STRING; |
308 | n->tn_type = expr_derive_type(gettyp(strg->st_tspec), ARRAY); | | 308 | n->tn_type = expr_derive_type(gettyp(strg->st_tspec), ARRAY); |
309 | n->tn_type->t_dim = len + 1; | | 309 | n->tn_type->t_dim = len + 1; |
310 | n->tn_lvalue = true; | | 310 | n->tn_lvalue = true; |
311 | | | 311 | |
312 | n->tn_string = expr_zalloc(sizeof(*n->tn_string)); | | 312 | n->tn_string = expr_zalloc(sizeof(*n->tn_string)); |
313 | n->tn_string->st_tspec = strg->st_tspec; | | 313 | n->tn_string->st_tspec = strg->st_tspec; |
314 | n->tn_string->st_len = len; | | 314 | n->tn_string->st_len = len; |
315 | | | 315 | |
316 | if (strg->st_tspec == CHAR) { | | 316 | if (strg->st_tspec == CHAR) { |
317 | n->tn_string->st_cp = expr_zalloc(len + 1); | | 317 | n->tn_string->st_cp = expr_zalloc(len + 1); |
318 | (void)memcpy(n->tn_string->st_cp, strg->st_cp, len + 1); | | 318 | (void)memcpy(n->tn_string->st_cp, strg->st_cp, len + 1); |
319 | free(strg->st_cp); | | 319 | free(strg->st_cp); |
320 | } else { | | 320 | } else { |
321 | size_t size = (len + 1) * sizeof(*n->tn_string->st_wcp); | | 321 | size_t size = (len + 1) * sizeof(*n->tn_string->st_wcp); |
322 | n->tn_string->st_wcp = expr_zalloc(size); | | 322 | n->tn_string->st_wcp = expr_zalloc(size); |
323 | (void)memcpy(n->tn_string->st_wcp, strg->st_wcp, size); | | 323 | (void)memcpy(n->tn_string->st_wcp, strg->st_wcp, size); |
324 | free(strg->st_wcp); | | 324 | free(strg->st_wcp); |
325 | } | | 325 | } |
326 | free(strg); | | 326 | free(strg); |
327 | | | 327 | |
328 | return n; | | 328 | return n; |
329 | } | | 329 | } |
330 | | | 330 | |
331 | /* | | 331 | /* |
332 | * Returns a symbol which has the same name as the msym argument and is a | | 332 | * Returns a symbol which has the same name as the msym argument and is a |
333 | * member of the struct or union specified by the tn argument. | | 333 | * member of the struct or union specified by the tn argument. |
334 | */ | | 334 | */ |
335 | sym_t * | | 335 | sym_t * |
336 | struct_or_union_member(tnode_t *tn, op_t op, sym_t *msym) | | 336 | struct_or_union_member(tnode_t *tn, op_t op, sym_t *msym) |
337 | { | | 337 | { |
338 | struct_or_union *str; | | 338 | struct_or_union *str; |
339 | type_t *tp; | | 339 | type_t *tp; |
340 | sym_t *sym, *csym; | | 340 | sym_t *sym, *csym; |
341 | bool eq; | | 341 | bool eq; |
342 | tspec_t t; | | 342 | tspec_t t; |
343 | | | 343 | |
344 | /* | | 344 | /* |
345 | * Remove the member if it was unknown until now, which means | | 345 | * Remove the member if it was unknown until now, which means |
346 | * that no defined struct or union has a member with the same name. | | 346 | * that no defined struct or union has a member with the same name. |
347 | */ | | 347 | */ |
348 | if (msym->s_scl == NOSCL) { | | 348 | if (msym->s_scl == NOSCL) { |
349 | /* type '%s' does not have member '%s' */ | | 349 | /* type '%s' does not have member '%s' */ |
350 | error(101, type_name(tn->tn_type), msym->s_name); | | 350 | error(101, type_name(tn->tn_type), msym->s_name); |
351 | rmsym(msym); | | 351 | rmsym(msym); |
352 | msym->s_kind = FMEMBER; | | 352 | msym->s_kind = FMEMBER; |
353 | msym->s_scl = MOS; | | 353 | msym->s_scl = MOS; |
354 | msym->s_styp = expr_zalloc(sizeof(*msym->s_styp)); | | 354 | msym->s_styp = expr_zalloc(sizeof(*msym->s_styp)); |
355 | msym->s_styp->sou_tag = expr_zalloc( | | 355 | msym->s_styp->sou_tag = expr_zalloc( |
356 | sizeof(*msym->s_styp->sou_tag)); | | 356 | sizeof(*msym->s_styp->sou_tag)); |
357 | msym->s_styp->sou_tag->s_name = unnamed; | | 357 | msym->s_styp->sou_tag->s_name = unnamed; |
358 | msym->s_value.v_tspec = INT; | | 358 | msym->s_value.v_tspec = INT; |
359 | return msym; | | 359 | return msym; |
360 | } | | 360 | } |
361 | | | 361 | |
362 | /* Set str to the tag of which msym is expected to be a member. */ | | 362 | /* Set str to the tag of which msym is expected to be a member. */ |
363 | str = NULL; | | 363 | str = NULL; |
364 | t = (tp = tn->tn_type)->t_tspec; | | 364 | t = (tp = tn->tn_type)->t_tspec; |
365 | if (op == POINT) { | | 365 | if (op == POINT) { |
366 | if (t == STRUCT || t == UNION) | | 366 | if (t == STRUCT || t == UNION) |
367 | str = tp->t_str; | | 367 | str = tp->t_str; |
368 | } else if (op == ARROW && t == PTR) { | | 368 | } else if (op == ARROW && t == PTR) { |
369 | t = (tp = tp->t_subt)->t_tspec; | | 369 | t = (tp = tp->t_subt)->t_tspec; |
370 | if (t == STRUCT || t == UNION) | | 370 | if (t == STRUCT || t == UNION) |
371 | str = tp->t_str; | | 371 | str = tp->t_str; |
372 | } | | 372 | } |
373 | | | 373 | |
374 | /* | | 374 | /* |
375 | * If this struct/union has a member with the name of msym, return it. | | 375 | * If this struct/union has a member with the name of msym, return it. |
376 | */ | | 376 | */ |
377 | if (str != NULL) { | | 377 | if (str != NULL) { |
378 | for (sym = msym; sym != NULL; sym = sym->s_link) { | | 378 | for (sym = msym; sym != NULL; sym = sym->s_link) { |
379 | if (sym->s_scl != MOS && sym->s_scl != MOU) | | 379 | if (sym->s_scl != MOS && sym->s_scl != MOU) |
380 | continue; | | 380 | continue; |
381 | if (sym->s_styp != str) | | 381 | if (sym->s_styp != str) |
382 | continue; | | 382 | continue; |
383 | if (strcmp(sym->s_name, msym->s_name) != 0) | | 383 | if (strcmp(sym->s_name, msym->s_name) != 0) |
384 | continue; | | 384 | continue; |
385 | return sym; | | 385 | return sym; |
386 | } | | 386 | } |
387 | } | | 387 | } |
388 | | | 388 | |
389 | /* | | 389 | /* |
390 | * Set eq to false if there are struct/union members with the same | | 390 | * Set eq to false if there are struct/union members with the same |
391 | * name and different types and/or offsets. | | 391 | * name and different types and/or offsets. |
392 | */ | | 392 | */ |
393 | eq = true; | | 393 | eq = true; |
394 | for (csym = msym; csym != NULL; csym = csym->s_link) { | | 394 | for (csym = msym; csym != NULL; csym = csym->s_link) { |
395 | if (csym->s_scl != MOS && csym->s_scl != MOU) | | 395 | if (csym->s_scl != MOS && csym->s_scl != MOU) |
396 | continue; | | 396 | continue; |
397 | if (strcmp(msym->s_name, csym->s_name) != 0) | | 397 | if (strcmp(msym->s_name, csym->s_name) != 0) |
398 | continue; | | 398 | continue; |
399 | for (sym = csym->s_link ; sym != NULL; sym = sym->s_link) { | | 399 | for (sym = csym->s_link ; sym != NULL; sym = sym->s_link) { |
400 | bool w; | | 400 | bool w; |
401 | | | 401 | |
402 | if (sym->s_scl != MOS && sym->s_scl != MOU) | | 402 | if (sym->s_scl != MOS && sym->s_scl != MOU) |
403 | continue; | | 403 | continue; |
404 | if (strcmp(csym->s_name, sym->s_name) != 0) | | 404 | if (strcmp(csym->s_name, sym->s_name) != 0) |
405 | continue; | | 405 | continue; |
406 | if (csym->s_value.v_quad != sym->s_value.v_quad) { | | 406 | if (csym->s_value.v_quad != sym->s_value.v_quad) { |
407 | eq = false; | | 407 | eq = false; |
408 | break; | | 408 | break; |
409 | } | | 409 | } |
410 | w = false; | | 410 | w = false; |
411 | eq = eqtype(csym->s_type, sym->s_type, | | 411 | eq = eqtype(csym->s_type, sym->s_type, |
412 | false, false, &w) && !w; | | 412 | false, false, &w) && !w; |
413 | if (!eq) | | 413 | if (!eq) |
414 | break; | | 414 | break; |
415 | if (csym->s_bitfield != sym->s_bitfield) { | | 415 | if (csym->s_bitfield != sym->s_bitfield) { |
416 | eq = false; | | 416 | eq = false; |
417 | break; | | 417 | break; |
418 | } | | 418 | } |
419 | if (csym->s_bitfield) { | | 419 | if (csym->s_bitfield) { |
420 | type_t *tp1, *tp2; | | 420 | type_t *tp1, *tp2; |
421 | | | 421 | |
422 | tp1 = csym->s_type; | | 422 | tp1 = csym->s_type; |
423 | tp2 = sym->s_type; | | 423 | tp2 = sym->s_type; |
424 | if (tp1->t_flen != tp2->t_flen) { | | 424 | if (tp1->t_flen != tp2->t_flen) { |
425 | eq = false; | | 425 | eq = false; |
426 | break; | | 426 | break; |
427 | } | | 427 | } |
428 | if (tp1->t_foffs != tp2->t_foffs) { | | 428 | if (tp1->t_foffs != tp2->t_foffs) { |
429 | eq = false; | | 429 | eq = false; |
430 | break; | | 430 | break; |
431 | } | | 431 | } |
432 | } | | 432 | } |
433 | } | | 433 | } |
434 | if (!eq) | | 434 | if (!eq) |
435 | break; | | 435 | break; |
436 | } | | 436 | } |
437 | | | 437 | |
438 | /* | | 438 | /* |
439 | * Now handle the case in which the left operand refers really | | 439 | * Now handle the case in which the left operand refers really |
440 | * to a struct/union, but the right operand is not member of it. | | 440 | * to a struct/union, but the right operand is not member of it. |
441 | */ | | 441 | */ |
442 | if (str != NULL) { | | 442 | if (str != NULL) { |
443 | if (eq && tflag) { | | 443 | if (eq && tflag) { |
444 | /* illegal member use: %s */ | | 444 | /* illegal member use: %s */ |
445 | warning(102, msym->s_name); | | 445 | warning(102, msym->s_name); |
446 | } else { | | 446 | } else { |
447 | /* illegal member use: %s */ | | 447 | /* illegal member use: %s */ |
448 | error(102, msym->s_name); | | 448 | error(102, msym->s_name); |
449 | } | | 449 | } |
450 | return msym; | | 450 | return msym; |
451 | } | | 451 | } |
452 | | | 452 | |
453 | /* | | 453 | /* |
454 | * Now the left operand of ARROW does not point to a struct/union | | 454 | * Now the left operand of ARROW does not point to a struct/union |
455 | * or the left operand of POINT is no struct/union. | | 455 | * or the left operand of POINT is no struct/union. |
456 | */ | | 456 | */ |
457 | if (eq) { | | 457 | if (eq) { |
458 | if (op == POINT) { | | 458 | if (op == POINT) { |
459 | if (tflag) { | | 459 | if (tflag) { |
460 | /* left operand of '.' must be struct ... */ | | 460 | /* left operand of '.' must be struct ... */ |
461 | warning(103, type_name(tn->tn_type)); | | 461 | warning(103, type_name(tn->tn_type)); |
462 | } else { | | 462 | } else { |
463 | /* left operand of '.' must be struct ... */ | | 463 | /* left operand of '.' must be struct ... */ |
464 | error(103, type_name(tn->tn_type)); | | 464 | error(103, type_name(tn->tn_type)); |
465 | } | | 465 | } |
466 | } else { | | 466 | } else { |
467 | if (tflag && tn->tn_type->t_tspec == PTR) { | | 467 | if (tflag && tn->tn_type->t_tspec == PTR) { |
468 | /* left operand of '->' must be pointer ... */ | | 468 | /* left operand of '->' must be pointer ... */ |
469 | warning(104, type_name(tn->tn_type)); | | 469 | warning(104, type_name(tn->tn_type)); |
470 | } else { | | 470 | } else { |
471 | /* left operand of '->' must be pointer ... */ | | 471 | /* left operand of '->' must be pointer ... */ |
472 | error(104, type_name(tn->tn_type)); | | 472 | error(104, type_name(tn->tn_type)); |
473 | } | | 473 | } |
474 | } | | 474 | } |
475 | } else { | | 475 | } else { |
476 | if (tflag) { | | 476 | if (tflag) { |
477 | /* non-unique member requires struct/union %s */ | | 477 | /* non-unique member requires struct/union %s */ |
478 | error(105, op == POINT ? "object" : "pointer"); | | 478 | error(105, op == POINT ? "object" : "pointer"); |
479 | } else { | | 479 | } else { |
480 | /* unacceptable operand of '%s' */ | | 480 | /* unacceptable operand of '%s' */ |
481 | error(111, op_name(op)); | | 481 | error(111, op_name(op)); |
482 | } | | 482 | } |
483 | } | | 483 | } |
484 | | | 484 | |
485 | return msym; | | 485 | return msym; |
486 | } | | 486 | } |
487 | | | 487 | |
488 | tnode_t * | | 488 | tnode_t * |
489 | build_generic_selection(const tnode_t *expr, | | 489 | build_generic_selection(const tnode_t *expr, |
490 | struct generic_association *sel) | | 490 | struct generic_association *sel) |
491 | { | | 491 | { |
492 | tnode_t *default_result = NULL; | | 492 | tnode_t *default_result = NULL; |
493 | | | 493 | |
494 | for (; sel != NULL; sel = sel->ga_prev) | | 494 | for (; sel != NULL; sel = sel->ga_prev) |
495 | if (expr != NULL && | | 495 | if (expr != NULL && |
496 | eqtype(sel->ga_arg, expr->tn_type, false, false, NULL)) | | 496 | eqtype(sel->ga_arg, expr->tn_type, false, false, NULL)) |
497 | return sel->ga_result; | | 497 | return sel->ga_result; |
498 | else if (sel->ga_arg == NULL) | | 498 | else if (sel->ga_arg == NULL) |
499 | default_result = sel->ga_result; | | 499 | default_result = sel->ga_result; |
500 | return default_result; | | 500 | return default_result; |
501 | } | | 501 | } |
502 | | | 502 | |
503 | /* | | 503 | /* |
504 | * Create a tree node. Called for most operands except function calls, | | 504 | * Create a tree node. Called for most operands except function calls, |
505 | * sizeof and casts. | | 505 | * sizeof and casts. |
506 | * | | 506 | * |
507 | * op operator | | 507 | * op operator |
508 | * ln left operand | | 508 | * ln left operand |
509 | * rn if not NULL, right operand | | 509 | * rn if not NULL, right operand |
510 | */ | | 510 | */ |
511 | tnode_t * | | 511 | tnode_t * |
512 | build(op_t op, tnode_t *ln, tnode_t *rn) | | 512 | build(op_t op, tnode_t *ln, tnode_t *rn) |
513 | { | | 513 | { |
514 | const mod_t *mp; | | 514 | const mod_t *mp; |
515 | tnode_t *ntn; | | 515 | tnode_t *ntn; |
516 | type_t *rettp; | | 516 | type_t *rettp; |
517 | | | 517 | |
518 | mp = &modtab[op]; | | 518 | mp = &modtab[op]; |
519 | | | 519 | |
520 | /* If there was an error in one of the operands, return. */ | | 520 | /* If there was an error in one of the operands, return. */ |
521 | if (ln == NULL || (mp->m_binary && rn == NULL)) | | 521 | if (ln == NULL || (mp->m_binary && rn == NULL)) |
522 | return NULL; | | 522 | return NULL; |
523 | | | 523 | |
524 | /* | | 524 | /* |
525 | * Apply class conversions to the left operand, but only if its | | 525 | * Apply class conversions to the left operand, but only if its |
526 | * value is needed or it is compared with null. | | 526 | * value is needed or it is compared with null. |
527 | */ | | 527 | */ |
528 | if (mp->m_left_value_context || mp->m_left_test_context) | | 528 | if (mp->m_left_value_context || mp->m_left_test_context) |
529 | ln = cconv(ln); | | 529 | ln = cconv(ln); |
530 | /* | | 530 | /* |
531 | * The right operand is almost always in a test or value context, | | 531 | * The right operand is almost always in a test or value context, |
532 | * except if it is a struct or union member. | | 532 | * except if it is a struct or union member. |
533 | */ | | 533 | */ |
534 | if (mp->m_binary && op != ARROW && op != POINT) | | 534 | if (mp->m_binary && op != ARROW && op != POINT) |
535 | rn = cconv(rn); | | 535 | rn = cconv(rn); |
536 | | | 536 | |
537 | /* | | 537 | /* |
538 | * Print some warnings for comparisons of unsigned values with | | 538 | * Print some warnings for comparisons of unsigned values with |
539 | * constants lower than or equal to null. This must be done | | 539 | * constants lower than or equal to null. This must be done |
540 | * before promote() because otherwise unsigned char and unsigned | | 540 | * before promote() because otherwise unsigned char and unsigned |
541 | * short would be promoted to int. Also types are tested to be | | 541 | * short would be promoted to int. Also types are tested to be |
542 | * CHAR, which would also become int. | | 542 | * CHAR, which would also become int. |
543 | */ | | 543 | */ |
544 | if (mp->m_comparison) | | 544 | if (mp->m_comparison) |
545 | check_integer_comparison(op, ln, rn); | | 545 | check_integer_comparison(op, ln, rn); |
546 | | | 546 | |
547 | /* | | 547 | /* |
548 | * Promote the left operand if it is in a test or value context | | 548 | * Promote the left operand if it is in a test or value context |
549 | */ | | 549 | */ |
550 | if (mp->m_left_value_context || mp->m_left_test_context) | | 550 | if (mp->m_left_value_context || mp->m_left_test_context) |
551 | ln = promote(op, false, ln); | | 551 | ln = promote(op, false, ln); |
552 | /* | | 552 | /* |
553 | * Promote the right operand, but only if it is no struct or | | 553 | * Promote the right operand, but only if it is no struct or |
554 | * union member, or if it is not to be assigned to the left operand | | 554 | * union member, or if it is not to be assigned to the left operand |
555 | */ | | 555 | */ |
556 | if (mp->m_binary && op != ARROW && op != POINT && | | 556 | if (mp->m_binary && op != ARROW && op != POINT && |
557 | op != ASSIGN && op != RETURN) { | | 557 | op != ASSIGN && op != RETURN) { |
558 | rn = promote(op, false, rn); | | 558 | rn = promote(op, false, rn); |
559 | } | | 559 | } |
560 | | | 560 | |
561 | /* | | 561 | /* |
562 | * If the result of the operation is different for signed or | | 562 | * If the result of the operation is different for signed or |
563 | * unsigned operands and one of the operands is signed only in | | 563 | * unsigned operands and one of the operands is signed only in |
564 | * ANSI C, print a warning. | | 564 | * ANSI C, print a warning. |
565 | */ | | 565 | */ |
566 | if (mp->m_warn_if_left_unsigned_in_c90 && | | 566 | if (mp->m_warn_if_left_unsigned_in_c90 && |
567 | ln->tn_op == CON && ln->tn_val->v_unsigned_since_c90) { | | 567 | ln->tn_op == CON && ln->tn_val->v_unsigned_since_c90) { |
568 | /* ANSI C treats constant as unsigned, op %s */ | | 568 | /* ANSI C treats constant as unsigned, op %s */ |
569 | warning(218, mp->m_name); | | 569 | warning(218, mp->m_name); |
570 | ln->tn_val->v_unsigned_since_c90 = false; | | 570 | ln->tn_val->v_unsigned_since_c90 = false; |
571 | } | | 571 | } |
572 | if (mp->m_warn_if_right_unsigned_in_c90 && | | 572 | if (mp->m_warn_if_right_unsigned_in_c90 && |
573 | rn->tn_op == CON && rn->tn_val->v_unsigned_since_c90) { | | 573 | rn->tn_op == CON && rn->tn_val->v_unsigned_since_c90) { |
574 | /* ANSI C treats constant as unsigned, op %s */ | | 574 | /* ANSI C treats constant as unsigned, op %s */ |
575 | warning(218, mp->m_name); | | 575 | warning(218, mp->m_name); |
576 | rn->tn_val->v_unsigned_since_c90 = false; | | 576 | rn->tn_val->v_unsigned_since_c90 = false; |
577 | } | | 577 | } |
578 | | | 578 | |
579 | /* Make sure both operands are of the same type */ | | 579 | /* Make sure both operands are of the same type */ |
580 | if (mp->m_balance_operands || (tflag && (op == SHL || op == SHR))) | | 580 | if (mp->m_balance_operands || (tflag && (op == SHL || op == SHR))) |
581 | balance(op, &ln, &rn); | | 581 | balance(op, &ln, &rn); |
582 | | | 582 | |
583 | /* | | 583 | /* |
584 | * Check types for compatibility with the operation and mutual | | 584 | * Check types for compatibility with the operation and mutual |
585 | * compatibility. Return if there are serious problems. | | 585 | * compatibility. Return if there are serious problems. |
586 | */ | | 586 | */ |
587 | if (!typeok(op, 0, ln, rn)) | | 587 | if (!typeok(op, 0, ln, rn)) |
588 | return NULL; | | 588 | return NULL; |
589 | | | 589 | |
590 | /* And now create the node. */ | | 590 | /* And now create the node. */ |
591 | switch (op) { | | 591 | switch (op) { |
592 | case POINT: | | 592 | case POINT: |
593 | case ARROW: | | 593 | case ARROW: |
594 | ntn = build_struct_access(op, ln, rn); | | 594 | ntn = build_struct_access(op, ln, rn); |
595 | break; | | 595 | break; |
596 | case INCAFT: | | 596 | case INCAFT: |
597 | case DECAFT: | | 597 | case DECAFT: |
598 | case INCBEF: | | 598 | case INCBEF: |
599 | case DECBEF: | | 599 | case DECBEF: |
600 | ntn = build_prepost_incdec(op, ln); | | 600 | ntn = build_prepost_incdec(op, ln); |
601 | break; | | 601 | break; |
602 | case ADDR: | | 602 | case ADDR: |
603 | ntn = build_address(ln, false); | | 603 | ntn = build_address(ln, false); |
604 | break; | | 604 | break; |
605 | case INDIR: | | 605 | case INDIR: |
606 | ntn = new_tnode(INDIR, ln->tn_type->t_subt, ln, NULL); | | 606 | ntn = new_tnode(INDIR, ln->tn_type->t_subt, ln, NULL); |
607 | break; | | 607 | break; |
608 | case PLUS: | | 608 | case PLUS: |
609 | case MINUS: | | 609 | case MINUS: |
610 | ntn = build_plus_minus(op, ln, rn); | | 610 | ntn = build_plus_minus(op, ln, rn); |
611 | break; | | 611 | break; |
612 | case SHL: | | 612 | case SHL: |
613 | case SHR: | | 613 | case SHR: |
614 | ntn = build_bit_shift(op, ln, rn); | | 614 | ntn = build_bit_shift(op, ln, rn); |
615 | break; | | 615 | break; |
616 | case COLON: | | 616 | case COLON: |
617 | ntn = build_colon(ln, rn); | | 617 | ntn = build_colon(ln, rn); |
618 | break; | | 618 | break; |
619 | case ASSIGN: | | 619 | case ASSIGN: |
620 | case MULASS: | | 620 | case MULASS: |
621 | case DIVASS: | | 621 | case DIVASS: |
622 | case MODASS: | | 622 | case MODASS: |
623 | case ADDASS: | | 623 | case ADDASS: |
624 | case SUBASS: | | 624 | case SUBASS: |
625 | case SHLASS: | | 625 | case SHLASS: |
626 | case SHRASS: | | 626 | case SHRASS: |
627 | case ANDASS: | | 627 | case ANDASS: |
628 | case XORASS: | | 628 | case XORASS: |
629 | case ORASS: | | 629 | case ORASS: |
630 | case RETURN: | | 630 | case RETURN: |
631 | ntn = build_assignment(op, ln, rn); | | 631 | ntn = build_assignment(op, ln, rn); |
632 | break; | | 632 | break; |
633 | case COMMA: | | 633 | case COMMA: |
634 | case QUEST: | | 634 | case QUEST: |
635 | ntn = new_tnode(op, rn->tn_type, ln, rn); | | 635 | ntn = new_tnode(op, rn->tn_type, ln, rn); |
636 | break; | | 636 | break; |
637 | case REAL: | | 637 | case REAL: |
638 | case IMAG: | | 638 | case IMAG: |
639 | ntn = build_real_imag(op, ln); | | 639 | ntn = build_real_imag(op, ln); |
640 | break; | | 640 | break; |
641 | default: | | 641 | default: |
642 | rettp = mp->m_returns_bool | | 642 | rettp = mp->m_returns_bool |
643 | ? gettyp(Tflag ? BOOL : INT) : ln->tn_type; | | 643 | ? gettyp(Tflag ? BOOL : INT) : ln->tn_type; |
644 | lint_assert(mp->m_binary || rn == NULL); | | 644 | lint_assert(mp->m_binary || rn == NULL); |
645 | ntn = new_tnode(op, rettp, ln, rn); | | 645 | ntn = new_tnode(op, rettp, ln, rn); |
646 | break; | | 646 | break; |
647 | } | | 647 | } |
648 | | | 648 | |
649 | /* Return if an error occurred. */ | | 649 | /* Return if an error occurred. */ |
650 | if (ntn == NULL) | | 650 | if (ntn == NULL) |
651 | return NULL; | | 651 | return NULL; |
652 | | | 652 | |
653 | /* Print a warning if precedence confusion is possible */ | | 653 | /* Print a warning if precedence confusion is possible */ |
654 | if (mp->m_possible_precedence_confusion) | | 654 | if (mp->m_possible_precedence_confusion) |
655 | check_precedence_confusion(ntn); | | 655 | check_precedence_confusion(ntn); |
656 | | | 656 | |
657 | /* | | 657 | /* |
658 | * Print a warning if one of the operands is in a context where | | 658 | * Print a warning if one of the operands is in a context where |
659 | * it is compared with null and if this operand is a constant. | | 659 | * it is compared with null and if this operand is a constant. |
660 | */ | | 660 | */ |
661 | if (mp->m_left_test_context) { | | 661 | if (mp->m_left_test_context) { |
662 | if (ln->tn_op == CON || | | 662 | if (ln->tn_op == CON || |
663 | ((mp->m_binary && op != QUEST) && rn->tn_op == CON)) { | | 663 | ((mp->m_binary && op != QUEST) && rn->tn_op == CON)) { |
664 | if (hflag && !constcond_flag && | | 664 | if (hflag && !constcond_flag && |
665 | !ln->tn_system_dependent) | | 665 | !ln->tn_system_dependent) |
666 | /* constant in conditional context */ | | 666 | /* constant in conditional context */ |
667 | warning(161); | | 667 | warning(161); |
668 | } | | 668 | } |
669 | } | | 669 | } |
670 | | | 670 | |
671 | /* Fold if the operator requires it */ | | 671 | /* Fold if the operator requires it */ |
672 | if (mp->m_fold_constant_operands) { | | 672 | if (mp->m_fold_constant_operands) { |
673 | if (ln->tn_op == CON && (!mp->m_binary || rn->tn_op == CON)) { | | 673 | if (ln->tn_op == CON && (!mp->m_binary || rn->tn_op == CON)) { |
674 | if (mp->m_left_test_context) { | | 674 | if (mp->m_left_test_context) { |
675 | ntn = fold_test(ntn); | | 675 | ntn = fold_test(ntn); |
676 | } else if (is_floating(ntn->tn_type->t_tspec)) { | | 676 | } else if (is_floating(ntn->tn_type->t_tspec)) { |
677 | ntn = fold_float(ntn); | | 677 | ntn = fold_float(ntn); |
678 | } else { | | 678 | } else { |
679 | ntn = fold(ntn); | | 679 | ntn = fold(ntn); |
680 | } | | 680 | } |
681 | } else if (op == QUEST && ln->tn_op == CON) { | | 681 | } else if (op == QUEST && ln->tn_op == CON) { |
682 | ntn = ln->tn_val->v_quad != 0 | | 682 | ntn = ln->tn_val->v_quad != 0 |
683 | ? rn->tn_left : rn->tn_right; | | 683 | ? rn->tn_left : rn->tn_right; |
684 | } | | 684 | } |
685 | } | | 685 | } |
686 | | | 686 | |
687 | return ntn; | | 687 | return ntn; |
688 | } | | 688 | } |
689 | | | 689 | |
690 | tnode_t * | | 690 | tnode_t * |
691 | build_member_access(tnode_t *ln, op_t op, sbuf_t *member) | | 691 | build_member_access(tnode_t *ln, op_t op, sbuf_t *member) |
692 | { | | 692 | { |
693 | sym_t *msym; | | 693 | sym_t *msym; |
694 | | | 694 | |
695 | if (ln == NULL) | | 695 | if (ln == NULL) |
696 | return NULL; | | 696 | return NULL; |
697 | | | 697 | |
698 | if (op == ARROW) { | | 698 | if (op == ARROW) { |
699 | /* must do this before struct_or_union_member is called */ | | 699 | /* must do this before struct_or_union_member is called */ |
700 | ln = cconv(ln); | | 700 | ln = cconv(ln); |
701 | } | | 701 | } |
702 | msym = struct_or_union_member(ln, op, getsym(member)); | | 702 | msym = struct_or_union_member(ln, op, getsym(member)); |
703 | return build(op, ln, new_name_node(msym, 0)); | | 703 | return build(op, ln, new_name_node(msym, 0)); |
704 | } | | 704 | } |
705 | | | 705 | |
706 | /* | | 706 | /* |
707 | * Perform class conversions. | | 707 | * Perform class conversions. |
708 | * | | 708 | * |
709 | * Arrays of type T are converted into pointers to type T. | | 709 | * Arrays of type T are converted into pointers to type T. |
710 | * Functions are converted to pointers to functions. | | 710 | * Functions are converted to pointers to functions. |
711 | * Lvalues are converted to rvalues. | | 711 | * Lvalues are converted to rvalues. |
712 | * | | 712 | * |
713 | * C99 6.3 "Conversions" | | 713 | * C99 6.3 "Conversions" |
714 | * C99 6.3.2 "Other operands" | | 714 | * C99 6.3.2 "Other operands" |
715 | * C99 6.3.2.1 "Lvalues, arrays, and function designators" | | 715 | * C99 6.3.2.1 "Lvalues, arrays, and function designators" |
716 | */ | | 716 | */ |
717 | tnode_t * | | 717 | tnode_t * |
718 | cconv(tnode_t *tn) | | 718 | cconv(tnode_t *tn) |
719 | { | | 719 | { |
720 | type_t *tp; | | 720 | type_t *tp; |
721 | | | 721 | |
722 | /* | | 722 | /* |
723 | * Array-lvalue (array of type T) is converted into rvalue | | 723 | * Array-lvalue (array of type T) is converted into rvalue |
724 | * (pointer to type T) | | 724 | * (pointer to type T) |
725 | */ | | 725 | */ |
726 | if (tn->tn_type->t_tspec == ARRAY) { | | 726 | if (tn->tn_type->t_tspec == ARRAY) { |
727 | if (!tn->tn_lvalue) { | | 727 | if (!tn->tn_lvalue) { |
728 | /* XXX print correct operator */ | | 728 | /* XXX print correct operator */ |
729 | /* %soperand of '%s' must be lvalue */ | | 729 | /* %soperand of '%s' must be lvalue */ |
730 | gnuism(114, "", op_name(ADDR)); | | 730 | gnuism(114, "", op_name(ADDR)); |
731 | } | | 731 | } |
732 | tn = new_tnode(ADDR, | | 732 | tn = new_tnode(ADDR, |
733 | expr_derive_type(tn->tn_type->t_subt, PTR), tn, NULL); | | 733 | expr_derive_type(tn->tn_type->t_subt, PTR), tn, NULL); |
734 | } | | 734 | } |
735 | | | 735 | |
736 | /* | | 736 | /* |
737 | * Expression of type function (function with return value of type T) | | 737 | * Expression of type function (function with return value of type T) |
738 | * in rvalue-expression (pointer to function with return value | | 738 | * in rvalue-expression (pointer to function with return value |
739 | * of type T) | | 739 | * of type T) |
740 | */ | | 740 | */ |
741 | if (tn->tn_type->t_tspec == FUNC) | | 741 | if (tn->tn_type->t_tspec == FUNC) |
742 | tn = build_address(tn, true); | | 742 | tn = build_address(tn, true); |
743 | | | 743 | |
744 | /* lvalue to rvalue */ | | 744 | /* lvalue to rvalue */ |
745 | if (tn->tn_lvalue) { | | 745 | if (tn->tn_lvalue) { |
746 | tp = expr_dup_type(tn->tn_type); | | 746 | tp = expr_dup_type(tn->tn_type); |
747 | /* C99 6.3.2.1p2 sentence 2 says to remove the qualifiers. */ | | 747 | /* C99 6.3.2.1p2 sentence 2 says to remove the qualifiers. */ |
748 | tp->t_const = tp->t_volatile = false; | | 748 | tp->t_const = tp->t_volatile = false; |
749 | tn = new_tnode(LOAD, tp, tn, NULL); | | 749 | tn = new_tnode(LOAD, tp, tn, NULL); |
750 | } | | 750 | } |
751 | | | 751 | |
752 | return tn; | | 752 | return tn; |
753 | } | | 753 | } |
754 | | | 754 | |
755 | const tnode_t * | | 755 | const tnode_t * |
756 | before_conversion(const tnode_t *tn) | | 756 | before_conversion(const tnode_t *tn) |
757 | { | | 757 | { |
758 | while (tn->tn_op == CVT && !tn->tn_cast) | | 758 | while (tn->tn_op == CVT && !tn->tn_cast) |
759 | tn = tn->tn_left; | | 759 | tn = tn->tn_left; |
760 | return tn; | | 760 | return tn; |
761 | } | | 761 | } |
762 | | | 762 | |
763 | static bool | | 763 | static bool |
764 | is_null_pointer(const tnode_t *tn) | | 764 | is_null_pointer(const tnode_t *tn) |
765 | { | | 765 | { |
766 | tspec_t t = tn->tn_type->t_tspec; | | 766 | tspec_t t = tn->tn_type->t_tspec; |
767 | | | 767 | |
768 | return ((t == PTR && tn->tn_type->t_subt->t_tspec == VOID) || | | 768 | return ((t == PTR && tn->tn_type->t_subt->t_tspec == VOID) || |
769 | is_integer(t)) | | 769 | is_integer(t)) |
770 | && (tn->tn_op == CON && tn->tn_val->v_quad == 0); | | 770 | && (tn->tn_op == CON && tn->tn_val->v_quad == 0); |
771 | } | | 771 | } |
772 | | | 772 | |
773 | static bool | | 773 | static bool |
774 | typeok_incdec(op_t op, const tnode_t *tn, const type_t *tp) | | 774 | typeok_incdec(op_t op, const tnode_t *tn, const type_t *tp) |
775 | { | | 775 | { |
776 | /* operand has scalar type (checked in typeok) */ | | 776 | /* operand has scalar type (checked in typeok) */ |
777 | if (!tn->tn_lvalue) { | | 777 | if (!tn->tn_lvalue) { |
778 | if (tn->tn_op == CVT && tn->tn_cast && | | 778 | if (tn->tn_op == CVT && tn->tn_cast && |
779 | tn->tn_left->tn_op == LOAD) { | | 779 | tn->tn_left->tn_op == LOAD) { |
780 | /* a cast does not yield an lvalue */ | | 780 | /* a cast does not yield an lvalue */ |
781 | error(163); | | 781 | error(163); |
782 | } | | 782 | } |
783 | /* %soperand of '%s' must be lvalue */ | | 783 | /* %soperand of '%s' must be lvalue */ |
784 | error(114, "", op_name(op)); | | 784 | error(114, "", op_name(op)); |
785 | return false; | | 785 | return false; |
786 | } else if (tp->t_const) { | | 786 | } else if (tp->t_const) { |
787 | if (!tflag) | | 787 | if (!tflag) |
788 | /* %soperand of '%s' must be modifiable lvalue */ | | 788 | /* %soperand of '%s' must be modifiable lvalue */ |
789 | warning(115, "", op_name(op)); | | 789 | warning(115, "", op_name(op)); |
790 | } | | 790 | } |
791 | return true; | | 791 | return true; |
792 | } | | 792 | } |
793 | | | 793 | |
794 | static bool | | 794 | static bool |
795 | typeok_address(const mod_t *mp, | | 795 | typeok_address(const mod_t *mp, |
796 | const tnode_t *tn, const type_t *tp, tspec_t t) | | 796 | const tnode_t *tn, const type_t *tp, tspec_t t) |
797 | { | | 797 | { |
798 | if (t == ARRAY || t == FUNC) { | | 798 | if (t == ARRAY || t == FUNC) { |
799 | /* ok, a warning comes later (in build_address()) */ | | 799 | /* ok, a warning comes later (in build_address()) */ |
800 | } else if (!tn->tn_lvalue) { | | 800 | } else if (!tn->tn_lvalue) { |
801 | if (tn->tn_op == CVT && tn->tn_cast && | | 801 | if (tn->tn_op == CVT && tn->tn_cast && |
802 | tn->tn_left->tn_op == LOAD) { | | 802 | tn->tn_left->tn_op == LOAD) { |
803 | /* a cast does not yield an lvalue */ | | 803 | /* a cast does not yield an lvalue */ |
804 | error(163); | | 804 | error(163); |
805 | } | | 805 | } |
806 | /* %soperand of '%s' must be lvalue */ | | 806 | /* %soperand of '%s' must be lvalue */ |
807 | error(114, "", mp->m_name); | | 807 | error(114, "", mp->m_name); |
808 | return false; | | 808 | return false; |
809 | } else if (is_scalar(t)) { | | 809 | } else if (is_scalar(t)) { |
810 | if (tp->t_bitfield) { | | 810 | if (tp->t_bitfield) { |
811 | /* cannot take address of bit-field */ | | 811 | /* cannot take address of bit-field */ |
812 | error(112); | | 812 | error(112); |
813 | return false; | | 813 | return false; |
814 | } | | 814 | } |
815 | } else if (t != STRUCT && t != UNION) { | | 815 | } else if (t != STRUCT && t != UNION) { |
816 | /* unacceptable operand of '%s' */ | | 816 | /* unacceptable operand of '%s' */ |
817 | error(111, mp->m_name); | | 817 | error(111, mp->m_name); |
818 | return false; | | 818 | return false; |
819 | } | | 819 | } |
820 | if (tn->tn_op == NAME && tn->tn_sym->s_reg) { | | 820 | if (tn->tn_op == NAME && tn->tn_sym->s_reg) { |
821 | /* cannot take address of register %s */ | | 821 | /* cannot take address of register %s */ |
822 | error(113, tn->tn_sym->s_name); | | 822 | error(113, tn->tn_sym->s_name); |
823 | return false; | | 823 | return false; |
824 | } | | 824 | } |
825 | return true; | | 825 | return true; |
826 | } | | 826 | } |
827 | | | 827 | |
828 | static bool | | 828 | static bool |
829 | typeok_star(tspec_t t) | | 829 | typeok_star(tspec_t t) |
830 | { | | 830 | { |
831 | /* until now there were no type checks for this operator */ | | 831 | /* until now there were no type checks for this operator */ |
832 | if (t != PTR) { | | 832 | if (t != PTR) { |
833 | /* cannot dereference non-pointer type */ | | 833 | /* cannot dereference non-pointer type */ |
834 | error(96); | | 834 | error(96); |
835 | return false; | | 835 | return false; |
836 | } | | 836 | } |
837 | return true; | | 837 | return true; |
838 | } | | 838 | } |
839 | | | 839 | |
840 | static bool | | 840 | static bool |
841 | typeok_plus(op_t op, | | 841 | typeok_plus(op_t op, |
842 | const type_t *ltp, tspec_t lt, | | 842 | const type_t *ltp, tspec_t lt, |
843 | const type_t *rtp, tspec_t rt) | | 843 | const type_t *rtp, tspec_t rt) |
844 | { | | 844 | { |
845 | /* operands have scalar types (checked above) */ | | 845 | /* operands have scalar types (checked above) */ |
846 | if ((lt == PTR && !is_integer(rt)) || (rt == PTR && !is_integer(lt))) { | | 846 | if ((lt == PTR && !is_integer(rt)) || (rt == PTR && !is_integer(lt))) { |
847 | warn_incompatible_types(op, ltp, lt, rtp, rt); | | 847 | warn_incompatible_types(op, ltp, lt, rtp, rt); |
848 | return false; | | 848 | return false; |
849 | } | | 849 | } |
850 | return true; | | 850 | return true; |
851 | } | | 851 | } |
852 | | | 852 | |
853 | static bool | | 853 | static bool |
854 | typeok_minus(op_t op, | | 854 | typeok_minus(op_t op, |
855 | const type_t *ltp, tspec_t lt, | | 855 | const type_t *ltp, tspec_t lt, |
856 | const type_t *rtp, tspec_t rt) | | 856 | const type_t *rtp, tspec_t rt) |
857 | { | | 857 | { |
858 | /* operands have scalar types (checked above) */ | | 858 | /* operands have scalar types (checked above) */ |
859 | if (lt == PTR && (!is_integer(rt) && rt != PTR)) { | | 859 | if (lt == PTR && (!is_integer(rt) && rt != PTR)) { |
860 | warn_incompatible_types(op, ltp, lt, rtp, rt); | | 860 | warn_incompatible_types(op, ltp, lt, rtp, rt); |
861 | return false; | | 861 | return false; |
862 | } else if (rt == PTR && lt != PTR) { | | 862 | } else if (rt == PTR && lt != PTR) { |
863 | warn_incompatible_types(op, ltp, lt, rtp, rt); | | 863 | warn_incompatible_types(op, ltp, lt, rtp, rt); |
864 | return false; | | 864 | return false; |
865 | } | | 865 | } |
866 | if (lt == PTR && rt == PTR) { | | 866 | if (lt == PTR && rt == PTR) { |
867 | if (!eqtype(ltp->t_subt, rtp->t_subt, true, false, NULL)) { | | 867 | if (!eqtype(ltp->t_subt, rtp->t_subt, true, false, NULL)) { |
868 | /* illegal pointer subtraction */ | | 868 | /* illegal pointer subtraction */ |
869 | error(116); | | 869 | error(116); |
870 | } | | 870 | } |
871 | } | | 871 | } |
872 | return true; | | 872 | return true; |
873 | } | | 873 | } |
874 | | | 874 | |
875 | static void | | 875 | static void |
876 | typeok_shr(const mod_t *mp, | | 876 | typeok_shr(const mod_t *mp, |
877 | const tnode_t *ln, tspec_t lt, | | 877 | const tnode_t *ln, tspec_t lt, |
878 | const tnode_t *rn, tspec_t rt) | | 878 | const tnode_t *rn, tspec_t rt) |
879 | { | | 879 | { |
880 | tspec_t olt, ort; | | 880 | tspec_t olt, ort; |
881 | | | 881 | |
882 | olt = before_conversion(ln)->tn_type->t_tspec; | | 882 | olt = before_conversion(ln)->tn_type->t_tspec; |
883 | ort = before_conversion(rn)->tn_type->t_tspec; | | 883 | ort = before_conversion(rn)->tn_type->t_tspec; |
884 | | | 884 | |
885 | /* operands have integer types (checked above) */ | | 885 | /* operands have integer types (checked above) */ |
886 | if (pflag && !is_uinteger(lt)) { | | 886 | if (pflag && !is_uinteger(lt)) { |
887 | /* | | 887 | /* |
888 | * The left operand is signed. This means that | | 888 | * The left operand is signed. This means that |
889 | * the operation is (possibly) nonportable. | | 889 | * the operation is (possibly) nonportable. |
890 | */ | | 890 | */ |
891 | if (ln->tn_op != CON) { | | 891 | if (ln->tn_op != CON) { |
892 | /* bitwise '%s' on signed value possibly nonportable */ | | 892 | /* bitwise '%s' on signed value possibly nonportable */ |
893 | warning(117, mp->m_name); | | 893 | warning(117, mp->m_name); |
894 | } else if (ln->tn_val->v_quad < 0) { | | 894 | } else if (ln->tn_val->v_quad < 0) { |
895 | /* bitwise '%s' on signed value nonportable */ | | 895 | /* bitwise '%s' on signed value nonportable */ |
896 | warning(120, mp->m_name); | | 896 | warning(120, mp->m_name); |
897 | } | | 897 | } |
898 | } else if (!tflag && !sflag && !is_uinteger(olt) && is_uinteger(ort)) { | | 898 | } else if (!tflag && !sflag && !is_uinteger(olt) && is_uinteger(ort)) { |
899 | /* | | 899 | /* |
900 | * The left operand would become unsigned in | | 900 | * The left operand would become unsigned in |
901 | * traditional C. | | 901 | * traditional C. |
902 | */ | | 902 | */ |
903 | if (hflag && !Sflag && | | 903 | if (hflag && !Sflag && |
904 | (ln->tn_op != CON || ln->tn_val->v_quad < 0)) { | | 904 | (ln->tn_op != CON || ln->tn_val->v_quad < 0)) { |
905 | /* semantics of '%s' change in ANSI C; use ... */ | | 905 | /* semantics of '%s' change in ANSI C; use ... */ |
906 | warning(118, mp->m_name); | | 906 | warning(118, mp->m_name); |
907 | } | | 907 | } |
908 | } else if (!tflag && !sflag && !is_uinteger(olt) && !is_uinteger(ort) && | | 908 | } else if (!tflag && !sflag && !is_uinteger(olt) && !is_uinteger(ort) && |
909 | portable_size_in_bits(lt) < portable_size_in_bits(rt)) { | | 909 | portable_size_in_bits(lt) < portable_size_in_bits(rt)) { |
910 | /* | | 910 | /* |
911 | * In traditional C the left operand would be extended, | | 911 | * In traditional C the left operand would be extended, |
912 | * possibly with 1, and then shifted. | | 912 | * possibly with 1, and then shifted. |
913 | */ | | 913 | */ |
914 | if (hflag && !Sflag && | | 914 | if (hflag && !Sflag && |
915 | (ln->tn_op != CON || ln->tn_val->v_quad < 0)) { | | 915 | (ln->tn_op != CON || ln->tn_val->v_quad < 0)) { |
916 | /* semantics of '%s' change in ANSI C; use ... */ | | 916 | /* semantics of '%s' change in ANSI C; use ... */ |
917 | warning(118, mp->m_name); | | 917 | warning(118, mp->m_name); |
918 | } | | 918 | } |
919 | } | | 919 | } |
920 | } | | 920 | } |
921 | | | 921 | |
922 | static void | | 922 | static void |
923 | typeok_shl(const mod_t *mp, tspec_t lt, tspec_t rt) | | 923 | typeok_shl(const mod_t *mp, tspec_t lt, tspec_t rt) |
924 | { | | 924 | { |
925 | /* | | 925 | /* |
926 | * C90 does not perform balancing for shift operations, | | 926 | * C90 does not perform balancing for shift operations, |
927 | * but traditional C does. If the width of the right operand | | 927 | * but traditional C does. If the width of the right operand |
928 | * is greater than the width of the left operand, then in | | 928 | * is greater than the width of the left operand, then in |
929 | * traditional C the left operand would be extended to the | | 929 | * traditional C the left operand would be extended to the |
930 | * width of the right operand. For SHL this may result in | | 930 | * width of the right operand. For SHL this may result in |
931 | * different results. | | 931 | * different results. |
932 | */ | | 932 | */ |
933 | if (portable_size_in_bits(lt) < portable_size_in_bits(rt)) { | | 933 | if (portable_size_in_bits(lt) < portable_size_in_bits(rt)) { |
934 | /* | | 934 | /* |
935 | * XXX If both operands are constant, make sure | | 935 | * XXX If both operands are constant, make sure |
936 | * that there is really a difference between | | 936 | * that there is really a difference between |
937 | * ANSI C and traditional C. | | 937 | * ANSI C and traditional C. |
938 | */ | | 938 | */ |
939 | if (hflag && !Sflag) | | 939 | if (hflag && !Sflag) |
940 | /* semantics of '%s' change in ANSI C; use ... */ | | 940 | /* semantics of '%s' change in ANSI C; use ... */ |
941 | warning(118, mp->m_name); | | 941 | warning(118, mp->m_name); |
942 | } | | 942 | } |
943 | } | | 943 | } |
944 | | | 944 | |
945 | static void | | 945 | static void |
946 | typeok_shift(tspec_t lt, const tnode_t *rn, tspec_t rt) | | 946 | typeok_shift(tspec_t lt, const tnode_t *rn, tspec_t rt) |
947 | { | | 947 | { |
948 | if (rn->tn_op != CON) | | 948 | if (rn->tn_op != CON) |
949 | return; | | 949 | return; |
950 | | | 950 | |
951 | if (!is_uinteger(rt) && rn->tn_val->v_quad < 0) { | | 951 | if (!is_uinteger(rt) && rn->tn_val->v_quad < 0) { |
952 | /* negative shift */ | | 952 | /* negative shift */ |
953 | warning(121); | | 953 | warning(121); |
954 | } else if ((uint64_t)rn->tn_val->v_quad == | | 954 | } else if ((uint64_t)rn->tn_val->v_quad == |
955 | (uint64_t)size_in_bits(lt)) { | | 955 | (uint64_t)size_in_bits(lt)) { |
956 | /* shift equal to size of object */ | | 956 | /* shift equal to size of object */ |
957 | warning(267); | | 957 | warning(267); |
958 | } else if ((uint64_t)rn->tn_val->v_quad > (uint64_t)size_in_bits(lt)) { | | 958 | } else if ((uint64_t)rn->tn_val->v_quad > (uint64_t)size_in_bits(lt)) { |
959 | /* shift amount %llu is greater than bit-size %llu of '%s' */ | | 959 | /* shift amount %llu is greater than bit-size %llu of '%s' */ |
960 | warning(122, (unsigned long long)rn->tn_val->v_quad, | | 960 | warning(122, (unsigned long long)rn->tn_val->v_quad, |
961 | (unsigned long long)size_in_bits(lt), | | 961 | (unsigned long long)size_in_bits(lt), |
962 | tspec_name(lt)); | | 962 | tspec_name(lt)); |
963 | } | | 963 | } |
964 | } | | 964 | } |
965 | | | 965 | |
966 | static bool | | 966 | static bool |
967 | is_typeok_eq(const tnode_t *ln, tspec_t lt, const tnode_t *rn, tspec_t rt) | | 967 | is_typeok_eq(const tnode_t *ln, tspec_t lt, const tnode_t *rn, tspec_t rt) |
968 | { | | 968 | { |
969 | if (lt == PTR && is_null_pointer(rn)) | | 969 | if (lt == PTR && is_null_pointer(rn)) |
970 | return true; | | 970 | return true; |
971 | if (rt == PTR && is_null_pointer(ln)) | | 971 | if (rt == PTR && is_null_pointer(ln)) |
972 | return true; | | 972 | return true; |
973 | return false; | | 973 | return false; |
974 | } | | 974 | } |
975 | | | 975 | |
976 | static bool | | 976 | static bool |
977 | typeok_ordered_comparison(op_t op, | | 977 | typeok_ordered_comparison(op_t op, |
978 | const tnode_t *ln, const type_t *ltp, tspec_t lt, | | 978 | const tnode_t *ln, const type_t *ltp, tspec_t lt, |
979 | const tnode_t *rn, const type_t *rtp, tspec_t rt) | | 979 | const tnode_t *rn, const type_t *rtp, tspec_t rt) |
980 | { | | 980 | { |
981 | if (lt == PTR && rt == PTR) { | | 981 | if (lt == PTR && rt == PTR) { |
982 | check_pointer_comparison(op, ln, rn); | | 982 | check_pointer_comparison(op, ln, rn); |
983 | return true; | | 983 | return true; |
984 | } | | 984 | } |
985 | | | 985 | |
986 | if (lt != PTR && rt != PTR) | | 986 | if (lt != PTR && rt != PTR) |
987 | return true; | | 987 | return true; |
988 | | | 988 | |
989 | if (!is_integer(lt) && !is_integer(rt)) { | | 989 | if (!is_integer(lt) && !is_integer(rt)) { |
990 | warn_incompatible_types(op, ltp, lt, rtp, rt); | | 990 | warn_incompatible_types(op, ltp, lt, rtp, rt); |
991 | return false; | | 991 | return false; |
992 | } | | 992 | } |
993 | | | 993 | |
994 | const char *lx = lt == PTR ? "pointer" : "integer"; | | 994 | const char *lx = lt == PTR ? "pointer" : "integer"; |
995 | const char *rx = rt == PTR ? "pointer" : "integer"; | | 995 | const char *rx = rt == PTR ? "pointer" : "integer"; |
996 | /* illegal combination of %s (%s) and %s (%s), op %s */ | | 996 | /* illegal combination of %s (%s) and %s (%s), op %s */ |
997 | warning(123, lx, type_name(ltp), rx, type_name(rtp), op_name(op)); | | 997 | warning(123, lx, type_name(ltp), rx, type_name(rtp), op_name(op)); |
998 | return true; | | 998 | return true; |
999 | } | | 999 | } |
1000 | | | 1000 | |
1001 | static bool | | 1001 | static bool |
1002 | typeok_quest(tspec_t lt, const tnode_t **rn) | | 1002 | typeok_quest(tspec_t lt, const tnode_t **rn) |
1003 | { | | 1003 | { |
1004 | if (!is_scalar(lt)) { | | 1004 | if (!is_scalar(lt)) { |
1005 | /* first operand must have scalar type, op ? : */ | | 1005 | /* first operand must have scalar type, op ? : */ |
1006 | error(170); | | 1006 | error(170); |
1007 | return false; | | 1007 | return false; |
1008 | } | | 1008 | } |
1009 | while ((*rn)->tn_op == CVT) | | 1009 | while ((*rn)->tn_op == CVT) |
1010 | *rn = (*rn)->tn_left; | | 1010 | *rn = (*rn)->tn_left; |
1011 | lint_assert((*rn)->tn_op == COLON); | | 1011 | lint_assert((*rn)->tn_op == COLON); |
1012 | return true; | | 1012 | return true; |
1013 | } | | 1013 | } |
1014 | | | 1014 | |
1015 | static void | | 1015 | static void |
1016 | typeok_colon_pointer(const mod_t *mp, const type_t *ltp, const type_t *rtp) | | 1016 | typeok_colon_pointer(const mod_t *mp, const type_t *ltp, const type_t *rtp) |
1017 | { | | 1017 | { |
1018 | type_t *lstp = ltp->t_subt; | | 1018 | type_t *lstp = ltp->t_subt; |
1019 | type_t *rstp = rtp->t_subt; | | 1019 | type_t *rstp = rtp->t_subt; |
1020 | tspec_t lst = lstp->t_tspec; | | 1020 | tspec_t lst = lstp->t_tspec; |
1021 | tspec_t rst = rstp->t_tspec; | | 1021 | tspec_t rst = rstp->t_tspec; |
1022 | | | 1022 | |
1023 | if ((lst == VOID && rst == FUNC) || (lst == FUNC && rst == VOID)) { | | 1023 | if ((lst == VOID && rst == FUNC) || (lst == FUNC && rst == VOID)) { |
1024 | /* (void *)0 handled above */ | | 1024 | /* (void *)0 handled above */ |
1025 | if (sflag) | | 1025 | if (sflag) |
1026 | /* ANSI C forbids conv. of %s to %s, op %s */ | | 1026 | /* ANSI C forbids conv. of %s to %s, op %s */ |
1027 | warning(305, "function pointer", "'void *'", | | 1027 | warning(305, "function pointer", "'void *'", |
1028 | mp->m_name); | | 1028 | mp->m_name); |
1029 | return; | | 1029 | return; |
1030 | } | | 1030 | } |
1031 | | | 1031 | |
1032 | if (eqptrtype(lstp, rstp, true)) | | 1032 | if (eqptrtype(lstp, rstp, true)) |
1033 | return; | | 1033 | return; |
1034 | if (!eqtype(lstp, rstp, true, false, NULL)) | | 1034 | if (!eqtype(lstp, rstp, true, false, NULL)) |
1035 | warn_incompatible_pointers(mp, ltp, rtp); | | 1035 | warn_incompatible_pointers(mp, ltp, rtp); |
1036 | } | | 1036 | } |
1037 | | | 1037 | |
1038 | static bool | | 1038 | static bool |
1039 | typeok_colon(const mod_t *mp, | | 1039 | typeok_colon(const mod_t *mp, |
| @@ -2819,1500 +2819,1500 @@ build_colon(tnode_t *ln, tnode_t *rn) | | | @@ -2819,1500 +2819,1500 @@ build_colon(tnode_t *ln, tnode_t *rn) |
2819 | return ntn; | | 2819 | return ntn; |
2820 | } | | 2820 | } |
2821 | | | 2821 | |
2822 | /* | | 2822 | /* |
2823 | * Create a node for an assignment operator (both = and op= ). | | 2823 | * Create a node for an assignment operator (both = and op= ). |
2824 | */ | | 2824 | */ |
2825 | static tnode_t * | | 2825 | static tnode_t * |
2826 | build_assignment(op_t op, tnode_t *ln, tnode_t *rn) | | 2826 | build_assignment(op_t op, tnode_t *ln, tnode_t *rn) |
2827 | { | | 2827 | { |
2828 | tspec_t lt, rt; | | 2828 | tspec_t lt, rt; |
2829 | tnode_t *ntn, *ctn; | | 2829 | tnode_t *ntn, *ctn; |
2830 | | | 2830 | |
2831 | lint_assert(ln != NULL); | | 2831 | lint_assert(ln != NULL); |
2832 | lint_assert(rn != NULL); | | 2832 | lint_assert(rn != NULL); |
2833 | | | 2833 | |
2834 | lt = ln->tn_type->t_tspec; | | 2834 | lt = ln->tn_type->t_tspec; |
2835 | rt = rn->tn_type->t_tspec; | | 2835 | rt = rn->tn_type->t_tspec; |
2836 | | | 2836 | |
2837 | if ((op == ADDASS || op == SUBASS) && lt == PTR) { | | 2837 | if ((op == ADDASS || op == SUBASS) && lt == PTR) { |
2838 | lint_assert(is_integer(rt)); | | 2838 | lint_assert(is_integer(rt)); |
2839 | ctn = plength(ln->tn_type); | | 2839 | ctn = plength(ln->tn_type); |
2840 | if (rn->tn_type->t_tspec != ctn->tn_type->t_tspec) | | 2840 | if (rn->tn_type->t_tspec != ctn->tn_type->t_tspec) |
2841 | rn = convert(NOOP, 0, ctn->tn_type, rn); | | 2841 | rn = convert(NOOP, 0, ctn->tn_type, rn); |
2842 | rn = new_tnode(MULT, rn->tn_type, rn, ctn); | | 2842 | rn = new_tnode(MULT, rn->tn_type, rn, ctn); |
2843 | if (rn->tn_left->tn_op == CON) | | 2843 | if (rn->tn_left->tn_op == CON) |
2844 | rn = fold(rn); | | 2844 | rn = fold(rn); |
2845 | } | | 2845 | } |
2846 | | | 2846 | |
2847 | if ((op == ASSIGN || op == RETURN) && (lt == STRUCT || rt == STRUCT)) { | | 2847 | if ((op == ASSIGN || op == RETURN) && (lt == STRUCT || rt == STRUCT)) { |
2848 | lint_assert(lt == rt); | | 2848 | lint_assert(lt == rt); |
2849 | lint_assert(ln->tn_type->t_str == rn->tn_type->t_str); | | 2849 | lint_assert(ln->tn_type->t_str == rn->tn_type->t_str); |
2850 | if (is_incomplete(ln->tn_type)) { | | 2850 | if (is_incomplete(ln->tn_type)) { |
2851 | if (op == RETURN) { | | 2851 | if (op == RETURN) { |
2852 | /* cannot return incomplete type */ | | 2852 | /* cannot return incomplete type */ |
2853 | error(212); | | 2853 | error(212); |
2854 | } else { | | 2854 | } else { |
2855 | /* unknown operand size, op %s */ | | 2855 | /* unknown operand size, op %s */ |
2856 | error(138, op_name(op)); | | 2856 | error(138, op_name(op)); |
2857 | } | | 2857 | } |
2858 | return NULL; | | 2858 | return NULL; |
2859 | } | | 2859 | } |
2860 | } | | 2860 | } |
2861 | | | 2861 | |
2862 | if (op == SHLASS) { | | 2862 | if (op == SHLASS) { |
2863 | if (portable_size_in_bits(lt) < portable_size_in_bits(rt)) { | | 2863 | if (portable_size_in_bits(lt) < portable_size_in_bits(rt)) { |
2864 | if (hflag) | | 2864 | if (hflag) |
2865 | /* semantics of '%s' change in ANSI C; ... */ | | 2865 | /* semantics of '%s' change in ANSI C; ... */ |
2866 | warning(118, "<<="); | | 2866 | warning(118, "<<="); |
2867 | } | | 2867 | } |
2868 | } else if (op != SHRASS) { | | 2868 | } else if (op != SHRASS) { |
2869 | if (op == ASSIGN || lt != PTR) { | | 2869 | if (op == ASSIGN || lt != PTR) { |
2870 | if (lt != rt || | | 2870 | if (lt != rt || |
2871 | (ln->tn_type->t_bitfield && rn->tn_op == CON)) { | | 2871 | (ln->tn_type->t_bitfield && rn->tn_op == CON)) { |
2872 | rn = convert(op, 0, ln->tn_type, rn); | | 2872 | rn = convert(op, 0, ln->tn_type, rn); |
2873 | rt = lt; | | 2873 | rt = lt; |
2874 | } | | 2874 | } |
2875 | } | | 2875 | } |
2876 | } | | 2876 | } |
2877 | | | 2877 | |
2878 | ntn = new_tnode(op, ln->tn_type, ln, rn); | | 2878 | ntn = new_tnode(op, ln->tn_type, ln, rn); |
2879 | | | 2879 | |
2880 | return ntn; | | 2880 | return ntn; |
2881 | } | | 2881 | } |
2882 | | | 2882 | |
2883 | /* | | 2883 | /* |
2884 | * Get length of type tp->t_subt. | | 2884 | * Get length of type tp->t_subt. |
2885 | */ | | 2885 | */ |
2886 | static tnode_t * | | 2886 | static tnode_t * |
2887 | plength(type_t *tp) | | 2887 | plength(type_t *tp) |
2888 | { | | 2888 | { |
2889 | int elem, elsz; | | 2889 | int elem, elsz; |
2890 | | | 2890 | |
2891 | lint_assert(tp->t_tspec == PTR); | | 2891 | lint_assert(tp->t_tspec == PTR); |
2892 | tp = tp->t_subt; | | 2892 | tp = tp->t_subt; |
2893 | | | 2893 | |
2894 | elem = 1; | | 2894 | elem = 1; |
2895 | elsz = 0; | | 2895 | elsz = 0; |
2896 | | | 2896 | |
2897 | while (tp->t_tspec == ARRAY) { | | 2897 | while (tp->t_tspec == ARRAY) { |
2898 | elem *= tp->t_dim; | | 2898 | elem *= tp->t_dim; |
2899 | tp = tp->t_subt; | | 2899 | tp = tp->t_subt; |
2900 | } | | 2900 | } |
2901 | | | 2901 | |
2902 | switch (tp->t_tspec) { | | 2902 | switch (tp->t_tspec) { |
2903 | case FUNC: | | 2903 | case FUNC: |
2904 | /* pointer to function is not allowed here */ | | 2904 | /* pointer to function is not allowed here */ |
2905 | error(110); | | 2905 | error(110); |
2906 | break; | | 2906 | break; |
2907 | case VOID: | | 2907 | case VOID: |
2908 | /* cannot do pointer arithmetic on operand of unknown size */ | | 2908 | /* cannot do pointer arithmetic on operand of unknown size */ |
2909 | gnuism(136); | | 2909 | gnuism(136); |
2910 | break; | | 2910 | break; |
2911 | case STRUCT: | | 2911 | case STRUCT: |
2912 | case UNION: | | 2912 | case UNION: |
2913 | if ((elsz = tp->t_str->sou_size_in_bits) == 0) | | 2913 | if ((elsz = tp->t_str->sou_size_in_bits) == 0) |
2914 | /* cannot do pointer arithmetic on operand of ... */ | | 2914 | /* cannot do pointer arithmetic on operand of ... */ |
2915 | error(136); | | 2915 | error(136); |
2916 | break; | | 2916 | break; |
2917 | case ENUM: | | 2917 | case ENUM: |
2918 | if (is_incomplete(tp)) { | | 2918 | if (is_incomplete(tp)) { |
2919 | /* cannot do pointer arithmetic on operand of ... */ | | 2919 | /* cannot do pointer arithmetic on operand of ... */ |
2920 | warning(136); | | 2920 | warning(136); |
2921 | } | | 2921 | } |
2922 | /* FALLTHROUGH */ | | 2922 | /* FALLTHROUGH */ |
2923 | default: | | 2923 | default: |
2924 | if ((elsz = size_in_bits(tp->t_tspec)) == 0) { | | 2924 | if ((elsz = size_in_bits(tp->t_tspec)) == 0) { |
2925 | /* cannot do pointer arithmetic on operand of ... */ | | 2925 | /* cannot do pointer arithmetic on operand of ... */ |
2926 | error(136); | | 2926 | error(136); |
2927 | } else { | | 2927 | } else { |
2928 | lint_assert(elsz != -1); | | 2928 | lint_assert(elsz != -1); |
2929 | } | | 2929 | } |
2930 | break; | | 2930 | break; |
2931 | } | | 2931 | } |
2932 | | | 2932 | |
2933 | if (elem == 0 && elsz != 0) { | | 2933 | if (elem == 0 && elsz != 0) { |
2934 | /* cannot do pointer arithmetic on operand of unknown size */ | | 2934 | /* cannot do pointer arithmetic on operand of unknown size */ |
2935 | error(136); | | 2935 | error(136); |
2936 | } | | 2936 | } |
2937 | | | 2937 | |
2938 | if (elsz == 0) | | 2938 | if (elsz == 0) |
2939 | elsz = CHAR_SIZE; | | 2939 | elsz = CHAR_SIZE; |
2940 | | | 2940 | |
2941 | return expr_new_integer_constant(PTRDIFF_TSPEC, | | 2941 | return expr_new_integer_constant(PTRDIFF_TSPEC, |
2942 | (int64_t)(elem * elsz / CHAR_SIZE)); | | 2942 | (int64_t)(elem * elsz / CHAR_SIZE)); |
2943 | } | | 2943 | } |
2944 | | | 2944 | |
2945 | /* | | 2945 | /* |
2946 | * XXX | | 2946 | * XXX |
2947 | * Note: There appear to be a number of bugs in detecting overflow in | | 2947 | * Note: There appear to be a number of bugs in detecting overflow in |
2948 | * this function. An audit and a set of proper regression tests are needed. | | 2948 | * this function. An audit and a set of proper regression tests are needed. |
2949 | * --Perry Metzger, Nov. 16, 2001 | | 2949 | * --Perry Metzger, Nov. 16, 2001 |
2950 | */ | | 2950 | */ |
2951 | /* | | 2951 | /* |
2952 | * Do only as much as necessary to compute constant expressions. | | 2952 | * Do only as much as necessary to compute constant expressions. |
2953 | * Called only if the operator allows folding and all operands are constants. | | 2953 | * Called only if the operator allows folding and all operands are constants. |
2954 | */ | | 2954 | */ |
2955 | static tnode_t * | | 2955 | static tnode_t * |
2956 | fold(tnode_t *tn) | | 2956 | fold(tnode_t *tn) |
2957 | { | | 2957 | { |
2958 | val_t *v; | | 2958 | val_t *v; |
2959 | tspec_t t; | | 2959 | tspec_t t; |
2960 | bool utyp, ovfl; | | 2960 | bool utyp, ovfl; |
2961 | int64_t sl, sr = 0, q = 0, mask; | | 2961 | int64_t sl, sr = 0, q = 0, mask; |
2962 | uint64_t ul, ur = 0; | | 2962 | uint64_t ul, ur = 0; |
2963 | tnode_t *cn; | | 2963 | tnode_t *cn; |
2964 | | | 2964 | |
2965 | v = xcalloc(1, sizeof(*v)); | | 2965 | v = xcalloc(1, sizeof(*v)); |
2966 | v->v_tspec = t = tn->tn_type->t_tspec; | | 2966 | v->v_tspec = t = tn->tn_type->t_tspec; |
2967 | | | 2967 | |
2968 | utyp = t == PTR || is_uinteger(t); | | 2968 | utyp = t == PTR || is_uinteger(t); |
2969 | ul = sl = tn->tn_left->tn_val->v_quad; | | 2969 | ul = sl = tn->tn_left->tn_val->v_quad; |
2970 | if (modtab[tn->tn_op].m_binary) | | 2970 | if (modtab[tn->tn_op].m_binary) |
2971 | ur = sr = tn->tn_right->tn_val->v_quad; | | 2971 | ur = sr = tn->tn_right->tn_val->v_quad; |
2972 | | | 2972 | |
2973 | mask = value_bits(size_in_bits(t)); | | 2973 | mask = value_bits(size_in_bits(t)); |
2974 | ovfl = false; | | 2974 | ovfl = false; |
2975 | | | 2975 | |
2976 | switch (tn->tn_op) { | | 2976 | switch (tn->tn_op) { |
2977 | case UPLUS: | | 2977 | case UPLUS: |
2978 | q = sl; | | 2978 | q = sl; |
2979 | break; | | 2979 | break; |
2980 | case UMINUS: | | 2980 | case UMINUS: |
2981 | q = -sl; | | 2981 | q = -sl; |
2982 | if (sl != 0 && msb(q, t, -1) == msb(sl, t, -1)) | | 2982 | if (sl != 0 && msb(q, t, -1) == msb(sl, t, -1)) |
2983 | ovfl = true; | | 2983 | ovfl = true; |
2984 | break; | | 2984 | break; |
2985 | case COMPL: | | 2985 | case COMPL: |
2986 | q = ~sl; | | 2986 | q = ~sl; |
2987 | break; | | 2987 | break; |
2988 | case MULT: | | 2988 | case MULT: |
2989 | if (utyp) { | | 2989 | if (utyp) { |
2990 | q = ul * ur; | | 2990 | q = ul * ur; |
2991 | if (q != (q & mask)) | | 2991 | if (q != (q & mask)) |
2992 | ovfl = true; | | 2992 | ovfl = true; |
2993 | else if ((ul != 0) && ((q / ul) != ur)) | | 2993 | else if ((ul != 0) && ((q / ul) != ur)) |
2994 | ovfl = true; | | 2994 | ovfl = true; |
2995 | } else { | | 2995 | } else { |
2996 | q = sl * sr; | | 2996 | q = sl * sr; |
2997 | if (msb(q, t, -1) != (msb(sl, t, -1) ^ msb(sr, t, -1))) | | 2997 | if (msb(q, t, -1) != (msb(sl, t, -1) ^ msb(sr, t, -1))) |
2998 | ovfl = true; | | 2998 | ovfl = true; |
2999 | } | | 2999 | } |
3000 | break; | | 3000 | break; |
3001 | case DIV: | | 3001 | case DIV: |
3002 | if (sr == 0) { | | 3002 | if (sr == 0) { |
3003 | /* division by 0 */ | | 3003 | /* division by 0 */ |
3004 | error(139); | | 3004 | error(139); |
3005 | q = utyp ? UQUAD_MAX : QUAD_MAX; | | 3005 | q = utyp ? UQUAD_MAX : QUAD_MAX; |
3006 | } else { | | 3006 | } else { |
3007 | q = utyp ? (int64_t)(ul / ur) : sl / sr; | | 3007 | q = utyp ? (int64_t)(ul / ur) : sl / sr; |
3008 | } | | 3008 | } |
3009 | break; | | 3009 | break; |
3010 | case MOD: | | 3010 | case MOD: |
3011 | if (sr == 0) { | | 3011 | if (sr == 0) { |
3012 | /* modulus by 0 */ | | 3012 | /* modulus by 0 */ |
3013 | error(140); | | 3013 | error(140); |
3014 | q = 0; | | 3014 | q = 0; |
3015 | } else { | | 3015 | } else { |
3016 | q = utyp ? (int64_t)(ul % ur) : sl % sr; | | 3016 | q = utyp ? (int64_t)(ul % ur) : sl % sr; |
3017 | } | | 3017 | } |
3018 | break; | | 3018 | break; |
3019 | case PLUS: | | 3019 | case PLUS: |
3020 | q = utyp ? (int64_t)(ul + ur) : sl + sr; | | 3020 | q = utyp ? (int64_t)(ul + ur) : sl + sr; |
3021 | if (msb(sl, t, -1) != 0 && msb(sr, t, -1) != 0) { | | 3021 | if (msb(sl, t, -1) != 0 && msb(sr, t, -1) != 0) { |
3022 | if (msb(q, t, -1) == 0) | | 3022 | if (msb(q, t, -1) == 0) |
3023 | ovfl = true; | | 3023 | ovfl = true; |
3024 | } else if (msb(sl, t, -1) == 0 && msb(sr, t, -1) == 0) { | | 3024 | } else if (msb(sl, t, -1) == 0 && msb(sr, t, -1) == 0) { |
3025 | if (msb(q, t, -1) != 0) | | 3025 | if (msb(q, t, -1) != 0) |
3026 | ovfl = true; | | 3026 | ovfl = true; |
3027 | } | | 3027 | } |
3028 | break; | | 3028 | break; |
3029 | case MINUS: | | 3029 | case MINUS: |
3030 | q = utyp ? (int64_t)(ul - ur) : sl - sr; | | 3030 | q = utyp ? (int64_t)(ul - ur) : sl - sr; |
3031 | if (msb(sl, t, -1) != 0 && msb(sr, t, -1) == 0) { | | 3031 | if (msb(sl, t, -1) != 0 && msb(sr, t, -1) == 0) { |
3032 | if (msb(q, t, -1) == 0) | | 3032 | if (msb(q, t, -1) == 0) |
3033 | ovfl = true; | | 3033 | ovfl = true; |
3034 | } else if (msb(sl, t, -1) == 0 && msb(sr, t, -1) != 0) { | | 3034 | } else if (msb(sl, t, -1) == 0 && msb(sr, t, -1) != 0) { |
3035 | if (msb(q, t, -1) != 0) | | 3035 | if (msb(q, t, -1) != 0) |
3036 | ovfl = true; | | 3036 | ovfl = true; |
3037 | } | | 3037 | } |
3038 | break; | | 3038 | break; |
3039 | case SHL: | | 3039 | case SHL: |
3040 | q = utyp ? (int64_t)(ul << sr) : sl << sr; | | 3040 | q = utyp ? (int64_t)(ul << sr) : sl << sr; |
3041 | break; | | 3041 | break; |
3042 | case SHR: | | 3042 | case SHR: |
3043 | /* | | 3043 | /* |
3044 | * The sign must be explicitly extended because | | 3044 | * The sign must be explicitly extended because |
3045 | * shifts of signed values are implementation dependent. | | 3045 | * shifts of signed values are implementation dependent. |
3046 | */ | | 3046 | */ |
3047 | q = ul >> sr; | | 3047 | q = ul >> sr; |
3048 | q = convert_integer(q, t, size_in_bits(t) - (int)sr); | | 3048 | q = convert_integer(q, t, size_in_bits(t) - (int)sr); |
3049 | break; | | 3049 | break; |
3050 | case LT: | | 3050 | case LT: |
3051 | q = (utyp ? ul < ur : sl < sr) ? 1 : 0; | | 3051 | q = (utyp ? ul < ur : sl < sr) ? 1 : 0; |
3052 | break; | | 3052 | break; |
3053 | case LE: | | 3053 | case LE: |
3054 | q = (utyp ? ul <= ur : sl <= sr) ? 1 : 0; | | 3054 | q = (utyp ? ul <= ur : sl <= sr) ? 1 : 0; |
3055 | break; | | 3055 | break; |
3056 | case GE: | | 3056 | case GE: |
3057 | q = (utyp ? ul >= ur : sl >= sr) ? 1 : 0; | | 3057 | q = (utyp ? ul >= ur : sl >= sr) ? 1 : 0; |
3058 | break; | | 3058 | break; |
3059 | case GT: | | 3059 | case GT: |
3060 | q = (utyp ? ul > ur : sl > sr) ? 1 : 0; | | 3060 | q = (utyp ? ul > ur : sl > sr) ? 1 : 0; |
3061 | break; | | 3061 | break; |
3062 | case EQ: | | 3062 | case EQ: |
3063 | q = (utyp ? ul == ur : sl == sr) ? 1 : 0; | | 3063 | q = (utyp ? ul == ur : sl == sr) ? 1 : 0; |
3064 | break; | | 3064 | break; |
3065 | case NE: | | 3065 | case NE: |
3066 | q = (utyp ? ul != ur : sl != sr) ? 1 : 0; | | 3066 | q = (utyp ? ul != ur : sl != sr) ? 1 : 0; |
3067 | break; | | 3067 | break; |
3068 | case BITAND: | | 3068 | case BITAND: |
3069 | q = utyp ? (int64_t)(ul & ur) : sl & sr; | | 3069 | q = utyp ? (int64_t)(ul & ur) : sl & sr; |
3070 | break; | | 3070 | break; |
3071 | case BITXOR: | | 3071 | case BITXOR: |
3072 | q = utyp ? (int64_t)(ul ^ ur) : sl ^ sr; | | 3072 | q = utyp ? (int64_t)(ul ^ ur) : sl ^ sr; |
3073 | break; | | 3073 | break; |
3074 | case BITOR: | | 3074 | case BITOR: |
3075 | q = utyp ? (int64_t)(ul | ur) : sl | sr; | | 3075 | q = utyp ? (int64_t)(ul | ur) : sl | sr; |
3076 | break; | | 3076 | break; |
3077 | default: | | 3077 | default: |
3078 | lint_assert(/*CONSTCOND*/false); | | 3078 | lint_assert(/*CONSTCOND*/false); |
3079 | } | | 3079 | } |
3080 | | | 3080 | |
3081 | /* XXX does not work for quads. */ | | 3081 | /* XXX does not work for quads. */ |
3082 | if (ovfl || ((uint64_t)(q | mask) != ~(uint64_t)0 && | | 3082 | if (ovfl || ((uint64_t)(q | mask) != ~(uint64_t)0 && |
3083 | (q & ~mask) != 0)) { | | 3083 | (q & ~mask) != 0)) { |
3084 | if (hflag) | | 3084 | if (hflag) |
3085 | /* integer overflow detected, op %s */ | | 3085 | /* integer overflow detected, op %s */ |
3086 | warning(141, op_name(tn->tn_op)); | | 3086 | warning(141, op_name(tn->tn_op)); |
3087 | } | | 3087 | } |
3088 | | | 3088 | |
3089 | v->v_quad = convert_integer(q, t, -1); | | 3089 | v->v_quad = convert_integer(q, t, -1); |
3090 | | | 3090 | |
3091 | cn = expr_new_constant(tn->tn_type, v); | | 3091 | cn = expr_new_constant(tn->tn_type, v); |
3092 | if (tn->tn_left->tn_system_dependent) | | 3092 | if (tn->tn_left->tn_system_dependent) |
3093 | cn->tn_system_dependent = true; | | 3093 | cn->tn_system_dependent = true; |
3094 | if (modtab[tn->tn_op].m_binary && tn->tn_right->tn_system_dependent) | | 3094 | if (modtab[tn->tn_op].m_binary && tn->tn_right->tn_system_dependent) |
3095 | cn->tn_system_dependent = true; | | 3095 | cn->tn_system_dependent = true; |
3096 | | | 3096 | |
3097 | return cn; | | 3097 | return cn; |
3098 | } | | 3098 | } |
3099 | | | 3099 | |
3100 | /* | | 3100 | /* |
3101 | * Fold constant nodes, as much as is needed for comparing the value with 0 | | 3101 | * Fold constant nodes, as much as is needed for comparing the value with 0 |
3102 | * (test context, for controlling expressions). | | 3102 | * (test context, for controlling expressions). |
3103 | */ | | 3103 | */ |
3104 | static tnode_t * | | 3104 | static tnode_t * |
3105 | fold_test(tnode_t *tn) | | 3105 | fold_test(tnode_t *tn) |
3106 | { | | 3106 | { |
3107 | bool l, r; | | 3107 | bool l, r; |
3108 | val_t *v; | | 3108 | val_t *v; |
3109 | | | 3109 | |
3110 | v = xcalloc(1, sizeof(*v)); | | 3110 | v = xcalloc(1, sizeof(*v)); |
3111 | v->v_tspec = tn->tn_type->t_tspec; | | 3111 | v->v_tspec = tn->tn_type->t_tspec; |
3112 | lint_assert(v->v_tspec == INT || (Tflag && v->v_tspec == BOOL)); | | 3112 | lint_assert(v->v_tspec == INT || (Tflag && v->v_tspec == BOOL)); |
3113 | | | 3113 | |
3114 | l = constant_is_nonzero(tn->tn_left); | | 3114 | l = constant_is_nonzero(tn->tn_left); |
3115 | r = modtab[tn->tn_op].m_binary && constant_is_nonzero(tn->tn_right); | | 3115 | r = modtab[tn->tn_op].m_binary && constant_is_nonzero(tn->tn_right); |
3116 | | | 3116 | |
3117 | switch (tn->tn_op) { | | 3117 | switch (tn->tn_op) { |
3118 | case NOT: | | 3118 | case NOT: |
3119 | if (hflag && !constcond_flag) | | 3119 | if (hflag && !constcond_flag) |
3120 | /* constant argument to '!' */ | | 3120 | /* constant argument to '!' */ |
3121 | warning(239); | | 3121 | warning(239); |
3122 | v->v_quad = !l ? 1 : 0; | | 3122 | v->v_quad = !l ? 1 : 0; |
3123 | break; | | 3123 | break; |
3124 | case LOGAND: | | 3124 | case LOGAND: |
3125 | v->v_quad = l && r ? 1 : 0; | | 3125 | v->v_quad = l && r ? 1 : 0; |
3126 | break; | | 3126 | break; |
3127 | case LOGOR: | | 3127 | case LOGOR: |
3128 | v->v_quad = l || r ? 1 : 0; | | 3128 | v->v_quad = l || r ? 1 : 0; |
3129 | break; | | 3129 | break; |
3130 | default: | | 3130 | default: |
3131 | lint_assert(/*CONSTCOND*/false); | | 3131 | lint_assert(/*CONSTCOND*/false); |
3132 | } | | 3132 | } |
3133 | | | 3133 | |
3134 | return expr_new_constant(tn->tn_type, v); | | 3134 | return expr_new_constant(tn->tn_type, v); |
3135 | } | | 3135 | } |
3136 | | | 3136 | |
3137 | /* | | 3137 | /* |
3138 | * Fold constant nodes having operands with floating point type. | | 3138 | * Fold constant nodes having operands with floating point type. |
3139 | */ | | 3139 | */ |
3140 | static tnode_t * | | 3140 | static tnode_t * |
3141 | fold_float(tnode_t *tn) | | 3141 | fold_float(tnode_t *tn) |
3142 | { | | 3142 | { |
3143 | val_t *v; | | 3143 | val_t *v; |
3144 | tspec_t t; | | 3144 | tspec_t t; |
3145 | ldbl_t l, r = 0; | | 3145 | ldbl_t l, r = 0; |
3146 | | | 3146 | |
3147 | fpe = 0; | | 3147 | fpe = 0; |
3148 | v = xcalloc(1, sizeof(*v)); | | 3148 | v = xcalloc(1, sizeof(*v)); |
3149 | v->v_tspec = t = tn->tn_type->t_tspec; | | 3149 | v->v_tspec = t = tn->tn_type->t_tspec; |
3150 | | | 3150 | |
3151 | lint_assert(is_floating(t)); | | 3151 | lint_assert(is_floating(t)); |
3152 | lint_assert(t == tn->tn_left->tn_type->t_tspec); | | 3152 | lint_assert(t == tn->tn_left->tn_type->t_tspec); |
3153 | lint_assert(!modtab[tn->tn_op].m_binary || | | 3153 | lint_assert(!modtab[tn->tn_op].m_binary || |
3154 | t == tn->tn_right->tn_type->t_tspec); | | 3154 | t == tn->tn_right->tn_type->t_tspec); |
3155 | | | 3155 | |
3156 | l = tn->tn_left->tn_val->v_ldbl; | | 3156 | l = tn->tn_left->tn_val->v_ldbl; |
3157 | if (modtab[tn->tn_op].m_binary) | | 3157 | if (modtab[tn->tn_op].m_binary) |
3158 | r = tn->tn_right->tn_val->v_ldbl; | | 3158 | r = tn->tn_right->tn_val->v_ldbl; |
3159 | | | 3159 | |
3160 | switch (tn->tn_op) { | | 3160 | switch (tn->tn_op) { |
3161 | case UPLUS: | | 3161 | case UPLUS: |
3162 | v->v_ldbl = l; | | 3162 | v->v_ldbl = l; |
3163 | break; | | 3163 | break; |
3164 | case UMINUS: | | 3164 | case UMINUS: |
3165 | v->v_ldbl = -l; | | 3165 | v->v_ldbl = -l; |
3166 | break; | | 3166 | break; |
3167 | case MULT: | | 3167 | case MULT: |
3168 | v->v_ldbl = l * r; | | 3168 | v->v_ldbl = l * r; |
3169 | break; | | 3169 | break; |
3170 | case DIV: | | 3170 | case DIV: |
3171 | if (r == 0.0) { | | 3171 | if (r == 0.0) { |
3172 | /* division by 0 */ | | 3172 | /* division by 0 */ |
3173 | error(139); | | 3173 | error(139); |
3174 | if (t == FLOAT) { | | 3174 | if (t == FLOAT) { |
3175 | v->v_ldbl = l < 0 ? -FLT_MAX : FLT_MAX; | | 3175 | v->v_ldbl = l < 0 ? -FLT_MAX : FLT_MAX; |
3176 | } else if (t == DOUBLE) { | | 3176 | } else if (t == DOUBLE) { |
3177 | v->v_ldbl = l < 0 ? -DBL_MAX : DBL_MAX; | | 3177 | v->v_ldbl = l < 0 ? -DBL_MAX : DBL_MAX; |
3178 | } else { | | 3178 | } else { |
3179 | v->v_ldbl = l < 0 ? -LDBL_MAX : LDBL_MAX; | | 3179 | v->v_ldbl = l < 0 ? -LDBL_MAX : LDBL_MAX; |
3180 | } | | 3180 | } |
3181 | } else { | | 3181 | } else { |
3182 | v->v_ldbl = l / r; | | 3182 | v->v_ldbl = l / r; |
3183 | } | | 3183 | } |
3184 | break; | | 3184 | break; |
3185 | case PLUS: | | 3185 | case PLUS: |
3186 | v->v_ldbl = l + r; | | 3186 | v->v_ldbl = l + r; |
3187 | break; | | 3187 | break; |
3188 | case MINUS: | | 3188 | case MINUS: |
3189 | v->v_ldbl = l - r; | | 3189 | v->v_ldbl = l - r; |
3190 | break; | | 3190 | break; |
3191 | case LT: | | 3191 | case LT: |
3192 | v->v_quad = l < r ? 1 : 0; | | 3192 | v->v_quad = l < r ? 1 : 0; |
3193 | break; | | 3193 | break; |
3194 | case LE: | | 3194 | case LE: |
3195 | v->v_quad = l <= r ? 1 : 0; | | 3195 | v->v_quad = l <= r ? 1 : 0; |
3196 | break; | | 3196 | break; |
3197 | case GE: | | 3197 | case GE: |
3198 | v->v_quad = l >= r ? 1 : 0; | | 3198 | v->v_quad = l >= r ? 1 : 0; |
3199 | break; | | 3199 | break; |
3200 | case GT: | | 3200 | case GT: |
3201 | v->v_quad = l > r ? 1 : 0; | | 3201 | v->v_quad = l > r ? 1 : 0; |
3202 | break; | | 3202 | break; |
3203 | case EQ: | | 3203 | case EQ: |
3204 | v->v_quad = l == r ? 1 : 0; | | 3204 | v->v_quad = l == r ? 1 : 0; |
3205 | break; | | 3205 | break; |
3206 | case NE: | | 3206 | case NE: |
3207 | v->v_quad = l != r ? 1 : 0; | | 3207 | v->v_quad = l != r ? 1 : 0; |
3208 | break; | | 3208 | break; |
3209 | default: | | 3209 | default: |
3210 | lint_assert(/*CONSTCOND*/false); | | 3210 | lint_assert(/*CONSTCOND*/false); |
3211 | } | | 3211 | } |
3212 | | | 3212 | |
3213 | lint_assert(fpe != 0 || isnan((double)v->v_ldbl) == 0); | | 3213 | lint_assert(fpe != 0 || isnan((double)v->v_ldbl) == 0); |
3214 | if (fpe != 0 || finite((double)v->v_ldbl) == 0 || | | 3214 | if (fpe != 0 || finite((double)v->v_ldbl) == 0 || |
3215 | (t == FLOAT && | | 3215 | (t == FLOAT && |
3216 | (v->v_ldbl > FLT_MAX || v->v_ldbl < -FLT_MAX)) || | | 3216 | (v->v_ldbl > FLT_MAX || v->v_ldbl < -FLT_MAX)) || |
3217 | (t == DOUBLE && | | 3217 | (t == DOUBLE && |
3218 | (v->v_ldbl > DBL_MAX || v->v_ldbl < -DBL_MAX))) { | | 3218 | (v->v_ldbl > DBL_MAX || v->v_ldbl < -DBL_MAX))) { |
3219 | /* floating point overflow detected, op %s */ | | 3219 | /* floating point overflow detected, op %s */ |
3220 | warning(142, op_name(tn->tn_op)); | | 3220 | warning(142, op_name(tn->tn_op)); |
3221 | if (t == FLOAT) { | | 3221 | if (t == FLOAT) { |
3222 | v->v_ldbl = v->v_ldbl < 0 ? -FLT_MAX : FLT_MAX; | | 3222 | v->v_ldbl = v->v_ldbl < 0 ? -FLT_MAX : FLT_MAX; |
3223 | } else if (t == DOUBLE) { | | 3223 | } else if (t == DOUBLE) { |
3224 | v->v_ldbl = v->v_ldbl < 0 ? -DBL_MAX : DBL_MAX; | | 3224 | v->v_ldbl = v->v_ldbl < 0 ? -DBL_MAX : DBL_MAX; |
3225 | } else { | | 3225 | } else { |
3226 | v->v_ldbl = v->v_ldbl < 0 ? -LDBL_MAX: LDBL_MAX; | | 3226 | v->v_ldbl = v->v_ldbl < 0 ? -LDBL_MAX: LDBL_MAX; |
3227 | } | | 3227 | } |
3228 | fpe = 0; | | 3228 | fpe = 0; |
3229 | } | | 3229 | } |
3230 | | | 3230 | |
3231 | return expr_new_constant(tn->tn_type, v); | | 3231 | return expr_new_constant(tn->tn_type, v); |
3232 | } | | 3232 | } |
3233 | | | 3233 | |
3234 | | | 3234 | |
3235 | /* | | 3235 | /* |
3236 | * Create a constant node for sizeof. | | 3236 | * Create a constant node for sizeof. |
3237 | */ | | 3237 | */ |
3238 | tnode_t * | | 3238 | tnode_t * |
3239 | build_sizeof(const type_t *tp) | | 3239 | build_sizeof(const type_t *tp) |
3240 | { | | 3240 | { |
3241 | int64_t size_in_bytes = type_size_in_bits(tp) / CHAR_SIZE; | | 3241 | int64_t size_in_bytes = type_size_in_bits(tp) / CHAR_SIZE; |
3242 | tnode_t *tn = expr_new_integer_constant(SIZEOF_TSPEC, size_in_bytes); | | 3242 | tnode_t *tn = expr_new_integer_constant(SIZEOF_TSPEC, size_in_bytes); |
3243 | tn->tn_system_dependent = true; | | 3243 | tn->tn_system_dependent = true; |
3244 | return tn; | | 3244 | return tn; |
3245 | } | | 3245 | } |
3246 | | | 3246 | |
3247 | /* | | 3247 | /* |
3248 | * Create a constant node for offsetof. | | 3248 | * Create a constant node for offsetof. |
3249 | */ | | 3249 | */ |
3250 | tnode_t * | | 3250 | tnode_t * |
3251 | build_offsetof(const type_t *tp, const sym_t *sym) | | 3251 | build_offsetof(const type_t *tp, const sym_t *sym) |
3252 | { | | 3252 | { |
3253 | tspec_t t = tp->t_tspec; | | 3253 | tspec_t t = tp->t_tspec; |
3254 | if (t != STRUCT && t != UNION) | | 3254 | if (t != STRUCT && t != UNION) |
3255 | /* unacceptable operand of '%s' */ | | 3255 | /* unacceptable operand of '%s' */ |
3256 | error(111, "offsetof"); | | 3256 | error(111, "offsetof"); |
3257 | | | 3257 | |
3258 | // XXX: wrong size, no checking for sym fixme | | 3258 | // XXX: wrong size, no checking for sym fixme |
3259 | int64_t offset_in_bytes = type_size_in_bits(tp) / CHAR_SIZE; | | 3259 | int64_t offset_in_bytes = type_size_in_bits(tp) / CHAR_SIZE; |
3260 | tnode_t *tn = expr_new_integer_constant(SIZEOF_TSPEC, offset_in_bytes); | | 3260 | tnode_t *tn = expr_new_integer_constant(SIZEOF_TSPEC, offset_in_bytes); |
3261 | tn->tn_system_dependent = true; | | 3261 | tn->tn_system_dependent = true; |
3262 | return tn; | | 3262 | return tn; |
3263 | } | | 3263 | } |
3264 | | | 3264 | |
3265 | int64_t | | 3265 | int64_t |
3266 | type_size_in_bits(const type_t *tp) | | 3266 | type_size_in_bits(const type_t *tp) |
3267 | { | | 3267 | { |
3268 | int elem, elsz; | | 3268 | int elem, elsz; |
3269 | bool flex; | | 3269 | bool flex; |
3270 | | | 3270 | |
3271 | elem = 1; | | 3271 | elem = 1; |
3272 | flex = false; | | 3272 | flex = false; |
3273 | while (tp->t_tspec == ARRAY) { | | 3273 | while (tp->t_tspec == ARRAY) { |
3274 | flex = true; /* allow c99 flex arrays [] [0] */ | | 3274 | flex = true; /* allow c99 flex arrays [] [0] */ |
3275 | elem *= tp->t_dim; | | 3275 | elem *= tp->t_dim; |
3276 | tp = tp->t_subt; | | 3276 | tp = tp->t_subt; |
3277 | } | | 3277 | } |
3278 | if (elem == 0) { | | 3278 | if (elem == 0) { |
3279 | if (!flex) { | | 3279 | if (!flex) { |
3280 | /* cannot take size/alignment of incomplete type */ | | 3280 | /* cannot take size/alignment of incomplete type */ |
3281 | error(143); | | 3281 | error(143); |
3282 | elem = 1; | | 3282 | elem = 1; |
3283 | } | | 3283 | } |
3284 | } | | 3284 | } |
3285 | switch (tp->t_tspec) { | | 3285 | switch (tp->t_tspec) { |
3286 | case FUNC: | | 3286 | case FUNC: |
3287 | /* cannot take size/alignment of function */ | | 3287 | /* cannot take size/alignment of function */ |
3288 | error(144); | | 3288 | error(144); |
3289 | elsz = 1; | | 3289 | elsz = 1; |
3290 | break; | | 3290 | break; |
3291 | case STRUCT: | | 3291 | case STRUCT: |
3292 | case UNION: | | 3292 | case UNION: |
3293 | if (is_incomplete(tp)) { | | 3293 | if (is_incomplete(tp)) { |
3294 | /* cannot take size/alignment of incomplete type */ | | 3294 | /* cannot take size/alignment of incomplete type */ |
3295 | error(143); | | 3295 | error(143); |
3296 | elsz = 1; | | 3296 | elsz = 1; |
3297 | } else { | | 3297 | } else { |
3298 | elsz = tp->t_str->sou_size_in_bits; | | 3298 | elsz = tp->t_str->sou_size_in_bits; |
3299 | } | | 3299 | } |
3300 | break; | | 3300 | break; |
3301 | case ENUM: | | 3301 | case ENUM: |
3302 | if (is_incomplete(tp)) { | | 3302 | if (is_incomplete(tp)) { |
3303 | /* cannot take size/alignment of incomplete type */ | | 3303 | /* cannot take size/alignment of incomplete type */ |
3304 | warning(143); | | 3304 | warning(143); |
3305 | } | | 3305 | } |
3306 | /* FALLTHROUGH */ | | 3306 | /* FALLTHROUGH */ |
3307 | default: | | 3307 | default: |
3308 | if (tp->t_bitfield) { | | 3308 | if (tp->t_bitfield) { |
3309 | /* cannot take size/alignment of bit-field */ | | 3309 | /* cannot take size/alignment of bit-field */ |
3310 | error(145); | | 3310 | error(145); |
3311 | } | | 3311 | } |
3312 | if (tp->t_tspec == VOID) { | | 3312 | if (tp->t_tspec == VOID) { |
3313 | /* cannot take size/alignment of void */ | | 3313 | /* cannot take size/alignment of void */ |
3314 | error(146); | | 3314 | error(146); |
3315 | elsz = 1; | | 3315 | elsz = 1; |
3316 | } else { | | 3316 | } else { |
3317 | elsz = size_in_bits(tp->t_tspec); | | 3317 | elsz = size_in_bits(tp->t_tspec); |
3318 | lint_assert(elsz > 0); | | 3318 | lint_assert(elsz > 0); |
3319 | } | | 3319 | } |
3320 | break; | | 3320 | break; |
3321 | } | | 3321 | } |
3322 | | | 3322 | |
3323 | return (int64_t)elem * elsz; | | 3323 | return (int64_t)elem * elsz; |
3324 | } | | 3324 | } |
3325 | | | 3325 | |
3326 | tnode_t * | | 3326 | tnode_t * |
3327 | build_alignof(const type_t *tp) | | 3327 | build_alignof(const type_t *tp) |
3328 | { | | 3328 | { |
3329 | switch (tp->t_tspec) { | | 3329 | switch (tp->t_tspec) { |
3330 | case ARRAY: | | 3330 | case ARRAY: |
3331 | break; | | 3331 | break; |
3332 | | | 3332 | |
3333 | case FUNC: | | 3333 | case FUNC: |
3334 | /* cannot take size/alignment of function */ | | 3334 | /* cannot take size/alignment of function */ |
3335 | error(144); | | 3335 | error(144); |
3336 | return 0; | | 3336 | return 0; |
3337 | | | 3337 | |
3338 | case STRUCT: | | 3338 | case STRUCT: |
3339 | case UNION: | | 3339 | case UNION: |
3340 | if (is_incomplete(tp)) { | | 3340 | if (is_incomplete(tp)) { |
3341 | /* cannot take size/alignment of incomplete type */ | | 3341 | /* cannot take size/alignment of incomplete type */ |
3342 | error(143); | | 3342 | error(143); |
3343 | return 0; | | 3343 | return 0; |
3344 | } | | 3344 | } |
3345 | break; | | 3345 | break; |
3346 | case ENUM: | | 3346 | case ENUM: |
3347 | break; | | 3347 | break; |
3348 | default: | | 3348 | default: |
3349 | if (tp->t_bitfield) { | | 3349 | if (tp->t_bitfield) { |
3350 | /* cannot take size/alignment of bit-field */ | | 3350 | /* cannot take size/alignment of bit-field */ |
3351 | error(145); | | 3351 | error(145); |
3352 | return 0; | | 3352 | return 0; |
3353 | } | | 3353 | } |
3354 | if (tp->t_tspec == VOID) { | | 3354 | if (tp->t_tspec == VOID) { |
3355 | /* cannot take size/alignment of void */ | | 3355 | /* cannot take size/alignment of void */ |
3356 | error(146); | | 3356 | error(146); |
3357 | return 0; | | 3357 | return 0; |
3358 | } | | 3358 | } |
3359 | break; | | 3359 | break; |
3360 | } | | 3360 | } |
3361 | | | 3361 | |
3362 | return expr_new_integer_constant(SIZEOF_TSPEC, | | 3362 | return expr_new_integer_constant(SIZEOF_TSPEC, |
3363 | (int64_t)alignment_in_bits(tp) / CHAR_SIZE); | | 3363 | (int64_t)alignment_in_bits(tp) / CHAR_SIZE); |
3364 | } | | 3364 | } |
3365 | | | 3365 | |
3366 | /* | | 3366 | /* |
3367 | * Type casts. | | 3367 | * Type casts. |
3368 | */ | | 3368 | */ |
3369 | tnode_t * | | 3369 | tnode_t * |
3370 | cast(tnode_t *tn, type_t *tp) | | 3370 | cast(tnode_t *tn, type_t *tp) |
3371 | { | | 3371 | { |
3372 | tspec_t nt, ot; | | 3372 | tspec_t nt, ot; |
3373 | | | 3373 | |
3374 | if (tn == NULL) | | 3374 | if (tn == NULL) |
3375 | return NULL; | | 3375 | return NULL; |
3376 | | | 3376 | |
3377 | /* | | 3377 | /* |
3378 | * XXX: checking for tp == NULL is only a quick fix for PR 22119. | | 3378 | * XXX: checking for tp == NULL is only a quick fix for PR 22119. |
3379 | * The proper fix needs to be investigated properly. | | 3379 | * The proper fix needs to be investigated properly. |
3380 | * See d_pr_22119.c for how to get here. | | 3380 | * See d_pr_22119.c for how to get here. |
3381 | */ | | 3381 | */ |
3382 | if (tp == NULL) | | 3382 | if (tp == NULL) |
3383 | return NULL; | | 3383 | return NULL; |
3384 | | | 3384 | |
3385 | tn = cconv(tn); | | 3385 | tn = cconv(tn); |
3386 | | | 3386 | |
3387 | nt = tp->t_tspec; | | 3387 | nt = tp->t_tspec; |
3388 | ot = tn->tn_type->t_tspec; | | 3388 | ot = tn->tn_type->t_tspec; |
3389 | | | 3389 | |
3390 | if (nt == VOID) { | | 3390 | if (nt == VOID) { |
3391 | /* | | 3391 | /* |
3392 | * XXX ANSI C requires scalar types or void (Plauger & Brodie). | | 3392 | * XXX ANSI C requires scalar types or void (Plauger & Brodie). |
3393 | * But this seems really questionable. | | 3393 | * But this seems really questionable. |
3394 | */ | | 3394 | */ |
3395 | } else if (nt == UNION) { | | 3395 | } else if (nt == UNION) { |
3396 | sym_t *m; | | 3396 | sym_t *m; |
3397 | struct_or_union *str = tp->t_str; | | 3397 | struct_or_union *str = tp->t_str; |
3398 | if (!Sflag) { | | 3398 | if (!Sflag) { |
3399 | /* union cast is a C9X feature */ | | 3399 | /* union cast is a C9X feature */ |
3400 | error(328); | | 3400 | error(328); |
3401 | return NULL; | | 3401 | return NULL; |
3402 | } | | 3402 | } |
3403 | for (m = str->sou_first_member; m != NULL; m = m->s_next) { | | 3403 | for (m = str->sou_first_member; m != NULL; m = m->s_next) { |
3404 | if (sametype(m->s_type, tn->tn_type)) { | | 3404 | if (sametype(m->s_type, tn->tn_type)) { |
3405 | tn = expr_zalloc_tnode(); | | 3405 | tn = expr_zalloc_tnode(); |
3406 | tn->tn_op = CVT; | | 3406 | tn->tn_op = CVT; |
3407 | tn->tn_type = tp; | | 3407 | tn->tn_type = tp; |
3408 | tn->tn_cast = true; | | 3408 | tn->tn_cast = true; |
3409 | tn->tn_right = NULL; | | 3409 | tn->tn_right = NULL; |
3410 | return tn; | | 3410 | return tn; |
3411 | } | | 3411 | } |
3412 | } | | 3412 | } |
3413 | /* type '%s' is not a member of '%s' */ | | 3413 | /* type '%s' is not a member of '%s' */ |
3414 | error(329, type_name(tn->tn_type), type_name(tp)); | | 3414 | error(329, type_name(tn->tn_type), type_name(tp)); |
3415 | return NULL; | | 3415 | return NULL; |
3416 | } else if (nt == STRUCT || nt == ARRAY || nt == FUNC) { | | 3416 | } else if (nt == STRUCT || nt == ARRAY || nt == FUNC) { |
3417 | if (!Sflag || nt == ARRAY || nt == FUNC) { | | 3417 | if (!Sflag || nt == ARRAY || nt == FUNC) { |
3418 | /* invalid cast expression */ | | 3418 | /* invalid cast expression */ |
3419 | error(147); | | 3419 | error(147); |
3420 | return NULL; | | 3420 | return NULL; |
3421 | } | | 3421 | } |
3422 | } else if (ot == STRUCT || ot == UNION) { | | 3422 | } else if (ot == STRUCT || ot == UNION) { |
3423 | /* invalid cast expression */ | | 3423 | /* invalid cast expression */ |
3424 | error(147); | | 3424 | error(147); |
3425 | return NULL; | | 3425 | return NULL; |
3426 | } else if (ot == VOID) { | | 3426 | } else if (ot == VOID) { |
3427 | /* improper cast of void expression */ | | 3427 | /* improper cast of void expression */ |
3428 | error(148); | | 3428 | error(148); |
3429 | return NULL; | | 3429 | return NULL; |
3430 | } else if (is_integer(nt) && is_scalar(ot)) { | | 3430 | } else if (is_integer(nt) && is_scalar(ot)) { |
3431 | /* ok */ | | 3431 | /* ok */ |
3432 | } else if (is_floating(nt) && is_arithmetic(ot)) { | | 3432 | } else if (is_floating(nt) && is_arithmetic(ot)) { |
3433 | /* ok */ | | 3433 | /* ok */ |
3434 | } else if (nt == PTR && is_integer(ot)) { | | 3434 | } else if (nt == PTR && is_integer(ot)) { |
3435 | /* ok */ | | 3435 | /* ok */ |
3436 | } else if (nt == PTR && ot == PTR) { | | 3436 | } else if (nt == PTR && ot == PTR) { |
3437 | if (!tp->t_subt->t_const && tn->tn_type->t_subt->t_const) { | | 3437 | if (!tp->t_subt->t_const && tn->tn_type->t_subt->t_const) { |
3438 | if (hflag) | | 3438 | if (hflag) |
3439 | /* cast discards 'const' from type '%s' */ | | 3439 | /* cast discards 'const' from type '%s' */ |
3440 | warning(275, type_name(tn->tn_type)); | | 3440 | warning(275, type_name(tn->tn_type)); |
3441 | } | | 3441 | } |
3442 | } else { | | 3442 | } else { |
3443 | /* invalid cast expression */ | | 3443 | /* invalid cast expression */ |
3444 | error(147); | | 3444 | error(147); |
3445 | return NULL; | | 3445 | return NULL; |
3446 | } | | 3446 | } |
3447 | | | 3447 | |
3448 | tn = convert(CVT, 0, tp, tn); | | 3448 | tn = convert(CVT, 0, tp, tn); |
3449 | tn->tn_cast = true; | | 3449 | tn->tn_cast = true; |
3450 | | | 3450 | |
3451 | return tn; | | 3451 | return tn; |
3452 | } | | 3452 | } |
3453 | | | 3453 | |
3454 | /* | | 3454 | /* |
3455 | * Create the node for a function argument. | | 3455 | * Create the node for a function argument. |
3456 | * All necessary conversions and type checks are done in | | 3456 | * All necessary conversions and type checks are done in |
3457 | * new_function_call_node because new_function_argument_node has no | | 3457 | * new_function_call_node because new_function_argument_node has no |
3458 | * information about expected argument types. | | 3458 | * information about expected argument types. |
3459 | */ | | 3459 | */ |
3460 | tnode_t * | | 3460 | tnode_t * |
3461 | new_function_argument_node(tnode_t *args, tnode_t *arg) | | 3461 | new_function_argument_node(tnode_t *args, tnode_t *arg) |
3462 | { | | 3462 | { |
3463 | tnode_t *ntn; | | 3463 | tnode_t *ntn; |
3464 | | | 3464 | |
3465 | /* | | 3465 | /* |
3466 | * If there was a serious error in the expression for the argument, | | 3466 | * If there was a serious error in the expression for the argument, |
3467 | * create a dummy argument so the positions of the remaining arguments | | 3467 | * create a dummy argument so the positions of the remaining arguments |
3468 | * will not change. | | 3468 | * will not change. |
3469 | */ | | 3469 | */ |
3470 | if (arg == NULL) | | 3470 | if (arg == NULL) |
3471 | arg = expr_new_integer_constant(INT, 0); | | 3471 | arg = expr_new_integer_constant(INT, 0); |
3472 | | | 3472 | |
3473 | ntn = new_tnode(PUSH, arg->tn_type, arg, args); | | 3473 | ntn = new_tnode(PUSH, arg->tn_type, arg, args); |
3474 | | | 3474 | |
3475 | return ntn; | | 3475 | return ntn; |
3476 | } | | 3476 | } |
3477 | | | 3477 | |
3478 | /* | | 3478 | /* |
3479 | * Create the node for a function call. Also check types of | | 3479 | * Create the node for a function call. Also check types of |
3480 | * function arguments and insert conversions, if necessary. | | 3480 | * function arguments and insert conversions, if necessary. |
3481 | */ | | 3481 | */ |
3482 | tnode_t * | | 3482 | tnode_t * |
3483 | new_function_call_node(tnode_t *func, tnode_t *args) | | 3483 | new_function_call_node(tnode_t *func, tnode_t *args) |
3484 | { | | 3484 | { |
3485 | tnode_t *ntn; | | 3485 | tnode_t *ntn; |
3486 | op_t fcop; | | 3486 | op_t fcop; |
3487 | | | 3487 | |
3488 | if (func == NULL) | | 3488 | if (func == NULL) |
3489 | return NULL; | | 3489 | return NULL; |
3490 | | | 3490 | |
3491 | if (func->tn_op == NAME && func->tn_type->t_tspec == FUNC) { | | 3491 | if (func->tn_op == NAME && func->tn_type->t_tspec == FUNC) { |
3492 | fcop = CALL; | | 3492 | fcop = CALL; |
3493 | } else { | | 3493 | } else { |
3494 | fcop = ICALL; | | 3494 | fcop = ICALL; |
3495 | } | | 3495 | } |
3496 | | | 3496 | |
3497 | check_ctype_function_call(func, args); | | 3497 | check_ctype_function_call(func, args); |
3498 | | | 3498 | |
3499 | /* | | 3499 | /* |
3500 | * after cconv() func will always be a pointer to a function | | 3500 | * after cconv() func will always be a pointer to a function |
3501 | * if it is a valid function designator. | | 3501 | * if it is a valid function designator. |
3502 | */ | | 3502 | */ |
3503 | func = cconv(func); | | 3503 | func = cconv(func); |
3504 | | | 3504 | |
3505 | if (func->tn_type->t_tspec != PTR || | | 3505 | if (func->tn_type->t_tspec != PTR || |
3506 | func->tn_type->t_subt->t_tspec != FUNC) { | | 3506 | func->tn_type->t_subt->t_tspec != FUNC) { |
3507 | /* illegal function (type %s) */ | | 3507 | /* illegal function (type %s) */ |
3508 | error(149, type_name(func->tn_type)); | | 3508 | error(149, type_name(func->tn_type)); |
3509 | return NULL; | | 3509 | return NULL; |
3510 | } | | 3510 | } |
3511 | | | 3511 | |
3512 | args = check_function_arguments(func->tn_type->t_subt, args); | | 3512 | args = check_function_arguments(func->tn_type->t_subt, args); |
3513 | | | 3513 | |
3514 | ntn = new_tnode(fcop, func->tn_type->t_subt->t_subt, func, args); | | 3514 | ntn = new_tnode(fcop, func->tn_type->t_subt->t_subt, func, args); |
3515 | | | 3515 | |
3516 | return ntn; | | 3516 | return ntn; |
3517 | } | | 3517 | } |
3518 | | | 3518 | |
3519 | /* | | 3519 | /* |
3520 | * Check types of all function arguments and insert conversions, | | 3520 | * Check types of all function arguments and insert conversions, |
3521 | * if necessary. | | 3521 | * if necessary. |
3522 | */ | | 3522 | */ |
3523 | static tnode_t * | | 3523 | static tnode_t * |
3524 | check_function_arguments(type_t *ftp, tnode_t *args) | | 3524 | check_function_arguments(type_t *ftp, tnode_t *args) |
3525 | { | | 3525 | { |
3526 | tnode_t *arg; | | 3526 | tnode_t *arg; |
3527 | sym_t *asym; | | 3527 | sym_t *asym; |
3528 | tspec_t at; | | 3528 | tspec_t at; |
3529 | int narg, npar, n, i; | | 3529 | int narg, npar, n, i; |
3530 | | | 3530 | |
3531 | /* get # of args in the prototype */ | | 3531 | /* get # of args in the prototype */ |
3532 | npar = 0; | | 3532 | npar = 0; |
3533 | for (asym = ftp->t_args; asym != NULL; asym = asym->s_next) | | 3533 | for (asym = ftp->t_args; asym != NULL; asym = asym->s_next) |
3534 | npar++; | | 3534 | npar++; |
3535 | | | 3535 | |
3536 | /* get # of args in function call */ | | 3536 | /* get # of args in function call */ |
3537 | narg = 0; | | 3537 | narg = 0; |
3538 | for (arg = args; arg != NULL; arg = arg->tn_right) | | 3538 | for (arg = args; arg != NULL; arg = arg->tn_right) |
3539 | narg++; | | 3539 | narg++; |
3540 | | | 3540 | |
3541 | asym = ftp->t_args; | | 3541 | asym = ftp->t_args; |
3542 | if (ftp->t_proto && npar != narg && !(ftp->t_vararg && npar < narg)) { | | 3542 | if (ftp->t_proto && npar != narg && !(ftp->t_vararg && npar < narg)) { |
3543 | /* argument mismatch: %d arg%s passed, %d expected */ | | 3543 | /* argument mismatch: %d arg%s passed, %d expected */ |
3544 | error(150, narg, narg > 1 ? "s" : "", npar); | | 3544 | error(150, narg, narg > 1 ? "s" : "", npar); |
3545 | asym = NULL; | | 3545 | asym = NULL; |
3546 | } | | 3546 | } |
3547 | | | 3547 | |
3548 | for (n = 1; n <= narg; n++) { | | 3548 | for (n = 1; n <= narg; n++) { |
3549 | | | 3549 | |
3550 | /* | | 3550 | /* |
3551 | * The rightmost argument is at the top of the argument | | 3551 | * The rightmost argument is at the top of the argument |
3552 | * subtree. | | 3552 | * subtree. |
3553 | */ | | 3553 | */ |
3554 | for (i = narg, arg = args; i > n; i--, arg = arg->tn_right) | | 3554 | for (i = narg, arg = args; i > n; i--, arg = arg->tn_right) |
3555 | continue; | | 3555 | continue; |
3556 | | | 3556 | |
3557 | /* some things which are always not allowed */ | | 3557 | /* some things which are always not allowed */ |
3558 | if ((at = arg->tn_left->tn_type->t_tspec) == VOID) { | | 3558 | if ((at = arg->tn_left->tn_type->t_tspec) == VOID) { |
3559 | /* void expressions may not be arguments, arg #%d */ | | 3559 | /* void expressions may not be arguments, arg #%d */ |
3560 | error(151, n); | | 3560 | error(151, n); |
3561 | return NULL; | | 3561 | return NULL; |
3562 | } else if ((at == STRUCT || at == UNION) && | | 3562 | } else if ((at == STRUCT || at == UNION) && |
3563 | is_incomplete(arg->tn_left->tn_type)) { | | 3563 | is_incomplete(arg->tn_left->tn_type)) { |
3564 | /* argument cannot have unknown size, arg #%d */ | | 3564 | /* argument cannot have unknown size, arg #%d */ |
3565 | error(152, n); | | 3565 | error(152, n); |
3566 | return NULL; | | 3566 | return NULL; |
3567 | } else if (is_integer(at) && | | 3567 | } else if (is_integer(at) && |
3568 | arg->tn_left->tn_type->t_is_enum && | | 3568 | arg->tn_left->tn_type->t_is_enum && |
3569 | is_incomplete(arg->tn_left->tn_type)) { | | 3569 | is_incomplete(arg->tn_left->tn_type)) { |
3570 | /* argument cannot have unknown size, arg #%d */ | | 3570 | /* argument cannot have unknown size, arg #%d */ |
3571 | warning(152, n); | | 3571 | warning(152, n); |
3572 | } | | 3572 | } |
3573 | | | 3573 | |
3574 | /* class conversions (arg in value context) */ | | 3574 | /* class conversions (arg in value context) */ |
3575 | arg->tn_left = cconv(arg->tn_left); | | 3575 | arg->tn_left = cconv(arg->tn_left); |
3576 | | | 3576 | |
3577 | if (asym != NULL) { | | 3577 | if (asym != NULL) { |
3578 | arg->tn_left = check_prototype_argument( | | 3578 | arg->tn_left = check_prototype_argument( |
3579 | n, asym->s_type, arg->tn_left); | | 3579 | n, asym->s_type, arg->tn_left); |
3580 | } else { | | 3580 | } else { |
3581 | arg->tn_left = promote(NOOP, true, arg->tn_left); | | 3581 | arg->tn_left = promote(NOOP, true, arg->tn_left); |
3582 | } | | 3582 | } |
3583 | arg->tn_type = arg->tn_left->tn_type; | | 3583 | arg->tn_type = arg->tn_left->tn_type; |
3584 | | | 3584 | |
3585 | if (asym != NULL) | | 3585 | if (asym != NULL) |
3586 | asym = asym->s_next; | | 3586 | asym = asym->s_next; |
3587 | } | | 3587 | } |
3588 | | | 3588 | |
3589 | return args; | | 3589 | return args; |
3590 | } | | 3590 | } |
3591 | | | 3591 | |
3592 | /* | | 3592 | /* |
3593 | * Compare the type of an argument with the corresponding type of a | | 3593 | * Compare the type of an argument with the corresponding type of a |
3594 | * prototype parameter. If it is a valid combination, but both types | | 3594 | * prototype parameter. If it is a valid combination, but both types |
3595 | * are not the same, insert a conversion to convert the argument into | | 3595 | * are not the same, insert a conversion to convert the argument into |
3596 | * the type of the parameter. | | 3596 | * the type of the parameter. |
3597 | */ | | 3597 | */ |
3598 | static tnode_t * | | 3598 | static tnode_t * |
3599 | check_prototype_argument( | | 3599 | check_prototype_argument( |
3600 | int n, /* pos of arg */ | | 3600 | int n, /* pos of arg */ |
3601 | type_t *tp, /* expected type (from prototype) */ | | 3601 | type_t *tp, /* expected type (from prototype) */ |
3602 | tnode_t *tn) /* argument */ | | 3602 | tnode_t *tn) /* argument */ |
3603 | { | | 3603 | { |
3604 | tnode_t *ln; | | 3604 | tnode_t *ln; |
3605 | bool dowarn; | | 3605 | bool dowarn; |
3606 | | | 3606 | |
3607 | ln = xcalloc(1, sizeof(*ln)); | | 3607 | ln = xcalloc(1, sizeof(*ln)); |
3608 | ln->tn_type = expr_dup_type(tp); | | 3608 | ln->tn_type = expr_dup_type(tp); |
3609 | ln->tn_type->t_const = false; | | 3609 | ln->tn_type->t_const = false; |
3610 | ln->tn_lvalue = true; | | 3610 | ln->tn_lvalue = true; |
3611 | if (typeok(FARG, n, ln, tn)) { | | 3611 | if (typeok(FARG, n, ln, tn)) { |
3612 | if (!eqtype(tp, tn->tn_type, | | 3612 | if (!eqtype(tp, tn->tn_type, |
3613 | true, false, (dowarn = false, &dowarn)) || dowarn) | | 3613 | true, false, (dowarn = false, &dowarn)) || dowarn) |
3614 | tn = convert(FARG, n, tp, tn); | | 3614 | tn = convert(FARG, n, tp, tn); |
3615 | } | | 3615 | } |
3616 | free(ln); | | 3616 | free(ln); |
3617 | return tn; | | 3617 | return tn; |
3618 | } | | 3618 | } |
3619 | | | 3619 | |
3620 | /* | | 3620 | /* |
3621 | * Return the value of an integral constant expression. | | 3621 | * Return the value of an integral constant expression. |
3622 | * If the expression is not constant or its type is not an integer | | 3622 | * If the expression is not constant or its type is not an integer |
3623 | * type, an error message is printed. | | 3623 | * type, an error message is printed. |
3624 | */ | | 3624 | */ |
3625 | val_t * | | 3625 | val_t * |
3626 | constant(tnode_t *tn, bool required) | | 3626 | constant(tnode_t *tn, bool required) |
3627 | { | | 3627 | { |
3628 | val_t *v; | | 3628 | val_t *v; |
3629 | | | 3629 | |
3630 | if (tn != NULL) | | 3630 | if (tn != NULL) |
3631 | tn = cconv(tn); | | 3631 | tn = cconv(tn); |
3632 | if (tn != NULL) | | 3632 | if (tn != NULL) |
3633 | tn = promote(NOOP, false, tn); | | 3633 | tn = promote(NOOP, false, tn); |
3634 | | | 3634 | |
3635 | v = xcalloc(1, sizeof(*v)); | | 3635 | v = xcalloc(1, sizeof(*v)); |
3636 | | | 3636 | |
3637 | if (tn == NULL) { | | 3637 | if (tn == NULL) { |
3638 | lint_assert(nerr != 0); | | 3638 | lint_assert(nerr != 0); |
3639 | if (dflag) | | 3639 | if (dflag) |
3640 | printf("constant node is null; returning 1 instead\n"); | | 3640 | printf("constant node is null; returning 1 instead\n"); |
3641 | v->v_tspec = INT; | | 3641 | v->v_tspec = INT; |
3642 | v->v_quad = 1; | | 3642 | v->v_quad = 1; |
3643 | return v; | | 3643 | return v; |
3644 | } | | 3644 | } |
3645 | | | 3645 | |
3646 | v->v_tspec = tn->tn_type->t_tspec; | | 3646 | v->v_tspec = tn->tn_type->t_tspec; |
3647 | | | 3647 | |
3648 | if (tn->tn_op == CON) { | | 3648 | if (tn->tn_op == CON) { |
3649 | lint_assert(tn->tn_type->t_tspec == tn->tn_val->v_tspec); | | 3649 | lint_assert(tn->tn_type->t_tspec == tn->tn_val->v_tspec); |
3650 | if (is_integer(tn->tn_val->v_tspec)) { | | 3650 | if (is_integer(tn->tn_val->v_tspec)) { |
3651 | v->v_unsigned_since_c90 = | | 3651 | v->v_unsigned_since_c90 = |
3652 | tn->tn_val->v_unsigned_since_c90; | | 3652 | tn->tn_val->v_unsigned_since_c90; |
3653 | v->v_quad = tn->tn_val->v_quad; | | 3653 | v->v_quad = tn->tn_val->v_quad; |
3654 | return v; | | 3654 | return v; |
3655 | } | | 3655 | } |
3656 | v->v_quad = tn->tn_val->v_ldbl; | | 3656 | v->v_quad = tn->tn_val->v_ldbl; |
3657 | } else { | | 3657 | } else { |
3658 | v->v_quad = 1; | | 3658 | v->v_quad = 1; |
3659 | } | | 3659 | } |
3660 | | | 3660 | |
3661 | if (required) | | 3661 | if (required) |
3662 | /* integral constant expression expected */ | | 3662 | /* integral constant expression expected */ |
3663 | error(55); | | 3663 | error(55); |
3664 | else | | 3664 | else |
3665 | /* variable array dimension is a C99/GCC extension */ | | 3665 | /* variable array dimension is a C99/GCC extension */ |
3666 | c99ism(318); | | 3666 | c99ism(318); |
3667 | | | 3667 | |
3668 | if (!is_integer(v->v_tspec)) | | 3668 | if (!is_integer(v->v_tspec)) |
3669 | v->v_tspec = INT; | | 3669 | v->v_tspec = INT; |
3670 | | | 3670 | |
3671 | return v; | | 3671 | return v; |
3672 | } | | 3672 | } |
3673 | | | 3673 | |
3674 | static bool | | 3674 | static bool |
3675 | is_constcond_false(const tnode_t *tn, tspec_t t) | | 3675 | is_constcond_false(const tnode_t *tn, tspec_t t) |
3676 | { | | 3676 | { |
3677 | return (t == BOOL || t == INT) && | | 3677 | return (t == BOOL || t == INT) && |
3678 | tn->tn_op == CON && tn->tn_val->v_quad == 0; | | 3678 | tn->tn_op == CON && tn->tn_val->v_quad == 0; |
3679 | } | | 3679 | } |
3680 | | | 3680 | |
3681 | /* | | 3681 | /* |
3682 | * Perform some tests on expressions which can't be done in build() and | | 3682 | * Perform some tests on expressions which can't be done in build() and |
3683 | * functions called by build(). These tests must be done here because | | 3683 | * functions called by build(). These tests must be done here because |
3684 | * we need some information about the context in which the operations | | 3684 | * we need some information about the context in which the operations |
3685 | * are performed. | | 3685 | * are performed. |
3686 | * After all tests are performed and dofreeblk is true, expr() frees the | | 3686 | * After all tests are performed and dofreeblk is true, expr() frees the |
3687 | * memory which is used for the expression. | | 3687 | * memory which is used for the expression. |
3688 | */ | | 3688 | */ |
3689 | void | | 3689 | void |
3690 | expr(tnode_t *tn, bool vctx, bool tctx, bool dofreeblk, bool is_do_while) | | 3690 | expr(tnode_t *tn, bool vctx, bool tctx, bool dofreeblk, bool is_do_while) |
3691 | { | | 3691 | { |
3692 | | | 3692 | |
3693 | if (tn == NULL) { /* in case of errors */ | | 3693 | if (tn == NULL) { /* in case of errors */ |
3694 | expr_free_all(); | | 3694 | expr_free_all(); |
3695 | return; | | 3695 | return; |
3696 | } | | 3696 | } |
3697 | | | 3697 | |
3698 | /* expr() is also called in global initializations */ | | 3698 | /* expr() is also called in global initializations */ |
3699 | if (dcs->d_ctx != EXTERN && !is_do_while) | | 3699 | if (dcs->d_ctx != EXTERN && !is_do_while) |
3700 | check_statement_reachable(); | | 3700 | check_statement_reachable(); |
3701 | | | 3701 | |
3702 | check_expr_misc(tn, vctx, tctx, !tctx, false, false, false); | | 3702 | check_expr_misc(tn, vctx, tctx, !tctx, false, false, false); |
3703 | if (tn->tn_op == ASSIGN) { | | 3703 | if (tn->tn_op == ASSIGN) { |
3704 | if (hflag && tctx) | | 3704 | if (hflag && tctx) |
3705 | /* assignment in conditional context */ | | 3705 | /* assignment in conditional context */ |
3706 | warning(159); | | 3706 | warning(159); |
3707 | } else if (tn->tn_op == CON) { | | 3707 | } else if (tn->tn_op == CON) { |
3708 | if (hflag && tctx && !constcond_flag && | | 3708 | if (hflag && tctx && !constcond_flag && |
3709 | !tn->tn_system_dependent && | | 3709 | !tn->tn_system_dependent && |
3710 | !(is_do_while && | | 3710 | !(is_do_while && |
3711 | is_constcond_false(tn, tn->tn_type->t_tspec))) | | 3711 | is_constcond_false(tn, tn->tn_type->t_tspec))) |
3712 | /* constant in conditional context */ | | 3712 | /* constant in conditional context */ |
3713 | warning(161); | | 3713 | warning(161); |
3714 | } | | 3714 | } |
3715 | if (!modtab[tn->tn_op].m_has_side_effect) { | | 3715 | if (!modtab[tn->tn_op].m_has_side_effect) { |
3716 | /* | | 3716 | /* |
3717 | * for left operands of COMMA this warning is already | | 3717 | * for left operands of COMMA this warning is already |
3718 | * printed | | 3718 | * printed |
3719 | */ | | 3719 | */ |
3720 | if (tn->tn_op != COMMA && !vctx && !tctx) | | 3720 | if (tn->tn_op != COMMA && !vctx && !tctx) |
3721 | check_null_effect(tn); | | 3721 | check_null_effect(tn); |
3722 | } | | 3722 | } |
3723 | if (dflag) | | 3723 | if (dflag) |
3724 | display_expression(tn, 0); | | 3724 | display_expression(tn, 0); |
3725 | | | 3725 | |
3726 | /* free the tree memory */ | | 3726 | /* free the tree memory */ |
3727 | if (dofreeblk) | | 3727 | if (dofreeblk) |
3728 | expr_free_all(); | | 3728 | expr_free_all(); |
3729 | } | | 3729 | } |
3730 | | | 3730 | |
3731 | static bool | | 3731 | static bool |
3732 | has_side_effect(const tnode_t *tn) // NOLINT(misc-no-recursion) | | 3732 | has_side_effect(const tnode_t *tn) // NOLINT(misc-no-recursion) |
3733 | { | | 3733 | { |
3734 | op_t op = tn->tn_op; | | 3734 | op_t op = tn->tn_op; |
3735 | | | 3735 | |
3736 | if (modtab[op].m_has_side_effect) | | 3736 | if (modtab[op].m_has_side_effect) |
3737 | return true; | | 3737 | return true; |
3738 | | | 3738 | |
3739 | if (op == CVT && tn->tn_type->t_tspec == VOID) | | 3739 | if (op == CVT && tn->tn_type->t_tspec == VOID) |
3740 | return has_side_effect(tn->tn_left); | | 3740 | return has_side_effect(tn->tn_left); |
3741 | | | 3741 | |
3742 | /* XXX: Why not has_side_effect(tn->tn_left) as well? */ | | 3742 | /* XXX: Why not has_side_effect(tn->tn_left) as well? */ |
3743 | if (op == LOGAND || op == LOGOR) | | 3743 | if (op == LOGAND || op == LOGOR) |
3744 | return has_side_effect(tn->tn_right); | | 3744 | return has_side_effect(tn->tn_right); |
3745 | | | 3745 | |
3746 | /* XXX: Why not has_side_effect(tn->tn_left) as well? */ | | 3746 | /* XXX: Why not has_side_effect(tn->tn_left) as well? */ |
3747 | if (op == QUEST) | | 3747 | if (op == QUEST) |
3748 | return has_side_effect(tn->tn_right); | | 3748 | return has_side_effect(tn->tn_right); |
3749 | | | 3749 | |
3750 | if (op == COLON || op == COMMA) { | | 3750 | if (op == COLON || op == COMMA) { |
3751 | return has_side_effect(tn->tn_left) || | | 3751 | return has_side_effect(tn->tn_left) || |
3752 | has_side_effect(tn->tn_right); | | 3752 | has_side_effect(tn->tn_right); |
3753 | } | | 3753 | } |
3754 | | | 3754 | |
3755 | return false; | | 3755 | return false; |
3756 | } | | 3756 | } |
3757 | | | 3757 | |
3758 | static void | | 3758 | static void |
3759 | check_null_effect(const tnode_t *tn) | | 3759 | check_null_effect(const tnode_t *tn) |
3760 | { | | 3760 | { |
3761 | | | 3761 | |
3762 | if (hflag && !has_side_effect(tn)) { | | 3762 | if (hflag && !has_side_effect(tn)) { |
3763 | /* expression has null effect */ | | 3763 | /* expression has null effect */ |
3764 | warning(129); | | 3764 | warning(129); |
3765 | } | | 3765 | } |
3766 | } | | 3766 | } |
3767 | | | 3767 | |
3768 | /* | | 3768 | /* |
3769 | * Dump an expression to stdout | | 3769 | * Dump an expression to stdout |
3770 | * only used for debugging | | 3770 | * only used for debugging |
3771 | */ | | 3771 | */ |
3772 | static void | | 3772 | static void |
3773 | display_expression(const tnode_t *tn, int offs) | | 3773 | display_expression(const tnode_t *tn, int offs) |
3774 | { | | 3774 | { |
3775 | uint64_t uq; | | 3775 | uint64_t uq; |
3776 | | | 3776 | |
3777 | if (tn == NULL) { | | 3777 | if (tn == NULL) { |
3778 | (void)printf("%*s%s\n", offs, "", "NULL"); | | 3778 | (void)printf("%*s%s\n", offs, "", "NULL"); |
3779 | return; | | 3779 | return; |
3780 | } | | 3780 | } |
3781 | (void)printf("%*sop %s ", offs, "", op_name(tn->tn_op)); | | 3781 | (void)printf("%*sop %s ", offs, "", op_name(tn->tn_op)); |
3782 | | | 3782 | |
3783 | if (tn->tn_op == NAME) { | | 3783 | if (tn->tn_op == NAME) { |
3784 | (void)printf("%s: %s ", | | 3784 | (void)printf("%s: %s ", |
3785 | tn->tn_sym->s_name, | | 3785 | tn->tn_sym->s_name, |
3786 | storage_class_name(tn->tn_sym->s_scl)); | | 3786 | storage_class_name(tn->tn_sym->s_scl)); |
3787 | } else if (tn->tn_op == CON && is_floating(tn->tn_type->t_tspec)) { | | 3787 | } else if (tn->tn_op == CON && is_floating(tn->tn_type->t_tspec)) { |
3788 | (void)printf("%#g ", (double)tn->tn_val->v_ldbl); | | 3788 | (void)printf("%#g ", (double)tn->tn_val->v_ldbl); |
3789 | } else if (tn->tn_op == CON && is_integer(tn->tn_type->t_tspec)) { | | 3789 | } else if (tn->tn_op == CON && is_integer(tn->tn_type->t_tspec)) { |
3790 | uq = tn->tn_val->v_quad; | | 3790 | uq = tn->tn_val->v_quad; |
3791 | (void)printf("0x %08lx %08lx ", | | 3791 | (void)printf("0x %08lx %08lx ", |
3792 | (long)(uq >> 32) & 0xffffffffl, | | 3792 | (long)(uq >> 32) & 0xffffffffl, |
3793 | (long)uq & 0xffffffffl); | | 3793 | (long)uq & 0xffffffffl); |
3794 | } else if (tn->tn_op == CON && tn->tn_type->t_tspec == BOOL) { | | 3794 | } else if (tn->tn_op == CON && tn->tn_type->t_tspec == BOOL) { |
3795 | (void)printf("%s ", | | 3795 | (void)printf("%s ", |
3796 | tn->tn_val->v_quad != 0 ? "true" : "false"); | | 3796 | tn->tn_val->v_quad != 0 ? "true" : "false"); |
3797 | } else if (tn->tn_op == CON) { | | 3797 | } else if (tn->tn_op == CON) { |
3798 | lint_assert(tn->tn_type->t_tspec == PTR); | | 3798 | lint_assert(tn->tn_type->t_tspec == PTR); |
3799 | (void)printf("0x%0*lx ", (int)(sizeof(void *) * CHAR_BIT / 4), | | 3799 | (void)printf("0x%0*lx ", (int)(sizeof(void *) * CHAR_BIT / 4), |
3800 | (u_long)tn->tn_val->v_quad); | | 3800 | (u_long)tn->tn_val->v_quad); |
3801 | } else if (tn->tn_op == STRING) { | | 3801 | } else if (tn->tn_op == STRING) { |
3802 | if (tn->tn_string->st_tspec == CHAR) { | | 3802 | if (tn->tn_string->st_tspec == CHAR) { |
3803 | (void)printf("\"%s\"", tn->tn_string->st_cp); | | 3803 | (void)printf("\"%s\"", tn->tn_string->st_cp); |
3804 | } else { | | 3804 | } else { |
3805 | char *s; | | 3805 | char *s; |
3806 | size_t n; | | 3806 | size_t n; |
3807 | n = MB_CUR_MAX * (tn->tn_string->st_len + 1); | | 3807 | n = MB_CUR_MAX * (tn->tn_string->st_len + 1); |
3808 | s = xmalloc(n); | | 3808 | s = xmalloc(n); |
3809 | (void)wcstombs(s, tn->tn_string->st_wcp, n); | | 3809 | (void)wcstombs(s, tn->tn_string->st_wcp, n); |
3810 | (void)printf("L\"%s\"", s); | | 3810 | (void)printf("L\"%s\"", s); |
3811 | free(s); | | 3811 | free(s); |
3812 | } | | 3812 | } |
3813 | (void)printf(" "); | | 3813 | (void)printf(" "); |
3814 | } else if (tn->tn_op == FSEL) { | | 3814 | } else if (tn->tn_op == FSEL) { |
3815 | (void)printf("o=%d, l=%d ", tn->tn_type->t_foffs, | | 3815 | (void)printf("o=%d, l=%d ", tn->tn_type->t_foffs, |
3816 | tn->tn_type->t_flen); | | 3816 | tn->tn_type->t_flen); |
3817 | } | | 3817 | } |
3818 | (void)printf("%s\n", ttos(tn->tn_type)); | | 3818 | (void)printf("%s\n", type_name(tn->tn_type)); |
3819 | if (tn->tn_op == NAME || tn->tn_op == CON || tn->tn_op == STRING) | | 3819 | if (tn->tn_op == NAME || tn->tn_op == CON || tn->tn_op == STRING) |
3820 | return; | | 3820 | return; |
3821 | display_expression(tn->tn_left, offs + 2); | | 3821 | display_expression(tn->tn_left, offs + 2); |
3822 | if (modtab[tn->tn_op].m_binary || | | 3822 | if (modtab[tn->tn_op].m_binary || |
3823 | (tn->tn_op == PUSH && tn->tn_right != NULL)) { | | 3823 | (tn->tn_op == PUSH && tn->tn_right != NULL)) { |
3824 | display_expression(tn->tn_right, offs + 2); | | 3824 | display_expression(tn->tn_right, offs + 2); |
3825 | } | | 3825 | } |
3826 | } | | 3826 | } |
3827 | | | 3827 | |
3828 | /* | | 3828 | /* |
3829 | * Called by expr() to recursively perform some tests. | | 3829 | * Called by expr() to recursively perform some tests. |
3830 | */ | | 3830 | */ |
3831 | /* ARGSUSED */ | | 3831 | /* ARGSUSED */ |
3832 | void | | 3832 | void |
3833 | check_expr_misc(const tnode_t *tn, bool vctx, bool tctx, | | 3833 | check_expr_misc(const tnode_t *tn, bool vctx, bool tctx, |
3834 | bool eqwarn, bool fcall, bool rvdisc, bool szof) | | 3834 | bool eqwarn, bool fcall, bool rvdisc, bool szof) |
3835 | { | | 3835 | { |
3836 | tnode_t *ln, *rn; | | 3836 | tnode_t *ln, *rn; |
3837 | const mod_t *mp; | | 3837 | const mod_t *mp; |
3838 | op_t op; | | 3838 | op_t op; |
3839 | scl_t sc; | | 3839 | scl_t sc; |
3840 | dinfo_t *di; | | 3840 | dinfo_t *di; |
3841 | | | 3841 | |
3842 | if (tn == NULL) | | 3842 | if (tn == NULL) |
3843 | return; | | 3843 | return; |
3844 | | | 3844 | |
3845 | ln = tn->tn_left; | | 3845 | ln = tn->tn_left; |
3846 | rn = tn->tn_right; | | 3846 | rn = tn->tn_right; |
3847 | mp = &modtab[op = tn->tn_op]; | | 3847 | mp = &modtab[op = tn->tn_op]; |
3848 | | | 3848 | |
3849 | switch (op) { | | 3849 | switch (op) { |
3850 | case ADDR: | | 3850 | case ADDR: |
3851 | /* XXX: Taking warn_about_unreachable into account here feels wrong. */ | | 3851 | /* XXX: Taking warn_about_unreachable into account here feels wrong. */ |
3852 | if (ln->tn_op == NAME && (reached || !warn_about_unreachable)) { | | 3852 | if (ln->tn_op == NAME && (reached || !warn_about_unreachable)) { |
3853 | if (!szof) | | 3853 | if (!szof) |
3854 | mark_as_set(ln->tn_sym); | | 3854 | mark_as_set(ln->tn_sym); |
3855 | mark_as_used(ln->tn_sym, fcall, szof); | | 3855 | mark_as_used(ln->tn_sym, fcall, szof); |
3856 | } | | 3856 | } |
3857 | if (ln->tn_op == INDIR && ln->tn_left->tn_op == PLUS) | | 3857 | if (ln->tn_op == INDIR && ln->tn_left->tn_op == PLUS) |
3858 | /* check the range of array indices */ | | 3858 | /* check the range of array indices */ |
3859 | check_array_index(ln->tn_left, true); | | 3859 | check_array_index(ln->tn_left, true); |
3860 | break; | | 3860 | break; |
3861 | case LOAD: | | 3861 | case LOAD: |
3862 | if (ln->tn_op == INDIR && ln->tn_left->tn_op == PLUS) | | 3862 | if (ln->tn_op == INDIR && ln->tn_left->tn_op == PLUS) |
3863 | /* check the range of array indices */ | | 3863 | /* check the range of array indices */ |
3864 | check_array_index(ln->tn_left, false); | | 3864 | check_array_index(ln->tn_left, false); |
3865 | /* FALLTHROUGH */ | | 3865 | /* FALLTHROUGH */ |
3866 | case PUSH: | | 3866 | case PUSH: |
3867 | case INCBEF: | | 3867 | case INCBEF: |
3868 | case DECBEF: | | 3868 | case DECBEF: |
3869 | case INCAFT: | | 3869 | case INCAFT: |
3870 | case DECAFT: | | 3870 | case DECAFT: |
3871 | case ADDASS: | | 3871 | case ADDASS: |
3872 | case SUBASS: | | 3872 | case SUBASS: |
3873 | case MULASS: | | 3873 | case MULASS: |
3874 | case DIVASS: | | 3874 | case DIVASS: |
3875 | case MODASS: | | 3875 | case MODASS: |
3876 | case ANDASS: | | 3876 | case ANDASS: |
3877 | case ORASS: | | 3877 | case ORASS: |
3878 | case XORASS: | | 3878 | case XORASS: |
3879 | case SHLASS: | | 3879 | case SHLASS: |
3880 | case SHRASS: | | 3880 | case SHRASS: |
3881 | case REAL: | | 3881 | case REAL: |
3882 | case IMAG: | | 3882 | case IMAG: |
3883 | /* XXX: Taking warn_about_unreachable into account here feels wrong. */ | | 3883 | /* XXX: Taking warn_about_unreachable into account here feels wrong. */ |
3884 | if (ln->tn_op == NAME && (reached || !warn_about_unreachable)) { | | 3884 | if (ln->tn_op == NAME && (reached || !warn_about_unreachable)) { |
3885 | sc = ln->tn_sym->s_scl; | | 3885 | sc = ln->tn_sym->s_scl; |
3886 | /* | | 3886 | /* |
3887 | * Look if there was a asm statement in one of the | | 3887 | * Look if there was a asm statement in one of the |
3888 | * compound statements we are in. If not, we don't | | 3888 | * compound statements we are in. If not, we don't |
3889 | * print a warning. | | 3889 | * print a warning. |
3890 | */ | | 3890 | */ |
3891 | for (di = dcs; di != NULL; di = di->d_next) { | | 3891 | for (di = dcs; di != NULL; di = di->d_next) { |
3892 | if (di->d_asm) | | 3892 | if (di->d_asm) |
3893 | break; | | 3893 | break; |
3894 | } | | 3894 | } |
3895 | if (sc != EXTERN && sc != STATIC && | | 3895 | if (sc != EXTERN && sc != STATIC && |
3896 | !ln->tn_sym->s_set && !szof && di == NULL) { | | 3896 | !ln->tn_sym->s_set && !szof && di == NULL) { |
3897 | /* %s may be used before set */ | | 3897 | /* %s may be used before set */ |
3898 | warning(158, ln->tn_sym->s_name); | | 3898 | warning(158, ln->tn_sym->s_name); |
3899 | mark_as_set(ln->tn_sym); | | 3899 | mark_as_set(ln->tn_sym); |
3900 | } | | 3900 | } |
3901 | mark_as_used(ln->tn_sym, false, false); | | 3901 | mark_as_used(ln->tn_sym, false, false); |
3902 | } | | 3902 | } |
3903 | break; | | 3903 | break; |
3904 | case ASSIGN: | | 3904 | case ASSIGN: |
3905 | /* XXX: Taking warn_about_unreachable into account here feels wrong. */ | | 3905 | /* XXX: Taking warn_about_unreachable into account here feels wrong. */ |
3906 | if (ln->tn_op == NAME && !szof && (reached || !warn_about_unreachable)) { | | 3906 | if (ln->tn_op == NAME && !szof && (reached || !warn_about_unreachable)) { |
3907 | mark_as_set(ln->tn_sym); | | 3907 | mark_as_set(ln->tn_sym); |
3908 | if (ln->tn_sym->s_scl == EXTERN) | | 3908 | if (ln->tn_sym->s_scl == EXTERN) |
3909 | outusg(ln->tn_sym); | | 3909 | outusg(ln->tn_sym); |
3910 | } | | 3910 | } |
3911 | if (ln->tn_op == INDIR && ln->tn_left->tn_op == PLUS) | | 3911 | if (ln->tn_op == INDIR && ln->tn_left->tn_op == PLUS) |
3912 | /* check the range of array indices */ | | 3912 | /* check the range of array indices */ |
3913 | check_array_index(ln->tn_left, false); | | 3913 | check_array_index(ln->tn_left, false); |
3914 | break; | | 3914 | break; |
3915 | case CALL: | | 3915 | case CALL: |
3916 | lint_assert(ln->tn_op == ADDR); | | 3916 | lint_assert(ln->tn_op == ADDR); |
3917 | lint_assert(ln->tn_left->tn_op == NAME); | | 3917 | lint_assert(ln->tn_left->tn_op == NAME); |
3918 | if (!szof) | | 3918 | if (!szof) |
3919 | outcall(tn, vctx || tctx, rvdisc); | | 3919 | outcall(tn, vctx || tctx, rvdisc); |
3920 | break; | | 3920 | break; |
3921 | case EQ: | | 3921 | case EQ: |
3922 | if (hflag && eqwarn) | | 3922 | if (hflag && eqwarn) |
3923 | /* operator '==' found where '=' was expected */ | | 3923 | /* operator '==' found where '=' was expected */ |
3924 | warning(160); | | 3924 | warning(160); |
3925 | break; | | 3925 | break; |
3926 | case CON: | | 3926 | case CON: |
3927 | case NAME: | | 3927 | case NAME: |
3928 | case STRING: | | 3928 | case STRING: |
3929 | return; | | 3929 | return; |
3930 | /* LINTED206: (enumeration values not handled in switch) */ | | 3930 | /* LINTED206: (enumeration values not handled in switch) */ |
3931 | case BITOR: | | 3931 | case BITOR: |
3932 | case BITXOR: | | 3932 | case BITXOR: |
3933 | case NE: | | 3933 | case NE: |
3934 | case GE: | | 3934 | case GE: |
3935 | case GT: | | 3935 | case GT: |
3936 | case LE: | | 3936 | case LE: |
3937 | case LT: | | 3937 | case LT: |
3938 | case SHR: | | 3938 | case SHR: |
3939 | case SHL: | | 3939 | case SHL: |
3940 | case MINUS: | | 3940 | case MINUS: |
3941 | case PLUS: | | 3941 | case PLUS: |
3942 | case MOD: | | 3942 | case MOD: |
3943 | case DIV: | | 3943 | case DIV: |
3944 | case MULT: | | 3944 | case MULT: |
3945 | case INDIR: | | 3945 | case INDIR: |
3946 | case UMINUS: | | 3946 | case UMINUS: |
3947 | case UPLUS: | | 3947 | case UPLUS: |
3948 | case DEC: | | 3948 | case DEC: |
3949 | case INC: | | 3949 | case INC: |
3950 | case COMPL: | | 3950 | case COMPL: |
3951 | case NOT: | | 3951 | case NOT: |
3952 | case POINT: | | 3952 | case POINT: |
3953 | case ARROW: | | 3953 | case ARROW: |
3954 | case NOOP: | | 3954 | case NOOP: |
3955 | case BITAND: | | 3955 | case BITAND: |
3956 | case FARG: | | 3956 | case FARG: |
3957 | case CASE: | | 3957 | case CASE: |
3958 | case INIT: | | 3958 | case INIT: |
3959 | case RETURN: | | 3959 | case RETURN: |
3960 | case ICALL: | | 3960 | case ICALL: |
3961 | case CVT: | | 3961 | case CVT: |
3962 | case COMMA: | | 3962 | case COMMA: |
3963 | case FSEL: | | 3963 | case FSEL: |
3964 | case COLON: | | 3964 | case COLON: |
3965 | case QUEST: | | 3965 | case QUEST: |
3966 | case LOGOR: | | 3966 | case LOGOR: |
3967 | case LOGAND: | | 3967 | case LOGAND: |
3968 | break; | | 3968 | break; |
3969 | } | | 3969 | } |
3970 | | | 3970 | |
3971 | bool cvctx = mp->m_left_value_context; | | 3971 | bool cvctx = mp->m_left_value_context; |
3972 | bool ctctx = mp->m_left_test_context; | | 3972 | bool ctctx = mp->m_left_test_context; |
3973 | bool eq = mp->m_warn_if_operand_eq && | | 3973 | bool eq = mp->m_warn_if_operand_eq && |
3974 | !ln->tn_parenthesized && | | 3974 | !ln->tn_parenthesized && |
3975 | rn != NULL && !rn->tn_parenthesized; | | 3975 | rn != NULL && !rn->tn_parenthesized; |
3976 | | | 3976 | |
3977 | /* | | 3977 | /* |
3978 | * values of operands of ':' are not used if the type of at least | | 3978 | * values of operands of ':' are not used if the type of at least |
3979 | * one of the operands (for gcc compatibility) is void | | 3979 | * one of the operands (for gcc compatibility) is void |
3980 | * XXX test/value context of QUEST should probably be used as | | 3980 | * XXX test/value context of QUEST should probably be used as |
3981 | * context for both operands of COLON | | 3981 | * context for both operands of COLON |
3982 | */ | | 3982 | */ |
3983 | if (op == COLON && tn->tn_type->t_tspec == VOID) | | 3983 | if (op == COLON && tn->tn_type->t_tspec == VOID) |
3984 | cvctx = ctctx = false; | | 3984 | cvctx = ctctx = false; |
3985 | bool discard = op == CVT && tn->tn_type->t_tspec == VOID; | | 3985 | bool discard = op == CVT && tn->tn_type->t_tspec == VOID; |
3986 | check_expr_misc(ln, cvctx, ctctx, eq, op == CALL, discard, szof); | | 3986 | check_expr_misc(ln, cvctx, ctctx, eq, op == CALL, discard, szof); |
3987 | | | 3987 | |
3988 | switch (op) { | | 3988 | switch (op) { |
3989 | case PUSH: | | 3989 | case PUSH: |
3990 | if (rn != NULL) | | 3990 | if (rn != NULL) |
3991 | check_expr_misc(rn, false, false, eq, false, false, | | 3991 | check_expr_misc(rn, false, false, eq, false, false, |
3992 | szof); | | 3992 | szof); |
3993 | break; | | 3993 | break; |
3994 | case LOGAND: | | 3994 | case LOGAND: |
3995 | case LOGOR: | | 3995 | case LOGOR: |
3996 | check_expr_misc(rn, false, true, eq, false, false, szof); | | 3996 | check_expr_misc(rn, false, true, eq, false, false, szof); |
3997 | break; | | 3997 | break; |
3998 | case COLON: | | 3998 | case COLON: |
3999 | check_expr_misc(rn, cvctx, ctctx, eq, false, false, szof); | | 3999 | check_expr_misc(rn, cvctx, ctctx, eq, false, false, szof); |
4000 | break; | | 4000 | break; |
4001 | case COMMA: | | 4001 | case COMMA: |
4002 | check_expr_misc(rn, vctx, tctx, eq, false, false, szof); | | 4002 | check_expr_misc(rn, vctx, tctx, eq, false, false, szof); |
4003 | break; | | 4003 | break; |
4004 | default: | | 4004 | default: |
4005 | if (mp->m_binary) | | 4005 | if (mp->m_binary) |
4006 | check_expr_misc(rn, true, false, eq, false, false, | | 4006 | check_expr_misc(rn, true, false, eq, false, false, |
4007 | szof); | | 4007 | szof); |
4008 | break; | | 4008 | break; |
4009 | } | | 4009 | } |
4010 | | | 4010 | |
4011 | } | | 4011 | } |
4012 | | | 4012 | |
4013 | /* | | 4013 | /* |
4014 | * Checks the range of array indices, if possible. | | 4014 | * Checks the range of array indices, if possible. |
4015 | * amper is set if only the address of the element is used. This | | 4015 | * amper is set if only the address of the element is used. This |
4016 | * means that the index is allowed to refer to the first element | | 4016 | * means that the index is allowed to refer to the first element |
4017 | * after the array. | | 4017 | * after the array. |
4018 | */ | | 4018 | */ |
4019 | static void | | 4019 | static void |
4020 | check_array_index(tnode_t *tn, bool amper) | | 4020 | check_array_index(tnode_t *tn, bool amper) |
4021 | { | | 4021 | { |
4022 | int dim; | | 4022 | int dim; |
4023 | tnode_t *ln, *rn; | | 4023 | tnode_t *ln, *rn; |
4024 | int elsz; | | 4024 | int elsz; |
4025 | int64_t con; | | 4025 | int64_t con; |
4026 | | | 4026 | |
4027 | ln = tn->tn_left; | | 4027 | ln = tn->tn_left; |
4028 | rn = tn->tn_right; | | 4028 | rn = tn->tn_right; |
4029 | | | 4029 | |
4030 | /* We can only check constant indices. */ | | 4030 | /* We can only check constant indices. */ |
4031 | if (rn->tn_op != CON) | | 4031 | if (rn->tn_op != CON) |
4032 | return; | | 4032 | return; |
4033 | | | 4033 | |
4034 | /* Return if the left node does not stem from an array. */ | | 4034 | /* Return if the left node does not stem from an array. */ |
4035 | if (ln->tn_op != ADDR) | | 4035 | if (ln->tn_op != ADDR) |
4036 | return; | | 4036 | return; |
4037 | if (ln->tn_left->tn_op != STRING && ln->tn_left->tn_op != NAME) | | 4037 | if (ln->tn_left->tn_op != STRING && ln->tn_left->tn_op != NAME) |
4038 | return; | | 4038 | return; |
4039 | if (ln->tn_left->tn_type->t_tspec != ARRAY) | | 4039 | if (ln->tn_left->tn_type->t_tspec != ARRAY) |
4040 | return; | | 4040 | return; |
4041 | | | 4041 | |
4042 | /* | | 4042 | /* |
4043 | * For incomplete array types, we can print a warning only if | | 4043 | * For incomplete array types, we can print a warning only if |
4044 | * the index is negative. | | 4044 | * the index is negative. |
4045 | */ | | 4045 | */ |
4046 | if (is_incomplete(ln->tn_left->tn_type) && rn->tn_val->v_quad >= 0) | | 4046 | if (is_incomplete(ln->tn_left->tn_type) && rn->tn_val->v_quad >= 0) |
4047 | return; | | 4047 | return; |
4048 | | | 4048 | |
4049 | /* Get the size of one array element */ | | 4049 | /* Get the size of one array element */ |
4050 | if ((elsz = length(ln->tn_type->t_subt, NULL)) == 0) | | 4050 | if ((elsz = length(ln->tn_type->t_subt, NULL)) == 0) |
4051 | return; | | 4051 | return; |
4052 | elsz /= CHAR_SIZE; | | 4052 | elsz /= CHAR_SIZE; |
4053 | | | 4053 | |
4054 | /* Change the unit of the index from bytes to element size. */ | | 4054 | /* Change the unit of the index from bytes to element size. */ |
4055 | if (is_uinteger(rn->tn_type->t_tspec)) { | | 4055 | if (is_uinteger(rn->tn_type->t_tspec)) { |
4056 | con = (uint64_t)rn->tn_val->v_quad / elsz; | | 4056 | con = (uint64_t)rn->tn_val->v_quad / elsz; |
4057 | } else { | | 4057 | } else { |
4058 | con = rn->tn_val->v_quad / elsz; | | 4058 | con = rn->tn_val->v_quad / elsz; |
4059 | } | | 4059 | } |
4060 | | | 4060 | |
4061 | dim = ln->tn_left->tn_type->t_dim + (amper ? 1 : 0); | | 4061 | dim = ln->tn_left->tn_type->t_dim + (amper ? 1 : 0); |
4062 | | | 4062 | |
4063 | if (!is_uinteger(rn->tn_type->t_tspec) && con < 0) { | | 4063 | if (!is_uinteger(rn->tn_type->t_tspec) && con < 0) { |
4064 | /* array subscript cannot be negative: %ld */ | | 4064 | /* array subscript cannot be negative: %ld */ |
4065 | warning(167, (long)con); | | 4065 | warning(167, (long)con); |
4066 | } else if (dim > 0 && (uint64_t)con >= (uint64_t)dim) { | | 4066 | } else if (dim > 0 && (uint64_t)con >= (uint64_t)dim) { |
4067 | /* array subscript cannot be > %d: %ld */ | | 4067 | /* array subscript cannot be > %d: %ld */ |
4068 | warning(168, dim - 1, (long)con); | | 4068 | warning(168, dim - 1, (long)con); |
4069 | } | | 4069 | } |
4070 | } | | 4070 | } |
4071 | | | 4071 | |
4072 | /* | | 4072 | /* |
4073 | * Check for ordered comparisons of unsigned values with 0. | | 4073 | * Check for ordered comparisons of unsigned values with 0. |
4074 | */ | | 4074 | */ |
4075 | static void | | 4075 | static void |
4076 | check_integer_comparison(op_t op, tnode_t *ln, tnode_t *rn) | | 4076 | check_integer_comparison(op_t op, tnode_t *ln, tnode_t *rn) |
4077 | { | | 4077 | { |
4078 | tspec_t lt, rt; | | 4078 | tspec_t lt, rt; |
4079 | | | 4079 | |
4080 | lt = ln->tn_type->t_tspec; | | 4080 | lt = ln->tn_type->t_tspec; |
4081 | rt = rn->tn_type->t_tspec; | | 4081 | rt = rn->tn_type->t_tspec; |
4082 | | | 4082 | |
4083 | if (ln->tn_op != CON && rn->tn_op != CON) | | 4083 | if (ln->tn_op != CON && rn->tn_op != CON) |
4084 | return; | | 4084 | return; |
4085 | | | 4085 | |
4086 | if (!is_integer(lt) || !is_integer(rt)) | | 4086 | if (!is_integer(lt) || !is_integer(rt)) |
4087 | return; | | 4087 | return; |
4088 | | | 4088 | |
4089 | if ((hflag || pflag) && lt == CHAR && rn->tn_op == CON && | | 4089 | if ((hflag || pflag) && lt == CHAR && rn->tn_op == CON && |
4090 | (rn->tn_val->v_quad < 0 || | | 4090 | (rn->tn_val->v_quad < 0 || |
4091 | rn->tn_val->v_quad > (int)~(~0U << (CHAR_SIZE - 1)))) { | | 4091 | rn->tn_val->v_quad > (int)~(~0U << (CHAR_SIZE - 1)))) { |
4092 | /* nonportable character comparison, op %s */ | | 4092 | /* nonportable character comparison, op %s */ |
4093 | warning(230, op_name(op)); | | 4093 | warning(230, op_name(op)); |
4094 | return; | | 4094 | return; |
4095 | } | | 4095 | } |
4096 | if ((hflag || pflag) && rt == CHAR && ln->tn_op == CON && | | 4096 | if ((hflag || pflag) && rt == CHAR && ln->tn_op == CON && |
4097 | (ln->tn_val->v_quad < 0 || | | 4097 | (ln->tn_val->v_quad < 0 || |
4098 | ln->tn_val->v_quad > (int)~(~0U << (CHAR_SIZE - 1)))) { | | 4098 | ln->tn_val->v_quad > (int)~(~0U << (CHAR_SIZE - 1)))) { |
4099 | /* nonportable character comparison, op %s */ | | 4099 | /* nonportable character comparison, op %s */ |
4100 | warning(230, op_name(op)); | | 4100 | warning(230, op_name(op)); |
4101 | return; | | 4101 | return; |
4102 | } | | 4102 | } |
4103 | if (is_uinteger(lt) && !is_uinteger(rt) && | | 4103 | if (is_uinteger(lt) && !is_uinteger(rt) && |
4104 | rn->tn_op == CON && rn->tn_val->v_quad <= 0) { | | 4104 | rn->tn_op == CON && rn->tn_val->v_quad <= 0) { |
4105 | if (rn->tn_val->v_quad < 0) { | | 4105 | if (rn->tn_val->v_quad < 0) { |
4106 | /* comparison of %s with %s, op %s */ | | 4106 | /* comparison of %s with %s, op %s */ |
4107 | warning(162, type_name(ln->tn_type), | | 4107 | warning(162, type_name(ln->tn_type), |
4108 | "negative constant", op_name(op)); | | 4108 | "negative constant", op_name(op)); |
4109 | } else if (op == LT || op == GE || (hflag && op == LE)) { | | 4109 | } else if (op == LT || op == GE || (hflag && op == LE)) { |
4110 | /* comparison of %s with %s, op %s */ | | 4110 | /* comparison of %s with %s, op %s */ |
4111 | warning(162, type_name(ln->tn_type), "0", op_name(op)); | | 4111 | warning(162, type_name(ln->tn_type), "0", op_name(op)); |
4112 | } | | 4112 | } |
4113 | return; | | 4113 | return; |
4114 | } | | 4114 | } |
4115 | if (is_uinteger(rt) && !is_uinteger(lt) && | | 4115 | if (is_uinteger(rt) && !is_uinteger(lt) && |
4116 | ln->tn_op == CON && ln->tn_val->v_quad <= 0) { | | 4116 | ln->tn_op == CON && ln->tn_val->v_quad <= 0) { |
4117 | if (ln->tn_val->v_quad < 0) { | | 4117 | if (ln->tn_val->v_quad < 0) { |
4118 | /* comparison of %s with %s, op %s */ | | 4118 | /* comparison of %s with %s, op %s */ |
4119 | warning(162, "negative constant", | | 4119 | warning(162, "negative constant", |
4120 | type_name(rn->tn_type), op_name(op)); | | 4120 | type_name(rn->tn_type), op_name(op)); |
4121 | } else if (op == GT || op == LE || (hflag && op == GE)) { | | 4121 | } else if (op == GT || op == LE || (hflag && op == GE)) { |
4122 | /* comparison of %s with %s, op %s */ | | 4122 | /* comparison of %s with %s, op %s */ |
4123 | warning(162, "0", type_name(rn->tn_type), op_name(op)); | | 4123 | warning(162, "0", type_name(rn->tn_type), op_name(op)); |
4124 | } | | 4124 | } |
4125 | return; | | 4125 | return; |
4126 | } | | 4126 | } |
4127 | } | | 4127 | } |
4128 | | | 4128 | |
4129 | /* | | 4129 | /* |
4130 | * Return whether the expression can be used for static initialization. | | 4130 | * Return whether the expression can be used for static initialization. |
4131 | * | | 4131 | * |
4132 | * Constant initialization expressions must be constant or an address | | 4132 | * Constant initialization expressions must be constant or an address |
4133 | * of a static object with an optional offset. In the first case, | | 4133 | * of a static object with an optional offset. In the first case, |
4134 | * the result is returned in *offsp. In the second case, the static | | 4134 | * the result is returned in *offsp. In the second case, the static |
4135 | * object is returned in *symp and the offset in *offsp. | | 4135 | * object is returned in *symp and the offset in *offsp. |
4136 | * | | 4136 | * |
4137 | * The expression can consist of PLUS, MINUS, ADDR, NAME, STRING and | | 4137 | * The expression can consist of PLUS, MINUS, ADDR, NAME, STRING and |
4138 | * CON. Type conversions are allowed if they do not change binary | | 4138 | * CON. Type conversions are allowed if they do not change binary |
4139 | * representation (including width). | | 4139 | * representation (including width). |
4140 | * | | 4140 | * |
4141 | * C99 6.6 "Constant expressions" | | 4141 | * C99 6.6 "Constant expressions" |
4142 | * C99 6.7.8p4 restricts initializers for static storage duration | | 4142 | * C99 6.7.8p4 restricts initializers for static storage duration |
4143 | */ | | 4143 | */ |
4144 | bool | | 4144 | bool |
4145 | constant_addr(const tnode_t *tn, const sym_t **symp, ptrdiff_t *offsp) | | 4145 | constant_addr(const tnode_t *tn, const sym_t **symp, ptrdiff_t *offsp) |
4146 | { | | 4146 | { |
4147 | const sym_t *sym; | | 4147 | const sym_t *sym; |
4148 | ptrdiff_t offs1, offs2; | | 4148 | ptrdiff_t offs1, offs2; |
4149 | tspec_t t, ot; | | 4149 | tspec_t t, ot; |
4150 | | | 4150 | |
4151 | switch (tn->tn_op) { | | 4151 | switch (tn->tn_op) { |
4152 | case MINUS: | | 4152 | case MINUS: |
4153 | if (tn->tn_right->tn_op == CVT) | | 4153 | if (tn->tn_right->tn_op == CVT) |
4154 | return constant_addr(tn->tn_right, symp, offsp); | | 4154 | return constant_addr(tn->tn_right, symp, offsp); |
4155 | else if (tn->tn_right->tn_op != CON) | | 4155 | else if (tn->tn_right->tn_op != CON) |
4156 | return false; | | 4156 | return false; |
4157 | /* FALLTHROUGH */ | | 4157 | /* FALLTHROUGH */ |
4158 | case PLUS: | | 4158 | case PLUS: |
4159 | offs1 = offs2 = 0; | | 4159 | offs1 = offs2 = 0; |
4160 | if (tn->tn_left->tn_op == CON) { | | 4160 | if (tn->tn_left->tn_op == CON) { |
4161 | offs1 = (ptrdiff_t)tn->tn_left->tn_val->v_quad; | | 4161 | offs1 = (ptrdiff_t)tn->tn_left->tn_val->v_quad; |
4162 | if (!constant_addr(tn->tn_right, &sym, &offs2)) | | 4162 | if (!constant_addr(tn->tn_right, &sym, &offs2)) |
4163 | return false; | | 4163 | return false; |
4164 | } else if (tn->tn_right->tn_op == CON) { | | 4164 | } else if (tn->tn_right->tn_op == CON) { |
4165 | offs2 = (ptrdiff_t)tn->tn_right->tn_val->v_quad; | | 4165 | offs2 = (ptrdiff_t)tn->tn_right->tn_val->v_quad; |
4166 | if (tn->tn_op == MINUS) | | 4166 | if (tn->tn_op == MINUS) |
4167 | offs2 = -offs2; | | 4167 | offs2 = -offs2; |
4168 | if (!constant_addr(tn->tn_left, &sym, &offs1)) | | 4168 | if (!constant_addr(tn->tn_left, &sym, &offs1)) |
4169 | return false; | | 4169 | return false; |
4170 | } else { | | 4170 | } else { |
4171 | return false; | | 4171 | return false; |
4172 | } | | 4172 | } |
4173 | *symp = sym; | | 4173 | *symp = sym; |
4174 | *offsp = offs1 + offs2; | | 4174 | *offsp = offs1 + offs2; |
4175 | return true; | | 4175 | return true; |
4176 | case ADDR: | | 4176 | case ADDR: |
4177 | if (tn->tn_left->tn_op == NAME) { | | 4177 | if (tn->tn_left->tn_op == NAME) { |
4178 | *symp = tn->tn_left->tn_sym; | | 4178 | *symp = tn->tn_left->tn_sym; |
4179 | *offsp = 0; | | 4179 | *offsp = 0; |
4180 | return true; | | 4180 | return true; |
4181 | } else { | | 4181 | } else { |
4182 | /* | | 4182 | /* |
4183 | * If this would be the front end of a compiler we | | 4183 | * If this would be the front end of a compiler we |
4184 | * would return a label instead of 0, at least if | | 4184 | * would return a label instead of 0, at least if |
4185 | * 'tn->tn_left->tn_op == STRING'. | | 4185 | * 'tn->tn_left->tn_op == STRING'. |
4186 | */ | | 4186 | */ |
4187 | *symp = NULL; | | 4187 | *symp = NULL; |
4188 | *offsp = 0; | | 4188 | *offsp = 0; |
4189 | return true; | | 4189 | return true; |
4190 | } | | 4190 | } |
4191 | case CVT: | | 4191 | case CVT: |
4192 | t = tn->tn_type->t_tspec; | | 4192 | t = tn->tn_type->t_tspec; |
4193 | ot = tn->tn_left->tn_type->t_tspec; | | 4193 | ot = tn->tn_left->tn_type->t_tspec; |
4194 | if ((!is_integer(t) && t != PTR) || | | 4194 | if ((!is_integer(t) && t != PTR) || |
4195 | (!is_integer(ot) && ot != PTR)) { | | 4195 | (!is_integer(ot) && ot != PTR)) { |
4196 | return false; | | 4196 | return false; |
4197 | } | | 4197 | } |
4198 | #ifdef notdef | | 4198 | #ifdef notdef |
4199 | /* | | 4199 | /* |
4200 | * consider: | | 4200 | * consider: |
4201 | * struct foo { | | 4201 | * struct foo { |
4202 | * unsigned char a; | | 4202 | * unsigned char a; |
4203 | * } f = { | | 4203 | * } f = { |
4204 | * (u_char)(u_long)(&(((struct foo *)0)->a)) | | 4204 | * (u_char)(u_long)(&(((struct foo *)0)->a)) |
4205 | * }; | | 4205 | * }; |
4206 | * since psize(u_long) != psize(u_char) this fails. | | 4206 | * since psize(u_long) != psize(u_char) this fails. |
4207 | */ | | 4207 | */ |
4208 | else if (psize(t) != psize(ot)) | | 4208 | else if (psize(t) != psize(ot)) |
4209 | return -1; | | 4209 | return -1; |
4210 | #endif | | 4210 | #endif |
4211 | return constant_addr(tn->tn_left, symp, offsp); | | 4211 | return constant_addr(tn->tn_left, symp, offsp); |
4212 | default: | | 4212 | default: |
4213 | return false; | | 4213 | return false; |
4214 | } | | 4214 | } |
4215 | } | | 4215 | } |
4216 | | | 4216 | |
4217 | /* | | 4217 | /* |
4218 | * Concatenate two string constants. | | 4218 | * Concatenate two string constants. |
4219 | */ | | 4219 | */ |
4220 | strg_t * | | 4220 | strg_t * |
4221 | cat_strings(strg_t *strg1, strg_t *strg2) | | 4221 | cat_strings(strg_t *strg1, strg_t *strg2) |
4222 | { | | 4222 | { |
4223 | size_t len1, len2, len; | | 4223 | size_t len1, len2, len; |
4224 | | | 4224 | |
4225 | if (strg1->st_tspec != strg2->st_tspec) { | | 4225 | if (strg1->st_tspec != strg2->st_tspec) { |
4226 | /* cannot concatenate wide and regular string literals */ | | 4226 | /* cannot concatenate wide and regular string literals */ |
4227 | error(292); | | 4227 | error(292); |
4228 | return strg1; | | 4228 | return strg1; |
4229 | } | | 4229 | } |
4230 | | | 4230 | |
4231 | len1 = strg1->st_len; | | 4231 | len1 = strg1->st_len; |
4232 | len2 = strg2->st_len + 1; /* + NUL */ | | 4232 | len2 = strg2->st_len + 1; /* + NUL */ |
4233 | len = len1 + len2; | | 4233 | len = len1 + len2; |
4234 | | | 4234 | |
4235 | #define COPY(F) \ | | 4235 | #define COPY(F) \ |
4236 | do { \ | | 4236 | do { \ |
4237 | strg1->F = xrealloc(strg1->F, len * sizeof(*strg1->F)); \ | | 4237 | strg1->F = xrealloc(strg1->F, len * sizeof(*strg1->F)); \ |
4238 | (void)memcpy(strg1->F + len1, strg2->F, len2 * sizeof(*strg1->F)); \ | | 4238 | (void)memcpy(strg1->F + len1, strg2->F, len2 * sizeof(*strg1->F)); \ |
4239 | free(strg2->F); \ | | 4239 | free(strg2->F); \ |
4240 | } while (false) | | 4240 | } while (false) |
4241 | | | 4241 | |
4242 | if (strg1->st_tspec == CHAR) | | 4242 | if (strg1->st_tspec == CHAR) |
4243 | COPY(st_cp); | | 4243 | COPY(st_cp); |
4244 | else | | 4244 | else |
4245 | COPY(st_wcp); | | 4245 | COPY(st_wcp); |
4246 | | | 4246 | |
4247 | strg1->st_len = len - 1; /* - NUL */ | | 4247 | strg1->st_len = len - 1; /* - NUL */ |
4248 | free(strg2); | | 4248 | free(strg2); |
4249 | | | 4249 | |
4250 | return strg1; | | 4250 | return strg1; |
4251 | } | | 4251 | } |
4252 | | | 4252 | |
4253 | static bool | | 4253 | static bool |
4254 | is_confusing_precedence(op_t op, op_t lop, bool lparen, op_t rop, bool rparen) | | 4254 | is_confusing_precedence(op_t op, op_t lop, bool lparen, op_t rop, bool rparen) |
4255 | { | | 4255 | { |
4256 | | | 4256 | |
4257 | if (op == SHL || op == SHR) { | | 4257 | if (op == SHL || op == SHR) { |
4258 | if (!lparen && (lop == PLUS || lop == MINUS)) | | 4258 | if (!lparen && (lop == PLUS || lop == MINUS)) |
4259 | return true; | | 4259 | return true; |
4260 | if (!rparen && (rop == PLUS || rop == MINUS)) | | 4260 | if (!rparen && (rop == PLUS || rop == MINUS)) |
4261 | return true; | | 4261 | return true; |
4262 | return false; | | 4262 | return false; |
4263 | } | | 4263 | } |
4264 | | | 4264 | |
4265 | if (op == LOGOR) { | | 4265 | if (op == LOGOR) { |
4266 | if (!lparen && lop == LOGAND) | | 4266 | if (!lparen && lop == LOGAND) |
4267 | return true; | | 4267 | return true; |
4268 | if (!rparen && rop == LOGAND) | | 4268 | if (!rparen && rop == LOGAND) |
4269 | return true; | | 4269 | return true; |
4270 | return false; | | 4270 | return false; |
4271 | } | | 4271 | } |
4272 | | | 4272 | |
4273 | lint_assert(op == BITAND || op == BITXOR || op == BITOR); | | 4273 | lint_assert(op == BITAND || op == BITXOR || op == BITOR); |
4274 | if (!lparen && lop != op) { | | 4274 | if (!lparen && lop != op) { |
4275 | if (lop == PLUS || lop == MINUS) | | 4275 | if (lop == PLUS || lop == MINUS) |
4276 | return true; | | 4276 | return true; |
4277 | if (lop == BITAND || lop == BITXOR) | | 4277 | if (lop == BITAND || lop == BITXOR) |
4278 | return true; | | 4278 | return true; |
4279 | } | | 4279 | } |
4280 | if (!rparen && rop != op) { | | 4280 | if (!rparen && rop != op) { |
4281 | if (rop == PLUS || rop == MINUS) | | 4281 | if (rop == PLUS || rop == MINUS) |
4282 | return true; | | 4282 | return true; |
4283 | if (rop == BITAND || rop == BITXOR) | | 4283 | if (rop == BITAND || rop == BITXOR) |
4284 | return true; | | 4284 | return true; |
4285 | } | | 4285 | } |
4286 | return false; | | 4286 | return false; |
4287 | } | | 4287 | } |
4288 | | | 4288 | |
4289 | /* | | 4289 | /* |
4290 | * Print a warning if the given node has operands which should be | | 4290 | * Print a warning if the given node has operands which should be |
4291 | * parenthesized. | | 4291 | * parenthesized. |
4292 | * | | 4292 | * |
4293 | * XXX Does not work if an operand is a constant expression. Constant | | 4293 | * XXX Does not work if an operand is a constant expression. Constant |
4294 | * expressions are already folded. | | 4294 | * expressions are already folded. |
4295 | */ | | 4295 | */ |
4296 | static void | | 4296 | static void |
4297 | check_precedence_confusion(tnode_t *tn) | | 4297 | check_precedence_confusion(tnode_t *tn) |
4298 | { | | 4298 | { |
4299 | tnode_t *ln, *rn; | | 4299 | tnode_t *ln, *rn; |
4300 | | | 4300 | |
4301 | if (!hflag) | | 4301 | if (!hflag) |
4302 | return; | | 4302 | return; |
4303 | | | 4303 | |
4304 | debug_node(tn, 0); | | 4304 | debug_node(tn, 0); |
4305 | | | 4305 | |
4306 | lint_assert(modtab[tn->tn_op].m_binary); | | 4306 | lint_assert(modtab[tn->tn_op].m_binary); |
4307 | for (ln = tn->tn_left; ln->tn_op == CVT; ln = ln->tn_left) | | 4307 | for (ln = tn->tn_left; ln->tn_op == CVT; ln = ln->tn_left) |
4308 | continue; | | 4308 | continue; |
4309 | for (rn = tn->tn_right; rn->tn_op == CVT; rn = rn->tn_left) | | 4309 | for (rn = tn->tn_right; rn->tn_op == CVT; rn = rn->tn_left) |
4310 | continue; | | 4310 | continue; |
4311 | | | 4311 | |
4312 | if (is_confusing_precedence(tn->tn_op, | | 4312 | if (is_confusing_precedence(tn->tn_op, |
4313 | ln->tn_op, ln->tn_parenthesized, | | 4313 | ln->tn_op, ln->tn_parenthesized, |
4314 | rn->tn_op, rn->tn_parenthesized)) { | | 4314 | rn->tn_op, rn->tn_parenthesized)) { |
4315 | /* precedence confusion possible: parenthesize! */ | | 4315 | /* precedence confusion possible: parenthesize! */ |
4316 | warning(169); | | 4316 | warning(169); |
4317 | } | | 4317 | } |
4318 | } | | 4318 | } |