]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/c/ChangeLog
projects / thirdparty / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
PR c++/86210
[thirdparty/gcc.git] / gcc / c / ChangeLog
CommitLineData
1c67942e 12018-06-16 Kugan Vivekanandarajah <kuganv@linaro.org>
2
3 * c-typeck.c (build_unary_op): Handle ABSU_EXPR;
4 * gimple-parser.c (c_parser_gimple_statement): Likewise.
5 (c_parser_gimple_unary_expression): Likewise.
6
0245ae71 72018-06-15 Jakub Jelinek <jakub@redhat.com>
8
9 PR c/86093
10 * c-typeck.c (pointer_diff): Cast both pointers to unqualified types
11 before doing POINTER_DIFF_EXPR.
12
daca26ed 132018-06-07 Marek Polacek <polacek@redhat.com>
14
15 PR c/85318
16 * c-decl.c (check_for_loop_decls): Add -Wc90-c99-compat warning about
17 for loop initial declarations.
18
768cc20e 192018-05-30 David Pagan <dave.pagan@oracle.com>
20
21 PR c/55976
22 * c-decl.c (grokdeclarator): Update check for return type warnings.
23 (start_function): Likewise.
24 (finish_function): Likewise.
25 * c-typeck.c (c_finish_return): Update check for return type warnings.
26 Pass OPT_Wreturn_type to pedwarn when appropriate.
27
143c3c9a 282018-05-18 Richard Sandiford <richard.sandiford@linaro.org>
29
30 * gimple-parser.c (c_parser_gimple_postfix_expression): Remove
31 __FMA_EXPR handlng.
32
0fe3dc7e 332018-05-17 Richard Sandiford <richard.sandiford@linaro.org>
34
35 * gimple-parser.c: Include internal-fn.h.
36 (c_parser_gimple_statement): Treat a leading CPP_DOT as a call.
37 (c_parser_gimple_call_internal): New function.
38 (c_parser_gimple_postfix_expression): Use it to handle CPP_DOT.
39 Fix typos in comment.
40
3c43ed34 412018-05-10 Jakub Jelinek <jakub@redhat.com>
42
43 PR c++/85662
44 * c-fold.c (c_fully_fold_internal): Use fold_offsetof rather than
45 fold_offsetof_1, pass TREE_TYPE (expr) as TYPE to it and drop the
46 fold_convert_loc.
47 * c-typeck.c (build_unary_op): Use fold_offsetof rather than
48 fold_offsetof_1, pass argtype as TYPE to it and drop the
49 fold_convert_loc.
50
2fe6a798 512018-05-02 David Pagan <dave.pagan@oracle.com>
52
53 PR c/30552
54 * c-decl.c (old_style_parameter_scope): New function.
55 * c-parser.c (c_parser_postfix_expression): Check for statement
56 expressions in old-style function parameter list declarations.
57 * c-parser.h (old_style_parameter_scope): New extern declaration.
58
be4b81f3 592018-04-25 Jakub Jelinek <jakub@redhat.com>
60
61 PR sanitizer/84307
62 * c-decl.c (build_compound_literal): Call pushdecl (decl) even when
63 it is not TREE_STATIC.
64 * c-typeck.c (c_mark_addressable) <case COMPOUND_LITERAL_EXPR>: Mark
65 not just the COMPOUND_LITERAL_EXPR node itself addressable, but also
66 its COMPOUND_LITERAL_EXPR_DECL.
67
f9f5e9c3 682018-03-21 Joseph Myers <joseph@codesourcery.com>
69
70 * c-parser.c (c_parser_postfix_expression): For __builtin_tgmath
71 where all functions return the same _FloatN or _FloatNx type,
72 treat integer types as _Float64 instead of double.
73
86f1f5d1 742018-03-21 Jakub Jelinek <jakub@redhat.com>
75
76 PR c/84999
77 * c-typeck.c (build_binary_op): If c_common_type_for_size fails when
78 building vector comparison, diagnose it and return error_mark_node.
79
9040bba5 802018-03-15 Jakub Jelinek <jakub@redhat.com>
81
82 PR c/84853
83 * c-typeck.c (build_binary_op) <case RSHIFT_EXPR, case LSHIFT_EXPR>:
84 If code1 is INTEGER_TYPE, only allow code0 VECTOR_TYPE if it has
85 INTEGER_TYPE element type.
86
1b2ff8ae 872018-03-13 David Pagan <dave.pagan@oracle.com>
88
89 PR c/46921
90 * c-typeck.c (output_init_element): Ensure field initializer
91 expression is always evaluated if there are side effects.
92
bda84b10 932018-03-06 Jakub Jelinek <jakub@redhat.com>
94
95 PR c/84721
96 * c-parser.c (add_debug_begin_stmt): Don't add DEBUG_BEGIN_STMT if
97 !building_stmt_list_p ().
98
20ebaa3d 992018-02-13 Richard Sandiford <richard.sandiford@linaro.org>
100
101 PR c/84305
102 * c-decl.c (grokdeclarator): Create an anonymous TYPE_DECL
103 in PARM and TYPENAME contexts too, but attach it to a BIND_EXPR
104 and include the BIND_EXPR in the list of things that need to be
105 pre-evaluated.
106
d9757bb6 1072018-02-09 Nathan Sidwell <nathan@acm.org>
108
109 PR c/84293
110 * c-typeck.c (build_indirect_ref, build_c_cast): Pass expr location
111 to strict_aliasing_warning.
112
3cde3c29 1132018-02-02 Paolo Carlini <paolo.carlini@oracle.com>
114
115 * c-typeck.c (really_start_incremental_init, push_init_level,
116 set_nonincremental_init, output_init_element, process_init_element):
117 Use DECL_UNNAMED_BIT_FIELD.
118
d3af137c 1192018-01-31 Marek Polacek <polacek@redhat.com>
120
121 PR c/81779
122 * c-parser.c (c_parser_compound_statement_nostart): Call
123 expansion_point_location_if_in_system_header.
124
510e5f39 1252018-01-17 David Malcolm <dmalcolm@redhat.com>
126
127 PR c++/83814
128 * c-fold.c (fold_for_warn): Move from c-common.c, reducing to just
129 the C part.
130
eb2fdcf5 1312018-01-13 Jakub Jelinek <jakub@redhat.com>
132
133 PR c/83801
134 * c-tree.h (decl_constant_value_1): Add a bool argument.
135 * c-typeck.c (decl_constant_value_1): Add IN_INIT argument, allow
136 returning a CONSTRUCTOR if it is true. Use error_operand_p.
137 (decl_constant_value): Adjust caller.
138 * c-fold.c (c_fully_fold_internal): If in_init, pass true to
139 decl_constant_value_1 as IN_INIT. Otherwise, punt if
140 decl_constant_value returns initializer that has BLKmode or
141 array type.
142 (c_fully_fold_internal) <case COMPONENT_REF>: Fold if !lval.
143
f08ee65f 1442018-01-03 Richard Sandiford <richard.sandiford@linaro.org>
145 Alan Hayward <alan.hayward@arm.com>
146 David Sherwood <david.sherwood@arm.com>
147
148 * c-typeck.c (comptypes_internal, build_binary_op): Handle polynomial
149 TYPE_VECTOR_SUBPARTS.
150
8e8f6434 1512018-01-03 Jakub Jelinek <jakub@redhat.com>
152
153 Update copyright years.
154
90e1517e 1552018-01-01 Jakub Jelinek <jakub@redhat.com>
156
157 PR c/83595
158 * c-parser.c (c_parser_braced_init, c_parser_initelt,
159 c_parser_conditional_expression, c_parser_cast_expression,
160 c_parser_sizeof_expression, c_parser_alignof_expression,
161 c_parser_postfix_expression, c_parser_omp_declare_reduction,
162 c_parser_transaction_expression): Use set_error () method instead
163 of setting value member to error_mark_node.
164
054e9558 1652017-12-28 Michael Meissner <meissner@linux.vnet.ibm.com>
166
167 * c-decl.c (header_for_builtin_fn): Add integer rounding _Float<N>
168 and _Float<N>X built-in functions.
169
2ea33951 1702017-12-22 Jakub Jelinek <jakub@redhat.com>
171
be7ed04d 172 PR debug/83550
173 * c-decl.c (finish_struct): Set DECL_SOURCE_LOCATION on
174 TYPE_STUB_DECL and call rest_of_type_compilation before processing
175 incomplete vars rather than after it.
176
2ea33951 177 PR debug/83547
178 * c-typeck.c (c_finish_stmt_expr): Ignore !TREE_SIDE_EFFECTS as
179 indicator of ({ }), instead skip all trailing DEBUG_BEGIN_STMTs first,
180 and consider empty ones if there are no other stmts. For
181 -Wunused-value walk all statements before the one only followed by
182 DEBUG_BEGIN_STMTs.
183
82841c8f 1842017-12-22 Mike Stump <mikestump@comcast.net>
185 Eric Botcazou <ebotcazou@adacore.com>
186
187 * c-parser.c (c_parser_while_statement): Add unroll parameter and
188 build ANNOTATE_EXPR if present. Add 3rd operand to ANNOTATE_EXPR.
189 (c_parser_do_statement): Likewise.
190 (c_parser_for_statement): Likewise.
191 (c_parser_statement_after_labels): Adjust calls to above.
192 (c_parse_pragma_ivdep): New static function.
193 (c_parser_pragma_unroll): Likewise.
194 (c_parser_pragma) <PRAGMA_IVDEP>: Add support for pragma Unroll.
195 <PRAGMA_UNROLL>: New case.
196
c9281ef8 1972017-12-19 Jakub Jelinek <jakub@redhat.com>
198
199 * c-typeck.c (comptypes_internal, function_types_compatible_p,
200 perform_integral_promotions, digest_init): Replace Yoda conditions
201 with typical order conditions.
202 * c-decl.c (check_bitfield_type_and_width): Likewise.
203
d76c514d 2042017-12-14 Bernd Edlinger <bernd.edlinger@hotmail.de>
205
206 * c-typeck.c (c_safe_arg_type_equiv_p,
207 c_safe_function_type_cast_p): New function.
208 (build_c_cast): Implement -Wcast-function-type.
209
00e92272 2102017-12-14 Richard Biener <rguenther@suse.de>
211
212 PR c/83415
213 * c-fold.c (c_fully_fold_internal): Treat VIEW_CONVERT_EXPR
214 like REALPART_EXPR for the behavior of whether its operand
215 is an lvalue.
216
a7625351 2172017-12-12 Marek Polacek <polacek@redhat.com>
218
219 PR c/82679
220 * c-decl.c (grokdeclarator): Check declspecs insted of atomicp.
221
90567983 2222017-12-12 Alexandre Oliva <aoliva@redhat.com>
223
224 * c-objc-common.h (LANG_HOOKS_EMITS_BEGIN_STMT): Redefine as true.
225 * c-parser.c (add_debug_begin_stmt): New.
226 (c_parser_declaration_or_fndef): Call it.
227 (c_parser_compound_statement_nostart): Likewise.
228 (c_parser_statement_after_labels): Likewise.
229 * c-typeck (c_finish_stmt_expr): Skip begin stmts markers.
230
a52dedf5 2312017-12-07 Joseph Myers <joseph@codesourcery.com>
232
233 * c-decl.c (build_compound_literal): Add parameter alignas_align
234 and set alignment of decl if nonzero.
235 * c-parser.c (c_keyword_starts_typename): Allow RID_ALIGNAS.
236 (c_parser_declspecs): Allow RID_ALIGNAS to follow a type, like a
237 qualifier.
238 (c_parser_struct_declaration): Update syntax comment.
239 (c_parser_type_name): Add alignas_ok argument and pass it to
240 c_parser_declspecs.
241 (c_parser_cast_expression): Pass true to c_parser_type_name and
242 give error if a cast used an _Alignas specifier.
243 (c_parser_sizeof_expression): Pass true to c_parser_type_name and
244 give error if sizeof (type-name) used an _Alignas specifier.
245 (c_parser_alignof_expression): Pass true to c_parser_type_name and
246 give error if _Alignof (type-name) used an _Alignas specifier.
247 (c_parser_postfix_expression_after_paren_type): Check specified
248 alignment for a compound literal and pass it to
249 build_compound_literal.
250 * c-parser.h (c_parser_type_name): Update prototype.
251 * c-tree.h (build_compound_literal): Update prototype.
252
dab0e385 2532017-12-07 Martin Sebor <msebor@redhat.com>
254
255 PR c/81544
256 * c-decl.c (c_decl_attributes): Look up existing declaration and
257 pass it to decl_attributes.
258
08233401 2592017-12-06 David Malcolm <dmalcolm@redhat.com>
260
261 PR c/83236
262 * c-decl.c (lookup_name_fuzzy): Don't suggest names that are
263 reserved for use by the implementation.
264
aa0e50a0 2652017-12-06 David Malcolm <dmalcolm@redhat.com>
266
267 * c-decl.c: Include "c-family/c-spellcheck.h".
268
eabe2d94 2692017-12-05 Martin Liska <mliska@suse.cz>
270 Jakub Jelinek <jakub@redhat.com>
271
272 * c-typeck.c (pointer_diff): Add new argument and instrument
273 pointer subtraction.
274 (build_binary_op): Similar for pointer comparison.
275
a8f15ac7 2762017-12-01 Jakub Jelinek <jakub@redhat.com>
277
17cf92d6 278 PR c/79153
279 * c-parser.c: Include tree-iterator.h.
280 (c_parser_switch_statement): Emit LABEL_EXPR for the break label
281 into SWITCH_BODY instead of after it and set SWITCH_BREAK_LABEL_P
282 on it.
283
a8f15ac7 284 PR c/83222
285 * c-tree.h (decl_constant_value_1): Declare.
286 * c-typeck.c (decl_constant_value_1): New function.
287 (decl_constant_value): Use it.
288 * c-fold.c (c_fully_fold_internal): If in_init, use
289 decl_constant_value_1 instead of decl_constant_value.
290
7f38a6aa 2912017-11-30 Jakub Jelinek <jakub@redhat.com>
292
293 * c-parser.c (c_parser_postfix_expression): Use ; instead of ;;.
294
dfa10f0d 2952017-11-28 Jakub Jelinek <jakub@redhat.com>
296
297 PR sanitizer/81275
298 * c-typeck.c (c_finish_case): Set SWITCH_ALL_CASES_P if
299 c_switch_covers_all_cases_p returns true.
300
efa02472 3012017-11-28 Julia Koval <julia.koval@intel.com>
302 Sebastian Peryt <sebastian.peryt@intel.com>
303
304 * Make-lang.in (c/c-array-notation.o): Remove.
305 * c-array-notation.c: Delete.
306 * c-decl.c: Remove cilkplus condition.
307 * c-parser.c (c_parser_cilk_simd, c_parser_cilk_for,
308 c_parser_cilk_verify_simd, c_parser_array_notation,
309 c_parser_cilk_clause_vectorlength, c_parser_cilk_grainsize,
310 c_parser_cilk_simd_fn_vector_attrs,
311 c_finish_cilk_simd_fn_tokens): Delete.
312 (c_parser_declaration_or_fndef): Remove cilkplus condition.
313 (c_parser_direct_declarator_inner): Ditto.
314 (CILK_SIMD_FN_CLAUSE_MASK): Delete.
315 (c_parser_attributes, c_parser_compound_statement,
316 c_parser_statement_after_labels, c_parser_if_statement,
317 c_parser_switch_statement, c_parser_while_statement,
318 c_parser_do_statement, c_parser_for_statement,
319 c_parser_unary_expression, c_parser_postfix_expression,
320 c_parser_postfix_expression_after_primary,
321 c_parser_pragma, c_parser_omp_clause_name, c_parser_omp_all_clauses,
322 c_parser_omp_for_loop, c_finish_omp_declare_simd): Remove cilkplus
323 support.
324 * c-typeck.c (build_array_ref, build_function_call_vec,
325 convert_arguments,
326 lvalue_p, build_compound_expr, c_finish_return, c_finish_if_stmt,
327 c_finish_loop, build_binary_op): Remove cilkplus support.
328
bd37ce3e 3292017-11-28 Jakub Jelinek <jakub@redhat.com>
330
331 * c-typeck.c (c_start_case): Build SWITCH_EXPR using build2 instead
332 of build3.
333
864319e6 3342017-11-14 Boris Kolpackov <boris@codesynthesis.com>
335
336 * Make-lang.in (c.install-plugin): Install backend import library.
337
59b23ab9 3382017-11-23 Jakub Jelinek <jakub@redhat.com>
339
340 * c-parser.c (c_parser_omp_declare_simd): Reject declare simd in
341 pragma_stmt context.
342
2a09b28c 3432017-11-23 Mike Stump <mikestump@comcast.net>
344 Eric Botcazou <ebotcazou@adacore.com>
345
346 * c-parser.c (c_parser_while_statement): Pass 3rd operand to
347 ANNOTATE_EXPR.
348 (c_parser_do_statement): Likewise.
349 (c_parser_for_statement): Likewise.
350
8e4391a5 3512017-11-22 David Malcolm <dmalcolm@redhat.com>
352
353 PR c++/62170
354 * c-objc-common.c (c_tree_printer): Convert penultimate param from
355 bool to bool *. Within '%T' handling, if showing an "aka", use
356 "quoted" param to add appropriate quoting.
357
532d84ff 3582017-11-22 Marek Polacek <polacek@redhat.com>
359
360 PR c++/60336
361 PR middle-end/67239
362 PR target/68355
363 * c-decl.c (grokdeclarator): Set DECL_PADDING_P on unnamed bit-fields.
364
b8a6d52b 3652017-11-21 David Malcolm <dmalcolm@redhat.com>
366
367 PR c/83056
368 * c-decl.c (lookup_name_fuzzy): Don't suggest names that came from
369 earlier failed lookups.
370
57e83b58 3712017-11-21 Marc Glisse <marc.glisse@inria.fr>
372
373 * c-fold.c (c_fully_fold_internal): Handle POINTER_DIFF_EXPR.
374 * c-typeck.c (pointer_diff): Use POINTER_DIFF_EXPR.
375
145fb49f 3762017-11-20 David Malcolm <dmalcolm@redhat.com>
377
378 PR c/81404
379 * c-decl.c: Include "c-family/known-headers.h".
380 (get_c_name_hint): Rename to get_stdlib_header_for_name and move
381 to known-headers.cc.
382 (class suggest_missing_header): Move to known-header.h.
383 (lookup_name_fuzzy): Call get_c_stdlib_header_for_name rather
384 than get_c_name_hint.
385
0911a8d3 3862017-11-20 David Malcolm <dmalcolm@redhat.com>
387
388 * c-decl.c (get_c_name_hint): New function.
389 (class suggest_missing_header): New class.
390 (lookup_name_fuzzy): Call get_c_name_hint and use it to
391 suggest missing headers to the user.
392
dd008336 3932017-11-20 David Malcolm <dmalcolm@redhat.com>
394
395 * c-decl.c: Define INCLUDE_UNIQUE_PTR before including system.h.
396 Include "c-family/name-hint.h"
397 (implicit_decl_warning): Convert "hint" from
398 const char * to name_hint. Pass location to
399 lookup_name_fuzzy. Suppress any deferred diagnostic if the
400 warning was not printed.
401 (undeclared_variable): Likewise for "guessed_id".
402 (lookup_name_fuzzy): Convert return type from const char *
403 to name_hint. Add location_t param.
404 * c-parser.c: Define INCLUDE_UNIQUE_PTR before including system.h.
405 Include "c-family/name-hint.h"
406 (c_parser_declaration_or_fndef): Convert "hint" from
407 const char * to name_hint. Pass location to lookup_name_fuzzy.
408 (c_parser_parameter_declaration): Likewise.
409
69cd03b2 4102017-11-19 Jakub Jelinek <jakub@redhat.com>
411
412 PR c/66618
413 PR c/69960
414 * c-parser.c (c_parser_omp_atomic): Pass true as LVAL to c_fully_fold
415 where needed.
416 * c-typeck.c (build_unary_op, build_modify_expr, build_asm_expr,
417 handle_omp_array_sections): Likewise.
418 (digest_init): Don't call decl_constant_value_for_optimization.
419 * c-tree.h (decl_constant_value_for_optimization): Removed.
420 * c-fold.c (c_fold_array_ref): New function.
421 (c_fully_fold_internal): Add LVAL argument, propagate it through
422 recursive calls. For VAR_P call decl_constant_value and
423 unshare if not LVAL and either optimizing or IN_INIT. Remove
424 decl_constant_value_for_optimization calls. If IN_INIT and not LVAL,
425 fold ARRAY_REF with STRING_CST and INTEGER_CST operands.
426 (c_fully_fold): Add LVAL argument, pass it through to
427 c_fully_fold_internal.
428 (decl_constant_value_for_optimization): Removed.
429
aac64699 4302017-11-15 Joseph Myers <joseph@codesourcery.com>
431
432 PR c/81156
433 * c-parser.c (check_tgmath_function): New function.
434 (enum tgmath_parm_kind): New enum.
435 (c_parser_postfix_expression): Handle __builtin_tgmath.
436
3b6578b3 4372017-10-31 David Malcolm <dmalcolm@redhat.com>
438
439 * c-decl.c (implicit_decl_warning): Update for renaming of
440 pedwarn_at_rich_loc and warning_at_rich_loc.
441 (implicitly_declare): Likewise for renaming of inform_at_rich_loc.
442 (undeclared_variable): Likewise for renaming of error_at_rich_loc.
443 * c-parser.c (c_parser_declaration_or_fndef): Likewise.
444 (c_parser_struct_or_union_specifier): Likewise for renaming of
445 pedwarn_at_rich_loc.
446 (c_parser_parameter_declaration): Likewise for renaming of
447 error_at_rich_loc.
448 * c-typeck.c (build_component_ref): Likewise.
449 (build_unary_op): Likewise for renaming of inform_at_rich_loc.
450 (pop_init_level): Likewise for renaming of warning_at_rich_loc.
451 (set_init_label): Likewise for renaming of error_at_rich_loc.
452
c22b2783 4532017-10-30 Richard Biener <rguenther@suse.de>
454
455 * gimple-parser.c (c_parser_gimple_statement): Parse conditional
456 stmts.
457
8c32188e 4582017-10-27 Michael Meissner <meissner@linux.vnet.ibm.com>
459
460 * c-decl.c (header_for_builtin_fn): Add support for copysign, fma,
461 fmax, fmin, and sqrt _Float<N> and _Float<N>X variants.
462
133bd9b8 4632017-10-25 David Malcolm <dmalcolm@redhat.com>
464
465 PR c/7356
466 * c-parser.c (c_parser_declaration_or_fndef): Detect missing
467 semicolons.
468
ac50cb09 4692017-10-25 Jakub Jelinek <jakub@redhat.com>
470
471 PR libstdc++/81706
472 * c-decl.c (merge_decls): Copy "omp declare simd" attributes from
473 newdecl to corresponding __builtin_ if any.
474
41ca0095 4752017-10-24 Paolo Carlini <paolo.carlini@oracle.com>
476
477 PR c++/82466
478 * c-decl.c (diagnose_mismatched_decls): Use
479 OPT_Wbuiltin_declaration_mismatch.
480
74578794 4812017-10-12 David Malcolm <dmalcolm@redhat.com>
482
483 * c-parser.c (c_parser_require): Add "type_is_unique" param and
484 use it to guard calls to maybe_suggest_missing_token_insertion.
485 (c_parser_parms_list_declarator): Override default value of new
486 "type_is_unique" param to c_parser_require.
487 (c_parser_asm_statement): Likewise.
488 * c-parser.h (c_parser_require): Add "type_is_unique" param,
489 defaulting to true.
490
3bdf5a5d 4912017-10-11 Nathan Sidwell <nathan@acm.org>
492
493 * c-decl.c (grokdeclarator): Check HAS_DECL_ASSEMBLER_NAME_P too.
494
e3d0f65c 4952017-10-10 Richard Sandiford <richard.sandiford@linaro.org>
496
497 * c-parser.c (c_parser_cilk_clause_vectorlength): Use wi::to_wide when
498 operating on trees as wide_ints.
499 * c-typeck.c (build_c_cast, c_finish_omp_clauses): Likewise.
500 (c_tree_equal): Likewise.
501
b6fde48e 5022017-10-04 David Malcolm <dmalcolm@redhat.com>
503
504 * c-decl.c (push_parm_decl): Store c_parm's location into the
505 PARAM_DECL.
506 (build_c_parm): Add "loc" param and store it within the c_parm.
507 * c-parser.c (struct c_parser): Add "last_token_location" field.
508 (c_parser_consume_token): Store location of the token into the
509 new field.
510 (c_parser_declaration_or_fndef): Store params into DECL_ARGUMENTS
511 when handling a FUNCTION_DECL, if it doesn't already have them.
512 (c_parser_parameter_declaration): Generate a location for the
513 parameter, and pass it to the call to build_c_parm.
514 * c-tree.h (struct c_parm): Add field "loc".
515 (build_c_parm): Add location_t param.
516 * c-typeck.c (get_fndecl_argument_location): New function.
517 (inform_for_arg): New function.
518 (convert_for_assignment): Use inform_for_arg when dealing with
519 ic_argpass.
520
e786f452 5212017-09-29 Jakub Jelinek <jakub@redhat.com>
522
52f26f82 523 * c-decl.c (grokfield): Use SET_DECL_C_BIT_FIELD here if
524 width is non-NULL.
525 (finish_struct): Test DECL_C_BIT_FIELD instead of DECL_INITIAL,
526 don't SET_DECL_C_BIT_FIELD here.
527
e786f452 528 PR c/82340
529 * c-decl.c (build_compound_literal): Use c_apply_type_quals_to_decl
530 instead of trying to set just TREE_READONLY manually.
531
93b7a91b 5322017-09-16 Tom de Vries <tom@codesourcery.com>
533
534 PR c/81875
535 * c-parser.c (c_parser_omp_for_loop): Fold only operands of cond, not
536 cond itself.
537
3507457a 5382017-09-15 Joseph Myers <joseph@codesourcery.com>
539
540 PR c/82071
541 * c-typeck.c (ep_convert_and_check): Just call convert_and_check
542 for C11.
543 (build_conditional_expr): For C11, generate result with excess
544 precision when one argument is an integer and the other is of a
545 type using excess precision.
546
7ceee42d 5472017-09-15 Bernd Edlinger <bernd.edlinger@hotmail.de>
548
549 * c-typeck.c (build_c_cast): Implement -Wcast-align=strict.
550
2be90a05 5512017-09-13 Marek Polacek <polacek@redhat.com>
552
553 PR c/82167
554 * c-typeck.c (c_expr_sizeof_expr): Use the type of expr.value rather
555 than expr.original_type.
556
daf40ee6 5572017-09-12 Nathan Sidwell <nathan@acm.org>
558
559 * c-decl.c (field_decl_cmp, resort_data, resort_field_decl_cmp,
560 resort_sorted_fields): Moved from c-family/c-common.c.
561 * c-lang.h (struct sorted_fields_type): Moved from c-family/c-common.h.
562
de7757ed 5632017-09-01 Joseph Myers <joseph@codesourcery.com>
564
565 PR c/82071
566 * c-typeck.c (build_atomic_assign): Handle argument with excess
567 precision. Ensure any EXCESS_PRECISION_EXPR is present in
568 argument passed to build_binary_op and convert_for_assignment but
569 not for call to c_fully_fold.
570 (build_modify_expr): Do not remove EXCESS_PRECISION_EXPR early.
571 Ensure build_binary_op is called with argument with original
572 semantic type. Avoid calling c_fully_fold with an
573 EXCESS_PRECISION_EXPR from build_binary_op.
574
1e52a582 5752017-09-01 Jakub Jelinek <jakub@redhat.com>
576
577 PR c/81887
578 * c-parser.c (c_parser_omp_ordered): Handle -fopenmp-simd.
579
3d2b0034 5802017-08-30 Richard Sandiford <richard.sandiford@linaro.org>
581 Alan Hayward <alan.hayward@arm.com>
582 David Sherwood <david.sherwood@arm.com>
583
584 * c-typeck.c (build_binary_op): Use SCALAR_TYPE_MODE.
585 (c_common_type): Likewise. Use as_a <scalar_mode> when setting
586 m1 and m2 to the signed equivalent of a fixed-point
587 SCALAR_TYPE_MODE.
588
0bdd7941 5892017-08-24 David Malcolm <dmalcolm@redhat.com>
590
591 * c-tree.h (c_expr::get_location) Use EXPR_HAS_LOCATION rather
592 than CAN_HAVE_LOCATION_P when determining whether to use the
593 location_t value within "value".
594
43f0de17 5952017-08-21 David Malcolm <dmalcolm@redhat.com>
596
597 * c-parser.c (c_parser_expr_list): Use c_expr::get_location ()
598 rather than peeking the location of the first token.
599 * c-tree.h (c_expr::get_location): New method.
600
a115c319 6012017-08-21 David Malcolm <dmalcolm@redhat.com>
602
603 * c-typeck.c (build_function_call_vec): Pass arg_loc to call
604 to check_function_arguments.
605
23bafc2f 6062017-08-18 Marek Polacek <polacek@redhat.com>
607
608 * c-parser.c (c_parser_postfix_expression): Remove unused code. Update
609 commentary.
610
4bec7283 6112017-08-18 H.J. Lu <hongjiu.lu@intel.com>
612
613 PR c/53037
614 * c-decl.c (merge_decls): Also merge DECL_WARN_IF_NOT_ALIGN.
615 (check_bitfield_type_and_width): Don't allow bit-field with
616 warn_if_not_aligned type.
617
c8616982 6182017-08-14 Martin Sebor <msebor@redhat.com>
619
620 PR c/81117
621 * c-objc-common.c (c_objc_common_init): Handle 'G'.
622
0eb79e8b 6232017-08-11 Marek Polacek <polacek@redhat.com>
624
625 PR c/81795
626 * c-decl.c (pushtag): Only print inform if the warning was printed.
627 (grokdeclarator): Likewise.
628
3fe34694 6292017-08-10 David Malcolm <dmalcolm@redhat.com>
630
631 * c-parser.c (c_parser_error): Rename to...
632 (c_parser_error_richloc): ...this, making static, and adding
633 "richloc" parameter, passing it to the c_parse_error call,
634 rather than calling c_parser_set_source_position_from_token.
635 (c_parser_error): Reintroduce, reimplementing in terms of the
636 above, converting return type from void to bool.
637 (class token_pair): New class.
638 (struct matching_paren_traits): New struct.
639 (matching_parens): New typedef.
640 (struct matching_brace_traits): New struct.
641 (matching_braces): New typedef.
642 (get_matching_symbol): New function.
643 (c_parser_require): Add param MATCHING_LOCATION, using it to
644 highlight matching "opening" tokens for missing "closing" tokens.
645 (c_parser_skip_until_found): Likewise.
646 (c_parser_static_assert_declaration_no_semi): Convert explicit
647 parsing of CPP_OPEN_PAREN and CPP_CLOSE_PAREN to use of
648 class matching_parens, so that the pertinent open parenthesis is
649 highlighted when there are problems locating the close
650 parenthesis.
651 (c_parser_struct_or_union_specifier): Likewise.
652 (c_parser_typeof_specifier): Likewise.
653 (c_parser_alignas_specifier): Likewise.
654 (c_parser_simple_asm_expr): Likewise.
655 (c_parser_braced_init): Likewise, for matching_braces.
656 (c_parser_paren_condition): Likewise, for matching_parens.
657 (c_parser_switch_statement): Likewise.
658 (c_parser_for_statement): Likewise.
659 (c_parser_asm_statement): Likewise.
660 (c_parser_asm_operands): Likewise.
661 (c_parser_cast_expression): Likewise.
662 (c_parser_sizeof_expression): Likewise.
663 (c_parser_alignof_expression): Likewise.
664 (c_parser_generic_selection): Likewise.
665 (c_parser_postfix_expression): Likewise for cases RID_VA_ARG,
666 RID_OFFSETOF, RID_TYPES_COMPATIBLE_P, RID_AT_SELECTOR,
667 RID_AT_PROTOCOL, RID_AT_ENCODE, reindenting as necessary.
668 In case CPP_OPEN_PAREN, pass loc_open_paren to the
669 c_parser_skip_until_found call.
670 (c_parser_objc_class_definition): Use class matching_parens as
671 above.
672 (c_parser_objc_method_decl): Likewise.
673 (c_parser_objc_try_catch_finally_statement): Likewise.
674 (c_parser_objc_synchronized_statement): Likewise.
675 (c_parser_objc_at_property_declaration): Likewise.
676 (c_parser_oacc_wait_list): Likewise.
677 (c_parser_omp_var_list_parens): Likewise.
678 (c_parser_omp_clause_collapse): Likewise.
679 (c_parser_omp_clause_default): Likewise.
680 (c_parser_omp_clause_if): Likewise.
681 (c_parser_omp_clause_num_threads): Likewise.
682 (c_parser_omp_clause_num_tasks): Likewise.
683 (c_parser_omp_clause_grainsize): Likewise.
684 (c_parser_omp_clause_priority): Likewise.
685 (c_parser_omp_clause_hint): Likewise.
686 (c_parser_omp_clause_defaultmap): Likewise.
687 (c_parser_oacc_single_int_clause): Likewise.
688 (c_parser_omp_clause_ordered): Likewise.
689 (c_parser_omp_clause_reduction): Likewise.
690 (c_parser_omp_clause_schedule): Likewise.
691 (c_parser_omp_clause_num_teams): Likewise.
692 (c_parser_omp_clause_thread_limit): Likewise.
693 (c_parser_omp_clause_aligned): Likewise.
694 (c_parser_omp_clause_linear): Likewise.
695 (c_parser_omp_clause_safelen): Likewise.
696 (c_parser_omp_clause_simdlen): Likewise.
697 (c_parser_omp_clause_depend): Likewise.
698 (c_parser_omp_clause_map): Likewise.
699 (c_parser_omp_clause_device): Likewise.
700 (c_parser_omp_clause_dist_schedule): Likewise.
701 (c_parser_omp_clause_proc_bind): Likewise.
702 (c_parser_omp_clause_uniform): Likewise.
703 (c_parser_omp_for_loop): Likewise.
704 (c_parser_cilk_clause_vectorlength): Likewise.
705 (c_parser_cilk_clause_linear): Likewise.
706 (c_parser_transaction_expression): Likewise.
707 * c-parser.h (c_parser_require): Add param matching_location with
708 default UNKNOWN_LOCATION.
709 (c_parser_error): Convert return type from void to bool.
710 (c_parser_skip_until_found): Add param matching_location with
711 default UNKNOWN_LOCATION.
712
623ee358 7132017-08-09 Marek Polacek <polacek@redhat.com>
714
715 * c-decl.c (build_enumerator): Use true/false instead of 1/0.
716 * c-tree.h (build_external_ref): Update declaration.
717 * c-typeck.c (build_array_ref): Use true/false instead of 1/0.
718 (build_external_ref): Change the type of a parameter to bool.
719 (parser_build_binary_op): Use true/false instead of 1/0.
720 (pointer_diff): Likewise.
721 (build_modify_expr): Likewise.
722 (set_designator): Change the type of a parameter to bool.
723 (set_init_index): Use true/false instead of 1/0.
724 (set_init_label): Likewise.
725 (output_init_element): Change the type of a parameter to bool.
726 (output_pending_init_elements): Use true/false instead of 1/0.
727 (process_init_element): Likewise.
728 (build_binary_op): Change the type of a parameter to bool.
729
88539b96 7302017-08-09 Marek Polacek <polacek@redhat.com>
731
732 PR c/81233
733 * c-typeck.c (pedwarn_init): Make the function take a variable list.
734 Call emit_diagnostic_valist instead of pedwarn.
735 (convert_for_assignment): Unroll the PEDWARN_FOR_ASSIGNMENT macro.
736 Print the relevant types in diagnostics.
737
cb4d9ee2 7382017-08-09 Marek Polacek <polacek@redhat.com>
739
740 PR c/81417
741 * c-array-notation.c (fix_builtin_array_notation_fn): Update calls to
742 build_conditional_expr.
743 * c-parser.c (c_parser_conditional_expression): Create locations for
744 EXP1 and EXP2 from their source ranges. Pass the locations down to
745 build_conditional_expr.
746 * c-tree.h (build_conditional_expr): Update declaration.
747 * c-typeck.c (build_conditional_expr): Add location_t parameters.
748 For -Wsign-compare, also print the types.
749
30a86690 7502017-08-08 Martin Liska <mliska@suse.cz>
751
752 * c-convert.c: Include header files.
753 * c-typeck.c: Likewise.
754
1610e7fb 7552017-08-07 Martin Liska <mliska@suse.cz>
756
757 * c-parser.c (c_parser_attributes): Canonicalize name of an
758 attribute.
759
9b184593 7602017-08-02 Marek Polacek <polacek@redhat.com>
761
762 PR c/81289
763 * c-parser.c (c_parser_unary_expression): Use set_error.
764
ef85bba9 765 PR c/81448
766 PR c/81306
767 * c-warn.c (warn_for_multistatement_macros): Prevent bogus
768 warnings. Avoid walking MACRO_MAP_LOCATIONS.
769
38ef3642 7702017-07-31 Jan Hubicka <hubicka@ucw.cz>
771 Martin Liska <mliska@suse.cz>
772
773 * c-typeck.c (c_finish_goto_label): Build gimple predict
9b184593 774 statement.
38ef3642 775
dadc219c 7762017-07-31 Martin Liska <mliska@suse.cz>
777
778 PR sanitize/81530
779 * c-convert.c (convert): Guard condition with flag_sanitize_p
780 also with current_function_decl non-null equality.
781 * c-decl.c (grokdeclarator): Likewise.
782 * c-typeck.c (build_binary_op): Likewise.
783
abec4134 7842017-07-25 Marek Polacek <polacek@redhat.com>
785
786 * c-decl.c (grokfield): Remove local variable.
787
662c96a9 7882017-07-25 Marek Polacek <polacek@redhat.com>
789
790 PR c/81364
791 * c-parser.c (c_parser_else_body): Don't warn about multistatement
792 macro expansion if the body is in { }.
793 (c_parser_while_statement): Likewise.
794 (c_parser_for_statement): Likewise.
795
a8de6c92 7962017-07-18 Nathan Sidwell <nathan@acm.org>
797
798 * c-parser.c (c_parser_array_notation): Use TYPE_{MIN,MAX}_VALUE.
799
7f9c8569 8002017-07-14 David Malcolm <dmalcolm@redhat.com>
801
802 * c-decl.c (implicitly_declare): When suggesting a missing
803 #include, provide a fix-it hint.
804
7051d239 8052017-07-06 David Malcolm <dmalcolm@redhat.com>
806
807 * c-lang.c (selftest::run_c_tests): Move body to c_family_tests,
808 and call that instead.
809 * c-tree.h (selftest::run_c_tests): New decl.
810
2bfb0686 8112017-06-26 Marek Polacek <polacek@redhat.com>
812
813 PR c/80116
814 * c-parser.c (c_parser_if_body): Set the location of the
815 body of the conditional after parsing all the labels. Call
816 warn_for_multistatement_macros.
817 (c_parser_else_body): Likewise.
818 (c_parser_switch_statement): Likewise.
819 (c_parser_while_statement): Likewise.
820 (c_parser_for_statement): Likewise.
821 (c_parser_statement): Add a default argument. Save the location
822 after labels have been parsed.
823 (c_parser_c99_block_statement): Likewise.
824
edd07ff6 8252017-06-19 Richard Biener <rguenther@suse.de>
826
827 * gimple-parser.c (c_parser_gimple_postfix_expression): Handle
828 negated _Literals to parse _Literal (int) -1.
829
9917317a 8302017-06-13 Martin Liska <mliska@suse.cz>
831
832 PR sanitize/78204
833 * c-convert.c (convert): Use sanitize_flags_p.
834 * c-decl.c (grokdeclarator): Likewise.
835 * c-typeck.c (convert_for_assignment): Likewise.
836 (c_finish_return): Likewise.
837 (build_binary_op): Likewise.
838
37ce62dc 8392017-06-08 Jakub Jelinek <jakub@redhat.com>
840
841 PR c/81006
842 * c-typeck.c (handle_omp_array_sections_1): Convert TYPE_MAX_VALUE
843 to sizetype before size_binop.
844
73714718 8452017-06-07 Jakub Jelinek <jakub@redhat.com>
846
847 * gimple-parser.c (c_parser_parse_gimple_body): Use TDI_gimple instead
848 of TDI_generic.
849
1d1d0f37 8502017-06-06 Marek Polacek <polacek@redhat.com>
851
852 PR c/79983
853 * c-decl.c (start_struct): Use the location of TYPE_STUB_DECL of
854 ref.
855 (start_enum): Use the location of TYPE_STUB_DECL of enumtype.
856
0ca70bfd 8572017-06-02 Bernd Edlinger <bernd.edlinger@hotmail.de>
858
859 * c-parser.c (c_parser_binary_expression): Implement the
860 -Wsizeof_pointer_div warning.
861 (c_parser_postfix_expression): Allow SIZEOF_EXPR as expr.original_code
862 from a parenthesized expression.
863 (c_parser_expr_list): Use c_last_sizeof_loc.
864 * c-tree.h (c_last_sizeof_loc): New external.
865 * c-typeck.c (c_last_sizeof_loc): New variable.
866 (c_expr_sizeof_expr, c_expr_sizeof_type): Assign c_last_sizeof_loc.
867
8c7a5be5 8682017-05-31 Mikhail Maltsev <maltsevm@gmail.com>
869
870 PR testsuite/80580
871 * gimple-parser.c (c_parser_gimple_if_stmt): Check for empty labels.
872
4d1eda3a 8732017-05-30 David Malcolm <dmalcolm@redhat.com>
874
875 * c-objc-common.c (c_tree_printer): Gain bool and const char **
876 parameters.
877
645b0f8d 8782017-05-24 Martin Sebor <msebor@redhat.com>
879
880 PR c/80731
881 * c-fold.c (c_fully_fold_internal): Adjust.
882 * c-typeck.c (parser_build_unary_op): Adjust.
883
9d5c2cca 8842017-05-23 Thomas Schwinge <thomas@codesourcery.com>
885
886 * c-parser.c (OACC_KERNELS_CLAUSE_MASK): Add
887 "PRAGMA_OACC_CLAUSE_NUM_GANGS", "PRAGMA_OACC_CLAUSE_NUM_WORKERS",
888 "VECTOR_LENGTH".
889
50253e07 8902017-05-23 Marek Polacek <polacek@redhat.com>
891
892 * c-parser.c (c_parser_compound_statement_nostart): Remove redundant
893 quotes.
894
5c05c939 8952017-05-22 Jakub Jelinek <jakub@redhat.com>
896
897 * c-fold.c (c_fully_fold_internal): Save the c_fully_fold_internal
898 result for SAVE_EXPR operand and set SAVE_EXPR_FOLDED_P even if
899 it returned invariant. Call tree_invariant_p unconditionally
900 afterwards to decide whether to return expr or op0.
901
88df6264 9022017-05-22 Nathan Sidwell <nathan@acm.org>
903
904 * c-decl.c (c_parse_final_cleanups): Drop TDI_tu handling.
905
6acf639f 9062017-05-19 Thomas Schwinge <thomas@codesourcery.com>
907
908 * c-parser.c (c_parser_omp_clause_default): Handle
909 "OMP_CLAUSE_DEFAULT_PRESENT".
910
1bccae6b 9112017-05-18 Bernd Edlinger <bernd.edlinger@hotmail.de>
912
913 * config-lang.in (gtfiles): Add c-family/c-format.c.
914
8eb8a179 9152017-05-18 Nathan Sidwell <nathan@acm.org>
916
917 * c-decl.c (pushdecl_top_level): Delete unused function.
918
78173203 9192017-05-18 Marek Polacek <polacek@redhat.com>
920
921 * c-decl.c (match_builtin_function_types): Use NULL_TREE instead of 0.
922 (check_earlier_gotos): Likewise.
923 (define_label): Likewise.
924 (pending_xref_error): Likewise.
925 (smallest_type_quals_location): Likewise.
926 (grokdeclarator): Likewise.
927 (grokparms): Likewise.
928 (identifier_global_value): Likewise.
929 * c-typeck.c (set_nonincremental_init_from_string): Likewise.
930 (find_init_member): Likewise.
931
2823920b 9322017-05-18 Marek Polacek <polacek@redhat.com>
933
934 * c-decl.c (start_decl): Use false/true instead of 0/1.
935 (grokdeclarator): Likewise.
936 (finish_struct): Likewise.
937 (start_function): Change the return type to bool. Use false/true
938 instead of 0/1.
939 (declspecs_add_qual): Use UNKNOWN_LOCATION instead of 0.
940 * c-tree.h (start_function): Update.
941 * c-typeck.c (same_translation_unit_p): Change the return type to bool.
942 (set_designator): Change the return type to bool. Use false/true
943 instead of 0/1.
944
72749341 9452017-05-17 Marek Polacek <polacek@redhat.com>
946
947 * c-decl.c: Use NULL_TREE instead of 0 where appropriate.
948 * c-typeck.c: Likewise.
949
63b8aca5 9502017-05-17 Marek Polacek <polacek@redhat.com>
951
952 PR sanitizer/80659
953 * c-decl.c (build_compound_literal): Set DECL_ARTIFICIAL and
954 DECL_IGNORED_P even for non-static compound literals.
955
3f6e5ced 9562017-05-17 Martin Liska <mliska@suse.cz>
957
958 * c-decl.c (c_parse_final_cleanups): Introduce dump_flags_t type and
959 use it instead of int type.
960
d0869ea4 9612017-05-17 Marek Polacek <polacek@redhat.com>
962
963 * c-convert.c (convert): Replace c_save_expr with save_expr. Don't
964 call c_fully_fold.
965 (convert) <case COMPLEX_TYPE>: Remove special handling of COMPLEX_TYPEs.
966 * c-decl.c (grokdeclarator): Replace c_save_expr with save_expr.
967 * c-fold.c (c_fully_fold_internal): Handle SAVE_EXPR.
968 * c-parser.c (c_parser_declaration_or_fndef): Replace c_save_expr with
969 save_expr.
970 (c_parser_conditional_expression): Likewise.
971 * c-tree.h (SAVE_EXPR_FOLDED_P): Define.
972 * c-typeck.c (build_modify_expr): Replace c_save_expr with save_expr.
973 (process_init_element): Likewise.
974 (build_binary_op): Likewise.
975 (handle_omp_array_sections_1): Likewise.
976
641fc3ae 9772017-05-12 Thomas Schwinge <thomas@codesourcery.com>
978
979 * c-parser.c (c_parser_omp_clause_num_gangs)
980 (c_parser_omp_clause_num_workers)
981 (c_parser_omp_clause_vector_length): Merge functions into...
982 (c_parser_oacc_single_int_clause): ... this new function. Adjust
983 all users.
984
930c75f4 9852017-05-11 Nathan Sidwell <nathan@acm.org>
986
987 * gimple-parser.c: Don't #include tree-dump.h.
988
22ba59df 9892017-05-11 Mikhail Maltsev <maltsevm@gmail.com>
990
991 PR testsuite/80580
992 * gimple-parser.c (c_parser_parse_ssa_name): Validate SSA name base.
993
e58d47fc 9942017-05-11 Mikhail Maltsev <maltsevm@gmail.com>
995
996 PR testsuite/80580
997 * gimple-parser.c (c_parser_gimple_postfix_expression): Handle
998 incorrect __MEM syntax.
999
a38eda85 10002017-05-11 Mikhail Maltsev <maltsevm@gmail.com>
1001
1002 PR testsuite/80580
1003 * gimple-parser.c (c_parser_gimple_unary_expression): Check argument
1004 type of unary '*'.
1005
cdf05a3f 10062017-05-09 Nathan Sidwell <nathan@acm.org>
1007
1008 * c-tree.h (pushdecl): Declare.
1009
56b8400f 10102017-05-05 David Malcolm <dmalcolm@redhat.com>
1011
1012 * c-decl.c (warn_defaults_to): Replace report_diagnostic
1013 with diagnostic_report_diagnostic.
1014 * c-errors.c (pedwarn_c99): Likewise.
1015 (pedwarn_c90): Likewise.
1016
92bc38e7 10172017-05-01 Xi Ruoyao <ryxi@stu.xidian.edu.cn>
1018
1019 PR c++/80038
1020 * c-gimplify.c (c_gimplify_expr): Remove calls to
1021 cilk_gimplifY_call_params_in_spawned_fn.
1022
112e1c2c 10232017-04-25 David Malcolm <dmalcolm@redhat.com>
1024
1025 * c-parser.c (c_parser_struct_or_union_specifier): Add fix-it
1026 hint for removing extra semicolon.
1027
0b515531 10282017-04-21 Jakub Jelinek <jakub@redhat.com>
1029
1030 PR c/80468
1031 * c-decl.c (finish_declspecs) <case cts_int_n>: If int_n_idx is not
1032 enabled, set specs->type to integer_type_node.
1033
2fbe7a32 10342017-04-03 Jonathan Wakely <jwakely@redhat.com>
1035
1036 * c-array-notation.c: Fix typo in comment.
1037
3582b9a6 10382017-03-29 Marek Polacek <polacek@redhat.com>
1039
1040 PR c/79730
1041 * c-decl.c (finish_decl): Check VAR_P.
1042
3385a573 10432017-03-27 Jakub Jelinek <jakub@redhat.com>
1044
1045 PR middle-end/80162
1046 * c-tree.h (c_mark_addressable): Add array_ref_p argument.
1047 * c-typeck.c (c_mark_addressable): Likewise. Look through
1048 VIEW_CONVERT_EXPR unless array_ref_p and VCE is from VECTOR_TYPE
1049 to ARRAY_TYPE.
1050 (build_array_ref): Pass true as array_ref_p to c_mark_addressable.
1051
5c1d51e3 10522017-03-23 Marek Polacek <polacek@redhat.com>
1053
1054 * c-tree.h: Remove a C_RID_YYCODE reference.
1055
048100df 10562017-03-21 Jakub Jelinek <jakub@redhat.com>
1057
1058 PR c/80097
1059 * c-typeck.c (build_binary_op): Add EXCESS_PRECISION_EXPR only around
1060 optional COMPOUND_EXPR with ubsan instrumentation.
1061
c153c724 10622017-03-17 Marek Polacek <polacek@redhat.com>
1063
1064 * c-parser.c: Add C11 references.
1065
51eb47a0 10662017-03-15 Marek Polacek <polacek@redhat.com>
1067
1068 * c-parser.c (c_parser_enum_specifier): Remove redundant line.
1069
726add0b 10702017-03-11 Marek Polacek <polacek@redhat.com>
1071
1072 * c-decl.c (implicit_decl_warning): Add a comment. Fix formatting.
1073
ca1f4c7a 10742017-03-10 David Malcolm <dmalcolm@redhat.com>
1075
1076 PR translation/79848
1077 * c-decl.c (declspecs_add_type): Simplify uses of "%<%s%>" to
1078 "%qs".
1079 * c-parser.c (c_parser_oacc_shape_clause): Likewise.
1080
e14b765f 10812017-03-09 Marek Polacek <polacek@redhat.com>
1082
1083 PR sanitizer/79757
1084 * c-parser.c (c_parser_declaration_or_fndef): Don't sanitize old-style
1085 parameter declarations with initializers.
1086
7ad571b2 10872017-03-09 Jakub Jelinek <jakub@redhat.com>
1088
1089 PR c/79969
1090 * c-decl.c (start_enum): Adjust DECL_SOURCE_LOCATION of
1091 TYPE_STUB_DECL.
1092
d87f668a 10932017-03-07 Jakub Jelinek <jakub@redhat.com>
1094
1095 PR c/79834
1096 * c-parser.c (c_parser_pragma): Use error_at instead of c_parser_error
1097 for "may only be used in compound statements" diagnostics, change it
1098 such that the same translatable string is used for all pragmas. For
1099 PRAGMA_OACC_WAIT use "acc wait" rather than "acc enter data" in the
1100 diagnostics.
1101 (c_parser_omp_cancellation_point, c_parser_omp_target_update,
1102 c_parser_omp_target_enter_data, c_parser_omp_target_exit_data): Change
1103 "may only be used in compound statements" diagnostics, such that the
1104 same translatable string is used for all pragmas.
1105
16b0e324 11062017-03-04 Marek Polacek <polacek@redhat.com>
1107
1108 PR c/79847
1109 * c-decl.c (implicit_decl_warning): Add missing space.
1110
f2360ea5 11112017-03-03 Marek Polacek <polacek@redhat.com>
1112
1113 PR c/79758
1114 * c-decl.c (store_parm_decls_oldstyle): Check if the element of
1115 current_function_prototype_arg_types is error_mark_node. Fix
1116 formatting. Use TREE_VALUE instead of TREE_TYPE.
1117
d33f5911 11182017-03-03 Jakub Jelinek <jakub@redhat.com>
1119
408a47b2 1120 PR c/79837
1121 * c-parser.c (c_parser_omp_clause_reduction): Don't mention
1122 %<min%> or %<max%> in the diagnostics, instead mention identifier.
1123 (c_parser_omp_declare_reduction): Don't mention %<min%> in the
1124 diagnostics.
1125
d33f5911 1126 PR c/79836
1127 * c-parser.c (c_parser_generic_selection): Use %<_Generic%>
1128 instead of %<_Generic>.
1129 (c_parser_omp_ordered): Use %<depend%> instead of %<depend>.
1130 (c_parser_omp_target_exit_data): Use %<release%> instead of
1131 %<release>.
1132
1caf9cb4 11332017-02-28 Jakub Jelinek <jakub@redhat.com>
1134
1135 * c-parser.c (c_parser_asm_statement): Use cond ? G_("...") : G_("...")
1136 instead of just cond ? "..." : "...".
1137 (c_parser_oacc_enter_exit_data): Use %s and ternary operator only
1138 for "enter"/"exit" keyword.
1139 (c_finish_oacc_routine): Don't use %s to supply portions of the
1140 message.
1141
bbd5521e 11422017-02-24 Jakub Jelinek <jakub@redhat.com>
1143
1144 PR c++/79588
1145 * c-parser.c (c_parser_postfix_expression_after_primary): Don't
1146 handle -Wrestrict here.
1147 * c-typeck.c (build_function_call_vec): Adjust
1148 check_function_arguments caller.
1149
a450df95 11502017-02-23 Richard Biener <rguenther@suse.de>
1151
1152 PR c/79684
1153 * gimple-parser.c (c_parser_gimple_statement): Use set_error
1154 to initialize c_exprs to return.
1155 (c_parser_gimple_binary_expression): Likewise.
1156 (c_parser_gimple_unary_expression): Likewise.
1157 (c_parser_gimple_postfix_expression): Likewise.
1158
2567d975 11592017-02-22 Marek Polacek <polacek@redhat.com>
1160
1161 PR c/79662
1162 * c-typeck.c (convert_arguments): Handle error_mark_node.
1163
21bfe0d4 11642017-02-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
1165
1166 * gimple-parser.c (c_parser_gimple_postfix_expression): Check return
1167 value of c_parser_parse_ssa_name against error_mark_node and emit
1168 error if ssa name is anonymous and written as default definition.
1169
a8deddc8 11702017-02-19 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
1171
1172 * gimple-parser.c (c_parser_gimple_postfix_expression): Handle
1173 FMA_EXPR.
1174
79878c89 11752017-02-16 Jakub Jelinek <jakub@redhat.com>
1176
1177 PR c++/79512
1178 * c-parser.c (c_parser_omp_target): For -fopenmp-simd
1179 ignore #pragma omp target even when not followed by identifier.
1180
78c6d67e 11812017-02-14 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
1182
1183 * gimpler-parser.c (c_parser_gimple_statement): Handle ABS_EXPR.
1184 (c_parser_gimple_unary_expression): Likewise.
1185
19efce70 11862017-02-13 Jakub Jelinek <jakub@redhat.com>
1187
1188 * c-parser.c (c_parser_oacc_declare): Add missing space in
1189 diagnostics.
1190
32b8484d 11912017-02-13 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
1192
1193 PR c/79478
1194 * gimple-parser.c (c_parser_gimple_postfix_expression): Call
1195 set_c_expr_source_range when parsing ssa-name.
1196
b91919ba 11972017-02-10 Prasad Ghangal <prasad.ghangal@gmail.com>
1198 Richard Biener <rguenther@suse.de>
1199
1200 * gimple-parser.c (c_parser_gimple_binary_expression): Avoid
1201 building IL when arguments are error_mark_node.
1202 (c_parser_gimple_unary_expression): Likewise.
1203 (c_parser_gimple_if_stmt): Likewise.
1204 (c_parser_gimple_switch_stmt): Likewise.
1205 (c_parser_gimple_return_stmt): Likewise.
1206 (c_parser_parse_ssa_name): When name lookup fails do not build
1207 an SSA name. Use undeclared rather than not declared in error
1208 reporting.
1209
127144a0 12102017-02-09 Marek Polacek <polacek@redhat.com>
1211
1212 PR c/79428
1213 * c-parser.c (c_parser_omp_ordered): Call c_parser_skip_to_pragma_eol
1214 instead of c_parser_skip_until_found.
1215
b5c83b44 12162017-02-09 Jakub Jelinek <jakub@redhat.com>
1217
1218 PR c/79431
1219 * c-parser.c (c_parser_omp_declare_target): Don't invoke
1220 symtab_node::get on automatic variables.
1221
719a7570 12222016-02-09 Nathan Sidwell <nathan@codesourcery.com>
1223 Chung-Lin Tang <cltang@codesourcery.com>
1224
1225 * c-parser.c (c_parser_omp_clause_collapse): Disallow tile.
1226 (c_parser_oacc_clause_tile): Disallow collapse. Fix parsing and
1227 semantic checking.
1228 * c-parser.c (c_parser_omp_for_loop): Accept tiling constructs.
1229
29beab79 12302017-02-07 Richard Biener <rguenther@suse.de>
1231
1232 * gimple-parser.c (c_parser_gimple_expr_list): Simplify.
1233 (c_parser_gimple_postfix_expression_after_primary):
1234 Do not use c_build_function_call_vec to avoid folding and promotion.
1235 Simplify.
1236
96afa092 12372017-01-25 Maxim Ostapenko <m.ostapenko@samsung.com>
1238
1239 PR lto/79061
1240 * c-decl.c (pop_scope): Pass main_input_filename to
1241 build_translation_unit_decl.
1242
175e0d6b 12432017-01-24 David Malcolm <dmalcolm@redhat.com>
1244
1245 * c-parser.c: Include "read-rtl-function.h" and
1246 "run-rtl-passes.h".
1247 (c_parser_declaration_or_fndef): Rename "gimple-pass-list" in
1248 grammar to gimple-or-rtl-pass-list. Add rtl-function-definition
1249 production. Update for renaming of field "gimple_pass" to
1250 "gimple_or_rtl_pass". If __RTL was seen, call
1251 c_parser_parse_rtl_body. Convert a timevar_push/pop pair
1252 to an auto_timevar, to cope with early exit.
1253 (c_parser_declspecs): Update RID_GIMPLE handling for renaming of
1254 field "gimple_pass" to "gimple_or_rtl_pass", and for renaming of
1255 c_parser_gimple_pass_list to c_parser_gimple_or_rtl_pass_list.
1256 Handle RID_RTL.
1257 (c_parser_parse_rtl_body): New function.
1258 * c-tree.h (enum c_declspec_word): Add cdw_rtl.
1259 (struct c_declspecs): Rename field "gimple_pass" to
1260 "gimple_or_rtl_pass". Add field "rtl_p".
1261 * gimple-parser.c (c_parser_gimple_pass_list): Rename to...
1262 (c_parser_gimple_or_rtl_pass_list): ...this, updating accordingly.
1263 * gimple-parser.h (c_parser_gimple_pass_list): Rename to...
1264 (c_parser_gimple_or_rtl_pass_list): ...this.
1265
3ef7eab1 12662017-01-20 Marek Polacek <polacek@redhat.com>
1267
1268 PR c/64279
1269 * c-typeck.c (build_conditional_expr): Warn about duplicated branches.
1270
785353b9 12712017-01-13 Richard Biener <rguenther@suse.de>
1272
1273 * gimple-parser.c (c_parser_gimple_compound_statement): Handle
1274 nops.
1275
ac5f04c1 12762017-01-13 Richard Biener <rguenther@suse.de>
1277
1278 * gimple-parser.c (c_parser_gimple_postfix_expression): Parse
1279 _Literal ( type-name ) number.
1280
2b11c996 12812017-01-12 Richard Biener <rguenther@suse.de>
1282
1283 * gimple-parser.c (c_parser_gimple_postfix_expression): Parse
1284 __MEM.
1285
9a26d403 12862017-01-11 Jakub Jelinek <jakub@redhat.com>
1287
1288 PR c++/72813
1289 * c-decl.c (pop_file_scope): Set flag_syntax_only to 1 after writing
1290 PCH file.
1291
a19c4dc1 12922017-01-11 Richard Biener <rguenther@suse.de>
1293
1294 PR bootstrap/79052
1295 * gimple-parser.c (c_parser_gimple_switch_stmt): Add missing
1296 returns on parse errors.
1297
6124217c 12982017-01-04 Marek Polacek <polacek@redhat.com>
1299
1300 PR c++/64767
1301 * c-parser.c (c_parser_postfix_expression): Mark zero character
1302 constants by setting original_type in c_expr.
1303 * c-typeck.c (parser_build_binary_op): Warn when a pointer is compared
1304 with a zero character constant.
1305 (char_type_p): New function.
1306
8ccda24a 13072017-01-04 David Malcolm <dmalcolm@redhat.com>
1308
1309 * c-parser.c (c_parser_declaration_or_fndef): Create a
1310 rich_location at init_loc and parse it to start_init.
1311 (last_init_list_comma): New global.
1312 (c_parser_braced_init): Update last_init_list_comma when parsing
1313 commas. Pass it to pop_init_level. Pass location of closing
1314 brace to pop_init_level.
1315 (c_parser_postfix_expression_after_paren_type): Create a
1316 rich_location at type_loc and parse it to start_init.
1317 (c_parser_omp_declare_reduction): Likewise for loc.
1318 * c-tree.h (start_init): Add rich_location * param.
1319 (pop_init_level): Add location_t param.
1320 * c-typeck.c (struct initializer_stack): Add field
1321 "missing_brace_richloc".
1322 (start_init): Add richloc param, use it to initialize
1323 the stack node's missing_brace_richloc.
1324 (last_init_list_comma): New decl.
1325 (finish_implicit_inits): Pass last_init_list_comma to
1326 pop_init_level.
1327 (push_init_level): When finding missing open braces, add fix-it
1328 hints to the richloc.
1329 (pop_init_level): Add "insert_before" param and pass it
1330 when calling pop_init_level. Add fixits about missing
1331 close braces to any richloc. Use the richloc for the
1332 -Wmissing-braces warning.
1333 (set_designator): Pass last_init_list_comma to pop_init_level.
1334 (process_init_element): Likewise.
1335
aad93da1 13362017-01-01 Jakub Jelinek <jakub@redhat.com>
1337
1338 Update copyright years.
1339
3713d2e2 13402016-12-21 Jakub Jelinek <jakub@redhat.com>
1341
184fac50 1342 PR bootstrap/78817
1343 * c-typeck.c (build_function_call_vec): If check_function_arguments
1344 returns true, set TREE_NO_WARNING on CALL_EXPR.
1345
3713d2e2 1346 PR c/77767
1347 * c-decl.c (grokdeclarator): If *expr is non-NULL, append expression
1348 to *expr instead of overwriting it.
1349
3e677d45 13502016-12-20 Richard Biener <rguenther@suse.de>
1351
1352 * gimple-parser.c (c_parser_gimple_compound_statement): Improve
1353 error recovery.
1354 (c_parser_gimple_statement): Only build assigns for non-error
1355 stmts.
1356 (c_parser_gimple_postfix_expression_after): Improve error recovery.
1357
4954efd4 13582016-12-14 Martin Jambor <mjambor@suse.cz>
1359
1360 * c-parser.c: Include omp-general.h and omp-offload.h instead of
1361 omp-low.h.
1362 (c_finish_oacc_routine): Adjusted call to
1363 get_oacc_fn_attrib, build_oacc_routine_dims and replace_oacc_fn_attrib
1364 to use their new names.
1365 (c_parser_oacc_enter_exit_data): Adjusted call to find_omp_clause to
1366 use its new name.
1367 (c_parser_oacc_update): Likewise.
1368 (c_parser_omp_simd): Likewise.
1369 (c_parser_omp_target_update): Likewise.
1370 * c-typeck.c: Include omp-general.h instead of omp-low.h.
1371 (c_finish_omp_cancel): Adjusted call to find_omp_clause to use its new
1372 name.
1373 (c_finish_omp_cancellation_point): Likewise.
1374 * gimple-parser.c: Do not include omp-low.h
1375
4c50b884 13762016-12-02 Cesar Philippidis <cesar@codesourcery.com>
1377 James Norris <jnorris@codesourcery.com>
1378
1379 * c-parser.c (c_parser_pragma): Error when PRAGMA_OACC_{ENTER_DATA,
1380 EXIT_DATA,WAIT} are not used in compound statements.
1381 (c_parser_oacc_enter_exit_data): Update diagnostics.
1382
f1b3e1c9 13832016-11-21 Bernd Edlinger <bernd.edlinger@hotmail.de>
1384
1385 PR c++/71973
1386 * c-decl.c (diagnose_mismatched_decls): Use
1387 OPT_Wbuiltin_declaration_mismatch here too.
1388
adc78298 13892016-11-18 Richard Sandiford <richard.sandiford@arm.com>
f1b3e1c9 1390 Alan Hayward <alan.hayward@arm.com>
1391 David Sherwood <david.sherwood@arm.com>
adc78298 1392
1393 * c-decl.c (merge_decls): Use SET_DECL_MODE.
1394 (make_label, finish_struct): Likewise.
1395
b1f04d34 13962016-11-14 Prasad Ghangal <prasad.ghangal@gmail.com>
a49621cf 1397 Richard Biener <rguenther@suse.de>
9b8f3aa1 1398
a49621cf 1399 * Make-lang.in (C_AND_OBJC_OBJS): Add gimple-parser.o.
1400 * config-lang.in (gtfiles): Add c/c-parser.h.
1401 * c-tree.h (enum c_declspec_word): Add cdw_gimple.
1402 (struct c_declspecs): Add gimple_pass member and gimple_p flag.
1403 * c-parser.c (enum c_id_kind, struct c_token,
1404 c_parser_next_token_is, c_parser_next_token_is_not,
1405 c_parser_next_token_is_keyword,
1406 enum c_lookahead_kind, enum c_dtr_syn, enum c_parser_prec):
1407 Split out to ...
1408 * c-parser.h: ... new header.
1409 * c-parser.c: Include c-parser.h and gimple-parser.h.
b1f04d34 1410 (c_parser_peek_token, c_parser_peek_2nd_token,
a49621cf 1411 c_token_starts_typename, c_parser_next_token_starts_declspecs,
1412 c_parser_next_tokens_start_declaration, c_parser_consume_token,
1413 c_parser_error, c_parser_require, c_parser_skip_until_found,
1414 c_parser_declspecs, c_parser_declarator, c_parser_peek_nth_token,
1415 c_parser_type_name): Export.
1416 (c_parser_tokens_buf): New function.
1417 (c_parser_error): Likewise.
1418 (c_parser_set_error): Likewise.
1419 (c_parser_declspecs): Handle RID_GIMPLE.
b1f04d34 1420 (c_parser_declaration_or_fndef): Parse __GIMPLE marked body
1421 via c_parser_parse_gimple_body.
a49621cf 1422 * c-parser.h (c_parser_peek_token, c_parser_peek_2nd_token,
1423 c_token_starts_typename, c_parser_next_token_starts_declspecs,
1424 c_parser_next_tokens_start_declaration, c_parser_consume_token,
1425 c_parser_error, c_parser_require, c_parser_skip_until_found,
1426 c_parser_declspecs, c_parser_declarator, c_parser_peek_nth_token,
1427 c_parser_type_name): Declare.
b1f04d34 1428 (struct c_parser): Declare forward.
1429 (c_parser_tokens_buf): Declare.
a49621cf 1430 (c_parser_error): Likewise.
1431 (c_parser_set_error): Likewise.
1432 * gimple-parser.c: New file.
1433 * gimple-parser.h: Likewise.
b1f04d34 1434
9b8f3aa1 14352016-11-13 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
1436
1437 PR c/35503
1438 * c-parser.c (c_parser_postfix_expression_after_primary): Call
1439 warn_for_restrict.
1440
50d3ad71 14412016-09-11 Le-Chun Wu <lcwu@google.com>
1442 Mark Wielaard <mjw@redhat.com>
1443
1444 * c-decl.c (warn_if_shadowing): Use the warning code corresponding
1445 to the given -Wshadow= variant.
1446
ad7b10a2 14472016-10-13 Thomas Preud'homme <thomas.preudhomme@arm.com>
1448
1449 * c-typeck.c: Include memmodel.h.
1450
8a23256f 14512016-10-13 Jakub Jelinek <jakub@redhat.com>
1452
1453 PR target/77957
1454 * c-objc-common.h (LANG_HOOKS_GETDECLS): Use hook_tree_void_null
1455 instead of lhd_return_null_tree_v.
1456
30ac4925 14572016-10-07 Bernd Schmidt <bschmidt@redhat.com>
1458
1459 PR c++/69733
1460 * c-decl.c (smallest_type_quals_location): New static function.
1461 (grokdeclarator): Try to find the correct location for an ignored
1462 qualifier.
1463
3c77f69c 14642016-09-26 Marek Polacek <polacek@redhat.com>
1465
1466 PR c/7652
1467 * c-decl.c (pop_scope): Add gcc_fallthrough.
1468
14692016-09-26 Marek Polacek <polacek@redhat.com>
1470
1471 PR c/7652
1472 * c-parser.c (struct c_token): Add flags field.
1473 (c_lex_one_token): Pass it to c_lex_with_flags.
1474 (c_parser_declaration_or_fndef): Turn __attribute__((fallthrough));
1475 into IFN_FALLTHROUGH.
1476 (c_parser_label): Set FALLTHROUGH_LABEL_P on labels. Handle
1477 attribute fallthrough after a case label or default label.
1478 (c_parser_statement_after_labels): Handle RID_ATTRIBUTE.
1479
481ce481 14802016-09-24 Marek Polacek <polacek@redhat.com>
1481
1482 PR c/77490
1483 * c-typeck.c (build_unary_op): Warn about bit not on expressions that
1484 have boolean value. Warn about ++/-- on booleans.
1485
16fb756f 14862016-09-23 Jakub Jelinek <jakub@redhat.com>
1487
1488 * c-parser.c (incomplete_record_decls): Remove unnecessary
1489 = vNULL initialization of file scope vec.
1490
d80c1c6c 14912016-09-16 Marek Polacek <polacek@redhat.com>
1492
1493 * c-typeck.c (lvalue_p): Use true and false instead of 1 and 0.
1494
b99cc6da 14952016-09-14 Marek Polacek <polacek@redhat.com>
1496
1497 * c-array-notation.c (create_cmp_incr): Use false instead of 0.
1498 (fix_array_notation_expr): Likewise.
1499 * c-decl.c (finish_decl): Likewise.
1500 * c-parser.c (c_parser_postfix_expression_after_primary): Likewise.
1501 * c-typeck.c (array_to_pointer_conversion): Use true instead of 1.
1502 (function_to_pointer_conversion): Use false instead of 0.
1503 (convert_lvalue_to_rvalue): Likewise.
1504 (parser_build_unary_op): Likewise.
1505 (build_atomic_assign): Likewise.
1506 (build_unary_op): Change nonconvert parameter type to bool, use
1507 true/false instead of 1/0.
1508 (build_binary_op): Use true instead of 1.
1509
68ef907c 15102016-09-13 David Malcolm <dmalcolm@redhat.com>
1511
1512 * c-parser.c (c_parser_declaration_or_fndef): Update for renaming
1513 of add_fixit_insert to add_fixit_insert_before.
1514
89bcb5a3 15152016-09-13 Marek Polacek <polacek@redhat.com>
1516
1517 * c-typeck.c (build_unary_op): Rename FLAG parameter to NOCONVERT. Use
1518 it.
1519
7a21b590 15202016-09-12 Bernd Edlinger <bernd.edlinger@hotmail.de>
1521
1522 PR c++/77496
1523 * c-parser.c (c_parser_conditional_expression): Pass the rightmost
1524 COMPOUND_EXPR to warn_for_omitted_condop.
1525
3da97ff7 15262016-09-07 David Malcolm <dmalcolm@redhat.com>
1527
1528 * c-lang.c (LANG_HOOKS_GET_SUBSTRING_LOCATION): Use
1529 c_get_substring_location for this new langhook.
1530
0b80c4b2 15312016-09-02 Jakub Jelinek <jakub@redhat.com>
1532
1533 PR c/65467
1534 * c-parser.c (c_parser_declspecs): Don't sorry about _Atomic if
1535 flag_openmp.
1536 (c_parser_omp_variable_list): Use convert_lvalue_to_rvalue
1537 instead of mark_exp_read on low_bound/length expression.
1538 (c_parser_omp_clause_num_gangs, c_parser_omp_clause_num_threads,
1539 c_parser_omp_clause_num_tasks, c_parser_omp_clause_grainsize,
1540 c_parser_omp_clause_priority, c_parser_omp_clause_hint,
1541 c_parser_omp_clause_num_workers, c_parser_oacc_shape_clause,
1542 c_parser_oacc_clause_tile, c_parser_omp_clause_schedule,
1543 c_parser_omp_clause_vector_length, c_parser_omp_clause_num_teams,
1544 c_parser_omp_clause_thread_limit, c_parser_omp_clause_aligned,
1545 c_parser_omp_clause_linear, c_parser_omp_clause_safelen,
1546 c_parser_omp_clause_simdlen, c_parser_omp_clause_device,
1547 c_parser_omp_clause_dist_schedule): Use convert_lvalue_to_rvalue
1548 instead of mark_expr_read.
1549 (c_parser_omp_declare_reduction): Reject _Atomic qualified types.
1550 * c-objc-common.h (LANG_HOOKS_OMP_CLAUSE_COPY_CTOR,
1551 LANG_HOOKS_OMP_CLAUSE_ASSIGN_OP): Redefine.
1552 * c-tree.h (c_omp_clause_copy_ctor): New prototype.
1553 * c-typeck.c (handle_omp_array_sections_1): Diagnose _Atomic qualified
1554 array section bases outside of depend clause, for depend clause
1555 use convert_lvalue_to_rvalue on the base.
1556 (c_finish_omp_clauses): Reject _Atomic qualified vars in reduction,
1557 linear, aligned, map, to and from clauses.
1558 (c_omp_clause_copy_ctor): New function.
1559
c7afb782 15602016-09-01 Marek Polacek <polacek@redhat.com>
1561
1562 PR c/7652
1563 * c-typeck.c (composite_type): Add FALLTHRU comment.
1564
986530da 15652016-08-31 David Malcolm <dmalcolm@redhat.com>
1566
1567 * c-parser.c (c_parser_declaration_or_fndef): Add trailing space
1568 to the insertion fixits for "struct", "union", and "enum".
1569
850c2009 15702016-08-30 David Malcolm <dmalcolm@redhat.com>
1571
1572 * c-decl.c (implicit_decl_warning): Use add_fixit_replace
1573 rather than add_fixit_misspelled_id.
1574 (undeclared_variable): Likewise.
1575 * c-parser.c (c_parser_declaration_or_fndef): Likewise. Remove
1576 now-redundant "here" params from add_fixit_insert method calls.
1577 (c_parser_parameter_declaration): Likewise.
1578 * c-typeck.c (build_component_ref): Remove now-redundant range
1579 param from add_fixit_replace method calls.
1580
c4963714 15812016-08-25 Marek Polacek <polacek@redhat.com>
1582
1583 * c-typeck.c (parser_build_binary_op): Pass LHS to
1584 warn_logical_not_parentheses.
1585
49e1f4eb 15862016-08-25 Marek Polacek <polacek@redhat.com>
1587
1588 PR c/77323
1589 * c-decl.c (declspecs_add_type): Set typespec_word even when __intN
1590 or _FloatN or _FloatNx is not supported.
1591 (finish_declspecs): Set type to integer_type_node when _FloatN or
1592 _FloatNx is not supported.
1593
82c85aba 15942016-08-19 Joseph Myers <joseph@codesourcery.com>
1595
1596 PR c/32187
1597 * c-tree.h (cts_floatn_nx): New enum c_typespec_keyword value.
1598 (struct c_declspecs): Add field floatn_nx_idx.
1599 * c-decl.c (declspecs_add_type, finish_declspecs): Handle _FloatN
1600 and _FloatNx type specifiers.
1601 * c-parser.c (c_keyword_starts_typename, c_token_starts_declspecs)
1602 (c_parser_declspecs, c_parser_attribute_any_word)
1603 (c_parser_objc_selector): Use CASE_RID_FLOATN_NX.
1604 * c-typeck.c (c_common_type): Handle _FloatN and _FloatNx types.
1605 (convert_arguments): Avoid promoting _FloatN and _FloatNx types
1606 narrower than double.
1607
7175bb2a 16082016-08-12 Jakub Jelinek <jakub@redhat.com>
1609 Martin Liska <mliska@suse.cz>
1610
1611 PR c/67410
1612 * c-typeck.c (set_nonincremental_init_from_string): Use / instead of
1613 % to determine val element to change. Assert that
1614 wchar_bytes * charwidth fits into val array.
1615
e3533433 16162016-08-12 Marek Polacek <polacek@redhat.com>
1617
1618 PR c/7652
1619 * c-parser.c (c_parser_external_declaration): Add FALLTHRU.
1620 (c_parser_postfix_expression): Likewise.
1621 * c-typeck.c (build_unary_op): Adjust fall through comment.
1622 (c_mark_addressable): Likewise.
1623
74be5bc1 16242016-08-11 Jakub Jelinek <jakub@redhat.com>
1625
1626 PR c/72816
1627 * c-decl.c (grokdeclarator): When adding TYPE_DOMAIN for flexible
1628 array member through typedef, for orig_qual_indirect == 0 clear
1629 orig_qual_type.
1630
7af4d06b 16312016-08-08 David Malcolm <dmalcolm@redhat.com>
1632
1633 PR c/64955
1634 * c-lang.c (LANG_HOOKS_RUN_LANG_SELFTESTS): If CHECKING_P, wire
1635 this up to selftest::run_c_tests.
1636 (selftest::run_c_tests): New function.
1637
5f429ee2 16382016-08-04 Thomas Schwinge <thomas@codesourcery.com>
1639
1fa5d8ba 1640 * c-parser.c (struct oacc_routine_data): Add error_seen and
1641 fndecl_seen members.
1642 (c_finish_oacc_routine): Use these.
1643 (c_parser_declaration_or_fndef): Adjust.
1644 (c_parser_oacc_routine): Likewise. Support more C language
1645 constructs, and improve diagnostics. Move pragma context
1646 checking...
1647 (c_parser_pragma): ... here.
1648
5f429ee2 1649 * c-parser.c (struct oacc_routine_data): New.
1650 (c_parser_declaration_or_fndef, c_parser_oacc_routine): Use it.
1651 Simplify code.
1652 (c_finish_oacc_routine): Likewise. Don't attach clauses to "omp
1653 declare target" attribute.
1654
f3c032a4 16552016-08-01 Jan Beulich <jbeulich@suse.com>
1656
1657 * c-fold.c (c_fully_fold_internal): Also emit shift count
1658 warnings for vector types.
1659 * c-typeck.c (build_binary_op): Likewise.
1660
4ebf85be 16612016-07-29 Marek Polacek <polacek@redhat.com>
1662
1663 PR c/71742
1664 * c-decl.c (finish_struct): Rephrase an error message.
1665
9efe5be6 1666 PR c/71853
1667 * c-parser.c (c_parser_switch_statement): Initialize ce.original_type
1668 to error node for invalid code.
1669
4c4548bb 1670 PR c/71573
1671 * c-decl.c (implicitly_declare): Return decl early not only for
1672 error_mark_nodes, but for anything that is not a FUNCTION_DECL.
1673
322d4184 16742016-07-29 Jakub Jelinek <jakub@redhat.com>
1675
1676 PR c/71969
1677 * c-decl.c (finish_function): Only set DECL_DISREGARD_INLINE_LIMITS
1678 on GNU extern inline functions.
1679
35fddbd6 16802016-07-29 Marek Polacek <polacek@redhat.com>
1681
1682 PR c/71583
1683 * c-parser.c (c_parser_postfix_expression_after_paren_type): Also
1684 check expr.value.
1685
59c1507a 16862016-07-22 Uros Bizjak <ubizjak@gmail.com>
1687
1688 * c-typeck.c: Use HOST_WIDE_INT_1 instead of (HOST_WIDE_INT) 1,
1689
d0f11d68 16902016-07-20 David Malcolm <dmalcolm@redhat.com>
1691
1692 * c-decl.c (struct edit_distance_traits<cpp_hashnode *>): Move to
1693 spellcheck-tree.h
1694 (best_macro_match): Likewise, converting from a typedef to a
1695 subclass.
1696 (find_closest_macro_cpp_cb): Move to spellcheck-tree.c.
1697 (lookup_name_fuzzy): Update for change of best_macro_match to a
1698 subclass with a ctor that calls cpp_forall_identifiers.
1699
d208f6e6 17002016-07-20 David Malcolm <dmalcolm@redhat.com>
1701
1702 * c-decl.c (implicit_decl_warning): Update for conversion of
1703 return type of lookup_name_fuzzy to const char *.
1704 (undeclared_variable): Likewise.
1705 (lookup_name_fuzzy): Convert return type from tree to
1706 const char *.
1707 * c-parser.c (c_parser_declaration_or_fndef): Update for
1708 conversion of return type of lookup_name_fuzzy to const char *.
1709 (c_parser_parameter_declaration): Likewise.
1710
0ef9358d 17112016-07-15 Cesar Philippidis <cesar@codesourcery.com>
1712
1713 * c-parser.c (c_parser_oacc_declare): Don't scan for
1714 GOMP_MAP_POINTER.
1715 * c-typeck.c (handle_omp_array_sections): Mark data clauses with
1716 GOMP_MAP_FORCE_{PRESENT,TO,FROM,TOFROM} as potentially having
1717 zero-length subarrays.
1718
0dd7db3b 17192016-07-15 Jakub Jelinek <jakub@redhat.com>
1720
1721 PR c/71858
1722 * c-decl.c (implicit_decl_warning): Use FUZZY_LOOKUP_FUNCTION_NAME
1723 instead of FUZZY_LOOKUP_NAME.
1724 (lookup_name_fuzzy): For FUZZY_LOOKUP_FUNCTION_NAME consider
1725 FUNCTION_DECLs, {VAR,PARM}_DECLs function pointers and macros.
1726
28413b15 17272016-07-14 Jakub Jelinek <jakub@redhat.com>
1728
1729 PR c/71858
1730 * c-decl.c (lookup_name_fuzzy): Ignore binding->invisible.
1731
e9258aee 17322016-07-12 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
1733
1734 * c-parser.c (c_parser_generic_selection): Make type of variable
1735 auto_vec.
1736 (c_parser_omp_declare_simd): Likewise.
1737
57f91a55 17382016-07-12 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
1739
1740 * c-decl.c (struct c_struct_parse_info): Change member types
1741 from vec to auto_vec.
1742 (start_struct): Adjust.
1743 (finish_struct): Likewise.
1744
c364d0f3 17452016-07-02 Jakub Jelinek <jakub@redhat.com>
1746
1747 PR c/71719
1748 * c-typeck.c (mark_exp_read): Handle VIEW_CONVERT_EXPR.
1749
44e775d8 17502016-06-29 Thomas Schwinge <thomas@codesourcery.com>
1751
1752 * c-parser.c (c_parser_pragma) <PRAGMA_OMP_CANCELLATION_POINT>:
1753 Move pragma context checking into...
1754 (c_parser_omp_cancellation_point): ... here, and improve
1755 diagnostic messages.
1756 * c-typeck.c (c_finish_omp_cancel)
1757 (c_finish_omp_cancellation_point): Improve diagnostic messages.
1758
1af10ce6 17592016-06-29 Jakub Jelinek <jakub@redhat.com>
1760
1761 PR c/71685
1762 * c-typeck.c (c_build_qualified_type): Don't clear
1763 C_TYPE_INCOMPLETE_VARS for the main variant.
1764
17652016-06-28 Martin Sebor <msebor@redhat.com>
9c3ffbcb 1766
1767 PR c/71552
1768 * c-typeck.c (output_init_element): Diagnose incompatible types
1769 before non-constant initializers.
1770
6eb2402f 17712016-06-28 Jakub Jelinek <jakub@redhat.com>
1772
1773 * Make-lang.in: Don't cat ../stage_current if it does not exist.
1774
b4c71cbb 17752016-06-23 Andi Kleen <ak@linux.intel.com>
1776
1777 * Make-lang.in: Add support for autofdo.
1778
8469aece 17792016-06-22 David Malcolm <dmalcolm@redhat.com>
1780
1781 PR c/70339
1782 * c-decl.c: Include spellcheck-tree.h and gcc-rich-location.h.
1783 (implicit_decl_warning): When issuing warnings for implicit
1784 declarations, attempt to provide a suggestion via
1785 lookup_name_fuzzy.
1786 (undeclared_variable): Likewise when issuing errors.
1787 (lookup_name_in_scope): Likewise.
1788 (struct edit_distance_traits<cpp_hashnode *>): New struct.
1789 (best_macro_match): New typedef.
1790 (find_closest_macro_cpp_cb): New function.
1791 (lookup_name_fuzzy): New function.
1792 * c-parser.c: Include gcc-rich-location.h.
1793 (c_token_starts_typename): Split out case CPP_KEYWORD into...
1794 (c_keyword_starts_typename): ...this new function.
1795 (c_parser_declaration_or_fndef): When issuing errors about
1796 missing "struct" etc, add a fixit. For other kinds of errors,
1797 attempt to provide a suggestion via lookup_name_fuzzy.
1798 (c_parser_parms_declarator): When looking ahead to detect typos in
1799 type names, also reject CPP_KEYWORD.
1800 (c_parser_parameter_declaration): When issuing errors about
1801 unknown type names, attempt to provide a suggestion via
1802 lookup_name_fuzzy.
1803 * c-tree.h (c_keyword_starts_typename): New prototype.
1804
e218d07f 18052016-06-20 Joseph Myers <joseph@codesourcery.com>
1806
1807 PR c/71601
1808 * c-typeck.c (build_conditional_expr): Return error_mark_node if
1809 c_common_type returns error_mark_node.
1810
92a44a68 18112016-06-19 Martin Sebor <msebor@redhat.com>
21897f47 1812
1813 PR c/69507
1814 * c-parser.c (c_parser_alignof_expression): Avoid diagnosing
1815 __alignof__ (expression).
1816
f0d77991 18172016-06-14 David Malcolm <dmalcolm@redhat.com>
1818
1819 * c-typeck.c: Include spellcheck-tree.h rather than spellcheck.h.
1820
2a990300 18212016-06-14 David Malcolm <dmalcolm@redhat.com>
1822
1823 * c-typeck.c (build_component_ref): Simplify fixit code by
1824 using gcc_rich_location::add_fixit_misspelled_id.
1825 (set_init_label): Likewise.
1826
527790c1 18272016-06-13 David Malcolm <dmalcolm@redhat.com>
1828
1829 * c-parser.c (c_parser_initelt): Provide location of name for new
1830 location_t param of set_init_label.
1831 * c-tree.h (set_init_label): Add location_t param.
1832 * c-typeck.c (set_init_index): Add "fieldname_loc" location_t
1833 param and use it when issuing error messages about unrecognized
1834 field names. Attempt to provide a fixit hint if appropriate,
1835 otherwise update the error message to provide the type name.
1836
ccfa030f 18372016-06-10 Thomas Schwinge <thomas@codesourcery.com>
1838
1839 PR c/71381
1840 * c-parser.c (c_parser_omp_variable_list) <OMP_CLAUSE__CACHE_>:
1841 Loosen checking.
1842
732905bb 18432016-06-08 Martin Sebor <msebor@redhat.com>
1844 Jakub Jelinek <jakub@redhat.com>
1845
1846 PR c++/70507
1847 PR c/68120
1848 * c-typeck.c (convert_arguments): Don't promote last argument
1849 of BUILT_IN_{ADD,SUB,MUL}_OVERFLOW_P.
1850
bafc7b1d 18512016-06-08 Marek Polacek <polacek@redhat.com>
1852
1853 PR c/71418
1854 * c-decl.c (grokdeclarator): Check TYPE_P.
1855
06e590e7 1856 PR c/71426
1857 * c-decl.c (get_parm_info): Don't crash on an assert on invalid
1858 code.
1859
7cfde92a 18602016-06-07 David Malcolm <dmalcolm@redhat.com>
1861
1862 * c-parser.c (c_parser_postfix_expression): In __builtin_offsetof
1863 and structure element reference, capture the location of the
1864 element name token and pass it to build_component_ref.
1865 (c_parser_postfix_expression_after_primary): Likewise for
1866 structure element dereference.
1867 (c_parser_omp_variable_list): Likewise for
1868 OMP_CLAUSE_{_CACHE, MAP, FROM, TO},
1869 * c-tree.h (build_component_ref): Add location_t param.
1870 * c-typeck.c (build_component_ref): Add location_t param
1871 COMPONENT_LOC. Use it, if available, when issuing hints about
1872 mispelled member names to provide a fixit replacement hint.
1873
61f1f80c 18742016-06-06 Marek Polacek <polacek@redhat.com>
1875
1876 PR c/71362
1877 * c-parser.c (c_parser_direct_declarator): Set location.
1878
e4b92538 18792016-06-06 Marek Polacek <polacek@redhat.com>
1880
1881 * c-typeck.c (comptypes_internal): Handle comparisons of
1882 INTEGER_TYPE, FIXED_POINT_TYPE, and REAL_TYPE nodes. Don't check
1883 TYPE_REF_CAN_ALIAS_ALL.
1884
2234363c 18852016-06-03 Chung-Lin Tang <cltang@codesourcery.com>
1886
1887 * c-typeck.c (c_finish_omp_clauses): Mark OpenACC reduction
1888 arguments as addressable when async clause exists.
1889
b6431756 18902016-05-30 Jakub Jelinek <jakub@redhat.com>
1891
1892 PR c++/71349
1893 * c-parser.c (c_parser_omp_for): Don't disallow nowait clause
1894 when combined with target construct.
1895
6feab9ce 18962016-05-26 Jakub Jelinek <jakub@redhat.com>
1897
1898 * c-parser.c (c_parser_omp_clause_schedule): Warn if
1899 OMP_CLAUSE_SCHEDULE_CHUNK_EXPR is known not to be positive.
1900
2c995da9 19012016-05-25 Marek Polacek <polacek@redhat.com>
1902
1903 PR c/71265
1904 * c-decl.c (c_make_fname_decl): Don't check seen_error.
1905
abfbb5b5 1906 PR c/71266
1907 * c-decl.c (store_parm_decls_oldstyle): Skip non-PARM_DECLs.
1908
6d6a3fc3 19092016-05-24 Cesar Philippidis <cesar@codesourcery.com>
1910
1911 * c-parser.c (c_parser_oacc_declare): Add support for
1912 GOMP_MAP_FIRSTPRIVATE_POINTER.
1913 * c-typeck.c (handle_omp_array_sections_1): Replace bool is_omp
1914 argument with enum c_omp_region_type ort.
1915 (handle_omp_array_sections): Likewise. Update call to
1916 handle_omp_array_sections_1.
1917 (c_finish_omp_clauses): Add specific errors and warning messages for
1918 OpenACC. Use firsrtprivate pointers for OpenACC subarrays. Update
1919 call to handle_omp_array_sections.
1920
c9d624bd 19212016-05-24 Thomas Schwinge <thomas@codesourcery.com>
1922
1923 * c-parser.c (c_parser_oacc_routine): Tighten syntax checks.
1924
7345b977 19252016-05-24 Richard Biener <rguenther@suse.de>
1926
1927 PR middle-end/70434
1928 PR c/69504
1929 * c-typeck.c (build_array_ref): Do not complain about indexing
1930 non-lvalue vectors. Adjust for function name change.
1931
8bdfbc08 19322016-05-20 Martin Sebor <msebor@redhat.com>
1933
1934 PR c/71115
1935 * c-typeck.c (error_init): Use
1936 expansion_point_location_if_in_system_header.
1937 (warning_init): Same.
1938
97c71d71 19392016-05-19 David Malcolm <dmalcolm@redhat.com>
1940
1941 PR c/71171
1942 * c-parser.c (c_parser_generic_selection): Use c_expr::set_error
1943 in error-handling.
1944 (c_parser_postfix_expression): Likewise.
1945 * c-tree.h (c_expr::set_error): New method.
1946 * c-typeck.c (parser_build_binary_op): In error-handling, ensure
1947 that result's range is initialized.
1948
e68d7b49 19492016-05-17 James Greenhalgh <james.greenhalgh@arm.com>
1950
1951 * c-typeck.c (parser_build_unary_op): Fix formatting.
1952
624115b4 19532016-05-16 Matthew Wahab <matthew.wahab@arm.com>
1954
1955 * c-decl.c (grokdeclarator): Remove errmsg and use of
1956 targetm.invalid_return_type.
1957 (grokparms): Remove errmsg and use of
1958 targetm.invalid_parameter_type.
1959
90c88567 19602016-05-13 Joseph Myers <joseph@codesourcery.com>
1961
1962 * c-decl.c (grokdeclarator): For C11, discard qualifiers on
1963 function return type.
1964
22a3f7bd 19652016-05-12 Marek Polacek <polacek@redhat.com>
1966
1967 PR c/70756
1968 * c-decl.c (build_compound_literal): Pass LOC down to
1969 c_incomplete_type_error.
1970 * c-tree.h (require_complete_type): Adjust declaration.
1971 (c_incomplete_type_error): Likewise.
1972 * c-typeck.c (require_complete_type): Add location parameter, pass it
1973 down to c_incomplete_type_error.
1974 (c_incomplete_type_error): Add location parameter, pass it down to
1975 error_at.
1976 (build_component_ref): Pass location down to c_incomplete_type_error.
1977 (default_conversion): Pass location down to require_complete_type.
1978 (build_array_ref): Likewise.
1979 (build_function_call_vec): Likewise.
1980 (convert_arguments): Likewise.
1981 (build_unary_op): Likewise.
1982 (build_c_cast): Likewise.
1983 (build_modify_expr): Likewise.
1984 (convert_for_assignment): Likewise.
1985 (c_finish_omp_clauses): Likewise.
1986
54c4d22e 19872016-05-11 Mikhail Maltsev <maltsevm@gmail.com>
1988
1989 PR c/43651
1990 * c-decl.c (declspecs_add_qual): Warn when -Wduplicate-decl-specifier
1991 is enabled.
1992 * c-errors.c (pedwarn_c90): Return true if warned.
1993 * c-tree.h (pedwarn_c90): Change return type to bool.
1994 (enum c_declspec_word): Add new enumerator cdw_atomic.
1995
7f8012a5 19962016-05-11 Marek Polacek <polacek@redhat.com>
1997
1998 PR c++/71024
1999 * c-decl.c (diagnose_mismatched_decls): Factor out code to
2000 diagnose_mismatched_attributes and call it.
2001
3fa82609 20022016-05-10 Marek Polacek <polacek@redhat.com>
2003
2004 PR c/70255
2005 * c-decl.c (diagnose_mismatched_decls): Warn for optimize attribute
2006 on a declaration following the definition.
2007
871164c4 20082016-05-05 Jakub Jelinek <jakub@redhat.com>
2009
2010 * c-parser.c (c_parser_switch_statement): Add IF_P argument,
2011 parse it through to c_parser_c99_block_statement.
2012 (c_parser_statement_after_labels): Adjust c_parser_switch_statement
2013 caller.
2014
1d52c456 20152016-05-04 Marek Polacek <polacek@redhat.com>
2016
2017 * c-parser.c (c_parser_if_statement): Replace OPT_Wparentheses with
2018 OPT_Wdangling_else.
2019
a64030fe 20202016-05-04 Marek Polacek <polacek@redhat.com>
2021
2022 PR c/48778
2023 * c-typeck.c (build_binary_op): Don't issue -Waddress warnings
2024 for macro expansions.
2025
5d4db8ef 20262016-05-03 Marek Polacek <polacek@redhat.com>
2027
2028 PR c/70859
2029 * c-typeck.c (build_function_call_vec): Pass LOC and ARG_LOC down to
2030 check_builtin_function_arguments.
2031
0bd2fc6e 20322016-05-03 Richard Biener <rguenther@suse.de>
2033
2034 * Make-lang.in (cc1-checksum.c): For stage-final re-use
2035 the checksum from the previous stage.
2036
b5e88f74 20372016-05-02 Cesar Philippidis <cesar@codesourcery.com>
2038
2039 * c-parser.c (c_parser_oacc_all_clauses): Update call to
2040 c_finish_omp_clauses.
2041 (c_parser_omp_all_clauses): Likewise.
2042 (c_parser_oacc_cache): Likewise.
2043 (c_parser_oacc_loop): Likewise.
2044 (omp_split_clauses): Likewise.
2045 (c_parser_omp_declare_target): Likewise.
2046 (c_parser_cilk_all_clauses): Likewise.
2047 (c_parser_cilk_for): Likewise.
2048 * c-typeck.c (c_finish_omp_clauses): Replace bool arguments
2049 is_omp, declare_simd, and is_cilk with enum c_omp_region_type ort.
2050
dd185f6e 20512016-05-02 Marek Polacek <polacek@redhat.com>
2052
2053 PR c/70851
2054 * c-decl.c (grokdeclarator): Diagnose when array's size has an
2055 incomplete type.
2056
4d0a8bac 20572016-04-29 Cesar Philippidis <cesar@codesourcery.com>
2058
2059 PR middle-end/70626
2060 * c-parser.c (c_parser_oacc_loop): Don't augment mask with
2061 OACC_LOOP_CLAUSE_MASK.
2062 (c_parser_oacc_kernels_parallel): Update call to
2063 c_oacc_split_loop_clauses.
2064
d215eeca 20652016-04-28 Andrew MacLeod <amacleod@redhat.com>
2066
2067 * c-array-notation.c (fix_builtin_array_notation_fn): Fix final
2068 argument to build_modify_expr in two cases.
2069
40385231 20702016-04-27 Bernd Schmidt <bschmidt@redhat.com>
2071
2072 * c-parser.c (c_parser_postfix_expression_after_primary): Call
2073 warn_for_memset instead of warning directly here.
2074
fa20ebd3 20752016-04-26 Marek Polacek <polacek@redhat.com>
2076
2077 PR c/67784
2078 * c-parser.c (c_parser_maybe_reclassify_token): New function factored
2079 out of ...
2080 (c_parser_for_statement): ... here.
2081 (c_parser_if_statement): Use it.
2082 (c_parser_switch_statement): Use it.
2083 (c_parser_while_statement): Use it.
2084
9db47803 2085 PR c/70791
2086 * c-decl.c (pushdecl): Pass LOCUS down to warning.
2087
70574e60 20882016-04-20 Ilya Verbin <ilya.verbin@intel.com>
2089
2090 PR c++/69363
2091 * c-parser.c (c_parser_cilk_all_clauses): Use c_finish_omp_clauses
2092 instead of c_finish_cilk_clauses.
2093 * c-tree.h (c_finish_omp_clauses): Add new default argument.
2094 * c-typeck.c (c_finish_omp_clauses): Add new argument. Allow
2095 floating-point variables in the linear clause for Cilk Plus.
2096
5d4b30ea 20972016-04-18 Michael Matz <matz@suse.de>
2098
2099 * c-decl.c (merge_decls): Use SET_DECL_ALIGN and SET_TYPE_ALIGN.
2100 (grokdeclarator, parser_xref_tag, finish_enum): Use SET_TYPE_ALIGN.
2101
eac243e7 21022016-04-15 Marek Polacek <polacek@redhat.com>
2103
2104 PR c/70671
2105 * c-typeck.c (build_unary_op): Pass location down to error and
2106 warning call.
2107
b4ba8358 21082016-04-15 Jakub Jelinek <jakub@redhat.com>
2109
2110 PR c/70436
2111 * c-parser.c (c_parser_pragma): Add IF_P argument, pass it down
2112 where needed.
2113 (c_parser_external_declaration, c_parser_struct_or_union_specifier,
2114 c_parser_parameter_declaration, c_parser_compound_statement_nostart,
2115 c_parser_objc_class_instance_variables, c_parser_objc_methodprotolist):
2116 Adjust c_parser_pragma callers.
2117 (c_parser_statement_after_labels): Likewise. Adjust c_parser_cilk_for
2118 caller.
2119 (c_parser_omp_structured_block): Add IF_P argument, pass it down to
2120 c_parser_statement.
2121 (c_parser_oacc_data, c_parser_oacc_host_data, c_parser_oacc_loop,
2122 c_parser_oacc_kernels_parallel, c_parser_omp_critical,
2123 c_parser_omp_simd, c_parser_omp_for, c_parser_omp_master,
2124 c_parser_omp_ordered, c_parser_omp_parallel, c_parser_omp_single,
2125 c_parser_omp_task, c_parser_omp_taskgroup, c_parser_omp_distribute,
2126 c_parser_omp_teams, c_parser_omp_target_data, c_parser_omp_target,
2127 c_parser_omp_taskloop, c_parser_omp_construct, c_parser_cilk_grainsize,
2128 c_parser_cilk_simd, c_parser_cilk_for): Add IF_P argument, pass it
2129 down where needed.
2130 (c_parser_omp_for_loop): Likewise. Clear IF_P if nbraces.
2131 (c_parser_omp_sections_scope): Adjust c_parser_omp_structured_block
2132 calls.
2133
0241e4dc 21342016-04-13 Marek Polacek <polacek@redhat.com>
2135
2136 PR c/70436
2137 * c-parser.c (c_parser_statement_after_labels): Add IF_P argument and
2138 adjust callers.
2139 (c_parser_statement): Likewise.
2140 (c_parser_c99_block_statement): Likewise.
2141 (c_parser_while_statement): Likewise.
2142 (c_parser_for_statement): Likewise.
2143 (c_parser_if_body): Don't set IF_P here.
2144 (c_parser_if_statement): Add IF_P argument. Set IF_P here. Warn
2145 about dangling else here.
2146 * c-tree.h (c_finish_if_stmt): Adjust declaration.
2147 * c-typeck.c (c_finish_if_stmt): Remove NESTED_IF parameter. Don't
2148 warn about dangling else here.
2149
c4f5465d 21502016-04-04 Marek Polacek <polacek@redhat.com>
2151
2152 PR c/70307
2153 * c-fold.c (c_fully_fold_internal): Handle VEC_COND_EXPR.
2154
7952b661 21552016-03-31 Marek Polacek <polacek@redhat.com>
2156
2157 PR c/70297
2158 * c-decl.c (merge_decls): Also set TYPE_ALIGN and TYPE_USER_ALIGN.
2159
5539bc70 21602016-03-18 David Malcolm <dmalcolm@redhat.com>
2161
2162 PR c/70281
2163 * c-parser.c (c_parser_postfix_expression): Set the source range
2164 for uses of "__builtin_types_compatible_p".
2165
29a514fa 21662016-03-17 Jakub Jelinek <jakub@redhat.com>
2167
2168 PR c/70280
2169 * c-typeck.c (composite_type): Don't count void_list_node
2170 into len, if the list is terminated by void_list_node, start
2171 with void_list_node instead of NULL for newargs. Stop
2172 at void_list_node.
2173
462ca422 21742016-03-16 Marek Polacek <polacek@redhat.com>
2175
2176 PR c/70093
2177 * c-typeck.c (build_function_call_vec): Create a TARGET_EXPR for
2178 nested functions returning VM types.
2179
27dcb7a8 21802016-03-09 Cesar Philippidis <cesar@codesourcery.com>
2181
2182 * c-parser.c (c_parser_oacc_loop): Update cclauses and clauses
2183 when calling c_finish_omp_clauses.
2184
2d1d2e55 21852016-03-04 Bernd Schmidt <bschmidt@redhat.com>
2186
2187 PR c/69824
2188 * c-decl.c (get_parm_info): Don't queue implicit function declarations
2189 for later.
2190
6560d1ad 21912016-03-04 Marek Polacek <polacek@redhat.com>
2192
2193 PR c/69798
2194 * c-parser.c (c_parser_postfix_expression): Call
2195 c_parser_cast_expression rather than c_parser_postfix_expression.
2196
40e9ce2d 21972016-03-01 Jakub Jelinek <jakub@redhat.com>
2198
2199 PR c/69796
2200 PR c/69974
2201 * c-parser.c (c_parser_translation_unit): Don't change TREE_TYPE
2202 of incomplete decls to error_mark_node.
2203
f0ea75d1 22042016-02-24 Marek Polacek <polacek@redhat.com>
2205
2206 PR c/69819
2207 * c-decl.c (finish_decl): Don't update the copy of the type of a
2208 different decl type.
2209
d41ab738 22102016-02-23 Jakub Jelinek <jakub@redhat.com>
2211
2212 PR objc/69844
2213 * c-parser.c (c_parser_for_statement): Properly handle ObjC classes
2214 in id_kind reclassification.
2215
7675e968 22162016-02-16 Jakub Jelinek <jakub@redhat.com>
2217
2218 PR c/69835
2219 * c-typeck.c (build_binary_op): Revert 2015-09-09 change.
2220
28072426 22212016-02-16 James Norris <jnorris@codesourcery.com>
2222
2223 PR c/64748
2224 * c-parser.c (c_parser_oacc_data_clause_deviceptr): Allow parms.
2225
74a4140f 22262016-02-12 Bernd Schmidt <bschmidt@redhat.com>
2227
7c25ed5c 2228 * c-decl.c (build_null_declspecs): Zero the entire struct.
2229
74a4140f 2230 PR c/69522
2231 * c-parser.c (c_parser_braced_init): New arg outer_obstack. All
2232 callers changed. If nested_p is true, use it to call
2233 finish_implicit_inits.
2234 * c-tree.h (finish_implicit_inits): Declare.
2235 * c-typeck.c (finish_implicit_inits): New function. Move code
2236 from ...
2237 (push_init_level): ... here.
2238 (set_designator, process_init_element): Call finish_implicit_inits.
2239
40b38ace 22402016-02-11 Jakub Jelinek <jakub@redhat.com>
2241
2242 PR c/69768
2243 * c-typeck.c (parser_build_binary_op): Strip nops from integer_zerop
2244 arguments for -Waddress warning.
2245
6b098e91 22462016-02-04 Jakub Jelinek <jakub@redhat.com>
2247
2248 PR c/69669
2249 * c-decl.c (finish_enum): When honoring mode attribute,
2250 make sure to use proper TYPE_MIN_VALUE and TYPE_MAX_VALUE.
2251
ff5e28e9 22522016-01-29 Jakub Jelinek <jakub@redhat.com>
2253
2254 PR debug/69518
2255 * c-decl.c (finish_struct): Clear C_TYPE_INCOMPLETE_VARS in
2256 all type variants, not just TYPE_MAIN_VARIANT.
2257
78e516eb 22582016-01-27 Jakub Jelinek <jakub@redhat.com>
2259
2260 PR debug/66869
2261 * c-decl.c (c_write_global_declarations_1): Warn with
2262 warn_unused_function if static prototype without definition
2263 is not C_DECL_USED.
2264
fee5e491 22652016-01-27 Marek Polacek <polacek@redhat.com>
2266
2267 PR c/68062
2268 * c-typeck.c (build_binary_op) [EQ_EXPR, GE_EXPR]: Promote operand
2269 to unsigned, if needed. Add -Wsign-compare warning.
2270
9bbfd060 22712016-01-26 Jakub Jelinek <jakub@redhat.com>
2272
2273 PR tree-optimization/69483
2274 * c-parser.c (c_parser_translation_unit): Use FOR_EACH_VEC_ELT.
2275
6ebc6587 22762016-01-20 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
16d4186f 2277
2278 PR c/24293
2279 * c-tree.h (incomplete_record_decls): Declare.
2280 * c-parser.c (incomplete_record_decls): Define.
2281 (c_parser_translation_unit): Iterate through incomplete_record_decls and
2282 report error if any decl has zero size.
2283 * c-decl.c (finish_decl): Append static decl with incomplete struct/union
2284 or enum type to incomplete_record_decls.
2285
4c39e3a5 22862016-01-14 Tom de Vries <tom@codesourcery.com>
2287
2288 PR tree-optimization/68773
2289 * c-parser.c (c_parser_oacc_declare, c_parser_omp_declare_target): Don't
2290 set force_output.
2291
77f35cec 22922016-01-14 Marek Polacek <polacek@redhat.com>
2293
2294 PR c/69262
2295 * c-decl.c (grokdeclarator): Provide more information for invalid
2296 array declarations.
2297
d74214f3 22982016-01-06 David Malcolm <dmalcolm@redhat.com>
2299
2300 * c-parser.c (c_parser_unary_expression): For dereferences, build
2301 a combined location before calling build_indirect_ref, so that
2302 error reports cover the full range, manually updating the c_expr
2303 src_range.
2304
be3c9981 23052016-01-06 Marek Polacek <polacek@redhat.com>
2306
2307 PR sanitizer/69099
2308 * c-convert.c (convert) [INTEGER_TYPE]: Drop ARG. Don't pass ARG to
2309 ubsan_instrument_float_cast. Fold EXPR. Use NULL_TREE instead of
2310 NULL.
2311
f1717362 23122016-01-04 Jakub Jelinek <jakub@redhat.com>
2313
2314 Update copyright years.
2315
d7d6a3ab 23162016-01-04 Marek Polacek <polacek@redhat.com>
2317
2318 PR c/68908
2319 * c-typeck.c (build_atomic_assign): Improve commentary. Add
2320 optimization to use __atomic_fetch_* built-in if possible.
2321
9d5fd7c6 23222015-12-23 Thomas Schwinge <thomas@codesourcery.com>
2323
2324 * c-parser.c (c_parser_oacc_clause_use_device): Merge function
2325 into...
2326 (c_parser_omp_clause_use_device_ptr): ... this function. Adjust
2327 all users.
2328
37e2d32f 23292015-12-22 Marek Polacek <polacek@redhat.com>
2330
2331 PR c/69002
2332 * c-typeck.c (build_component_ref): Warn when acessing elements of
2333 atomic structures or unions.
2334
c0bf500c 23352015-12-21 David Malcolm <dmalcolm@redhat.com>
2336
2337 * c-typeck.c: Include "gcc-rich-location.h".
2338 (build_binary_op): In the two places that call binary_op_error,
2339 create a gcc_rich_location and populate it with the location of
2340 the binary op and its two operands.
2341
b9f9586a 23422015-12-16 David Malcolm <dmalcolm@redhat.com>
2343
2344 * c-parser.c (c_parser_statement_after_labels): When calling
2345 c_finish_return, Use the return expression's location if it has
2346 one, falling back to the location of the first token within it.
2347 * c-typeck.c (c_finish_return): When issuing warnings about
2348 the incorrect presence/absence of a return value, issue a note
2349 showing the declaration of the function.
2350
dbd79382 23512015-12-16 David Malcolm <dmalcolm@redhat.com>
2352
2353 * c-parser.c (struct c_parser): Expand array "tokens_buf" from 2
2354 to 4.
2355 (c_parser_peek_nth_token): New function.
2356 (c_parser_peek_conflict_marker): New function.
2357 (c_parser_error): Detect conflict markers and report them as such.
2358
e2093e02 23592015-12-16 David Malcolm <dmalcolm@redhat.com>
2360
2361 * c-parser.c (c_parser_postfix_expression): Use EXPR_LOC_OR_LOC
2362 to preserve range information for the primary expression
2363 in the call to c_parser_postfix_expression_after_primary.
2364
b49f1fbb 23652015-12-16 David Malcolm <dmalcolm@redhat.com>
2366
2367 * c-parser.c (c_parser_static_assert_declaration_no_semi): Use the
2368 expression location, falling back on the first token location,
2369 rather than always using the latter.
2370
1d65bac2 23712015-12-16 Marek Polacek <polacek@redhat.com>
2372
2373 PR c/64637
2374 * c-typeck.c (c_process_expr_stmt): Use location of the expression if
2375 available.
2376
75e722a6 23772015-12-15 Marek Polacek <polacek@redhat.com>
2378
2379 PR c/68907
2380 * c-typeck.c (build_atomic_assign): Set TREE_NO_WARNING on an
2381 artificial decl.
2382
7063d45b 23832015-12-08 David Malcolm <dmalcolm@redhat.com>
2384
2385 * c-parser.c (c_parser_alignof_expression): Capture location of
2386 closing parenthesis (if any), or of end of unary expression, and
2387 use it to build a src_range for the expression.
2388
f73b4782 23892015-12-08 David Malcolm <dmalcolm@redhat.com>
2390
2391 PR c/68757
2392 * c-parser.c (c_parser_get_builtin_args): Add
2393 "out_close_paren_loc" param, and write back to it.
2394 (c_parser_postfix_expression): Capture the closing
2395 parenthesis location for RID_CHOOSE_EXPR,
2396 RID_BUILTIN_CALL_WITH_STATIC_CHAIN, RID_BUILTIN_COMPLEX,
2397 RID_BUILTIN_SHUFFLE and use it to set the source range
2398 for such expressions; within RID_BUILTIN_COMPLEX set
2399 the underlying location.
2400
1b062945 24012015-12-07 Marek Polacek <polacek@redhat.com>
2402
2403 PR c/68668
2404 * c-decl.c (grokdeclarator): If ORIG_QUAL_INDIRECT is indirect, use
2405 TREE_TYPE of ORIG_QUAL_TYPE, otherwise decrement ORIG_QUAL_INDIRECT.
2406
a4ab54ac 24072015-12-04 Eric Botcazou <ebotcazou@adacore.com>
2408
2409 * c-tree.h (c_build_va_arg): Adjust prototype.
2410 * c-parser.c (c_parser_postfix_expression): Adjust call to above.
2411 * c-typeck.c (c_build_va_arg): Rename LOC parameter to LOC2, add LOC1
2412 parameter, adjust throughout and issue an error if EXPR is a component
2413 with reverse storage order.
2414
da562e32 24152015-12-02 Jason Merrill <jason@redhat.com>
2416
2417 * c-fold.c (c_disable_warnings, c_enable_warnings, c_fully_fold)
2418 (c_fully_fold_internal, decl_constant_value_for_optimization):
2419 Move from c-common.c.
2420 * c-tree.h: Declare decl_constant_value_for_optimization.
2421 * Make-lang.in (C_AND_OBJC_OBJS): Add c-fold.o.
2422
89f16034 24232015-12-02 Joseph Myers <joseph@codesourcery.com>
2424
2425 PR c/68162
2426 * c-decl.c (grokdeclarator): Set first_non_attr_kind before
2427 following link from declarator to next declarator. Track original
2428 qualified type and pass it to c_build_qualified_type.
2429 * c-typeck.c (c_build_qualified_type): Add arguments
2430 orig_qual_type and orig_qual_indirect.
2431
2a7545d5 24322015-12-02 Thomas Schwinge <thomas@codesourcery.com>
2433
2434 * c-parser.c (c_parser_omp_clause_name)
2435 (c_parser_oacc_all_clauses): Alphabetical sorting.
2436
ad80582d 24372015-12-02 Jakub Jelinek <jakub@redhat.com>
2438
2439 PR c/68533
2440 * c-decl.c (get_parm_info): Use b->locus instead of input_location
2441 for diagnostics.
2442
571b3486 24432015-12-01 Julian Brown <julian@codesourcery.com>
2444 Cesar Philippidis <cesar@codesourcery.com>
2445 James Norris <James_Norris@mentor.com>
2446
2447 * c-parser.c (c_parser_omp_clause_name): Add use_device support.
2448 (c_parser_oacc_clause_use_device): New function.
2449 (c_parser_oacc_all_clauses): Add use_device support.
2450 (OACC_HOST_DATA_CLAUSE_MASK): New macro.
2451 (c_parser_oacc_host_data): New function.
2452 (c_parser_omp_construct): Add host_data support.
2453 * c-tree.h (c_finish_oacc_host_data): Add prototype.
2454 * c-typeck.c (c_finish_oacc_host_data): New function.
2455 (c_finish_omp_clauses): Add use_device support.
2456
c4848393 24572015-11-29 Jan Hubicka <hubicka@ucw.cz>
2458
2459 PR c/67106
2460 * c-decl.c: Set TYPE_PACKED in variants.
2461
d4e328e9 24622015-11-27 Martin Liska <mliska@suse.cz>
2463
2464 PR c++/68312
2465 * c-array-notation.c (fix_builtin_array_notation_fn):
2466 Use release_vec_vec instead of vec::release.
2467 (build_array_notation_expr): Likewise.
2468 (fix_conditional_array_notations_1): Likewise.
2469 (fix_array_notation_expr): Likewise.
2470 (fix_array_notation_call_expr): Likewise.
2471
c5e4f591 24722015-11-27 Jakub Jelinek <jakub@redhat.com>
2473
2474 PR c/63326
2475 * c-parser.c (c_parser_compound_statement_nostart): If
2476 last_label is true, use pragma_stmt instead of pragma_compound
2477 as second c_parser_pragma argument.
2478 (c_parser_omp_ordered, c_parser_omp_target_update,
2479 c_parser_omp_target_enter_data, c_parser_omp_target_exit_data): Pass
2480 false as second argument to c_parser_skip_to_pragma_eol after
2481 diagnosing standalone directives used in pragma_stmt context.
2482
c954a5bd 24832015-11-24 Ilya Verbin <ilya.verbin@intel.com>
2484
2485 * c-parser.c (c_parser_oacc_declare): Replace "ifdef ENABLE_OFFLOADING"
2486 with "if (ENABLE_OFFLOADING)".
2487
daebf4f3 24882015-11-23 David Malcolm <dmalcolm@redhat.com>
2489
2490 PR objc/68438
2491 * c-parser.c (c_parser_postfix_expression): Set up source ranges
2492 for various Objective-C constructs: Class.name syntax,
2493 @selector(), @protocol(), @encode(), and [] message syntax.
2494
734caf84 24952015-11-20 David Malcolm <dmalcolm@redhat.com>
2496
2497 PR 62314
2498 * c-typeck.c (should_suggest_deref_p): New function.
2499 (build_component_ref): Special-case POINTER_TYPE when
2500 generating a "not a structure of union" error message, and
2501 suggest a "->" rather than a ".", providing a fix-it hint.
2502
11d8dd6f 25032015-11-19 David Malcolm <dmalcolm@redhat.com>
2504
2505 * c-typeck.c (lookup_field_fuzzy): Move determination of closest
2506 candidate into a new function, find_closest_identifier.
2507
62efaf6b 25082015-11-19 Marek Polacek <polacek@redhat.com>
2509
2510 PR c/68412
2511 * c-typeck.c (parser_build_binary_op): Properly handle
2512 C_MAYBE_CONST_EXPR before calling warn_tautological_cmp.
2513
9dfffd6d 25142015-11-17 David Malcolm <dmalcolm@redhat.com>
2515
2516 * c-parser.c (set_c_expr_source_range): Bulletproof both
2517 overloaded implementations against NULL expr->value.
2518 (c_parser_braced_init): Set src_range for "ret" to a sane pair of
2519 values.
2520 (c_parser_unary_expression): Likewise when handling addresses of
2521 labels.
2522 (c_parser_postfix_expression): Likewise for statement expressions,
2523 for __FUNCTION__, __PRETTY_FUNCTION_ and __func__ keywords, for
2524 __builtin_va_arg, and for __builtin_offset_of.
2525 (c_parser_postfix_expression_after_paren_type): Initialize expr's
2526 src_range using the range of the braced initializer.
2527 (c_parser_transaction_expression): Set src_range for "ret" to a
2528 sane pair of values.
2529
c58a4cfd 25302015-11-16 Kirill Yukhin <kirill.yukhin@intel.com>
2531
2532 * c-parser.c (c_finish_omp_declare_simd): Look for
2533 "simd" attribute as well. Update error message.
2534
5f3001a9 25352015-11-14 Trevor Saunders <tbsaunde+gcc@tbsaunde.org>
2536
2537 * c-parser.c (c_parser_omp_declare_target): Adjust.
2538
a9833286 25392015-11-14 Jakub Jelinek <jakub@redhat.com>
2540
2541 * c-typeck.c (c_finish_omp_clauses): Don't mark
2542 GOMP_MAP_FIRSTPRIVATE_POINTER decls addressable.
2543
ef61516b 25442015-11-14 Marek Polacek <polacek@redhat.com>
2545
2546 * c-decl.c: Use RECORD_OR_UNION_TYPE_P throughout.
2547 * c-typeck.c: Likewise.
2548
a96cefb2 25492015-11-13 David Malcolm <dmalcolm@redhat.com>
2550
2551 * c-decl.c (warn_defaults_to): Pass line_table to
2552 rich_location ctor.
2553 * c-errors.c (pedwarn_c99): Likewise.
2554 (pedwarn_c90): Likewise.
2555 * c-parser.c (set_c_expr_source_range): New functions.
2556 (c_token::get_range): New method.
2557 (c_token::get_finish): New method.
2558 (c_parser_expr_no_commas): Call set_c_expr_source_range on the ret
2559 based on the range from the start of the LHS to the end of the
2560 RHS.
2561 (c_parser_conditional_expression): Likewise, based on the range
2562 from the start of the cond.value to the end of exp2.value.
2563 (c_parser_binary_expression): Call set_c_expr_source_range on
2564 the stack values for TRUTH_ANDIF_EXPR and TRUTH_ORIF_EXPR.
2565 (c_parser_cast_expression): Call set_c_expr_source_range on ret
2566 based on the cast_loc through to the end of the expr.
2567 (c_parser_unary_expression): Likewise, based on the
2568 op_loc through to the end of op.
2569 (c_parser_sizeof_expression) Likewise, based on the start of the
2570 sizeof token through to either the closing paren or the end of
2571 expr.
2572 (c_parser_postfix_expression): Likewise, using the token range,
2573 or from the open paren through to the close paren for
2574 parenthesized expressions.
2575 (c_parser_postfix_expression_after_primary): Likewise, for
2576 various kinds of expression.
2577 * c-tree.h (struct c_expr): Add field "src_range".
2578 (c_expr::get_start): New method.
2579 (c_expr::get_finish): New method.
2580 (set_c_expr_source_range): New decls.
2581 * c-typeck.c (parser_build_unary_op): Call set_c_expr_source_range
2582 on ret for prefix unary ops.
2583 (parser_build_binary_op): Likewise, running from the start of
2584 arg1.value through to the end of arg2.value.
2585
7a810b2f 25862015-11-13 Marek Polacek <polacek@redhat.com>
2587
2588 PR c/68320
2589 * c-parser.c (c_parser_for_statement): Treat unknown tokens as IDs.
2590
b67f0560 25912015-11-13 David Malcolm <dmalcolm@redhat.com>
2592
2593 * c-typeck.c: Include spellcheck.h.
2594 (lookup_field_fuzzy_find_candidates): New function.
2595 (lookup_field_fuzzy): New function.
2596 (build_component_ref): If the field was not found, try using
2597 lookup_field_fuzzy and potentially offer a suggestion.
2598
2fc5e987 25992015-11-12 James Norris <jnorris@codesourcery.com>
2600 Joseph Myers <joseph@codesourcery.com>
2601
2602 * c-parser.c (c_parser_pragma): Handle PRAGMA_OACC_DECLARE.
2603 (c_parser_omp_clause_name): Handle 'device_resident' clause.
2604 (c_parser_oacc_data_clause): Handle PRAGMA_OACC_CLAUSE_DEVICE_RESIDENT
2605 and PRAGMA_OMP_CLAUSE_LINK.
2606 (c_parser_oacc_all_clauses): Handle PRAGMA_OACC_CLAUSE_DEVICE_RESIDENT
2607 and PRAGMA_OACC_CLAUSE_LINK.
2608 (OACC_DECLARE_CLAUSE_MASK): New definition.
2609 (c_parser_oacc_declare): New function.
2610
28a70e29 26112015-11-12 Marek Polacek <polacek@redhat.com>
2612
2613 PR c/67784
2614 * c-parser.c (c_parser_for_statement): Reclassify the token in
2615 a correct scope.
2616
81b1b2a8 26172015-11-11 Marek Polacek <polacek@redhat.com>
2618
2619 PR c/68107
2620 PR c++/68266
2621 * c-decl.c (grokdeclarator): Call valid_array_size_p. Remove code
2622 checking the size of an array.
2623
6e803544 26242015-11-11 Andrew MacLeod <amacleod@redhat.com>
2625
2626 * c-array-notation.c: Remove unused header files.
2627 * c-aux-info.c: Likewise.
2628 * c-convert.c: Likewise.
2629 * c-decl.c: Likewise.
2630 * c-errors.c: Likewise.
2631 * c-lang.c: Likewise.
2632 * c-objc-common.c: Likewise.
2633 * c-parser.c: Likewise.
2634 * c-typeck.c: Likewise.
2635 * gccspec.c: Likewise.
2636
a1b7fe4b 26372015-11-09 Thomas Schwinge <thomas@codesourcery.com>
2638 Cesar Philippidis <cesar@codesourcery.com>
2639 James Norris <jnorris@codesourcery.com>
2640 Julian Brown <julian@codesourcery.com>
2641 Nathan Sidwell <nathan@codesourcery.com>
2642
2643 c/
2644 * c-parser.c (c_parser_declaration_or_fndef): Add OpenACC
2645 routine arg.
2646 (c_parser_declaration_or_fndef): Call c_finish_oacc_routine.
2647 (c_parser_pragma): Parse 'acc routine'.
2648 (OACC_ROUTINE_CLAUSE_MARK): Define.
2649 (c_parser_oacc_routine, (c_finish_oacc_routine): New.
2650
7758d608 26512015-11-09 Andreas Arnez <arnez@linux.vnet.ibm.com>
2652
2653 PR debug/67192
2654 * c-typeck.c (c_finish_loop): For unconditional loops, set the
2655 location of the backward-goto to the start of the loop body.
2656
c2bf2fb2 26572015-11-09 Andreas Arnez <arnez@linux.vnet.ibm.com>
2658
2659 PR debug/67192
2660 * c-parser.c (c_parser_while_statement): Finish the loop before
2661 parsing ahead for misleading indentation.
2662 (c_parser_for_statement): Likewise.
2663
292237f3 26642015-11-08 Eric Botcazou <ebotcazou@adacore.com>
2665
2666 * c-decl.c (finish_struct): If the structure has reverse storage
2667 order, rewrite the type of array fields with scalar component. Call
2668 maybe_apply_pragma_scalar_storage_order on entry.
2669 * c-typeck.c (build_unary_op) <ADDR_EXPR>: Remove left-overs. Issue
2670 errors on bit-fields and reverse SSO here and not...
2671 (c_mark_addressable): ...here.
2672 (output_init_element): Adjust call to initializer_constant_valid_p.
2673 (c_build_qualified_type): Propagate TYPE_REVERSE_STORAGE_ORDER.
2674
f0479000 26752015-11-06 David Malcolm <dmalcolm@redhat.com>
2676
2677 * c-decl.c (warn_defaults_to): Update for change in signature
2678 of diagnostic_set_info.
2679 * c-errors.c (pedwarn_c99): Likewise.
2680 (pedwarn_c90): Likewise.
2681 * c-objc-common.c (c_tree_printer): Update for new "caret_p" param
2682 for textinfo::set_location.
2683
ef014f95 26842015-11-05 Cesar Philippidis <cesar@codesourcery.com>
2685 Thomas Schwinge <thomas@codesourcery.com>
2686 James Norris <jnorris@codesourcery.com>
2687
2688 * c-parser.c (c_parser_omp_clause_name): Add support for
2689 PRAGMA_OACC_CLAUSE_INDEPENDENT and PRAGMA_OACC_CLAUSE_TILE.
2690 (c_parser_omp_clause_default): Add is_oacc argument. Handle
2691 default(none) in OpenACC.
2692 (c_parser_oacc_shape_clause): Allow pointer variables as gang static
2693 arguments.
2694 (c_parser_oacc_clause_tile): New function.
2695 (c_parser_oacc_all_clauses): Add support for OMP_CLAUSE_DEFAULT,
2696 OMP_CLAUSE_INDEPENDENT and OMP_CLAUSE_TILE.
2697 (OACC_LOOP_CLAUSE_MASK): Add PRAGMA_OACC_CLAUSE_{PRIVATE,INDEPENDENT,
2698 TILE}.
2699 (OACC_KERNELS_MASK): Add PRAGMA_OACC_CLAUSE_DEFAULT.
2700 (OACC_PARALLEL_MASK): Add PRAGMA_OACC_CLAUSE_{DEFAULT,PRIVATE,
2701 FIRSTPRIVATE}.
2702 (c_parser_omp_all_clauses): Update call to c_parser_omp_clause_default.
2703 (c_parser_oacc_update): Update the error message for missing clauses.
2704 * c-typeck.c (c_finish_omp_clauses): Add support for OMP_CLAUSE_TILE
2705 and OMP_CLAUSE_INDEPENDENT.
2706
f480ca9a 27072015-11-05 Marek Polacek <polacek@redhat.com>
2708
2709 PR c/68090
2710 * c-parser.c (c_parser_postfix_expression_after_paren_type): Don't
2711 deal with pre-evaluation on invalid types.
2712
9561765e 27132015-11-05 Jakub Jelinek <jakub@redhat.com>
2714 Ilya Verbin <ilya.verbin@intel.com>
2715
2716 * c-parser.c: Include context.h and gimple-expr.h.
2717 (c_parser_omp_clause_schedule): Parse schedule modifiers, diagnose
2718 monotonic together with nonmonotonic.
2719 (c_parser_omp_for_loop): Call c_omp_check_loop_iv. Call add_stmt here.
2720 (OMP_DISTRIBUTE_CLAUSE_MASK): Add lastprivate clause.
2721 (c_parser_omp_target_data, c_parser_omp_target_enter_data,
2722 c_parser_omp_target_exit_data): Allow GOMP_MAP_ALWAYS_POINTER.
2723 (c_parser_omp_target): Likewise. Evaluate num_teams and thread_limit
2724 expressions on combined target teams before the target.
2725 (c_parser_omp_declare_target): If decl has "omp declare target" or
2726 "omp declare target link" attribute, and cgraph or varpool node already
2727 exists, then set corresponding flags. Call c_finish_omp_clauses
2728 in the parenthesized extended-list syntax case.
2729 * c-decl.c (c_decl_attributes): Don't diagnose block scope vars inside
2730 declare target.
2731 * c-typeck.c (handle_omp_array_sections_1): Allow non-zero low-bound
2732 on OMP_CLAUSE_REDUCTION array sections.
2733 (handle_omp_array_sections): Encode low-bound into the MEM_REF, either
2734 into the constant offset, or for variable low-bound using
2735 POINTER_PLUS_EXPR. For structure element based array sections use
2736 GOMP_MAP_ALWAYS_POINTER instead of GOMP_MAP_FIRSTPRIVATE_POINTER.
2737 (c_finish_omp_clauses): Drop generic_field_head, structure
2738 elements are now always mapped even as array section bases,
2739 diagnose same var in data sharing and mapping clauses. Diagnose if
2740 linear step on declare simd is neither a constant nor a uniform
2741 parameter. Look through POINTER_PLUS_EXPR for array section
2742 reductions. Diagnose the same var or function appearing multiple
2743 times on the same directive. Fix up wording for the to clause if t
2744 is neither a FUNCTION_DECL nor a VAR_DECL. Diagnose nonmonotonic
2745 modifier on kinds other than dynamic or guided or nonmonotonic
2746 modifier together with ordered clause.
2747
9e10bfb7 27482015-11-03 Thomas Schwinge <thomas@codesourcery.com>
2749 Chung-Lin Tang <cltang@codesourcery.com>
2750
2751 * c-parser.c (c_parser_omp_construct): Handle PRAGMA_OACC_ATOMIC.
2752
4cba6f60 27532015-10-29 Andrew MacLeod <amacleod@redhat.com>
2754
2755 * c-array-notation.c: Reorder #include's and remove duplicates.
2756 * c-aux-info.c: Likewise.
2757 * c-convert.c: Likewise.
2758 * c-decl.c: Likewise.
2759 * c-errors.c: Likewise.
2760 * c-lang.c: Likewise.
2761 * c-objc-common.c: Likewise.
2762 * c-parser.c: Likewise.
2763 * c-typeck.c: Likewise.
2764
7b15d957 27652015-10-26 Jim Wilson <jim.wilson@linaro.org>
2766
2767 PR debug/66068
2768 * c-typeck.c (c_build_qualified_type): Clear C_TYPE_INCOMPLETE_VARS
2769 after calling build_qualified_type.
2770
62c48328 27712015-10-27 Cesar Philippidis <cesar@codesourcery.com>
2772 Thomas Schwinge <thomas@codesourcery.com>
2773 James Norris <jnorris@codesourcery.com>
2774 Joseph Myers <joseph@codesourcery.com>
2775 Julian Brown <julian@codesourcery.com>
2776 Bernd Schmidt <bschmidt@redhat.com>
2777
2778 * c-parser.c (c_parser_oacc_shape_clause): New.
2779 (c_parser_oacc_simple_clause): New.
2780 (c_parser_oacc_all_clauses): Add auto, gang, seq, vector, worker.
2781 (OACC_LOOP_CLAUSE_MASK): Add gang, worker, vector, auto, seq.
2782
2c4c8725 27832015-10-27 Thomas Schwinge <thomas@codesourcery.com>
2784 James Norris <jnorris@codesourcery.com>
2785 Cesar Philippidis <cesar@codesourcery.com>
2786
2787 PR c/64765
2788 PR c/64880
2789 * c-parser.c (c_parser_oacc_loop): Add mask, cclauses formal
2790 parameters, and handle these. Adjust all users.
2791 (c_parser_oacc_kernels, c_parser_oacc_parallel): Merge functions
2792 into...
2793 (c_parser_oacc_kernels_parallel): ... this new function. Adjust
2794 all users.
2795 * c-tree.h (c_finish_oacc_parallel, c_finish_oacc_kernels): Don't
2796 declare functions.
2797 (c_finish_omp_construct): Declare function.
2798 * c-typeck.c (c_finish_oacc_parallel, c_finish_oacc_kernels):
2799 Merge functions into...
2800 (c_finish_omp_construct): ... this new function.
2801
844cece0 28022015-10-22 Richard Biener <rguenther@suse.de>
2803
2804 * c-typeck.c (c_finish_omp_clauses): Properly convert operands
2805 before folding a MINUS_EXPR.
2806
5ce1b137 28072015-10-21 Marek Polacek <polacek@redhat.com>
2808
2809 PR c/68024
2810 * c-decl.c (start_function): Warn about vararg functions without
2811 a prototype.
2812
1f137e6d 28132015-10-21 Ilya Enkovich <enkovich.gnu@gmail.com>
2814
2815 * c-typeck.c (build_conditional_expr): Use boolean vector
2816 type for vector comparison.
2817 (build_vec_cmp): New.
2818 (build_binary_op): Use build_vec_cmp for comparison.
2819
8523243e 28202015-10-20 Marek Polacek <polacek@redhat.com>
2821
2822 * c-parser.c (is_cilkplus_vector_p): Don't define here.
2823
3f73be3e 28242015-10-20 Marek Polacek <polacek@redhat.com>
2825
2826 PR c/67964
2827 * c-parser.c (c_parser_attributes): Break out of the loop if the
2828 token after an attribute isn't a comma.
2829
43895be5 28302015-10-13 Jakub Jelinek <jakub@redhat.com>
2831 Aldy Hernandez <aldyh@redhat.com>
2832
2833 * c-parser.c (c_parser_pragma): Handle PRAGMA_OMP_ORDERED here.
2834 (c_parser_omp_clause_name): Handle OpenMP 4.5 clauses.
2835 (c_parser_omp_variable_list): Handle structure elements for
2836 map, to and from clauses. Handle array sections in reduction
2837 clause. Formatting fixes.
2838 (c_parser_omp_clause_if): Add IS_OMP argument, handle parsing of
2839 if clause modifiers.
2840 (c_parser_omp_clause_num_tasks, c_parser_omp_clause_grainsize,
2841 c_parser_omp_clause_priority, c_parser_omp_clause_hint,
2842 c_parser_omp_clause_defaultmap, c_parser_omp_clause_use_device_ptr,
2843 c_parser_omp_clause_is_device_ptr): New functions.
2844 (c_parser_omp_clause_ordered): Parse optional parameter.
2845 (c_parser_omp_clause_reduction): Handle array reductions.
2846 (c_parser_omp_clause_schedule): Parse optional simd modifier.
2847 (c_parser_omp_clause_nogroup, c_parser_omp_clause_orderedkind): New
2848 functions.
2849 (c_parser_omp_clause_linear): Parse linear clause modifiers.
2850 (c_parser_omp_clause_depend_sink): New function.
2851 (c_parser_omp_clause_depend): Parse source/sink depend kinds.
2852 (c_parser_omp_clause_map): Parse release/delete map kinds and
2853 optional always modifier.
2854 (c_parser_oacc_all_clauses): Adjust c_parser_omp_clause_if
2855 and c_finish_omp_clauses callers.
2856 (c_parser_omp_all_clauses): Likewise. Parse OpenMP 4.5 clauses.
2857 Parse "to" as OMP_CLAUSE_TO_DECLARE if on declare target directive.
2858 (c_parser_oacc_cache): Adjust c_finish_omp_clauses caller.
2859 (OMP_CRITICAL_CLAUSE_MASK): Define.
2860 (c_parser_omp_critical): Parse critical clauses.
2861 (c_parser_omp_for_loop): Handle doacross loops, adjust
2862 c_finish_omp_for and c_finish_omp_clauses callers.
2863 (OMP_SIMD_CLAUSE_MASK): Add simdlen clause.
2864 (c_parser_omp_simd): Allow ordered clause if it has no parameter.
2865 (OMP_FOR_CLAUSE_MASK): Add linear clause.
2866 (c_parser_omp_for): Disallow ordered clause when combined with
2867 distribute. Disallow linear clause when combined with distribute
2868 and not combined with simd.
2869 (OMP_ORDERED_CLAUSE_MASK, OMP_ORDERED_DEPEND_CLAUSE_MASK): Define.
2870 (c_parser_omp_ordered): Add CONTEXT argument, remove LOC argument,
2871 parse clauses and if depend clause is found, don't parse a body.
2872 (c_parser_omp_parallel): Disallow copyin clause on target parallel.
2873 Allow target parallel without for after it.
2874 (OMP_TASK_CLAUSE_MASK): Add priority clause.
2875 (OMP_TARGET_DATA_CLAUSE_MASK): Add use_device_ptr clause.
2876 (c_parser_omp_target_data): Diagnose no map clauses or clauses with
2877 invalid kinds.
2878 (OMP_TARGET_UPDATE_CLAUSE_MASK): Add depend and nowait clauses.
2879 (OMP_TARGET_ENTER_DATA_CLAUSE_MASK,
2880 OMP_TARGET_EXIT_DATA_CLAUSE_MASK): Define.
2881 (c_parser_omp_target_enter_data, c_parser_omp_target_exit_data): New
2882 functions.
2883 (OMP_TARGET_CLAUSE_MASK): Add depend, nowait, private, firstprivate,
2884 defaultmap and is_device_ptr clauses.
2885 (c_parser_omp_target): Parse target parallel and target simd. Set
2886 OMP_TARGET_COMBINED on combined constructs. Parse target enter data
2887 and target exit data. Diagnose invalid map kinds.
2888 (OMP_DECLARE_TARGET_CLAUSE_MASK): Define.
2889 (c_parser_omp_declare_target): Parse OpenMP 4.5 forms of this
2890 construct.
2891 (c_parser_omp_declare_reduction): Use STRIP_NOPS when checking for
2892 &omp_priv.
2893 (OMP_TASKLOOP_CLAUSE_MASK): Define.
2894 (c_parser_omp_taskloop): New function.
2895 (c_parser_omp_construct): Don't handle PRAGMA_OMP_ORDERED here,
2896 handle PRAGMA_OMP_TASKLOOP.
2897 (c_parser_cilk_for): Adjust c_finish_omp_clauses callers.
2898 * c-tree.h (c_finish_omp_clauses): Add two new arguments.
2899 * c-typeck.c (handle_omp_array_sections_1): Fix comment typo.
2900 Add IS_OMP argument, handle structure element bases, diagnose
2901 bitfields, pass IS_OMP recursively, diagnose known zero length
2902 array sections in depend clauses, handle array sections in reduction
2903 clause, diagnose negative length even for pointers.
2904 (handle_omp_array_sections): Add IS_OMP argument, use auto_vec for
2905 types, pass IS_OMP down to handle_omp_array_sections_1, handle
2906 array sections in reduction clause, set
2907 OMP_CLAUSE_MAP_MAYBE_ZERO_LENGTH_ARRAY_SECTION if map could be zero
2908 length array section, use GOMP_MAP_FIRSTPRIVATE_POINTER for IS_OMP.
2909 (c_finish_omp_clauses): Add IS_OMP and DECLARE_SIMD arguments.
2910 Handle new OpenMP 4.5 clauses and new restrictions for the old ones.
2911
789fbb51 29122015-10-06 Marek Polacek <polacek@redhat.com>
2913
2914 * c-parser.c (c_parser_statement_after_labels): Use
2915 protected_set_expr_location.
2916 (c_parser_omp_clause_num_gangs): Likewise.
2917 (c_parser_omp_clause_num_threads): Likewise.
2918 (c_parser_omp_clause_num_workers): Likewise.
2919 (c_parser_omp_clause_vector_length): Likewise.
2920 (c_parser_omp_clause_num_teams): Likewise.
2921 (c_parser_omp_clause_thread_limit): Likewise.
2922 * c-typeck.c (build_c_cast): Likewise.
2923 (c_cast_expr): Likewise.
2924
20cb53c9 29252015-10-05 Richard Sandiford <richard.sandiford@arm.com>
2926
2927 * c-typeck.c (c_tree_equal): Use real_equal instead of
2928 REAL_VALUES_EQUAL.
2929
6d02e6b2 29302015-10-04 Jason Merrill <jason@redhat.com>
2931
2932 * c-parser.c (c_lex_one_token): Handle @synchronized.
2933 * c-decl.c (match_builtin_function_types): A declaration of a built-in
2934 can change whether the function is transaction_safe.
2935
802c32cd 29362015-10-02 Marek Polacek <polacek@redhat.com>
2937
2938 PR c/67730
2939 * c-typeck.c (convert_for_assignment): Use the expansion point
2940 location throughout.
2941
ef17a71a 29422015-10-02 Marek Polacek <polacek@redhat.com>
2943
2944 PR c/64249
2945 * c-parser.c (c_parser_statement_after_labels): Add CHAIN parameter
2946 and pass it down to c_parser_if_statement.
2947 (c_parser_else_body): Add CHAIN parameter and pass it down to
2948 c_parser_statement_after_labels.
2949 (c_parser_if_statement): Add CHAIN parameter. Add code to warn about
2950 duplicated if-else-if conditions.
2951
7e93eb1a 29522015-10-01 Marek Polacek <polacek@redhat.com>
2953
2954 * c-typeck.c (convert_for_assignment): Improve commentary.
2955
ab4c803c 29562015-09-30 Marek Polacek <polacek@redhat.com>
2957
2958 PR c/67730
2959 * c-typeck.c (c_finish_return): Use the expansion point location for
2960 certain "return with value" warnings.
2961
ed536208 29622015-09-18 Manuel López-Ibáñez <manu@gcc.gnu.org>
2963
2964 * c-parser.c (pragma_lex): Add loc argument.
2965
03e8b174 29662015-09-15 Marek Polacek <polacek@redhat.com>
2967
2968 PR c/67580
2969 * c-decl.c (tag_exists_p): New function.
2970 * c-parser.c (c_parser_declaration_or_fndef): Give a hint when
2971 struct/union/enum keywords are missing.
2972 * c-tree.h (tag_exists_p): Declare.
2973
a39b4dc0 29742015-09-15 Marek Polacek <polacek@redhat.com>
2975
2976 * c-decl.c (lookup_label): Return NULL_TREE instead of 0.
2977 (lookup_tag): Change the type of THISLEVEL_ONLY to bool.
2978 Return NULL_TREE instead of 0.
2979 (lookup_name): Return NULL_TREE instead of 0.
2980 (lookup_name_in_scope): Likewise.
2981 (shadow_tag_warned): Use true instead of 1 and NULL_TREE instead of 0.
2982 (parser_xref_tag): Use false instead of 0.
2983 (start_struct): Use true instead of 1.
2984 (start_enum): Use true instead of 1 and NULL_TREE instead of 0.
2985
85f5e2ee 29862015-09-14 Marek Polacek <polacek@redhat.com>
2987
2988 * c-typeck.c (set_nonincremental_init_from_string): Use
2989 HOST_WIDE_INT_M1U when shifting a negative value.
2990
739237d5 29912015-09-09 Mark Wielaard <mjw@redhat.com>
2992
2993 * c-typeck.c (build_binary_op): Check and warn when nonnull arg
2994 parm against NULL.
2995
d2b2788c 29962015-09-10 Jakub Jelinek <jakub@redhat.com>
2997
2998 PR c/67502
2999 * c-parser.c (c_parser_omp_for_loop): Emit DECL_EXPR stmts
3000 into OMP_FOR_PRE_BODY rather than before the loop.
3001
deef87db 30022015-09-09 Jakub Jelinek <jakub@redhat.com>
3003
c43f93d7 3004 PR c/67501
3005 * c-parser.c (c_parser_oacc_all_clauses,
3006 c_parser_omp_all_clauses): Remove invalid clause from
3007 list of clauses even if parser->error is set.
3008
0fdcfb93 3009 PR c/67500
3010 * c-parser.c (c_parser_omp_clause_aligned,
3011 c_parser_omp_clause_safelen, c_parser_omp_clause_simdlen): Fix up
3012 test for errors.
3013 * c-decl.c (temp_pop_parm_decls): Allow b->decl equal to
3014 error_mark_node.
3015
deef87db 3016 PR c/67495
3017 * c-parser.c (c_parser_omp_atomic): Use c_parser_cast_expression
3018 instead of c_parser_unary_expression. If the result is !lvalue_p,
3019 wrap the result of c_fully_fold into NON_LVALUE_EXPR.
3020
e96292e9 30212015-09-04 Marek Polacek <polacek@redhat.com>
3022
3023 PR sanitizer/67279
3024 * c-typeck.c (build_binary_op): Don't instrument static initializers.
3025
547c6b1f 30262015-09-03 Martin Sebor <msebor@redhat.com>
3027
3028 PR c/66516
6ccd7236 3029 * c-typeck.c (convert_arguments, parser_build_unary_op,
3030 build_conditional_expr, c_cast_expr, convert_for_assignment,
3031 build_binary_op, _objc_common_truthvalue_conversion): Call
547c6b1f 3032 reject_gcc_builtin.
3033 (c_decl_implicit): Define.
3034
bd66724c 30352015-09-02 Marek Polacek <polacek@redhat.com>
3036
3037 PR c/67432
3038 * c-parser.c (c_parser_enum_specifier): Give a better error for
3039 an empty enum.
3040
6dc50383 30412015-08-18 Trevor Saunders <tbsaunde@tbsaunde.org>
3042
3043 * c-aux-info.c, c-parser.c, c-tree.h: Remove useless typedefs.
3044
7ad1d78d 30452015-08-12 Marek Polacek <polacek@redhat.com>
3046
3047 * c-decl.c (grokdeclarator): Call error_at instead of error and pass
3048 LOC to it.
3049
c9099388 30502015-08-03 Marek Polacek <polacek@redhat.com>
3051
3052 PR c/67088
3053 * c-decl.c (check_bitfield_type_and_width): Add location parameter.
3054 Use it.
3055 (grokdeclarator): Pass LOC down to check_bitfield_type_and_width.
3056
9255be07 30572015-08-02 Patrick Palka <ppalka@gcc.gnu.org>
3058
3059 * c-parser.c (c_parser_if_body): Take token_indent_info
3060 argument. Call warn_for_misleading_indentation even when the
3061 body is a semicolon. Extract token_indent_infos corresponding
3062 to the guard, body and next tokens. Adjust call to
3063 warn_for_misleading_indentation accordingly.
3064 (c_parser_else_body): Likewise.
3065 (c_parser_if_statement): Likewise.
3066 (c_parser_while_statement): Likewise.
3067 (c_parser_for_statement): Likewise.
3068
dbbd4c6d 30692015-07-28 Luis Felipe Strano Moraes <luis.strano@gmail.com>
3070 Manuel López-Ibáñez <manu@gcc.gnu.org>
3071
3072 * c-decl.c (get_parm_info): Remove static var. Update warning
3073 message.
3074
6784a472 30752015-07-27 Marek Polacek <polacek@redhat.com>
3076
3077 PR c++/66555
3078 PR c/54979
3079 * c-typeck.c (parser_build_binary_op): Call warn_tautological_cmp.
3080
8d669e79 30812015-07-20 Marek Polacek <polacek@redhat.com>
3082
3083 PR c++/55095
3084 * c-typeck.c (digest_init): Pass OPT_Wpedantic to pedwarn_init.
3085 (build_binary_op): Warn about left shift overflows.
3086
1eacc14a 30872015-07-09 Andrew MacLeod <amacleod@redhat.com>
3088
3089 * c-array-notation.c: Adjust includes for flags.h changes.
3090 * c-objc-common.c: Likewise.
3091
9ef16211 30922015-07-07 Andrew MacLeod <amacleod@redhat.com>
3093
3094 * c-array-notation.c: Adjust includes.
3095 * c-aux-info.c: Likewise.
3096 * c-convert.c: Likewise.
3097 * c-decl.c: Likewise.
3098 * c-errors.c: Likewise.
3099 * c-lang.c: Likewise.
3100 * c-objc-common.c: Likewise.
3101 * c-parser.c: Likewise.
3102 * c-typeck.c: Likewise.
3103
0949f227 31042015-06-29 Manuel López-Ibáñez <manu@gcc.gnu.org>
3105
3106 PR fortran/66605
3107 * c-decl.c (finish_function): Call do_warn_unused_parameter.
3108
be23b16f 31092015-06-29 Marek Polacek <polacek@redhat.com>
3110
3111 PR c/66322
3112 * c-typeck.c (struct c_switch): Add BOOL_COND_P and OUTSIDE_RANGE_P.
3113 (c_start_case): Set BOOL_COND_P and OUTSIDE_RANGE_P. Don't warn
3114 about -Wswitch-bool here.
3115 (do_case): Update c_add_case_label call.
3116 (c_finish_case): Update c_do_switch_warnings call.
3117
6290f0db 31182015-06-27 Marek Polacek <polacek@redhat.com>
3119
3120 * c-typeck.c: Use VECTOR_TYPE_P throughout.
3121
aa3e402e 31222015-06-26 Marek Polacek <polacek@redhat.com>
3123
3124 * c-array-notation.c (fix_builtin_array_notation_fn): Use
3125 INDIRECT_REF_P.
3126 * c-typeck.c (array_to_pointer_conversion): Likewise.
3127 (build_unary_op): Likewise.
3128 (c_finish_return): Likewise.
3129
ec2e0095 31302015-06-25 Andrew MacLeod <amacleod@redhat.com>
3131
3132 * c-decl.c: Remove ipa-ref.h and plugin-api.h from include list.
3133 * c-parser.c: Likewise.
3134
770ff93b 31352015-06-25 Richard Sandiford <richard.sandiford@arm.com>
3136
3137 * c-decl.c (detect_field_duplicates_hash): Use nofree_ptr_hash
3138 instead of pointer_hash.
3139 (detect_field_duplicates): Likewise.
3140
f48c7f4a 31412015-06-25 Marek Polacek <polacek@redhat.com>
3142
3143 * c-array-notation.c: Use VAR_P throughout.
3144 * c-decl.c: Likewise.
3145 * c-objc-common.c: Likewise.
3146 * c-parser.c: Likewise.
3147 * c-typeck.c: Likewise.
3148
ce41e81a 31492015-06-25 Marek Polacek <polacek@redhat.com>
3150
3151 * c-decl.c: Use is_global_var throughout.
3152 * c-parser.c: Likewise.
3153 * c-typeck.c: Likewise.
3154
f2ab3bac 31552015-06-17 Andrew MacLeod <amacleod@redhat.com>
3156
3157 * c-array-notation.c: Do not include input.h, line-map.h or is-a.h.
3158 * c-aux-info.c: Likewise.
3159 * c-convert.c: Likewise.
3160 * c-decl.c: Likewise.
3161 * c-errors.c: Likewise.
3162 * c-lang.c: Likewise.
3163 * c-objc-common.c: Likewise.
3164 * c-parser.c: Likewise.
3165 * c-typeck.c: Likewise.
3166
647730ab 31672015-06-11 Jan Hubicka <hubicka@ucw.cz>
3168
3169 PR middle-end/66325
3170 * c-decl.c (start_enum): Set TYPE_PACKED consistently among type
3171 variants.
3172
dd4b0a0d 31732015-06-11 Pierre-Marie de Rodat <derodat@adacore.com>
3174
3175 * c-decl.c (pop_scope): Register the main translation unit
3176 through the new debug hook.
3177
64486212 31782015-06-08 Andrew MacLeod <amacleod@redhat.com>
3179
3180 * c-array-notation.c : Adjust include files.
3181 * c-aux-info.c : Likewise.
3182 * c-convert.c : Likewise.
3183 * c-decl.c : Likewise.
3184 * c-errors.c : Likewise.
3185 * c-lang.c : Likewise.
3186 * c-lang.h : Likewise.
3187 * c-objc-common.c : Likewise.
3188 * c-parser.c : Likewise.
3189 * c-typeck.c : Likewise.
3190
3a1c9df2 31912015-06-05 Aldy Hernandez <aldyh@redhat.com>
3192
3193 * c-decl.c (finish_struct): Save C_TYPE_INCOMPLETE_VARS and
3194 immediately clobber it.
3195 (c_write_global_declarations_1): Remove call to
3196 check_global_declaration_1.
3197 (c_write_global_declarations_2): Remove.
3198 (c_write_final_cleanups): Rename from c_write_global_declarations.
3199 Remove call to finalize_compilation_unit.
3200 Remove calls to debugging hooks.
3201 * c-objc-common.c: Adjust comment for c_warn_unused_global_decl.
3202 * c-objc-common.h: Remove LANG_HOOKS_WRITE_GLOBALS.
3203 * c-tree.h: Remove c_write_global_declarations.
3204
f77c0292 32052015-06-04 Andrew MacLeod <amacleod@redhat.com>
3206
3207 * c-array-notation.c: Adjust includes for restructured coretypes.h.
3208 * c-aux-info.c: Likewise.
3209 * c-convert.c: Likewise.
3210 * c-decl.c: Likewise.
3211 * c-errors.c: Likewise.
3212 * c-lang.c: Likewise.
3213 * c-objc-common.c: Likewise.
3214 * c-parser.c: Likewise.
3215 * c-typeck.c: Likewise.
3216
b44134dc 32172015-06-04 Marek Polacek <polacek@redhat.com>
3218
3219 PR c/66341
3220 * c-typeck.c (build_c_cast): Wrap VALUE into NON_LVALUE_EXPR if
3221 it is a lvalue.
3222
d1df0bfc 32232015-06-03 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
3224
3225 * c-decl.c (warn_cxx_compat_finish_struct): New parameters code, record_loc.
3226 Warn for empty struct.
3227 (finish_struct): Pass TREE_CODE(t) and loc to warn_cxx_compat_finish_struct.
3228
f8363c5d 32292015-06-02 Andres Tiraboschi <andres.tiraboschi@tallertechnologies.com>
3230
3231 * c-decl.c (start_function): Call plugin before parsing.
3232 (finish_function): Call plugin after parsing.
3233
5b9761f5 32342015-06-02 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
3235
3236 PR c/49551
3237 * c-decl.c (merge_decls): Merge DECL_COMMON.
3238
eeec71b4 32392015-05-22 Jim Wilson <jim.wilson@linaro.org>
3240
3241 * Make-lang.in (check_gcc_pallelize): Define.
3242
5a4c69dd 32432015-05-22 Marek Polacek <polacek@redhat.com>
3244
3245 PR c/47043
3246 * c-parser.c (c_parser_enum_specifier): Parse and apply enumerator
3247 attributes.
3248
5650b4ff 32492015-05-21 Marek Polacek <polacek@redhat.com>
3250
3251 * c-typeck.c (inform_declaration): Use DECL_IS_BUILTIN instead of
3252 DECL_BUILT_IN.
3253
b443c459 32542015-05-20 Marek Polacek <polacek@redhat.com>
3255
3256 * c-decl.c: Use VAR_OR_FUNCTION_DECL_P throughout.
3257 * c-typeck.c: Likewise.
3258
9e73638f 32592015-05-19 Marek Polacek <polacek@redhat.com>
3260
3261 * c-typeck.c (start_init): Use AGGREGATE_TYPE_P.
3262
d7729e26 32632015-05-19 Jakub Jelinek <jakub@redhat.com>
3264
3265 PR middle-end/66199
3266 * c-parser.c (c_parser_omp_for_loop): Don't add
3267 OMP_CLAUSE_SHARED to OMP_PARALLEL_CLAUSES when moving
3268 OMP_CLAUSE_LASTPRIVATE clause to OMP_FOR_CLAUSES.
3269 (c_parser_omp_teams): Set OMP_TEAMS_COMBINED for combined
3270 constructs.
3271
dfcf26a5 32722015-05-19 Mikhail Maltsev <maltsevm@gmail.com>
3273
3274 * c-typeck.c (build_array_ref): Use std::swap instead of explicit
9e73638f 3275 swaps.
dfcf26a5 3276
09172322 32772015-05-16 Manuel López-Ibáñez <manu@gcc.gnu.org>
3278
3279 PR fortran/44054
3280 * c-objc-common.c (c_tree_printer): Replace locus pointer with
3281 accessor function.
3282
aac24642 32832015-05-14 Marek Polacek <polacek@redhat.com>
3284
3285 PR c/66066
3286 PR c/66127
3287 * c-typeck.c (digest_init): Call pedwarn_init with OPT_Wpedantic
3288 rather than with 0.
3289
e5f01cba 32902015-05-12 David Malcolm <dmalcolm@redhat.com>
3291
3292 * c-parser.c (c_parser_if_body): Add param "if_loc", use it
3293 to add a call to warn_for_misleading_indentation.
3294 (c_parser_else_body): Likewise, adding param "else_loc".
3295 (c_parser_if_statement): Check for misleading indentation.
3296 (c_parser_while_statement): Likewise.
3297 (c_parser_for_statement): Likewise.
3298
dc5945dc 32992015-05-08 Marek Polacek <polacek@redhat.com>
3300
3301 PR c/64918
3302 * c-typeck.c (add_pending_init): Use OPT_Woverride_init_side_effects.
3303 (output_init_element): Likewise.
3304
cdc64059 33052015-05-07 Marek Polacek <polacek@redhat.com>
3306
3307 PR c/65179
3308 * c-typeck.c (build_binary_op): Warn when left shifting a negative
3309 value.
3310
6fa7118e 33112015-04-30 Marek Polacek <polacek@redhat.com>
3312
3313 * c-typeck.c (set_init_label): Call error_at instead of error and
3314 pass LOC to it.
3315
98f44804 3316 * c-typeck.c (c_incomplete_type_error): Refactor to use %qT. Print
3317 the type of a decl.
3318
2cd7caae 3319 * c-typeck.c (c_build_va_arg): Clarify the error message.
3320
95cfd391 33212015-04-29 Thomas Schwinge <thomas@codesourcery.com>
3322
3323 * c-parser.c (c_parser_oacc_enter_exit_data): Use
3324 OMP_STANDALONE_CLAUSES.
3325
e65e39f8 33262015-04-28 Marek Polacek <polacek@redhat.com>
3327
3328 * c-parser.c (c_parser_binary_expression): Remove duplicate line.
3329
5580bf42 33302015-04-28 Marek Polacek <polacek@redhat.com>
3331
3332 PR c/65901
3333 * c-typeck.c (c_build_va_arg): Require TYPE be a complete type.
3334
c3468fc2 33352015-04-25 Marek Polacek <polacek@redhat.com>
3336
3337 PR c/52085
3338 * c-decl.c (finish_enum): Copy over TYPE_ALIGN. Also check for "mode"
3339 attribute.
3340
0cd6b1b4 33412015-04-23 Marek Polacek <polacek@redhat.com>
3342
3343 PR c/65345
3344 * c-decl.c (set_labels_context_r): New function.
3345 (store_parm_decls): Call it via walk_tree_without_duplicates.
3346 * c-typeck.c (convert_lvalue_to_rvalue): Use create_tmp_var_raw
3347 instead of create_tmp_var. Build TARGET_EXPR instead of
3348 COMPOUND_EXPR.
3349 (build_atomic_assign): Use create_tmp_var_raw instead of
3350 create_tmp_var. Build TARGET_EXPRs instead of MODIFY_EXPR.
3351
05a827ce 33522015-04-20 Ilya Verbin <ilya.verbin@intel.com>
3353
3354 * c-parser.c (c_parser_oacc_enter_exit_data): Remove excess semicolon.
3355 (c_parser_omp_target_update): Add missed %> to error_at ().
3356
de801c28 33572015-04-10 Bernhard Reutner-Fischer <aldot@gcc.gnu.org>
3358
3359 PR target/55143
3360 * c-decl.c (c_default_pointer_mode): Remove definition.
3361 * c-tree.h (c_default_pointer_mode): Remove declaration.
3362
c3b1dca4 33632015-03-27 Tobias Burnus <burnus@net-b.de>
3364
3365 PR c/65586
3366 * c-parser.c (c_parser_skip_to_pragma_eol): Optionally, don't
3367 error out.
3368 (c_parser_omp_for, c_parser_omp_parallel, c_parser_omp_distribute,
3369 c_parser_omp_teams, c_parser_omp_target, c_parser_omp_declare):
3370 Update calls to not error for skipped omp pragmas with -fopenmp-simd.
3371
1443772f 33722015-03-19 Jakub Jelinek <jakub@redhat.com>
3373
3374 * c-decl.c (c_decl_attributes): Also add "omp declare target"
3375 attribute for DECL_EXTERNAL VAR_DECLs.
3376
76738f56 33772015-03-11 Jakub Jelinek <jakub@redhat.com>
3378
3379 * c-parser.c (c_parse_init): Don't call xstrdup on get_identifier
3380 argument.
3381
16f958b3 33822015-03-10 Jakub Jelinek <jakub@redhat.com>
3383
3384 PR c/65120
3385 * c-typeck.c (parser_build_binary_op): Check for tcc_comparison
3386 before preparing arguments to warn_logical_not_parentheses.
3387
6054103a 33882015-03-09 Jakub Jelinek <jakub@redhat.com>
3389
3390 PR c/65120
3391 * c-typeck.c (parser_build_binary_op): Don't warn for
3392 !!x == y or !b == y where b is _Bool.
3393
de3a1e03 33942015-03-09 Marek Polacek <polacek@redhat.com>
3395
3396 * c-convert.c (convert): Make use of do_ubsan_in_current_function.
3397 * c-decl.c (grokdeclarator): Likewise.
3398 * c-typeck.c (build_binary_op): Likewise.
3399
084e6bf0 34002015-02-27 Marek Polacek <polacek@redhat.com>
3401
3402 PR c/65228
3403 * c-decl.c (start_decl): Return NULL_TREE if decl is an error node.
3404
4d7c4134 34052015-02-14 Marek Polacek <polacek@redhat.com>
3406
3407 PR c/64768
3408 * c-decl.c (grokdeclarator): Set the range of a flexible array member
3409 declared through a typedef name.
3410
b1380826 34112015-02-13 Marek Polacek <polacek@redhat.com>
3412
3413 PR c/65050
3414 * c-decl.c (grokdeclarator): Print also the type when giving
3415 the error message about array's incomplete element type.
3416
35ff54b5 34172015-02-11 Jakub Jelinek <jakub@redhat.com>
3418
3419 PR c/64824
3420 * c-parser.c (c_parser_binary_expression): Fix OpenMP stack[sp].prec
3421 check in the POP macro.
3422
46861609 34232015-02-09 Marek Polacek <polacek@redhat.com>
3424
3425 PR c/64856
3426 * c-typeck.c (process_init_element): Don't always wrap
3427 COMPOUND_LITERAL_EXPR in a SAVE_EXPR in C99 mode when
3428 initializing a range of elements.
3429
bbf8fbec 34302015-02-04 Jakub Jelinek <jakub@redhat.com>
3431
3432 PR c/64824
3433 PR c/64868
3434 * c-parser.c (c_parser_omp_atomic): Handle RDIV_EXPR.
3435
46861609 34362015-02-02 Bruno Loff <bruno.loff@gmail.com>
1f0ce3ac 3437
3438 * c-parser.c (c_parser_declspecs): Call invoke_plugin_callbacks after
3439 processing enum declaration.
3440
70279be9 34412015-01-29 Marek Polacek <polacek@redhat.com>
3442
3443 PR c/64709
3444 * c-typeck.c (pop_init_level): If constructor_elements has
3445 exactly one element with integer_zerop value, set constructor_zeroinit
3446 to 1. Remove braces around warning_init call.
3447
591970b4 34482015-01-27 Jakub Jelinek <jakub@redhat.com>
3449
3450 PR c/64766
3451 * c-typeck.c (store_init_value): Don't overwrite DECL_INITIAL
3452 of FUNCTION_DECLs with error_mark_node.
3453
87778dc4 34542015-01-26 Jakub Jelinek <jakub@redhat.com>
3455
3456 PR c/64778
3457 * c-typeck.c (convert_arguments): Return -1 if there are
3458 error_args, even if we've diagnosed too many arguments.
3459
cffdfb3d 34602015-01-21 Richard Biener <rguenther@suse.de>
3461
3462 PR middle-end/64313
3463 * c-decl.c (merge_decls): Call set_builtin_decl_declared_p
3464 for builtins the user declared correctly.
3465
ca4c3545 34662015-01-15 Thomas Schwinge <thomas@codesourcery.com>
3467 Bernd Schmidt <bernds@codesourcery.com>
3468 Cesar Philippidis <cesar@codesourcery.com>
3469 James Norris <jnorris@codesourcery.com>
3470 Jakub Jelinek <jakub@redhat.com>
3471 Ilmir Usmanov <i.usmanov@samsung.com>
3472
3473 * c-parser.c: Include "gomp-constants.h".
3474 (c_parser_omp_clause_map): Use enum gomp_map_kind instead of enum
3475 omp_clause_map_kind. Use GOMP_MAP_* instead of OMP_CLAUSE_MAP_*.
3476 Use OMP_CLAUSE_SET_MAP_KIND.
3477 (c_parser_pragma): Handle PRAGMA_OACC_ENTER_DATA,
3478 PRAGMA_OACC_EXIT_DATA, PRAGMA_OACC_UPDATE.
3479 (c_parser_omp_construct): Handle PRAGMA_OACC_CACHE,
3480 PRAGMA_OACC_DATA, PRAGMA_OACC_KERNELS, PRAGMA_OACC_LOOP,
3481 PRAGMA_OACC_PARALLEL, PRAGMA_OACC_WAIT.
3482 (c_parser_omp_clause_name): Handle "auto", "async", "copy",
3483 "copyout", "create", "delete", "deviceptr", "gang", "host",
3484 "num_gangs", "num_workers", "present", "present_or_copy", "pcopy",
3485 "present_or_copyin", "pcopyin", "present_or_copyout", "pcopyout",
3486 "present_or_create", "pcreate", "seq", "self", "vector",
3487 "vector_length", "wait", "worker".
3488 (OACC_DATA_CLAUSE_MASK, OACC_KERNELS_CLAUSE_MASK)
3489 (OACC_ENTER_DATA_CLAUSE_MASK, OACC_EXIT_DATA_CLAUSE_MASK)
3490 (OACC_LOOP_CLAUSE_MASK, OACC_PARALLEL_CLAUSE_MASK)
3491 (OACC_UPDATE_CLAUSE_MASK, OACC_WAIT_CLAUSE_MASK): New macros.
3492 (c_parser_omp_variable_list): Handle OMP_CLAUSE__CACHE_.
3493 (c_parser_oacc_wait_list, c_parser_oacc_data_clause)
3494 (c_parser_oacc_data_clause_deviceptr)
3495 (c_parser_omp_clause_num_gangs, c_parser_omp_clause_num_workers)
3496 (c_parser_oacc_clause_async, c_parser_oacc_clause_wait)
3497 (c_parser_omp_clause_vector_length, c_parser_oacc_all_clauses)
3498 (c_parser_oacc_cache, c_parser_oacc_data, c_parser_oacc_kernels)
3499 (c_parser_oacc_enter_exit_data, c_parser_oacc_loop)
3500 (c_parser_oacc_parallel, c_parser_oacc_update)
3501 (c_parser_oacc_wait): New functions.
3502 * c-tree.h (c_finish_oacc_parallel, c_finish_oacc_kernels)
3503 (c_finish_oacc_data): New prototypes.
3504 * c-typeck.c: Include "gomp-constants.h".
3505 (handle_omp_array_sections): Handle GOMP_MAP_FORCE_DEVICEPTR. Use
3506 GOMP_MAP_* instead of OMP_CLAUSE_MAP_*. Use
3507 OMP_CLAUSE_SET_MAP_KIND.
3508 (c_finish_oacc_parallel, c_finish_oacc_kernels)
3509 (c_finish_oacc_data): New functions.
3510 (c_finish_omp_clauses): Handle OMP_CLAUSE__CACHE_,
3511 OMP_CLAUSE_NUM_GANGS, OMP_CLAUSE_NUM_WORKERS,
3512 OMP_CLAUSE_VECTOR_LENGTH, OMP_CLAUSE_ASYNC, OMP_CLAUSE_WAIT,
3513 OMP_CLAUSE_AUTO, OMP_CLAUSE_SEQ, OMP_CLAUSE_GANG,
3514 OMP_CLAUSE_WORKER, OMP_CLAUSE_VECTOR, and OMP_CLAUSE_MAP's
3515 GOMP_MAP_FORCE_DEVICEPTR.
3516
1f78217c 35172015-01-09 Michael Collison <michael.collison@linaro.org>
3518
3519 * c-array-notation.c: Include hash-set.h, machmode.h,
3520 vec.h, double-int.h, input.h, alias.h, symtab.h, options.h
3521 fold-const.h, wide-int.h, and inchash.h due to flattening of tree.h.
3522 * c-aux-info.c: Ditto.
3523 * c-convert.c: Ditto.
3524 * c-decl.c: Ditto.
3525 * c-errors.c: Ditto.
3526 * c-lang.c: Dittoxs.
3527 * c-objc-common.c: Ditto.
3528 * c-parser.c: Ditto.
3529 * c-typeck.c: Include hash-set.h, machmode.h,
3530 vec.h, double-int.h, input.h, alias.h, symtab.h, options.h
3531 fold-const.h, wide-int.h, inchash.h, real.h and
3532 fixed-value.h due to flattening of tree.h.
3533
15e18a8c 35342015-01-07 Marek Polacek <polacek@redhat.com>
3535
3536 PR c/64417
3537 * c-typeck.c (process_init_element): Disallow initialization of
3538 a flexible array member with a string constant if the structure
3539 is in an array.
3540
d353bf18 35412015-01-05 Jakub Jelinek <jakub@redhat.com>
3542
823a9dd4 3543 PR sanitizer/64344
3544 * c-typeck.c (convert_for_assignment, c_finish_return): For
3545 -fsanitize=float-cast-overflow casts from REAL_TYPE to integer/enum
3546 types also set in_late_binary_op around convert call.
3547 * c-convert.c (convert): For -fsanitize=float-cast-overflow REAL_TYPE
3548 to integral type casts, if not in_late_binary_op, pass c_fully_fold
3549 result on expr as last argument to ubsan_instrument_float_cast,
3550 if in_late_binary_op, don't use c_save_expr but save_expr.
3551
d353bf18 3552 Update copyright years.
3553
92b63884 35542015-01-05 Marek Polacek <polacek@redhat.com>
3555
3556 PR c/64423
3557 * c-typeck.c (build_array_ref): Pass loc down to
3558 warn_array_subscript_with_type_char.
3559
92a44a68 35602014-12-20 Martin Uecker <uecker@eecs.berkeley.edu>
8a8211df 3561
3562 * c-typeck.c: New behavious for pointers to arrays with qualifiers
a49621cf 3563 (common-pointer-type): For pointers to arrays take qualifiers from
8a8211df 3564 element type.
a49621cf 3565 (build_conditional_expr): Add warnings for lost qualifiers.
8a8211df 3566 (comp-target-types): Allow pointers to arrays with different qualifiers.
a49621cf 3567 (convert-for-assignment): Adapt warnings for discarded qualifiers. Add
8a8211df 3568 WARNING_FOR_QUALIFIERS macro and rename WARN_FOR_QUALIFIERS
a49621cf 3569 to PEDWARN_FOR_QUALIFIERS.
8a8211df 3570
35ea0139 35712014-12-17 Jakub Jelinek <jakub@redhat.com>
3572
3573 PR sanitizer/64289
3574 * c-convert.c: Include ubsan.h.
3575 (convert): For real -> integral casts and
3576 -fsanitize=float-cast-overflow don't call convert_to_integer, but
3577 instead instrument the float cast directly.
3578
f9e245b2 35792014-11-29 Jakub Jelinek <jakub@redhat.com>
3580
3581 * c-typeck.c (convert_lvalue_to_rvalue, build_atomic_assign,
3582 c_finish_stmt_expr): Remove NULL last argument from
3583 create_tmp_var_raw and create_tmp_var calls.
3584 * c-array-notation.c (fix_builtin_array_notation_fn,
3585 build_array_notation_expr, fix_conditional_array_notations_1,
3586 fix_array_notation_expr, fix_array_notation_call_expr): Likewise.
3587
fce2dbd1 35882014-11-28 Marek Polacek <polacek@redhat.com>
3589
3590 PR c/63862
3591 * c-typeck.c (build_binary_op) <RSHIFT_EXPR, LSHIFT_EXPR>: Don't
3592 convert the right operand to integer type.
3593
396c36b7 35942014-11-25 Marek Polacek <polacek@redhat.com>
3595
3596 PR c/63877
3597 * c-decl.c (start_function): Disable -Wmissing-declarations warning
3598 for inline functions.
3599
c61ef207 36002014-11-21 Jakub Jelinek <jakub@redhat.com>
3601
3602 PR target/63764
3603 * c-typeck.c (build_array_ref): Adjust
3604 convert_vector_to_pointer_for_subscript caller. If it returns true,
3605 call non_lvalue_loc on the result.
3606
565353e8 36072014-11-11 Richard Biener <rguenther@suse.de>
3608
3609 * c-decl.c (c_init_decl_processing): Do not set pedantic_lvalues
3610 to true.
3611
fdd735a7 36122014-11-10 Andi Kleen <ak@linux.intel.com>
3613
3614 PR c/60804
3615 * c-parser.c (c_parser_statement_after_labels): Call
3616 check_no_cilk.
3617 (c_parser_if_statement): Dito.
3618 (c_parser_switch_statement): Dito.
3619 (c_parser_while_statement): Dito.
3620 (c_parser_do_statement): Dito.
3621 (c_parser_for_statement): Dito.
3622 * c-typeck.c (c_finish_loop): Dito.
3623
0feb4de1 36242014-11-10 Paolo Carlini <paolo.carlini@oracle.com>
3625
3626 * c-typeck.c (build_binary_op): Use OPT_Wshift_count_negative and
3627 OPT_Wshift_count_overflow in the warnings.
3628
a3fec48a 36292014-10-30 Marek Polacek <polacek@redhat.com>
3630
3631 * c-objc-common.c (c_tree_printer) <case 'T'>: For a typedef name,
3632 print the stripped version as well, if they're not the same.
3633
3754d046 36342014-10-29 Richard Sandiford <richard.sandiford@arm.com>
3635
3636 * c-decl.c, c-tree.h, c-typeck.c: Remove redundant enum from
3637 machine_mode.
3638
1140c305 36392014-10-28 Andrew MacLeod <amacleod@redhat.com>
3640
3641 * c-decl.c: Adjust include files.
3642 * c-parser.c: Ditto.
3643
ab103e33 36442014-10-27 Phil Muldoon <pmuldoon@redhat.com>
3645 Tom Tromey <tromey@redhat.com>
3646
3647 * c-tree.h (enum c_oracle_request): New.
3648 (c_binding_oracle_function): New typedef.
3649 (c_binding_oracle, c_pushtag, c_bind): Declare.
3650 * c-decl.c (c_binding_oracle): New global.
3651 (I_SYMBOL_CHECKED): New macro.
3652 (i_symbol_binding): New function.
3653 (I_SYMBOL_BINDING, I_SYMBOL_DECL): Redefine.
3654 (I_TAG_CHECKED): New macro.
3655 (i_tag_binding): New function.
3656 (I_TAG_BINDING, I_TAG_DECL): Redefine.
3657 (I_LABEL_CHECKED): New macro.
3658 (i_label_binding): New function.
3659 (I_LABEL_BINDING, I_LABEL_DECL): Redefine.
3660 (c_print_identifier): Save and restore c_binding_oracle.
3661 (c_pushtag, c_bind): New functions.
3662
94ea8568 36632014-10-27 Andrew MacLeod <amacleod@redhat.com>
3664
3665 * c-typeck.c: Adjust include files.
3666
32ecf960 36672014-10-26 Manuel López-Ibáñez <manu@gcc.gnu.org>
3668
3669 PR c++/53061
3670 * c-objc-common.c (c_objc_common_init): Do not do diagnostics
3671 initialization here...
3672 (c_initialize_diagnostics): ... but here. Set defaults after
3673 building pretty-printer.
3674
2981340f 36752014-10-23 Marek Polacek <polacek@redhat.com>
3676
3677 PR c/63626
3678 * c-decl.c (pop_scope): Don't print warning in external_scope.
3679
d303aeaf 36802014-10-19 Marek Polacek <polacek@redhat.com>
3681
3682 PR c/63567
3683 * c-typeck.c (output_init_element): Allow initializing objects with
3684 static storage duration with compound literals even in C99 and add
3685 pedwarn for it.
3686
bccf97da 36872014-10-17 Marek Polacek <polacek@redhat.com>
3688
3689 PR c/63567
3690 * c-typeck.c (digest_init): Allow initializing objects with static
3691 storage duration with compound literals even in C99 and add pedwarn
3692 for it.
3693
d9c77450 36942014-10-17 Marek Polacek <polacek@redhat.com>
3695
3696 PR c/63543
3697 * c-tree.h (C_TYPE_ERROR_REPORTED): Define.
3698 * c-typeck.c (build_indirect_ref): Don't print the "dereferencing..."
3699 error multiple times. Print the type.
3700
a2bbd0a7 37012014-10-17 Marek Polacek <polacek@redhat.com>
3702
3703 PR c/63549
3704 * c-typeck.c (build_array_ref): Bail if the index in an incomplete
3705 type.
3706
e610d2b2 37072014-10-17 Marek Polacek <polacek@redhat.com>
3708
3709 * c-decl.c (grokdeclarator): Use OPT_Wimplicit_int unconditionally.
3710 (start_function): Use OPT_Wimplicit_int instead of 0.
3711 (store_parm_decls_oldstyle): Likewise.
3712
6b6e56b6 37132014-10-17 Alan Modra <amodra@gmail.com>
3714
3715 PR middle-end/61848
3716 * c-decl.c (merge_decls): Don't merge section name or tls model
3717 to newdecl symtab node, instead merge to olddecl. Override
3718 existing olddecl section name. Set tls_model for all thread-local
3719 vars, not just OMP thread-private ones. Remove incorrect comment.
3720
a3020f2f 37212014-10-16 Andrew MacLeod <amacleod@redhat.com>
3722
3723 * c-decl.c: Adjust include files.
3724
9f75f026 37252014-10-14 DJ Delorie <dj@redhat.com>
3726
3727 * c-parser.c (c_parse_init): Add RID entries for each __intN.
3728 (c_token_starts_typename): Check all __intN, not just __int128.
3729 (c_token_starts_declspecs): Likewise.
3730 (c_parser_declspecs): Likewise.
3731 (c_parser_attribute_any_word): Likewise.
3732 (c_parser_objc_selector): Likewise.
3733 * c-tree.h (c_typespec_keyword): cts_int128 -> cts_int_n.
3734 (struct c_declspecs): Add int_n_idx field to record *which* __intN
3735 is specified.
3736 * c-decl.c (declspecs_add_type): Check for all __intN, not just
3737 __int128.
3738 (finish_declspecs): Likewise.
3739
4f284d4a 37402014-10-13 Anthony Brandon <anthony.brandon@gmail.com>
3741
a49621cf 3742 * c-parser.c (c_parser_all_labels): New function to replace
4f284d4a 3743 the duplicate code.
a49621cf 3744 (c_parser_statement): Call the new function.
4f284d4a 3745
61a892dc 37462014-10-09 Marek Polacek <polacek@redhat.com>
3747
3748 PR c/63480
3749 * c-typeck.c (pop_init_level): Don't warn about initializing
3750 with { }.
3751
4e888fd9 37522014-10-07 Marek Polacek <polacek@redhat.com>
3753
3754 PR c/59717
3755 * c-decl.c (header_for_builtin_fn): New function.
3756 (implicitly_declare): Suggest which header to include.
3757
224bdd51 37582014-10-07 Marek Polacek <polacek@redhat.com>
3759
3760 * c-convert.c (convert): Use error_operand_p.
3761 * c-typeck.c (require_complete_type): Likewise.
3762 (really_atomic_lvalue): Likewise.
3763 (digest_init): Likewise.
3764 (handle_omp_array_sections_1): Likewise.
3765
a2bc79db 37662014-10-03 Marek Polacek <polacek@redhat.com>
3767
3768 PR c/63453
3769 * c-decl.c (pop_scope): Don't warn about "inline function declared
3770 but never defined" for functions marked with gnu_inline attribute.
3771
4fc4088b 37722014-09-25 Jakub Jelinek <jakub@redhat.com>
3773
3774 PR c++/63249
3775 * c-parser.c (c_parser_omp_variable_list): Call mark_exp_read
3776 on low_bound and length.
3777
5213d6c9 37782014-09-24 Marek Polacek <polacek@redhat.com>
3779
3780 PR c/61405
3781 PR c/53874
3782 * c-parser.c: Don't define CPP_KEYWORD.
3783 (c_parser_switch_statement): Pass original type to c_finish_case.
3784 * c-tree.h (c_finish_case): Update declaration.
3785 * c-typeck.c (c_finish_case): Add TYPE parameter. Pass it
3786 conditionally to c_do_switch_warnings.
3787
6ea2b1bc 37882014-09-03 Marek Polacek <polacek@redhat.com>
3789
3790 PR c/62024
3791 * c-parser.c (c_parser_static_assert_declaration_no_semi): Strip no-op
3792 conversions.
3793
40750995 37942014-09-02 Jakub Jelinek <jakub@redhat.com>
3795 Balaji V. Iyer <balaji.v.iyer@intel.com>
3796 Igor Zamyatin <igor.zamyatin@intel.com>
3797
3798 * c-parser.c (c_parser_cilk_for): New function.
3799 (c_parser_cilk_grainsize): Likewise.
3800 (c_get_temp_regvar): Likewise.
3801 (c_parser_statement_after_labels): Added RID_CILK_FOR case.
3802 (c_parser_pragma): Added PRAGMA_CILK_GRAINSIZE case.
3803 (c_parser_omp_for_loop): Added CILK_FOR and CILK_SIMD checks.
3804 * c-typeck.c (c_finish_omp_clauses): Added OMP_CLAUSE__CILK_FOR_COUNT_
3805 case.
3806
8c583613 38072014-08-27 Chen Gang <gang.chen.5i5j@gmail.com>
3808
3809 * c-aux-info.c (gen_type): Resize 'buff' from 10 to 23 bytes,
3810 with using HOST_WIDE_INT without truncation to 'int'
3811
dc6229e8 38122014-08-22 Marek Polacek <polacek@redhat.com>
3813
3814 PR c++/62199
3815 * c-typeck.c (parser_build_binary_op): Adjust call to
3816 warn_logical_not_parentheses.
3817
5fdda74b 38182014-08-22 Igor Zamyatin <igor.zamyatin@intel.com>
3819
3820 PR other/62008
3821 * c-parser.c (c_parser_array_notation): Check for correct
3822 type of an array added.
3823
78bf4156 38242014-08-19 Marek Polacek <polacek@redhat.com>
3825
3826 PR c++/62153
3827 * c-typeck.c (build_binary_op): If either operand of a comparison
3828 is a boolean expression, call maybe_warn_bool_compare.
3829
005b8fe7 38302014-08-19 Patrick Palka <ppalka@gcc.gnu.org>
3831
3832 PR c/45584
3833 * c-typeck.c (build_c_cast): Do a conversion even when the
3834 TYPE_MAIN_VARIANTs are the same.
3835
508ea33a 38362014-08-19 Marek Polacek <polacek@redhat.com>
3837
3838 * c-decl.c (diagnose_mismatched_decls): Unconditionally call
3839 pedwarn_c99 instead of pedwarn.
3840 (grokfield): Likewise.
3841 (warn_defaults_to): New function.
3842 (grokdeclarator): Call warn_defaults_to instead of pedwarn_c99.
3843 Unconditionally call pedwarn_c99 instead of pedwarn.
3844 (start_function): Call warn_defaults_to instead of pedwarn_c99.
3845 (declspecs_add_scspec): Call pedwarn_c99 instead of pedwarn, don't
3846 check flag_isoc11 before.
3847 * c-errors.c (pedwarn_c99): Change the return type to bool.
3848 Handle -Wc99-c11-compat.
3849 * c-parser.c (disable_extension_diagnostics): Handle
3850 warn_c99_c11_compat.
3851 (restore_extension_diagnostics): Likewise.
3852 (c_parser_static_assert_declaration_no_semi): Call pedwarn_c99
3853 instead of pedwarn, don't check flag_isoc11 before.
3854 (c_parser_declspecs): Likewise.
3855 (c_parser_alignas_specifier): Likewise.
3856 (c_parser_alignof_expression): Likewise.
3857 (c_parser_generic_selection): Likewise.
3858 * c-tree.h (pedwarn_c99): Update declaration.
3859 * c-typeck.c (c_finish_return): Call pedwarn or warning_at instead
3860 of pedwarn_c99.
3861
806fe15e 38622014-08-19 Marek Polacek <polacek@redhat.com>
3863
3864 * c-decl.c (warn_variable_length_array): Pass OPT_Wvla unconditionally
3865 to pedwarn_c90.
3866 * c-errors.c: Include "opts.h".
3867 (pedwarn_c90): Rewrite to handle -Wno-c90-c99-compat better.
3868 * c-parser.c (disable_extension_diagnostics): Handle negative value
3869 of warn_c90_c99_compat, too.
3870 (restore_extension_diagnostics): Likewise.
3871 (c_parser_compound_statement_nostart): Pass
3872 OPT_Wdeclaration_after_statement unconditionally to pedwarn_c90.
3873
89868e45 38742014-08-12 Marek Polacek <polacek@redhat.com>
3875
3876 * c-parser.c (c_parser_postfix_expression) <case RID_FUNCTION_NAME>:
3877 Add pedwarn.
3878 (c_parser_postfix_expression) <case RID_PRETTY_FUNCTION_NAME>:
3879 Likewise.
3880 (c_parser_postfix_expression) <case RID_C99_FUNCTION_NAME>: Likewise.
3881
92a44a68 38822014-08-10 Marek Polacek <polacek@redhat.com>
890c2e2f 3883
3884 PR c/51849
3885 * c-decl.c (build_array_declarator): Remove check for !flag_isoc99.
3886 Call pedwarn_c90 instead of pedwarn.
3887 (check_bitfield_type_and_width): Likewise.
3888 (declspecs_add_qual): Likewise.
3889 (declspecs_add_type): Likewise.
3890 (warn_variable_length_array): Unify function for -pedantic and -Wvla.
3891 Adjust to only call pedwarn_c90.
3892 (grokdeclarator): Remove pedantic && !flag_isoc99 check. Call
3893 pedwarn_c90 instead of pedwarn.
3894 * c-errors.c (pedwarn_c90): Handle -Wc90-c99-compat.
3895 * c-parser.c (disable_extension_diagnostics): Handle
3896 warn_c90_c99_compat.
3897 (restore_extension_diagnostics): Likewise.
3898 (c_parser_enum_specifier): Remove check for !flag_isoc99. Call
3899 pedwarn_c90 instead of pedwarn.
3900 (c_parser_initelt): Likewise.
3901 (c_parser_postfix_expression): Likewise.
3902 (c_parser_postfix_expression_after_paren_type): Likewise.
3903 (c_parser_compound_statement_nostart): Remove check for !flag_isoc99.
3904 * c-tree.h: Fix formatting.
3905 * c-typeck.c (build_array_ref): Remove check for !flag_isoc99. Call
3906 pedwarn_c90 instead of pedwarn.
3907
7149db5f 39082014-08-07 Trevor Saunders <tsaunders@mozilla.com>
3909
3910 * c-typeck.c: Remove include of pointer-set.h.
3911
1c75251e 39122014-08-07 Marek Polacek <polacek@redhat.com>
3913
3914 * c-typeck.c (pointer_diff): Remove P - (P + CST) optimization.
3915
06ecf488 39162014-08-02 Trevor Saunders <tsaunders@mozilla.com>
3917
3918 * c-typeck.c: Use hash_map instead of pointer_map.
3919
431205b7 39202014-08-02 Trevor Saunders <tsaunders@mozilla.com>
3921
3922 * c-decl.c: Use hash_set instead of pointer_set.
3923
3394c80c 39242014-08-01 Igor Zamyatin <igor.zamyatin@intel.com>
3925
3926 PR middle-end/61455
3927 * c-array-notation.c (expand_array_notations): Handling
3928 of DECL_EXPR added.
3929
f22a2cb7 39302014-07-31 Marc Glisse <marc.glisse@inria.fr>
3931
3932 PR c++/60517
3933 * c-typeck.c (c_finish_return): Return 0 instead of the address of
3934 a local variable.
3935
74691f46 39362014-07-30 Tom Tromey <tromey@redhat.com>
3937
3938 * c-typeck.c (struct constructor_stack) <designator_depth>: New
3939 field.
3940 (really_start_incremental_init, push_init_level): Initialize
3941 designator_depth.
3942 (pop_init_level): Set global designator_depth.
3943 (process_init_element): Check for designated_init attribute.
3944
f9767fb6 39452014-07-20 Marek Polacek <polacek@redhat.com>
3946
3947 PR c/61852
3948 * c-decl.c (implicit_decl_warning): Add location_t parameter. Use it.
3949 (implicitly_declare): Pass location to implicit_decl_warning.
3950
305d96bc 39512014-07-14 Jakub Jelinek <jakub@redhat.com>
3952
3953 PR middle-end/61294
3954 * c-parser.c (c_parser_expr_list): Add new argument literal_zero_mask.
3955 If non-NULL, call c_parser_check_literal_zero.
3956 (c_parser_check_literal_zero): New function.
3957 (c_parser_postfix_expression_after_primary): Adjust
3958 c_parser_expr_list caller, handle -Wmemset-transposed-args.
3959
87d59e72 39602014-07-06 Marek Polacek <polacek@redhat.com>
3961
3962 PR c/6940
3963 * c-decl.c (grokdeclarator): Set C_ARRAY_PARAMETER.
3964 * c-tree.h (C_ARRAY_PARAMETER): Define.
3965 * c-typeck.c (c_expr_sizeof_expr): Warn when using sizeof on an array
3966 function parameter.
3967
752098c8 39682014-07-02 Jan Hubicka <hubicka@ucw.cz>
92a44a68 3969 Chen Gang <gang.chen.5i5j@gmail.com>
752098c8 3970
3971 * c-decl.c (duplicate_decls): CLear DECL_STRUCT_FUNCTION before
3972 releasing symbol.
3973
1207866e 39742014-07-01 Marek Polacek <polacek@redhat.com>
3975
3976 * c-typeck.c (convert_for_assignment): Pass OPT_Wint_conversion
3977 instead of 0 to WARN_FOR_ASSIGNMENT.
3978
7a6bbb76 39792014-07-01 Marek Polacek <polacek@redhat.com>
3980
3981 PR c/58286
3982 * c-typeck.c (convert_for_assignment): Pass
3983 OPT_Wincompatible_pointer_types instead of 0 to WARN_FOR_ASSIGNMENT.
3984
70575064 39852014-06-30 Marek Polacek <polacek@redhat.com>
3986
3987 * c-decl.c (grokdeclarator): Don't instrument VLAs if the function
3988 has no_sanitize_undefined attribute.
3989
4879e4cf 39902014-06-30 Igor Zamyatin <igor.zamyatin@intel.com>
3991
3992 PR middle-end/57541
3993 * c-array-notation.c (fix_builtin_array_notation_fn):
3994 Check for 0 arguments in builtin call. Check that bultin argument is
3995 correct.
3996 * c-parser.c (c_parser_array_notation): Check for incorrect initial
3997 index.
3998
45c5b823 39992014-06-27 Sebastian Huber <sebastian.huber@embedded-brains.de>
4000
4001 * c-parser.c (c_parser_declaration_or_fndef): Discard all type
4002 qualifiers in __auto_type for atomic types.
4003 (c_parser_typeof_specifier): Discard all type qualifiers in
4004 __typeof__ for atomic types.
4005
430b73ee 40062014-06-25 Marek Polacek <polacek@redhat.com>
4007
4008 PR c/61162
4009 * c-parser.c (c_parser_statement_after_labels): Pass the location of
4010 the return expression to c_finish_return.
4011
9580cb79 40122014-06-25 Jakub Jelinek <jakub@redhat.com>
4013
4014 * c-typeck.c (c_finish_omp_clauses): Make sure
4015 OMP_CLAUSE_LINEAR_STEP has correct type.
4016
c1f445d2 40172014-06-24 Trevor Saunders <tsaunders@mozilla.com>
4018
4019 * c-decl.c: Adjust.
4020
e471cc6f 40212014-06-24 Jakub Jelinek <jakub@redhat.com>
4022
4023 * c-parser.c (c_parser_omp_for_loop): For
4024 #pragma omp parallel for simd move lastprivate clause from parallel
4025 to for rather than simd.
4026
499b7390 40272014-06-23 Marek Polacek <polacek@redhat.com>
4028
4029 * c-typeck.c (parser_build_binary_op): Don't call
4030 warn_logical_not_parentheses if the RHS is TRUTH_NOT_EXPR.
4031
5e68df57 40322014-06-15 Jan Hubicka <hubicka@ucw.cz>
4033
4034 * c-parser.c (c_parser_omp_threadprivate): Likewise.
4035 * c-decl.c (merge_decls): Likewise.
4036
064b0d02 40372014-06-09 Marek Polacek <polacek@redhat.com>
4038
4039 PR c/36446
4040 * c-typeck.c (error_init): Call inform instead of error_at.
4041 (pedwarn_init): Call inform instead of pedwarn.
4042 (warning_init): Call inform instead of warning_at.
4043
71e19e54 40442014-06-07 Jan Hubicka <hubicka@ucw.cz>
4045
4046 * c-decl.c (merge_decls): Use set_decl_section_name.
4047 (duplicate_decls): Remove node if it exists.
4048
95cdf3fd 40492014-06-05 S. Gilles <sgilles@terpmail.umd.edu>
4050
4051 PR c/53119
4052 * c-typeck.c (push_init_level, process_init_element,
4053 pop_init_level): Correct check for zero initialization, move
4054 missing brace warning to respect zero initialization.
4055
a07f86a6 40562014-06-05 Marek Polacek <polacek@redhat.com>
4057
4058 PR c/56724
4059 * c-typeck.c (convert_for_assignment): Use expr_loc for ic_argpass.
4060
32dc1512 40612014-06-05 Marek Polacek <polacek@redhat.com>
4062
4063 PR c/49706
4064 * c-typeck.c (parser_build_binary_op): Warn when logical not is used
4065 on the left hand side operand of a comparison.
4066
64cf1262 40672014-06-05 Marek Polacek <polacek@redhat.com>
4068
4069 PR c/48062
4070 * c-decl.c (warn_if_shadowing): Call inform instead of warning_at.
4071 Print note only if the warning was printed.
4072
071f6d39 40732014-06-04 Igor Zamyatin <igor.zamyatin@intel.com>
4074
4075 PR c/58942
4076 * c-array-notation.c (fix_builtin_array_notation_fn): Handle the case
4077 with a pointer.
4078
c69ec07d 40792014-06-03 Marek Polacek <polacek@redhat.com>
4080
4081 PR c/60439
4082 * c-parser.c (c_parser_switch_statement): Pass explicit_cast_p to
4083 c_start_case.
4084 * c-tree.h (c_start_case): Update.
4085 * c-typeck.c (c_start_case): Add new boolean parameter. Warn if
4086 switch condition has boolean value.
4087
f7715905 40882014-06-02 Andrew MacLeod <amacleod@redhat.com>
4089
4090 * c-decl.c: Include builtins.h.
4091 * c-parser.c: Likewise.
4092
dcfff6f9 40932014-05-27 Marek Polacek <polacek@redhat.com>
4094
4095 PR c/56724
4096 * c-typeck.c (convert_arguments): Get location of a parameter. Change
4097 error and warning calls to error_at and warning_at. Pass location of
4098 a parameter to it. Call warning_at with OPT_Wtraditional_conversion.
4099 (convert_for_assignment): Add parameter to WARN_FOR_ASSIGNMENT and
4100 WARN_FOR_QUALIFIERS. Pass expr_loc to those.
4101
c048c42c 41022014-05-26 Igor Zamyatin <igor.zamyatin@intel.com>
4103
4104 PR c/61191
4105 * c-array-notation.c (fix_builtin_array_notation_fn): Check invalid
4106 function parameters.
4107
8c016392 41082014-05-23 Jan Hubicka <hubicka@ucw.cz>
4109
4110 * c-decl.c (merge_decls): Preserve symtab node pointers.
4111 (duplicate_decls): Free new decl.
4112
184a718f 41132014-05-23 Thomas Schwinge <thomas@codesourcery.com>
4114
6ce915ef 4115 * c-typeck.c (c_finish_omp_clauses): Remove duplicated variable
4116 initialization.
4117
184a718f 4118 * c-parser.c (c_parser_omp_target): Return bool values.
4119
22ac3f78 41202014-05-22 Thomas Schwinge <thomas@codesourcery.com>
4121
4122 * c-parser.c (c_parser_omp_clause_thread_limit): Rename
4123 num_teams_loc variable to num_thread_limit_loc.
4124
3ab4693e 41252014-05-21 Richard Sandiford <rsandifo@linux.vnet.ibm.com>
4126
4127 * c-array-notation.c (expand_array_notations): Use void_node
4128 instead of void_zero_node.
4129
25a27413 41302014-05-17 Trevor Saunders <tsaunders@mozilla.com>
4131
4132 * c-decl.c (finish_struct): Adjust.
4133 (finish_enum): Likewise.
4134 (bind): Adjust.
4135 (record_inline_static): Likewise.
4136 (push_scope): Likewise.
4137 (make_label): Likewise.
4138 (lookup_label_for_goto): Likewise.
4139 (finish_struct): Likewise.
4140 (finish_enum): Likewise.
4141 (store_parm_decls): Likewise.
4142 (c_push_function_context): Likewise.
4143 * c-lang.h: Remove usage of variable_size gty attribute.
4144 * c-parser.c (c_parse_init): Adjust.
4145 (c_parse_file): Likewise.
4146
172b8440 41472014-05-13 Marek Polacek <polacek@redhat.com>
4148
4149 PR c/61162
4150 * c-typeck.c (convert_for_assignment): Pass location to
4151 WARN_FOR_ASSIGNMENT instead of input_location.
4152
c9e51d25 41532014-05-10 Marek Polacek <polacek@redhat.com>
4154
4155 * c-parser.c (c_parser_declaration_or_fndef): Pass init_loc to
4156 maybe_warn_string_init.
4157 (c_parser_postfix_expression_after_paren_type): Pass type_loc to
4158 maybe_warn_string_init.
4159 * c-tree.h (maybe_warn_string_init): Update declaration.
4160 * c-typeck.c (maybe_warn_string_init): Add location parameter.
4161 Call pedwarn_init with loc instead of with input_location.
4162 (digest_init): Pass init_loc to maybe_warn_string_init.
4163 (pop_init_level): Call pedwarn_init with loc instead of with
4164 input_location.
4165 (set_init_index): Likewise.
4166 (process_init_element): Likewise.
4167
53de1631 41682014-05-09 Marek Polacek <polacek@redhat.com>
4169
4170 PR c/61096
4171 * c-parser.c (c_parser_braced_init): Pass brace_loc to push_init_level.
4172 (c_parser_initelt): Pass location to set_init_label. Pass array index
4173 location to set_init_index.
4174 * c-tree.h (push_init_level): Update declaration.
4175 (pop_init_level): Likewise.
4176 (set_init_index): Likewise.
4177 (set_init_label): Likewise.
4178 * c-typeck.c (error_init): Add location parameter. Call error_at
4179 instead of error.
4180 (digest_init): Pass init_loc to error_init.
4181 (really_start_incremental_init):
4182 (push_init_level): Add location parameter. Pass loc to pop_init_level
4183 and error_init.
4184 (pop_init_level): Likewise.
4185 (set_designator): Add location parameter. Pass loc to pop_init_level,
4186 push_init_level, and error_init.
4187 (set_init_index): Add location parameter. Pass loc to error_init and
4188 set_designator.
4189 (set_init_label): Likewise.
4190 (output_init_element): Pass loc to error_init.
4191 (process_init_element): Pass loc to error_init, pop_init_level,
4192 pedwarn_init, and push_init_level.
4193
3e5a8b00 41942014-05-09 Marek Polacek <polacek@redhat.com>
4195
4196 PR c/50459
4197 * c-parser.c (c_parser_attributes): Parse the arguments as an
4198 expression-list if the attribute takes identifier.
4199
c2c4ae8d 42002014-05-08 Marek Polacek <polacek@redhat.com>
4201
4202 PR c/61053
4203 * c-decl.c (grokdeclarator): Use min_align_of_type instead of
4204 TYPE_ALIGN_UNIT.
4205
2026249a 42062014-05-08 Marek Polacek <polacek@redhat.com>
4207
4208 PR c/61077
4209 * c-decl.c (start_function): Warn for _Atomic-qualified return type
4210 of main.
4211
960d5a55 42122014-05-06 Kenneth Zadeck <zadeck@naturalbridge.com>
4213 Mike Stump <mikestump@comcast.net>
4214 Richard Sandiford <rdsandiford@googlemail.com>
4215
4216 * c-decl.c (check_bitfield_type_and_width): Use TYPE_SIGN.
4217 (finish_enum): Use wide-int interfaces.
4218 * c-parser.c (c_parser_cilk_clause_vectorlength): Likewise.
4219 * c-typeck.c (build_c_cast): Likewise.
4220 (set_nonincremental_init_from_string): Likewise.
4221 (c_tree_equal): Likewise.
4222
e0e14cbd 42232014-05-02 Marek Polacek <polacek@redhat.com>
4224
4225 PR c/25801
4226 * c-typeck.c (c_size_in_bytes): Update comment. Don't call error.
4227 Return size_one_node when the type is not complete.
4228 (pointer_diff): Remove comment.
4229 (build_unary_op): Improve error messages.
4230
27ff10cb 42312014-05-02 Marek Polacek <polacek@redhat.com>
4232
4233 * c-typeck.c (c_finish_return): Separate warning_at calls.
4234
68410ce9 42352014-05-02 Marek Polacek <polacek@redhat.com>
4236
4237 * c-tree.h (error_init): Remove declaration.
4238 (pedwarn_init): Likewise.
4239 * c-typeck.c (error_init): Make static and move above.
4240 (pedwarn_init): Likewise.
4241 (warning_init): Move above.
4242 (maybe_warn_string_init): Likewise.
4243
e8e27117 42442014-05-01 Jeff Law <law@redhat.com>
4245
4246 Revert:
4247
4248 2014-04-24 Prathamesh Kulkarni <bilbotheelffriend@gmail.com>
4249 * c-parser.c (c_parser_sizeof_expression): Reorganize slightly to
4250 avoid goto.
4251
971df357 42522014-05-02 Marek Polacek <polacek@redhat.com>
4253
4254 PR c/60784
4255 * c-typeck.c (push_init_level): Set constructor_designated to
4256 p->designated for structures.
4257
de548fe5 42582014-05-01 Marek Polacek <polacek@redhat.com>
4259
4260 PR c/60915
4261 * c-parser.c (c_parser_declaration_or_fndef): Give better error if
4262 function-definition has an attribute after the declarator.
4263
053a0ded 42642014-05-01 Marek Polacek <polacek@redhat.com>
4265
4266 PR c/60257
4267 * c-typeck.c (warning_init): Add location_t parameter. Call
4268 warning_at instead of warning.
4269 (push_init_level): Pass input_location to warning_init.
4270 (add_pending_init): Add location_t parameter. Pass loc to
4271 warning_init.
4272 (set_nonincremental_init): Pass input_location to add_pending_init.
4273 (set_nonincremental_init_from_string): Likewise.
4274 (output_init_element): Pass loc to warning_init and to
4275 add_pending_init.
4276
694296f2 42772014-05-01 Marek Polacek <polacek@redhat.com>
4278
4279 PR c/43395
4280 * c-typeck.c (c_finish_return): Distinguish between label and variable
4281 when warning about returning local address.
4282
86bbd7f9 42832014-05-01 Marek Polacek <polacek@redhat.com>
4284
4285 PR c/29467
4286 * c-decl.c (declspecs_add_type): Pedwarn if boolean types are used
4287 in C89 mode.
4288
e4ab2ef3 42892014-05-01 Marek Polacek <polacek@redhat.com>
4290
4291 PR c/43245
4292 * c-typeck.c (convert_for_assignment): Pass OPT_Wdiscarded_qualifiers
4293 instead of 0 to WARN_FOR_QUALIFIERS.
4294
ca3999cb 42952014-05-01 Marek Polacek <polacek@redhat.com>
4296
4297 PR c/56989
4298 * c-typeck.c (default_conversion): Use better location for
4299 error call.
4300
52cc0072 43012014-04-30 Marek Polacek <polacek@redhat.com>
4302
4303 * c-typeck.c (build_binary_op): Call ubsan_instrument_division
4304 also when SANITIZE_FLOAT_DIVIDE is on.
4305
af379dd3 43062014-04-30 Marek Polacek <polacek@redhat.com>
4307
4308 PR c/60139
4309 * c-typeck.c (output_init_element): Pass OPT_Wpedantic to pedwarn
4310 and pedwarn_init. Use loc insted of input_location.
4311
b069c2a0 43122014-04-30 Marek Polacek <polacek@redhat.com>
4313
4314 PR c/60351
4315 * c-typeck.c (build_binary_op): Use location when warning about
4316 shift count.
4317
4a026b48 43182014-04-25 Marek Polacek <polacek@redhat.com>
4319
4320 PR c/18079
4321 * c-decl.c (diagnose_mismatched_decls): Warn for mismatched
4322 always_inline/noinline and hot/cold attributes.
4323
adc93f31 43242014-04-25 Marek Polacek <polacek@redhat.com>
4325
4326 PR c/60114
4327 * c-parser.c (c_parser_initelt): Pass input_location to
4328 process_init_element.
4329 (c_parser_initval): Pass loc to process_init_element.
4330 * c-tree.h (process_init_element): Adjust declaration.
4331 * c-typeck.c (push_init_level): Pass input_location to
4332 process_init_element.
4333 (pop_init_level): Likewise.
4334 (set_designator): Likewise.
4335 (output_init_element): Add location_t parameter. Pass loc to
4336 digest_init.
4337 (output_pending_init_elements): Pass input_location to
4338 output_init_element.
4339 (process_init_element): Add location_t parameter. Pass loc to
4340 output_init_element.
4341
e1029911 43422014-04-24 Jakub Jelinek <jakub@redhat.com>
4343
4344 * c-parser.c (c_parser_omp_atomic): Allow seq_cst before
4345 atomic-clause, allow comma in between atomic-clause and
4346 seq_cst.
4347
9f0a7bc6 43482014-04-22 Jakub Jelinek <jakub@redhat.com>
4349
4350 PR c/59073
4351 * c-parser.c (c_parser_omp_parallel): If c_parser_omp_for
4352 fails, don't set OM_PARALLEL_COMBINED and return NULL.
4353
094da06d 43542014-04-12 Igor Zamyatin <igor.zamyatin@intel.com>
4355
4356 PR middle-end/60469
4357 * c-array-notation.c (fix_builtin_array_notation_fn): Use
4358 create_tmp_var instead build_decl for creating temps.
4359 (build_array_notation_expr): Likewise.
4360 (fix_conditional_array_notations_1): Likewise.
4361 (fix_array_notation_expr): Likewise.
4362 (fix_array_notation_call_expr): Likewise.
4363
5a672e62 43642014-03-28 Jakub Jelinek <jakub@redhat.com>
4365
4366 PR c++/60689
4367 * c-tree.h (c_build_function_call_vec): New prototype.
4368 * c-typeck.c (build_function_call_vec): Don't call
4369 resolve_overloaded_builtin here.
4370 (c_build_function_call_vec): New wrapper function around
4371 build_function_call_vec. Call resolve_overloaded_builtin here.
4372 (convert_lvalue_to_rvalue, build_function_call, build_atomic_assign):
4373 Call c_build_function_call_vec instead of build_function_call_vec.
4374 * c-parser.c (c_parser_postfix_expression_after_primary): Likewise.
4375 * c-decl.c (finish_decl): Likewise.
4376
f40f5e0e 43772014-03-18 Manuel López-Ibáñez <manu@gcc.gnu.org>
4378
4379 PR c/55383
4380 * c-typeck.c: Use correct format string in cast-qual warning
4381
9ec099a3 43822014-03-07 Thomas Schwinge <thomas@codesourcery.com>
4383
4384 * c-decl.c (c_decl_attributes): Use
4385 lang_hooks.types.omp_mappable_type.
4386 * c-typeck.c (c_finish_omp_clauses): Likewise.
4387
3bfdc94f 43882014-03-06 Marek Polacek <polacek@redhat.com>
4389
4390 PR c/60197
4391 * c-typeck.c (c_finish_return): Call contains_cilk_spawn_stmt instead
4392 of checking tree code.
4393
8f1128f8 43942014-02-19 Prathamesh Kulkarni <bilbotheelffriend@gmail.com>
4395
4396 * c-parser.c (c_parser_declspecs): Replace call to error by error_at.
4397 (c_parser_parameter_declaration): Likewise.
4398
977b1853 43992014-02-19 Marek Polacek <polacek@redhat.com>
4400
4401 PR c/60195
4402 * c-typeck.c (convert_lvalue_to_rvalue): Set TREE_NO_WARNING on tmp.
4403 Call mark_exp_read on exp.value.
4404 (build_atomic_assign): Set TREE_NO_WARNING on val and old. Set
4405 TREE_ADDRESSABLE on old instead of val.
4406 (emit_side_effect_warnings): Warn only if RHS has !TREE_NO_WARNING.
4407
825cd6ef 44082014-02-07 Prathamesh Kulkarni <bilbotheelffriend@gmail.com>
4409
4410 * c-parser.c (c_parser_get_builtin_args): Replace calls to
4411 C_EXPR_APPEND by vec_safe_push.
4412 * c-tree.h (C_EXPR_APPEND): Remove.
4413
ec761d5a 44142014-01-31 Marek Polacek <polacek@redhat.com>
4415
4416 PR c/59963
4417 * c-typeck.c (convert_lvalue_to_rvalue): Pass vNULL to
4418 build_function_call_vec.
4419 (build_function_call): Likewise.
4420 (build_atomic_assign): Likewise.
4421 (build_function_call_vec): Add arg_loc parameter. Use it.
4422 (convert_arguments): Likewise.
4423 (convert_for_assignment): Rename rhs_loc to expr_loc.
4424 * c-parser.c (c_parser_attributes): Pass NULL to c_parser_expr_list.
4425 (c_parser_objc_keywordexpr): Likewise.
4426 (c_parser_postfix_expression_after_primary): Call
4427 build_function_call_vec with expr_loc rather than op_loc.
4428 Call c_parser_expr_list to fill arg_loc. Pass arg_loc to
4429 build_function_call_vec.
4430 (c_parser_expr_list): Add locations parameter. Fill it with locations
4431 of function arguments.
4432 * c-decl.c (finish_decl): Pass vNULL to build_function_call_vec.
4433
22a75734 44342014-01-30 Marek Polacek <polacek@redhat.com>
4435
4436 PR c/59940
4437 * c-typeck.c (build_function_call_vec): Use loc parameter.
4438 (convert_arguments): Add location parameter. Use it.
4439 (ep_convert_and_check): Likewise.
4440 (build_atomic_assign): Adjust convert_for_assignment call.
4441 (build_modify_expr): Likewise.
4442 (digest_init): Likewise.
4443 (c_finish_return): Likewise.
4444 (build_conditional_expr): Adjust ep_convert_and_check calls.
4445 (convert_for_assignment): Add rhs_loc parameter. Use it.
4446 (build_binary_op): Adjust convert_and_check and ep_convert_and_check
4447 calls.
4448
29f580ac 44492014-01-30 Richard Biener <rguenther@suse.de>
4450
4451 PR c/59905
4452 * c-typeck.c (build_function_call_vec): Do not replace calls
4453 to a function via an incompatible type with a runtime abort.
4454
a89e6c15 44552014-01-24 Balaji V. Iyer <balaji.v.iyer@intel.com>
4456
4457 * c-parser.c (c_parser_declaration_or_fndef): Replaced
4458 flag_enable_cilkplus with flag_cilkplus.
4459 (c_parser_direct_declarator_inner): Likewise.
4460 (c_parser_attribute_any_word): Likewise.
4461 (c_parser_attributes): Likewise.
4462 (c_parser_compound_statement): Likewise.
4463 (c_parser_statement_after_labels): Likewise.
4464 (c_parser_if_statement): Likewise.
4465 (c_parser_switch_statement): Likewise.
4466 (c_parser_do_statement): Likewise.
4467 (c_parser_for_statement): Likewise.
4468 (c_parser_unary_expression): Likewise.
4469 (c_parser_postfix_expression): Likewise.
4470 (c_parser_postfix_expression_after_primary): Likewise.
4471 (c_parser_postfix_expression_after_primary): Likewise.
4472 (c_parser_omp_clause_name): Likewise.
4473 (c_finish_omp_declare_simd): Likewise.
4474 (c_parser_cilk_verify_simd): Likewise.
4475 * c-typeck.c (build_array_ref): Likewise.
4476 (build_function_call_vec): Likewise.
4477 (convert_arguments): Likewise.
4478 (build_compound_expr): Likewise.
4479 (c_finish_return): Likewise.
4480 (c_finish_if_stmt): Likewise.
4481 (c_finish_loop): Likewise.
4482 (build_binary_op): Likewise.
4483
2623625f 44842014-01-23 Marek Polacek <polacek@redhat.com>
4485
4486 PR c/59846
4487 * c-typeck.c (parser_build_binary_op): Use location instead of
4488 input_location.
4489 (build_binary_op): Pass location to shorten_compare.
4490
46da3601 44912014-01-23 Marek Polacek <polacek@redhat.com>
4492
4493 PR c/58346
4494 * c-typeck.c (pointer_diff): Give an error on arithmetic on pointer to
4495 an empty aggregate.
4496
9a9db3c1 44972014-01-23 Marek Polacek <polacek@redhat.com>
4498
4499 PR c/59871
4500 * c-typeck.c (build_compound_expr): Warn even for right-hand operand
4501 of a comma expression.
4502 (emit_side_effect_warnings): Likewise.
4503
69c9b607 45042014-01-23 Balaji V. Iyer <balaji.v.iyer@intel.com>
4505
4506 PR c/59825
4507 * c-array-notation.c (expand_array_notation_exprs): Rewrote this
4508 function to use walk_tree and moved a lot of its functionality to
4509 expand_array_notations.
4510 (expand_array_notations): New function.
4511
7e005ab5 45122014-01-23 Balaji V. Iyer <balaji.v.iyer@intel.com>
4513
4514 * c-parser.c (c_finish_omp_declare_simd): Made "cilk simd function"
4515 attribute an attribute without value.
4516
d6779b5f 45172014-01-23 Jakub Jelinek <jakub@redhat.com>
4518
4519 PR middle-end/58809
4520 * c-typeck.c (c_finish_omp_clause): Reject MIN_EXPR, MAX_EXPR,
4521 BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
4522
ec431042 45232014-01-22 Marek Polacek <polacek@redhat.com>
4524
4525 PR c/59891
4526 * c-typeck.c (build_conditional_expr): Call c_fully_fold instead
4527 of remove_c_maybe_const_expr on op1 and op2.
4528
1248c663 45292014-01-15 Jakub Jelinek <jakub@redhat.com>
4530
4531 PR c/58943
4532 * c-typeck.c (build_modify_expr): For lhs op= rhs, if rhs has side
4533 effects, preevaluate rhs using SAVE_EXPR first.
4534
0bc789fc 45352014-01-09 Balaji V. Iyer <balaji.v.iyer@intel.com>
4536
4537 PR c++/59631
4538 * c-parser.c (c_parser_postfix_expression): Replaced consecutive if
4539 statements with if-elseif statements.
4540
6685d11c 45412014-01-06 Marek Polacek <polacek@redhat.com>
4542
4543 PR c/57773
4544 * c-decl.c (check_bitfield_type_and_width): Warn for implementation
4545 defined bit-field types only in ISO C.
4546
3aea1f79 45472014-01-02 Richard Sandiford <rdsandiford@googlemail.com>
4548
4549 Update copyright years
4550
e4f22041 45512014-01-02 Richard Sandiford <rdsandiford@googlemail.com>
4552
4553 * c-array-notation.c: Use the standard form for the copyright notice.
4554
74acc703 45552013-12-18 Balaji V. Iyer <balaji.v.iyer@intel.com>
4556
4557 * c-parser.c (struct c_parser::cilk_simd_fn_tokens): Added new field.
4558 (c_parser_declaration_or_fndef): Added a check if cilk_simd_fn_tokens
4559 field in parser is not empty. If not-empty, call the function
4560 c_parser_finish_omp_declare_simd.
4561 (c_parser_cilk_clause_vectorlength): Modified function to be shared
4562 between SIMD-enabled functions and #pragma simd. Added new parameter.
4563 (c_parser_cilk_all_clauses): Modified the usage of the function
4564 c_parser_cilk_clause_vectorlength as mentioned above.
4565 (c_parser_cilk_simd_fn_vector_attrs): New function.
4566 (c_finish_cilk_simd_fn_tokens): Likewise.
4567 (is_cilkplus_vector_p): Likewise.
4568 (c_parser_omp_clause_name): Added checking for "vectorlength,"
4569 "nomask," and "mask" strings in clause name.
4570 (c_parser_omp_all_clauses): Added 3 new case statements:
4571 PRAGMA_CILK_CLAUSE_VECTORLENGTH, PRAGMA_CILK_CLAUSE_MASK and
4572 PRAGMA_CILK_CLAUSE_NOMASK.
4573 (c_parser_attributes): Added a cilk_simd_fn_tokens parameter. Added a
4574 check for vector attribute and if so call the function
4575 c_parser_cilk_simd_fn_vector_attrs. Also, when Cilk plus is enabled,
4576 called the function c_finish_cilk_simd_fn_tokens.
4577 (c_finish_omp_declare_simd): Added a check if cilk_simd_fn_tokens in
4578 parser field is non-empty. If so, parse them as you would parse
4579 the omp declare simd pragma.
4580 (c_parser_omp_clause_linear): Added a new bool parm. is_cilk_simd_fn.
4581 Added a check when step is a parameter and flag it as error.
4582 (CILK_SIMD_FN_CLAUSE_MASK): New #define.
4583 (c_parser_cilk_clause_name): Changed pragma_cilk_clause to
4584 pragma_omp_clause.
4585
395dc01c 45862013-12-17 Thomas Schwinge <thomas@codesourcery.com>
4587
4588 * c-parser.c (c_parser_omp_parallel): Fix description.
4589
433e804e 45902013-12-11 Balaji V. Iyer <balaji.v.iyer@intel.com>
4591
4592 * c-objc-common.h (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Remove.
4593 (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
4594 (LANG_HOOKS_CILKPLUS_CILKPLUS_GIMPLIFY_SPAWN): Likewise.
4595 * c-typeck.c (cilk_install_body_with_frame_cleanup): New function.
4596
a179a7dc 45972013-12-04 Joseph Myers <joseph@codesourcery.com>
4598
4599 PR c/52023
4600 * c-parser.c (c_parser_alignas_specifier): Use
4601 c_sizeof_or_alignof_type instead of c_alignof.
4602 (c_parser_alignof_expression): Likewise, with min_alignof
4603 parameter depending on alignof spelling used.
4604
bdf1e3c7 46052013-12-04 Marek Polacek <polacek@redhat.com>
4606
4607 PR c/54113
4608 * c-decl.c (start_function): Don't warn for missing prototype for
4609 inline functions.
4610
05e8f674 46112013-12-03 Marek Polacek <polacek@redhat.com>
4612
4613 PR c/59351
4614 * c-decl.c (build_compound_literal): Allow compound literals with
4615 empty initial value.
4616
39f74d66 46172013-12-02 Joseph Myers <joseph@codesourcery.com>
4618
4619 PR c/58235
4620 * c-typeck.c (build_modify_expr): Diagnose assignment to
4621 expression with array type.
4622
f221adca 46232013-11-29 Joseph Myers <joseph@codesourcery.com>
4624
4625 PR c/42262
4626 * c-typeck.c (process_init_element): Do not treat a string as
4627 initializing a whole array when used with a designator for an
4628 individual element.
4629
75bce827 46302013-11-29 Joseph Myers <joseph@codesourcery.com>
4631
4632 PR c/57574
4633 * c-decl.c (merge_decls): Clear DECL_EXTERNAL for a definition of
4634 an inline function following a static declaration.
4635
dc133326 46362013-11-28 Jakub Jelinek <jakub@redhat.com>
4637
4638 PR c/59310
4639 * c-parser.c (c_parser_omp_target): Copy "#pragma omp target"
4640 to p_name before calling c_parser_omp_teams instead of after.
4641 (c_parser_cilk_simd): Remove wrong ATTRIBUTE_UNUSED from parser
4642 argument. Remove unused p_name variable.
4643
d09768a4 46442013-11-27 Aldy Hernandez <aldyh@redhat.com>
4645 Jakub Jelinek <jakub@redhat.com>
4646
4647 * c-decl.c (c_builtin_function_ext_scope): Avoid binding if
4648 external_scope is NULL.
4649
73fd9cbe 46502013-11-27 Tom de Vries <tom@codesourcery.com>
4651 Marc Glisse <marc.glisse@inria.fr>
4652
4653 PR c++/59032
4654 * c-typeck.c (build_unary_op): Allow vector increment and decrement.
4655
bc61cadb 46562013-11-22 Andrew MacLeod <amacleod@redhat.com>
4657
4658 * c-typeck.c: Add required include files from gimple.h.
4659
3df42822 46602013-11-22 David Malcolm <dmalcolm@redhat.com>
4661
4662 * c-decl.c (define_label, shadow_tag_warned)
4663 (check_bitfield_type_and_width, grokdeclarator, grokparms,
4664 store_parm_decls_newstyle, store_parm_decls_oldstyle)
4665 (declspecs_add_type): Remove use of in_system_header macro.
4666 * c-parser.c (c_parser_unary_expression): Likewise.
4667 * c-typeck.c (store_init_value, process_init_element)
4668 (c_start_case): Likewise.
4669
4670 * c-decl.c (build_enumerator): Remove use of EXPR_LOC_OR_HERE
4671 macro.
4672
4673 * c-parser.c (c_parser_set_source_position_from_token): Remove
4674 reference to in_system_header from comment.
4675
08f817b3 46762013-11-18 Richard Sandiford <rdsandiford@googlemail.com>
4677
4678 * c-decl.c (grokdeclarator): Update comment to refer to
4679 tree_to_[su]hwi rather than tree_low_cst.
4680
6a0712d4 46812013-11-18 Richard Sandiford <rdsandiford@googlemail.com>
4682
4683 * c-decl.c, c-typeck.c: Replace tree_low_cst (..., 1) with
4684 tree_to_uhwi throughout.
4685
fcb97e84 46862013-11-18 Richard Sandiford <rdsandiford@googlemail.com>
4687
4688 * c-parser.c: Replace tree_low_cst (..., 0) with tree_to_shwi
4689 throughout.
4690
35ec552a 46912013-11-18 Richard Sandiford <rdsandiford@googlemail.com>
4692
4693 * c-parser.c: Replace host_integerp (..., 0) with tree_fits_shwi_p
4694 throughout.
4695
f2697631 46962013-11-15 Aldy Hernandez <aldyh@redhat.com>
4697
4698 * c-parser.c (c_parser_cilk_simd): New.
4699 (c_parser_cilk_verify_simd): New.
4700 (c_parser_pragma): Add case for PRAGMA_CILK_SIMD.
4701 (c_parser_omp_for_loop): Add case for NE_EXPR.
4702 Set c_break_label for CILK_SIMD.
4703 (c_parser_cilk_clause_vectorlength): New.
4704 (c_parser_cilk_clause_linear): New.
4705 (c_parser_cilk_clause_name): New.
4706 (c_parser_cilk_all_clauses): New.
4707 * c-typeck.c (build_unary_op): Pass location argument to
4708 readonly_error.
4709 (build_modify_expr): Same.
4710 (build_asm_expr): Same.
4711 (c_finish_bc_stmt): Error on break/continue in loops.
4712
e795d6e1 47132013-11-14 Andrew MacLeod <amacleod@redhat.com>
4714
4715 * c-typeck.c: Include only gimplify.h and gimple.h as needed.
4716
9ed99284 47172013-11-14 Diego Novillo <dnovillo@google.com>
4718
4719 * c-decl.c: Include print-tree.h.
4720 Include stor-layout.h.
4721 Include varasm.h.
4722 Include attribs.h.
4723 Include stringpool.h.
4724 * c-lang.c: Include fold-const.h.
4725 * c-parser.c: Include stringpool.h.
4726 Include attribs.h.
4727 Include stor-layout.h.
4728 Include varasm.h.
4729 Include trans-mem.h.
4730 * c-typeck.c: Include stor-layout.h.
4731 Include trans-mem.h.
4732 Include varasm.h.
4733 Include stmt.h.
4734
4fba5eb9 47352013-11-13 Joseph Myers <joseph@codesourcery.com>
4736
4737 * c-tree.h (c_typespec_keyword): Add cts_auto_type.
4738 * c-decl.c (declspecs_add_type, finish_declspecs): Handle
4739 __auto_type.
4740 * c-parser.c (c_token_starts_typename, c_token_starts_declspecs)
4741 (c_parser_attribute_any_word, c_parser_objc_selector): Handle
4742 RID_AUTO_TYPE.
4743 (c_parser_declspecs): Take argument AUTO_TYPE_OK.
4744 (c_parser_declaration_or_fndef, c_parser_struct_declaration)
4745 (c_parser_declarator, c_parser_direct_declarator_inner)
4746 (c_parser_parameter_declaration, c_parser_type_name): All callers
4747 changed.
4748 (c_parser_declaration_or_fndef): Handle declarations with type
4749 determined from the initializer.
4750
a8783bee 47512013-11-12 Andrew MacLeod <amacleod@redhat.com>
4752
e795d6e1 4753 * c-typeck.c: Include gimplify.h.
a8783bee 4754
d184e0c0 47552013-11-12 Joseph Myers <joseph@codesourcery.com>
4756
4757 * c-tree.h (struct c_declspecs): Add thread_gnu_p field.
4758 * c-parser.c (c_parser_declspecs): Mention _Thread_local in
4759 comment.
4760 * c-decl.c (shadow_tag_warned, grokdeclarator): Mention __thread
4761 or _Thread_local as appropriate in diagnostics.
4762 (build_null_declspecs): Initialize ret->thread_gnu_p.
4763 (declspecs_add_scspec): Handle either __thread or _Thread_local
4764 for RID_THREAD. Diagnose _Thread_local for pre-C11 standards if
4765 pedantic. Do not disallow _Thread_local extern and _Thread_local
4766 static.
4767
b560fabd 47682013-11-07 Joseph Myers <joseph@codesourcery.com>
4769 Andrew MacLeod <amacleod@redhat.com>
4770
4771 * c-aux-info.c (gen_type): Handle atomic qualifier.
4772 * c-decl.c (validate_proto_after_old_defn): Do not remove atomic
4773 qualifiers when compating types.
4774 (shadow_tag_warned): Handle atomic_p in declspecs.
4775 (quals_from_declspecs): Likewise.
4776 (start_decl): Use c_type_promotes_to when promoting argument
4777 types.
4778 (grokdeclarator): Handle _Atomic.
4779 (get_parm_info): Diagnose any qualifier on "void" as only
4780 parameter.
4781 (store_parm_decls_oldstyle): Do not remove atomic qualifiers when
4782 comparing types. Use c_type_promotes_to when promoting argument
4783 types.
4784 (finish_function): Use c_type_promotes_to when promoting argument
4785 types.
4786 (build_null_declspecs): Handle atomic_p in declspecs.
4787 (declspecs_add_qual): Handle RID_ATOMIC.
4788 * c-parser.c (c_token_starts_typename, c_token_is_qualifier)
4789 (c_token_starts_declspecs): Handle RID_ATOMIC.
4790 (c_parser_declspecs): Handle atomic type specifiers and
4791 qualifiers.
4792 (c_parser_typeof_specifier): Remove const and _Atomic qualifiers
4793 from types of expressions with atomic type.
4794 (c_parser_direct_declarator_inner): Use convert_lvalue_to_rvalue.
4795 (c_parser_attribute_any_word): Handle RID_ATOMIC.
4796 (c_parser_initializer, c_parser_initelt, c_parser_initval)
4797 (c_parser_statement_after_labels, c_parser_switch_statement)
4798 (c_parser_for_statement, c_parser_expr_no_commas)
4799 (c_parser_conditional_expression, c_parser_binary_expression)
4800 (c_parser_cast_expression, c_parser_unary_expression)
4801 (c_parser_postfix_expression)
4802 (c_parser_postfix_expression_after_primary, c_parser_expression):
4803 Use convert_lvalue_to_rvalue.
4804 (c_parser_expression_conv, c_parser_expr_list): Document
4805 conversion of lvalues to rvalues. Use convert_lvalue_to_rvalue.
4806 (c_parser_objc_synchronized_statement): Use
4807 convert_lvalue_to_rvalue.
4808 (c_parser_objc_selector): Handle RID_ATOMIC.
4809 (c_parser_objc_receiver, c_parser_array_notation): Use
4810 convert_lvalue_to_rvalue.
4811 * c-tree.h (ctsk_typeof): Adjust comment to mention use for
4812 _Atomic (type-name).
4813 (struct c_declspecs): Add atomic_p field.
4814 (convert_lvalue_to_rvalue): Declare.
4815 * c-typeck.c (c_type_promotes_to): Promote atomic types to
4816 corresponding atomic types.
4817 (qualify_type): Don't add _Atomic qualifiers from second argument.
4818 (comp_target_types): Do not allow _Atomic mismatches.
4819 (type_lists_compatible_p): Do not remove atomic qualifiers when
4820 comparing types.
4821 (really_atomic_lvalue, convert_lvalue_to_rvalue)
4822 (build_atomic_assign): New functions.
4823 (build_unary_op): Use build_atomic_assign for atomic increment and
4824 decrement.
4825 (build_conditional_expr): Do not treat _Atomic void as a qualified
4826 version of void.
4827 (build_modify_expr): Use build_atomic_assign for atomic LHS.
4828 (find_anonymous_field_with_type, convert_to_anonymous_field)
4829 (convert_for_assignment): Do not remove atomic qualifiers when
4830 comparing types.
4831 (digest_init): Do not accept initialization of arrays of atomic
4832 elements by string constants.
4833 (build_asm_expr): Use convert_lvalue_to_rvalue.
4834 (build_binary_op): Do not treat _Atomic void as a qualified
4835 version of void.
4836
8b023e7c 48372013-11-06 DJ Delorie <dj@redhat.com>
4838
4839 * c-decl.c (locate_old_decl): If a previous conflicting decl is
4840 both explicit and builtin, print the location of the explicit one.
4841
c630ef93 48422013-11-05 Tobias Burnus <burnus@net-b.de>
4843
4844 * c-parser.c (c_parser_omp_for, c_parser_omp_parallel,
4845 c_parser_omp_distribute, c_parser_omp_teams,
4846 c_parser_omp_target, c_parser_omp_declare): Handle
4847 -fopenmp-simd.
4848
2c4c3477 48492013-11-03 Marek Polacek <polacek@redhat.com>
4850
4851 * c-decl.c (grokdeclarator): Add VLA instrumentation.
4852
df205251 48532013-11-01 Jakub Jelinek <jakub@redhat.com>
4854
4855 * c-typeck.c (c_finish_omp_clauses) <case OMP_CLAUSE_UNIFORM>: Go to
4856 check_dup_generic at the end, unless remove is true.
4857 (c_finish_omp_clauses) <case OMP_CLAUSE_REDUCTION>: Add break; after
4858 remove = true;.
4859 (c_finish_omp_clauses) <case OMP_CLAUSE_COPYIN>: Likewise.
4860
23871d0c 48612013-10-31 Jakub Jelinek <jakub@redhat.com>
4862
4863 * c-typeck.c (c_finish_omp_clauses): Diagnose aligned clause
4864 with decl that is not pointer nor array.
4865
d037099f 48662013-10-29 Balaji V. Iyer <balaji.v.iyer@intel.com>
4867
4868 * c-decl.c (finish_function): Added a call for insert_cilk_frame when
4869 a spawning function is found.
4870 * c-objc-common.h (LANG_HOOKS_CILKPLUS_GIMPLIFY_SPAWN): New #define.
4871 (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Likewise.
4872 (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
4873 * c-parser.c (c_parser_statement_after_labels): Added RID_CILK_SYNC
4874 case.
4875 (c_parser_postfix_expression): Added RID_CILK_SPAWN case.
4876 * c-typeck.c (build_compound_expr): Reject _Cilk_spawn in a comma
4877 expr.
4878 (c_finish_return): Added a check to reject _Cilk_spawn in return
4879 expression.
4880 (build_cilk_spawn): New function.
4881 (build_cilk_sync): Likewise.
4882 * Makefile.in (c-decl.o): Added cilk.h in dependency list.
4883
4c90c04c 48842013-10-27 Tobias Burnus <burnus@net-b.de>
4885
4886 PR other/33426
4887 * c-parser.c (c_parser_while_statement, c_parser_while_statement,
4888 c_parser_pragma): Add GCC ivdep support to 'do' and 'while'.
4889 (c_parser_statement_after_labels): Update calls.
4890
48a972c8 48912013-10-24 Tobias Burnus <burnus@net-b.de>
4644b593 4892
4893 PR other/33426
4894 * c-parser.c (c_parser_pragma, c_parser_for_statement):
4895 Handle PRAGMA_IVDEP.
4896 (c_parser_statement_after_labels): Update call.
4897
12f86df0 48982013-10-24 Marek Polacek <polacek@redhat.com>
4899
4900 * c-parser.c (c_parser_struct_declaration): Add a comment.
4901 (c_parser_declarator): Don't allow _Alignas here.
4902
7740abd8 49032013-10-17 Andrew MacLeod <amacleod@redhat.com>
4904
4905 * c-parser.c: Include omp-low.h.
4906 * c-typeck.c: Likewise.
4907
43d03c23 49082013-10-17 Marek Polacek <polacek@redhat.com>
4909
4910 PR c/58267
4911 * c-parser.c (c_parser_declspecs): Add alignspec_ok parameter.
4912 Document syntax of the array-declarator.
4913 (c_parser_declspecs) <RID_ALIGNAS>: Bail out if alignment specs
4914 are not permitted.
4915 (c_parser_declaration_or_fndef): Adjust c_parser_declspecs call.
4916 (c_parser_struct_declaration): Likewise.
4917 (c_parser_declarator): Likewise.
4918 (c_parser_direct_declarator_inner): Likewise.
4919 (c_parser_parameter_declaration): Likewise.
4920 (c_parser_type_name): Likewise.
4921
bc7bff74 49222013-10-11 Jakub Jelinek <jakub@redhat.com>
4923
4924 * c-lang.h (current_omp_declare_target_attribute): New extern
4925 decl.
4926 * c-parser.c: Include c-lang.h.
4927 (struct c_parser): Change tokens to c_token *.
4928 Add tokens_buf field. Change tokens_avail type to unsigned int.
4929 (c_parser_consume_token): If parser->tokens isn't
4930 &parser->tokens_buf[0], increment parser->tokens.
4931 (c_parser_consume_pragma): Likewise.
4932 (enum pragma_context): Add pragma_struct and pragma_param.
4933 (c_parser_external_declaration): Adjust
4934 c_parser_declaration_or_fndef caller.
4935 (c_parser_declaration_or_fndef): Add omp_declare_simd_clauses
4936 argument, if it is non-vNULL vector, call c_finish_omp_declare_simd.
4937 Adjust recursive call.
4938 (c_parser_struct_or_union_specifier): Use pragma_struct instead
4939 of pragma_external.
4940 (c_parser_parameter_declaration): Use pragma_param instead of
4941 pragma_external.
4942 (c_parser_compound_statement_nostart, c_parser_label,
4943 c_parser_for_statement): Adjust
4944 c_parser_declaration_or_fndef callers.
4945 (c_parser_expr_no_commas): Add omp_atomic_lhs argument, pass
4946 it through to c_parser_conditional_expression.
4947 (c_parser_conditional_expression): Add omp_atomic_lhs argument,
4948 pass it through to c_parser_binary_expression. Adjust recursive
4949 call.
4950 (c_parser_binary_expression): Remove prec argument, add
4951 omp_atomic_lhs argument instead. Always start from PREC_NONE, if
4952 omp_atomic_lhs is non-NULL and one of the arguments of toplevel
4953 binop matches it, use build2 instead of parser_build_binary_op.
4954 (c_parser_pragma): Handle PRAGMA_OMP_CANCEL,
4955 PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_TARGET,
4956 PRAGMA_OMP_END_DECLARE_TARGET, PRAGMA_OMP_DECLARE_REDUCTION.
4957 Handle pragma_struct and pragma_param the same as pragma_external.
4958 (c_parser_omp_clause_name): Parse new OpenMP 4.0 clause names.
4959 (c_parser_omp_variable_list): Parse array sections for
4960 OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses.
4961 (c_parser_omp_clause_collapse): Fully fold collapse expression.
4962 (c_parser_omp_clause_reduction): Handle user defined reductions.
4963 (c_parser_omp_clause_branch, c_parser_omp_clause_cancelkind,
4964 c_parser_omp_clause_num_teams, c_parser_omp_clause_thread_limit,
4965 c_parser_omp_clause_aligned, c_parser_omp_clause_linear,
4966 c_parser_omp_clause_safelen, c_parser_omp_clause_simdlen,
4967 c_parser_omp_clause_depend, c_parser_omp_clause_map,
4968 c_parser_omp_clause_device, c_parser_omp_clause_dist_schedule,
4969 c_parser_omp_clause_proc_bind, c_parser_omp_clause_to,
4970 c_parser_omp_clause_from, c_parser_omp_clause_uniform): New functions.
4971 (c_parser_omp_all_clauses): Add finish_p argument. Don't call
4972 c_finish_omp_clauses if it is false. Handle new OpenMP 4.0 clauses.
4973 (c_parser_omp_atomic): Parse seq_cst clause, pass true if it is
4974 present to c_finish_omp_atomic. Handle OpenMP 4.0 atomic forms.
4975 (c_parser_omp_for_loop): Add CODE argument, pass it through
4976 to c_finish_omp_for. Change last argument to cclauses,
4977 and adjust uses to grab parallel clauses from the array of all
4978 the split clauses. Adjust c_parser_binary_expression,
4979 c_parser_declaration_or_fndef and c_finish_omp_for callers.
4980 (omp_split_clauses): New function.
4981 (c_parser_omp_simd): New function.
4982 (c_parser_omp_for): Add p_name, mask and cclauses arguments.
4983 Allow the function to be called also when parsing combined constructs,
4984 and call c_parser_omp_simd when parsing for simd.
4985 (c_parser_omp_sections_scope): If section-sequence doesn't start with
4986 #pragma omp section, require exactly one structured-block instead of
4987 sequence of statements.
4988 (c_parser_omp_sections): Add p_name, mask and cclauses arguments.
4989 Allow the function to be called also when parsing combined constructs.
4990 (c_parser_omp_parallel): Add p_name, mask and cclauses arguments.
4991 Allow the function to be called also when parsing combined
4992 constructs.
4993 (c_parser_omp_taskgroup, c_parser_omp_cancel,
4994 c_parser_omp_cancellation_point, c_parser_omp_distribute,
4995 c_parser_omp_teams, c_parser_omp_target_data,
4996 c_parser_omp_target_update, c_parser_omp_target,
4997 c_parser_omp_declare_simd, c_finish_omp_declare_simd,
4998 c_parser_omp_declare_target, c_parser_omp_end_declare_target,
4999 c_parser_omp_declare_reduction, c_parser_omp_declare): New functions.
5000 (c_parser_omp_construct): Add p_name and mask vars. Handle
5001 PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
5002 PRAGMA_OMP_TEAMS. Adjust c_parser_omp_for, c_parser_omp_parallel
5003 and c_parser_omp_sections callers.
5004 (c_parse_file): Initialize tparser.tokens and the_parser->tokens here.
5005 (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
5006 OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.
5007 (OMP_PARALLEL_CLAUSE_MASK): Likewise. Add OMP_CLAUSE_PROC_BIND.
5008 (OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1. Add
5009 OMP_CLAUSE_DEPEND.
5010 (OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK,
5011 OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK,
5012 OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK,
5013 OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK,
5014 OMP_DECLARE_SIMD_CLAUSE_MASK): Define.
5015 * c-typeck.c: Include tree-inline.h.
5016 (c_finish_omp_cancel, c_finish_omp_cancellation_point,
5017 handle_omp_array_sections_1, handle_omp_array_sections,
5018 c_clone_omp_udr, c_find_omp_placeholder_r): New functions.
5019 (c_finish_omp_clauses): Handle new OpenMP 4.0 clauses and
5020 user defined reductions.
5021 (c_tree_equal): New function.
5022 * c-tree.h (temp_store_parm_decls, temp_pop_parm_decls,
5023 c_finish_omp_cancel, c_finish_omp_cancellation_point, c_tree_equal,
5024 c_omp_reduction_id, c_omp_reduction_decl, c_omp_reduction_lookup,
5025 c_check_omp_declare_reduction_r): New prototypes.
5026 * c-decl.c (current_omp_declare_target_attribute): New variable.
5027 (c_decl_attributes): New function.
5028 (start_decl, start_function): Use it instead of decl_attributes.
5029 (temp_store_parm_decls, temp_pop_parm_decls, c_omp_reduction_id,
5030 c_omp_reduction_decl, c_omp_reduction_lookup,
5031 c_check_omp_declare_reduction_r): New functions.
5032
3ce7d1bd 50332013-09-25 Tom Tromey <tromey@redhat.com>
5034
5035 * Make-lang.in (c/gccspec.o): Remove.
5036 (CFLAGS-c/gccspec.o): New variable.
5037 (cc1-checksum.o, C_TREE_H, c/c-aux-info.o, c/c-convert.o)
5038 (c/c-decl.o, c/c-errors.o, c/c-lang.o, c/c-objc-common.o)
5039 (c/c-parser.o, c/c-typeck.o, c/c-array-notation.o): Remove.
5040
96da1c1d 50412013-09-25 Tom Tromey <tromey@redhat.com>
5042
5043 * Make-lang.in (c/gccspec.o): Don't use subshell.
5044
1b309377 50452013-09-18 Marek Polacek <polacek@redhat.com>
5046
5047 PR sanitize/58443
5048 * c-typeck.c (build_binary_op): Properly honor -fsanitize options.
5049 Remove unnecessary check.
5050
05f893e1 50512013-09-18 Marek Polacek <polacek@redhat.com>
5052
5053 PR sanitizer/58411
5054 * c-typeck.c (build_binary_op): Don't sanitize function if it has the
5055 no_sanitize_undefined attribute.
5056
bda0b9d2 50572013-09-13 Kai Tietz <ktietz@redhat.com>
5058
5059 PR target/57848
5060 * c-decl.c (c_builtin_function_ext_scope): Remove
5061 wrong assumption that it is never called on prexisting
5062 symbol.
5063
73437615 50642013-09-08 Joern Rennecke <joern.rennecke@embecosm.com>
5065
5066 * c-typeck.c (build_binary_op): Use vector_types_compatible_elements_p.
5067
eaab24b9 50682013-09-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
5069
5070 * c-objc-common.c (c_tree_printer): Tidy.
5071
9e46467d 50722013-08-30 Marek Polacek <polacek@redhat.com>
5073
5074 * c-typeck.c (build_binary_op): Add division by zero and shift
5075 instrumentation.
5076
f8234178 50772013-08-26 Joern Rennecke <joern.rennecke@embecosm.com>
f9086116 5078 Joseph Myers <joseph@codesourcery.com>
f8234178 5079
c90a7d10 5080 PR c/35649
f8234178 5081 * c-typeck.c (c_common_type): Prefer double_type_node over
5082 other REAL_TYPE types with the same precision.
5083 (convert_arguments): Likewise.
5084
6f07f480 50852013-08-23 Gabriel Dos Reis <gdr@integrable-solutions.net>
5086
5087 * c-objc-common.c (c_tree_printer): Document the nature of the cast.
5088 (c_initialize_diagnostics): Call a destructor for the early printer.
5089
eed6bc21 50902013-08-22 Gabriel Dos Reis <gdr@integrable-solutions.net>
5091
5092 * c-objc-common.c (c_initialize_diagnostics): Simplify C pretty
5093 printer initialization.
5094
57717943 50952013-08-19 Balaji V. Iyer <balaji.v.iyer@intel.com>
eed6bc21 5096
57717943 5097 PR c/57490
5098 * c-array-notation.c (fix_conditional_array_notations_1): Added a
5099 check for truth values.
5100 (expand_array_notation_exprs): Added truth values case. Removed an
5101 unwanted else. Added for-loop to walk through subtrees in default
5102 case.
5103
a94db6b0 51042013-08-04 Gabriel Dos Reis <gdr@integrable-solutions.net>
5105
5106 * c-objc-common.c (c_initialize_diagnostics): Don't call pp_base.
5107
e76163a9 51082013-07-23 Joseph Myers <joseph@codesourcery.com>
5109
5110 * c-parser.c (struct c_generic_association): Fix typo.
5111
7aa04c8d 51122013-07-23 Tom Tromey <tromey@redhat.com>
5113 Joseph Myers <joseph@codesourcery.com>
5114
5115 * c-parser.c (struct c_generic_association): New.
5116 (c_generic_association_d): New typedef.
5117 (c_parser_generic_selection): New function.
5118 (c_parser_postfix_expression): Handle RID_GENERIC.
5119
76bbe4ca 51202013-07-13 Jason Merrill <jason@redhat.com>
5121
5122 PR c++/57793
5123 * c-decl.c (finish_struct): Check for too-large class.
5124
21ebaa24 51252013-07-04 Joern Rennecke <joern.rennecke@embecosm.com>
f5298614 5126
5127 PR c/57821
5128 * c-typeck.c (set_init_index): When folding, check for index overflow.
5129
936c3081 51302013-06-28 Balaji V. Iyer <balaji.v.iyer@intel.com>
5131
5132 * c-parser.c (c_parser_array_notation): Removed rejection of array
5133 notations in an array of function pointers.
5134
50acebe0 51352013-06-21 Balaji V. Iyer <balaji.v.iyer@intel.com>
5136
5137 * c-array-notation.c (make_triplet_val_inv): New function.
5138 (create_cmp_incr): Likewise.
5139 (create_array_refs): Likewise.
5140 (fix_builtin_array_notation_fn): Replaced all mallocs with tree vec.
5141 Also modularized common parts between functions and called the function.
5142 (build_array_notation_expr): Likewise.
5143 (fix_conditional_array_notations_1): Likewise.
5144 (fix_array_notation_expr): Likewise.
5145 (fix_array_notation_call_expr): Likewise.
5146
01e6cdb4 51472013-06-18 Marek Polacek <polacek@redhat.com>
5148
5149 PR c/57630
5150 * c-decl.c (check_for_loop_decls): Improve diagnostics messages.
5151
6a3adac6 51522013-06-12 Balaji V. Iyer <balaji.v.iyer@intel.com>
5153
5154 * c-array-notation.c (build_array_notation_expr): Reject array notation
5155 mismatch between LHS and RHS even inside a call_expr. Also, removed
5156 a couple while statements that were dead code.
5157
62aab3f3 51582013-06-10 Balaji V. Iyer <balaji.v.iyer@intel.com>
5159
5160 * c-array-notation.c (fix_builtin_array_notation_fn): Fully folded
5161 excessive precision expressions in function parameters. Also removed
5162 couple unwanted while statements.
5163
bfc83720 51642013-06-07 Balaji V. Iyer <balaji.v.iyer@intel.com>
5165
5166 * c-array-notation.c (expand_array_notation_exprs): Added
5167 ARRAY_NOTATION_REF case.
5168
09970d67 51692013-06-07 Balaji V. Iyer <balaji.v.iyer@intel.com>
5170
5171 * c-array-notation.c (length_mismatch_in_expr_p): Moved this
5172 function to c-family/array-notation-common.c.
5173 (is_cilkplus_reduce_builtin): Likewise.
5174 (find_rank): Likewise.
5175 (extract_array_notation_exprs): Likewise.
5176 (replace_array_notations): Likewise.
5177 (find_inv_trees): Likewise.
5178 (replace_inv_trees): Likewise.
5179 (contains_array_notation_expr): Likewise.
5180 (find_correct_array_notation_type): Likewise.
5181 (replace_invariant_exprs): Initialized additional_tcodes to NULL.
5182 (struct inv_list): Moved this to c-family/array-notation-common.c.
5183 * c-tree.h (is_cilkplus_builtin_reduce): Remove prototype.
5184
6e13bc01 51852013-06-05 Balaji V. Iyer <balaji.v.iyer@intel.com>
5186
5187 * c-typeck.c (convert_arguments): Moved checking of builtin cilkplus
5188 reduction functions outside the for-loop. Added a check if the fundecl
5189 is non-NULL. Finally, removed an unwanted if-statement, and made the
5190 body unconditional.
5191
cc92dddc 51922013-06-03 Balaji V. Iyer <balaji.v.iyer@intel.com>
5193
5194 * c-typeck.c (c_finish_if_stmt): Added a check to see if the rank of the
5195 condition of the if-statement matches the rank of else-block and then-
5196 block when array notations are used.
5197 * c-parser.c (c_parser_declaration_or_fndef): Expanded array notation
5198 expression after the entire function body is parsed.
5199 (c_parser_expr_no_commas): Delayed creating array notation expressions
5200 to the end of function parsing.
5201 * c-array-notation.c (fix_conditional_array_notations_1): Expanded the
5202 whole if-statement instead of just the condition.
5203 (expand_array_notation_exprs): Added MODIFY_EXPR case.
5204
eddc63fd 52052013-06-03 Balaji V. Iyer <balaji.v.iyer@intel.com>
5206
5207 PR c/57474
5208 * c-array-notation.c (build_array_notation_expr): Initialized rhs_length
5209 array to NULL_TREE if they are unused. Also added a check for the
5210 field to be NULL before its fields are used in future.
5211
a2115a4a 52122013-05-29 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
5213
5214 PR bootstrap/57450
5215 * c-array-notation.c (length_mismatch_in_expr_p): Use absu_hwi.
5216 (build_array_notation_expr): Likewise.
5217
3c6d4197 52182013-05-28 Balaji V. Iyer <balaji.v.iyer@intel.com>
5219
5220 * c-typeck.c (build_array_ref): Added a check to see if array's
5221 index is greater than one. If true, then emit an error.
5222 (build_function_call_vec): Exclude error reporting and checking
5223 for builtin array-notation functions.
5224 (convert_arguments): Likewise.
5225 (c_finish_return): Added a check for array notations as a return
5226 expression. If true, then emit an error.
5227 (c_finish_loop): Added a check for array notations in a loop
5228 condition. If true then emit an error.
5229 (lvalue_p): Added a ARRAY_NOTATION_REF case.
5230 (build_binary_op): Added a check for array notation expr inside
5231 op1 and op0. If present, we call another function to find correct
5232 type.
5233 * Make-lang.in (C_AND_OBJC_OBJS): Added c-array-notation.o.
5234 * c-parser.c (c_parser_compound_statement): Check if array
5235 notation code is used in tree, if so, then transform them into
5236 appropriate C code.
5237 (c_parser_expr_no_commas): Check if array notation is used in LHS
5238 or RHS, if so, then build array notation expression instead of
5239 regular modify.
5240 (c_parser_postfix_expression_after_primary): Added a check for
5241 colon(s) after square braces, if so then handle it like an array
5242 notation. Also, break up array notations in unary op if found.
5243 (c_parser_direct_declarator_inner): Added a check for array
5244 notation.
5245 (c_parser_compound_statement): Added a check for array notation in
5246 a stmt. If one is present, then expand array notation expr.
5247 (c_parser_if_statement): Likewise.
5248 (c_parser_switch_statement): Added a check for array notations in
5249 a switch statement's condition. If true, then output an error.
5250 (c_parser_while_statement): Similarly, but for a while.
5251 (c_parser_do_statement): Similarly, but for a do-while.
5252 (c_parser_for_statement): Similarly, but for a for-loop.
5253 (c_parser_unary_expression): Check if array notation is used in a
5254 pre-increment or pre-decrement expression. If true, then expand
5255 them.
5256 (c_parser_array_notation): New function.
5257 * c-array-notation.c: New file.
5258 * c-tree.h (is_cilkplus_reduce_builtin): Protoize.
5259
2c1c8a2c 52602013-05-23 Mike Stump <mikestump@comcast.net>
5261
5262 * c-typeck.c (convert_for_assignment): Handle references to memory
5263 spaces better.
5264
be5f9e46 52652013-05-16 Jason Merrill <jason@redhat.com>
5266
5267 * Make-lang.in (cc1$(exeext)): Use link mutex.
5268
9205a6cc 52692013-04-24 Paolo Carlini <paolo.carlini@oracle.com>
5270
5271 * c-typeck.c (pointer_diff): Change -Wpointer-arith pedwarns
5272 to simply use OPT_Wpointer_arith.
5273 (build_unary_op): Likewise.
5274
0b049e15 52752013-04-03 Jakub Jelinek <jakub@redhat.com>
5276
5277 PR c/19449
5278 * c-parser.c (c_parser_get_builtin_args): Add choose_expr_p
5279 argument. If set, or it temporarily for parsing of the first
5280 argument into force_folding_builtin_constant_p.
5281 (c_parser_postfix_expression): Adjust callers.
5282
8e966116 52832013-03-21 Richard Biener <rguenther@suse.de>
5284
5285 * c-objc-common.c (c_tree_printer): Use DECL_HAS_DEBUG_EXPR_P
5286 instead of DECL_DEBUG_EXPR_IS_FROM. Guard properly.
5287
b862f263 52882013-02-12 Marek Polacek <polacek@redhat.com>
5289
5290 PR c/44938
5291 * c-parser.c (c_parser_postfix_expression_after_primary): Initialize
5292 origtypes to NULL.
5293
54550ecb 52942013-01-24 Jakub Jelinek <jakub@redhat.com>
5295
5296 PR c/56078
5297 * c-typeck.c (set_nonincremental_init_from_string): If
5298 constructor_max_index is NULL, treat it as if tree_int_cst_lt
5299 returned false.
5300 (process_init_element): Likewise.
5301
035b65e2 53022012-12-20 Jakub Jelinek <jakub@redhat.com>
5303
5304 PR c++/55619
5305 * c-parser.c (c_parser_asm_operands): Remove CONVERT_P
5306 argument, don't call default_function_array_conversion
5307 nor c_fully_fold here.
5308 (c_parser_asm_statement): Adjust callers.
5309 * c-typeck.c (build_asm_expr): Call c_fully_fold on inputs
5310 and outputs here, and call default_function_array_conversion
5311 on inputs that don't need to be addressable.
5312
7cbb7f1a 53132012-12-18 Jakub Jelinek <jakub@redhat.com>
5314
5315 PR c/39464
5316 * c-typeck.c (convert_for_assignment): For -Wpointer-sign
5317 warning require that both c_common_unsigned_type as well as
5318 c_common_signed_type is the same for both mvl and mvr types.
5319
f1f41a6c 53202012-11-16 Diego Novillo <dnovillo@google.com>
5321
5322 Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec)
5323
5324 * c-common.c: Use new vec API in vec.h.
5325 * c-common.h: Likewise.
5326 * c-gimplify.c: Likewise.
5327 * c-pragma.c: Likewise.
5328 * c-pretty-print.c: Likewise.
5329 * c-pretty-print.h: Likewise.
5330 * c-semantics.c: Likewise.
5331 * c-decl.c: Likewise.
5332 * c-parser.c: Likewise.
5333 * c-tree.h: Likewise.
5334 * c-typeck.c: Likewise.
5335
8b447d3f 53362012-10-29 Jonathan Wakely <jwakely.gcc@gmail.com>
5337
5338 PR c++/54930
5339 * c-typeck.c (c_finish_return): Use OPT_Wreturn_local_addr.
5340
08fc5390 53412012-10-29 Manuel López-Ibáñez <manu@gcc.gnu.org>
5342
5343 PR c/53066
5344 * c-decl.c (warn_if_shadowing): Do not warn if a variable
5345 shadows a function, unless the variable is a function or a
5346 pointer-to-function.
5347
57f872a2 53482012-10-12 Jakub Jelinek <jakub@redhat.com>
5349
5350 PR c/54381
5351 * c-parser.c (struct c_tree_loc_pair): Removed.
5352 (c_parser_expr_list): Remove struct c_tree_loc_pair * argument,
5353 add location_t * and tree * arguments, fill in array of 3
5354 sizeof_arg trees and corresponding locs.
5355 (c_parser_attributes, c_parser_objc_keywordexpr): Adjust
5356 c_parser_expr_list callers.
5357 (c_parser_postfix_expression_after_primary): Likewise. Pass
5358 array of 3 sizeof_arg trees and locs (corresponding to first
5359 3 arguments) to sizeof_pointer_memaccess_warning.
5360
d1455aa3 53612012-10-09 Lawrence Crowl <crowl@google.com>
5362
5363 * Make-lang.in (c-decl.o): Add dependence on hash-table.h.
5364 * c-decl.c (detect_field_duplicates_hash): Change to new type-safe
5365 hash table.
5366
b0e7825e 53672012-10-09 Paolo Carlini <paolo.carlini@oracle.com>
5368
5369 PR c++/54194
5370 * c-typeck.c (parser_build_binary_op): Update warn_about_parentheses
5371 call.
5372
41ed701a 53732012-10-09 Marc Glisse <marc.glisse@inria.fr>
5374
5375 PR c++/54427
5376 * c-typeck.c: Include c-common.h.
5377 (enum stv_conv): Moved to c-common.h.
5378 (scalar_to_vector): Moved to c-common.c.
5379 (build_binary_op): Adapt to scalar_to_vector's new prototype.
5380 * Make-lang.in: c-typeck.c depends on c-common.h.
5381
ef34afc1 53822012-10-04 Arnaud Charlet <charlet@adacore.com>
5383
5384 * c-decl.c (c_write_global_declarations): Fix handling of
5385 -fdump-ada-spec*.
5386
7bd765d4 53872012-09-30 Sharad Singhai <singhai@google.com>
5388
5389 * c-decl.c (c_write_global_declarations): Use a different method
5390 to determine if the dump has ben initialized.
5391
c4b1a13a 53922012-09-14 Joseph Myers <joseph@codesourcery.com>
5393
5394 PR c/54552
5395 * c-typeck.c (c_cast_expr): When casting to a type requiring
5396 C_MAYBE_CONST_EXPR to be created, pass the inner expression to
5397 c_fully_fold first.
5398
bb554051 53992012-09-14 Joseph Myers <joseph@codesourcery.com>
5400
5401 PR c/54103
5402 * c-typeck.c (build_unary_op): Pass original argument of
5403 TRUTH_NOT_EXPR to c_objc_common_truthvalue_conversion, then remove
5404 any C_MAYBE_CONST_EXPR, if it has integer operands.
5405 (build_binary_op): Pass original arguments of TRUTH_ANDIF_EXPR,
5406 TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR
5407 to c_objc_common_truthvalue_conversion, then remove any
5408 C_MAYBE_CONST_EXPR, if they have integer operands. Use
5409 c_objc_common_truthvalue_conversion not
5410 c_common_truthvalue_conversion.
5411 (c_objc_common_truthvalue_conversion): Build NE_EXPR directly and
5412 call note_integer_operands for arguments with integer operands
5413 that are not integer constants.
5414
c708c6ef 54152012-09-13 Jakub Jelinek <jakub@redhat.com>
5416
5417 PR c/54559
5418 * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or
5419 COMPLEX_TYPE with in_late_binary_op set temporarily to true.
5420
cce20430 54212012-08-31 Jakub Jelinek <jakub@redhat.com>
5422
5423 PR c/54428
5424 * c-convert.c (convert): Don't call fold_convert_loc if
5425 TYPE_MAIN_VARIANT of a COMPLEX_TYPE is the same, unless e
5426 is a COMPLEX_EXPR. Remove TYPE_MAIN_VARIANT check from
5427 COMPLEX_TYPE -> COMPLEX_TYPE conversion.
5428
a90d57ed 54292012-08-24 Jakub Jelinek <jakub@redhat.com>
5430
5431 PR c/54355
5432 * c-decl.c (c_parser_label): Pass true as nested and fix up comments
5433 for nested and empty_ok arguments in the call to
5434 c_parser_declaration_or_fndef.
5435
f003f5dc 54362012-08-17 Jakub Jelinek <jakub@redhat.com>
5437
5438 * c-tree.h (c_last_sizeof_arg): Declare.
5439 * c-parser.c (struct c_tree_loc_pair): New type.
5440 (c_parser_expr_list): Add sizeof_arg argument. Fill it in if
5441 non-NULL.
5442 (c_parser_attributes, c_parser_objc_keywordexpr): Adjust callers.
5443 (c_parser_postfix_expression_after_primary): Likewise. Call
5444 sizeof_pointer_memaccess_warning if needed.
5445 (sizeof_ptr_memacc_comptypes): New function.
5446 * c-typeck.c (c_last_sizeof_arg): New global variable.
5447 (c_expr_sizeof_expr, c_expr_sizeof_type): Initialize it.
5448
a5656b73 54492012-07-24 Uros Bizjak <ubizjak@gmail.com>
5450
5451 * c-lang.h (lang_decl): Add variable_size GTY option.
5452
b9ed1410 54532012-07-16 Steven Bosscher <steven@gcc.gnu.org>
5454
5455 * c-decl.c: Include dumpfile.h instead of tree-dump.h.
5456 * Make-lang.in: Fix dependencies.
5457
e53d55e7 54582012-06-29 Steven Bosscher <steven@gcc.gnu.org>
5459
5460 * Make-lang.in: New file, rules migrated from gcc/Makefile.in
5461 and add language Makefile hooks.
5462 * config-lang.in: New file.
5463 * c-config-lang.in: Moved from gcc/config-lang.in to here, and
5464 add the required "normal" config-lang.in rules.
5465 * c-lang.h: Moved from gcc/ to here.
5466 * c-tree.h: Likewise.
5467 * c-objc-common.c: Likewise.
5468 * c-objc-common.h: Likewise.
5469 * c-typeck.c: Likewise.
5470 * c-convert.c: Likewise.
5471 * c-lang.c: Likewise.
5472 * c-aux-info.c: Likewise.
5473 * c-errors.c: Likewise.
5474 * gccspec.c: Likewise.
5475 * c-decl.c: Likewise. Include gt-c-c-decl.h, not gt-c-decl.h.
5476 * c-parser.c: Likewise. Include gt-c-c-parser.h, not gt-c-parser.h.
5477\f
8e8f6434 5478Copyright (C) 2012-2018 Free Software Foundation, Inc.
e53d55e7 5479
5480Copying and distribution of this file, with or without modification,
5481are permitted in any medium without royalty provided the copyright
5482notice and this notice are preserved.
Mirror of https://gcc.gnu.org/git/gcc.git