re PR c++/60517 (warning/error for taking address of member of a temporary object)
[official-gcc.git] / gcc / c / ChangeLog
blobaec8cf1a1f9fbddf8ae23fe12f929e49e0ab7473
1 2014-07-31  Marc Glisse  <marc.glisse@inria.fr>
3         PR c++/60517
4         * c-typeck.c (c_finish_return): Return 0 instead of the address of
5         a local variable.
7 2014-07-30  Tom Tromey  <tromey@redhat.com>
9         * c-typeck.c (struct constructor_stack) <designator_depth>: New
10         field.
11         (really_start_incremental_init, push_init_level): Initialize
12         designator_depth.
13         (pop_init_level): Set global designator_depth.
14         (process_init_element): Check for designated_init attribute.
16 2014-07-20  Marek Polacek  <polacek@redhat.com>
18         PR c/61852
19         * c-decl.c (implicit_decl_warning): Add location_t parameter.  Use it.
20         (implicitly_declare): Pass location to implicit_decl_warning.
22 2014-07-14  Jakub Jelinek  <jakub@redhat.com>
24         PR middle-end/61294
25         * c-parser.c (c_parser_expr_list): Add new argument literal_zero_mask.
26         If non-NULL, call c_parser_check_literal_zero.
27         (c_parser_check_literal_zero): New function.
28         (c_parser_postfix_expression_after_primary): Adjust
29         c_parser_expr_list caller, handle -Wmemset-transposed-args.
31 2014-07-06  Marek Polacek  <polacek@redhat.com>
33         PR c/6940
34         * c-decl.c (grokdeclarator): Set C_ARRAY_PARAMETER.
35         * c-tree.h (C_ARRAY_PARAMETER): Define.
36         * c-typeck.c (c_expr_sizeof_expr): Warn when using sizeof on an array
37         function parameter.
39 2014-07-02  Jan Hubicka  <hubicka@ucw.cz>
40             Chen Gang <gang.chen.5i5j@gmail.com>
42         * c-decl.c (duplicate_decls): CLear DECL_STRUCT_FUNCTION before
43         releasing symbol.
45 2014-07-01  Marek Polacek  <polacek@redhat.com>
47         * c-typeck.c (convert_for_assignment): Pass OPT_Wint_conversion
48         instead of 0 to WARN_FOR_ASSIGNMENT.
50 2014-07-01  Marek Polacek  <polacek@redhat.com>
52         PR c/58286
53         * c-typeck.c (convert_for_assignment): Pass
54         OPT_Wincompatible_pointer_types instead of 0 to WARN_FOR_ASSIGNMENT.
56 2014-06-30  Marek Polacek  <polacek@redhat.com>
58         * c-decl.c (grokdeclarator): Don't instrument VLAs if the function
59         has no_sanitize_undefined attribute.
61 2014-06-30  Igor Zamyatin  <igor.zamyatin@intel.com>
63         PR middle-end/57541
64         * c-array-notation.c (fix_builtin_array_notation_fn):
65         Check for 0 arguments in builtin call. Check that bultin argument is
66         correct.
67         * c-parser.c (c_parser_array_notation): Check for incorrect initial
68         index.
70 2014-06-27  Sebastian Huber  <sebastian.huber@embedded-brains.de>
72         * c-parser.c (c_parser_declaration_or_fndef): Discard all type
73         qualifiers in __auto_type for atomic types.
74         (c_parser_typeof_specifier): Discard all type qualifiers in
75         __typeof__ for atomic types.
77 2014-06-25  Marek Polacek  <polacek@redhat.com>
79         PR c/61162
80         * c-parser.c (c_parser_statement_after_labels): Pass the location of
81         the return expression to c_finish_return.
83 2014-06-25  Jakub Jelinek  <jakub@redhat.com>
85         * c-typeck.c (c_finish_omp_clauses): Make sure
86         OMP_CLAUSE_LINEAR_STEP has correct type.
88 2014-06-24  Trevor Saunders  <tsaunders@mozilla.com>
90         * c-decl.c: Adjust.
92 2014-06-24  Jakub Jelinek  <jakub@redhat.com>
94         * c-parser.c (c_parser_omp_for_loop): For
95         #pragma omp parallel for simd move lastprivate clause from parallel
96         to for rather than simd.
98 2014-06-23  Marek Polacek  <polacek@redhat.com>
100         * c-typeck.c (parser_build_binary_op): Don't call
101         warn_logical_not_parentheses if the RHS is TRUTH_NOT_EXPR.
103 2014-06-15  Jan Hubicka  <hubicka@ucw.cz>
105         * c-parser.c (c_parser_omp_threadprivate): Likewise.
106         * c-decl.c (merge_decls): Likewise.
108 2014-06-09  Marek Polacek  <polacek@redhat.com>
110         PR c/36446
111         * c-typeck.c (error_init): Call inform instead of error_at.
112         (pedwarn_init): Call inform instead of pedwarn.
113         (warning_init): Call inform instead of warning_at.
115 2014-06-07  Jan Hubicka  <hubicka@ucw.cz>
117         * c-decl.c (merge_decls): Use set_decl_section_name.
118         (duplicate_decls): Remove node if it exists.
120 2014-06-05  S. Gilles  <sgilles@terpmail.umd.edu>
122         PR c/53119
123         * c-typeck.c (push_init_level, process_init_element,
124         pop_init_level): Correct check for zero initialization, move
125         missing brace warning to respect zero initialization.
127 2014-06-05  Marek Polacek  <polacek@redhat.com>
129         PR c/56724
130         * c-typeck.c (convert_for_assignment): Use expr_loc for ic_argpass.
132 2014-06-05  Marek Polacek  <polacek@redhat.com>
134         PR c/49706
135         * c-typeck.c (parser_build_binary_op): Warn when logical not is used
136         on the left hand side operand of a comparison. 
138 2014-06-05  Marek Polacek  <polacek@redhat.com>
140         PR c/48062
141         * c-decl.c (warn_if_shadowing): Call inform instead of warning_at.
142         Print note only if the warning was printed.
144 2014-06-04  Igor Zamyatin  <igor.zamyatin@intel.com>
146         PR c/58942
147         * c-array-notation.c (fix_builtin_array_notation_fn): Handle the case
148         with a pointer.
150 2014-06-03  Marek Polacek  <polacek@redhat.com>
152         PR c/60439
153         * c-parser.c (c_parser_switch_statement): Pass explicit_cast_p to
154         c_start_case.
155         * c-tree.h (c_start_case): Update.
156         * c-typeck.c (c_start_case): Add new boolean parameter.  Warn if
157         switch condition has boolean value.
159 2014-06-02  Andrew MacLeod  <amacleod@redhat.com>
161         * c-decl.c: Include builtins.h.
162         * c-parser.c: Likewise.
164 2014-05-27  Marek Polacek  <polacek@redhat.com>
166         PR c/56724
167         * c-typeck.c (convert_arguments): Get location of a parameter.  Change
168         error and warning calls to error_at and warning_at.  Pass location of
169         a parameter to it.  Call warning_at with OPT_Wtraditional_conversion.
170         (convert_for_assignment): Add parameter to WARN_FOR_ASSIGNMENT and
171         WARN_FOR_QUALIFIERS.  Pass expr_loc to those.
173 2014-05-26  Igor Zamyatin  <igor.zamyatin@intel.com>
175         PR c/61191
176         * c-array-notation.c (fix_builtin_array_notation_fn): Check invalid
177         function parameters.
179 2014-05-23  Jan Hubicka  <hubicka@ucw.cz>
181         * c-decl.c (merge_decls): Preserve symtab node pointers.
182         (duplicate_decls): Free new decl.
184 2014-05-23  Thomas Schwinge  <thomas@codesourcery.com>
186         * c-typeck.c (c_finish_omp_clauses): Remove duplicated variable
187         initialization.
189         * c-parser.c (c_parser_omp_target): Return bool values.
191 2014-05-22  Thomas Schwinge  <thomas@codesourcery.com>
193         * c-parser.c (c_parser_omp_clause_thread_limit): Rename
194         num_teams_loc variable to num_thread_limit_loc.
196 2014-05-21  Richard Sandiford  <rsandifo@linux.vnet.ibm.com>
198         * c-array-notation.c (expand_array_notations): Use void_node
199         instead of void_zero_node.
201 2014-05-17  Trevor Saunders  <tsaunders@mozilla.com>
203         * c-decl.c (finish_struct): Adjust.
204         (finish_enum): Likewise.
205         (bind): Adjust.
206         (record_inline_static): Likewise.
207         (push_scope): Likewise.
208         (make_label): Likewise.
209         (lookup_label_for_goto): Likewise.
210         (finish_struct): Likewise.
211         (finish_enum): Likewise.
212         (store_parm_decls): Likewise.
213         (c_push_function_context): Likewise.
214         * c-lang.h: Remove usage of variable_size gty attribute.
215         * c-parser.c (c_parse_init): Adjust.
216         (c_parse_file): Likewise.
218 2014-05-13  Marek Polacek  <polacek@redhat.com>
220         PR c/61162
221         * c-typeck.c (convert_for_assignment): Pass location to
222         WARN_FOR_ASSIGNMENT instead of input_location.
224 2014-05-10  Marek Polacek  <polacek@redhat.com>
226         * c-parser.c (c_parser_declaration_or_fndef): Pass init_loc to
227         maybe_warn_string_init.
228         (c_parser_postfix_expression_after_paren_type): Pass type_loc to
229         maybe_warn_string_init.
230         * c-tree.h (maybe_warn_string_init): Update declaration.
231         * c-typeck.c (maybe_warn_string_init): Add location parameter.
232         Call pedwarn_init with loc instead of with input_location.
233         (digest_init): Pass init_loc to maybe_warn_string_init.
234         (pop_init_level): Call pedwarn_init with loc instead of with
235         input_location.
236         (set_init_index): Likewise.
237         (process_init_element): Likewise.
239 2014-05-09  Marek Polacek  <polacek@redhat.com>
241         PR c/61096
242         * c-parser.c (c_parser_braced_init): Pass brace_loc to push_init_level.
243         (c_parser_initelt): Pass location to set_init_label.  Pass array index
244         location to set_init_index.
245         * c-tree.h (push_init_level): Update declaration.
246         (pop_init_level): Likewise.
247         (set_init_index): Likewise.
248         (set_init_label): Likewise.
249         * c-typeck.c (error_init): Add location parameter.  Call error_at
250         instead of error.
251         (digest_init): Pass init_loc to error_init.
252         (really_start_incremental_init):
253         (push_init_level): Add location parameter.  Pass loc to pop_init_level
254         and error_init.
255         (pop_init_level): Likewise.
256         (set_designator): Add location parameter.  Pass loc to pop_init_level,
257         push_init_level, and error_init.
258         (set_init_index): Add location parameter.  Pass loc to error_init and
259         set_designator.
260         (set_init_label): Likewise.
261         (output_init_element): Pass loc to error_init.
262         (process_init_element): Pass loc to error_init, pop_init_level,
263         pedwarn_init, and push_init_level.
265 2014-05-09  Marek Polacek  <polacek@redhat.com>
267         PR c/50459
268         * c-parser.c (c_parser_attributes): Parse the arguments as an
269         expression-list if the attribute takes identifier.
271 2014-05-08  Marek Polacek  <polacek@redhat.com>
273         PR c/61053
274         * c-decl.c (grokdeclarator): Use min_align_of_type instead of
275         TYPE_ALIGN_UNIT.
277 2014-05-08  Marek Polacek  <polacek@redhat.com>
279         PR c/61077
280         * c-decl.c (start_function): Warn for _Atomic-qualified return type
281         of main.
283 2014-05-06  Kenneth Zadeck  <zadeck@naturalbridge.com>
284             Mike Stump  <mikestump@comcast.net>
285             Richard Sandiford  <rdsandiford@googlemail.com>
287         * c-decl.c (check_bitfield_type_and_width): Use TYPE_SIGN.
288         (finish_enum): Use wide-int interfaces.
289         * c-parser.c (c_parser_cilk_clause_vectorlength): Likewise.
290         * c-typeck.c (build_c_cast): Likewise.
291         (set_nonincremental_init_from_string): Likewise.
292         (c_tree_equal): Likewise.
294 2014-05-02  Marek Polacek  <polacek@redhat.com>
296         PR c/25801
297         * c-typeck.c (c_size_in_bytes): Update comment.  Don't call error.
298         Return size_one_node when the type is not complete.
299         (pointer_diff): Remove comment.
300         (build_unary_op): Improve error messages.
302 2014-05-02  Marek Polacek  <polacek@redhat.com>
304         * c-typeck.c (c_finish_return): Separate warning_at calls.
306 2014-05-02  Marek Polacek  <polacek@redhat.com>
308         * c-tree.h (error_init): Remove declaration.
309         (pedwarn_init): Likewise.
310         * c-typeck.c (error_init): Make static and move above.
311         (pedwarn_init): Likewise.
312         (warning_init): Move above.
313         (maybe_warn_string_init): Likewise.
315 2014-05-01  Jeff Law  <law@redhat.com>
317         Revert:
319         2014-04-24  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
320         * c-parser.c (c_parser_sizeof_expression): Reorganize slightly to
321         avoid goto.
323 2014-05-02  Marek Polacek  <polacek@redhat.com>
325         PR c/60784
326         * c-typeck.c (push_init_level): Set constructor_designated to
327         p->designated for structures.
329 2014-05-01  Marek Polacek  <polacek@redhat.com>
331         PR c/60915
332         * c-parser.c (c_parser_declaration_or_fndef): Give better error if
333         function-definition has an attribute after the declarator.
335 2014-05-01  Marek Polacek  <polacek@redhat.com>
337         PR c/60257
338         * c-typeck.c (warning_init): Add location_t parameter.  Call
339         warning_at instead of warning.
340         (push_init_level): Pass input_location to warning_init.
341         (add_pending_init): Add location_t parameter.  Pass loc to
342         warning_init.
343         (set_nonincremental_init): Pass input_location to add_pending_init.
344         (set_nonincremental_init_from_string): Likewise.
345         (output_init_element): Pass loc to warning_init and to
346         add_pending_init.
348 2014-05-01  Marek Polacek  <polacek@redhat.com>
350         PR c/43395
351         * c-typeck.c (c_finish_return): Distinguish between label and variable
352         when warning about returning local address.
354 2014-05-01  Marek Polacek  <polacek@redhat.com>
356         PR c/29467
357         * c-decl.c (declspecs_add_type): Pedwarn if boolean types are used
358         in C89 mode.
360 2014-05-01  Marek Polacek  <polacek@redhat.com>
362         PR c/43245
363         * c-typeck.c (convert_for_assignment): Pass OPT_Wdiscarded_qualifiers
364         instead of 0 to WARN_FOR_QUALIFIERS.
366 2014-05-01  Marek Polacek  <polacek@redhat.com>
368         PR c/56989
369         * c-typeck.c (default_conversion): Use better location for
370         error call.
372 2014-04-30  Marek Polacek  <polacek@redhat.com>
374         * c-typeck.c (build_binary_op): Call ubsan_instrument_division
375         also when SANITIZE_FLOAT_DIVIDE is on.
377 2014-04-30  Marek Polacek  <polacek@redhat.com>
379         PR c/60139
380         * c-typeck.c (output_init_element): Pass OPT_Wpedantic to pedwarn
381         and pedwarn_init.  Use loc insted of input_location.
383 2014-04-30  Marek Polacek  <polacek@redhat.com>
385         PR c/60351
386         * c-typeck.c (build_binary_op): Use location when warning about
387         shift count.
389 2014-04-25  Marek Polacek  <polacek@redhat.com>
391         PR c/18079
392         * c-decl.c (diagnose_mismatched_decls): Warn for mismatched
393         always_inline/noinline and hot/cold attributes.
395 2014-04-25  Marek Polacek  <polacek@redhat.com>
397         PR c/60114
398         * c-parser.c (c_parser_initelt): Pass input_location to
399         process_init_element.
400         (c_parser_initval): Pass loc to process_init_element.
401         * c-tree.h (process_init_element): Adjust declaration.
402         * c-typeck.c (push_init_level): Pass input_location to
403         process_init_element.
404         (pop_init_level): Likewise.
405         (set_designator): Likewise.
406         (output_init_element): Add location_t parameter.  Pass loc to
407         digest_init.
408         (output_pending_init_elements): Pass input_location to
409         output_init_element.
410         (process_init_element): Add location_t parameter.  Pass loc to
411         output_init_element.
413 2014-04-24  Jakub Jelinek  <jakub@redhat.com>
415         * c-parser.c (c_parser_omp_atomic): Allow seq_cst before
416         atomic-clause, allow comma in between atomic-clause and
417         seq_cst.
419 2014-04-22  Jakub Jelinek  <jakub@redhat.com>
421         PR c/59073
422         * c-parser.c (c_parser_omp_parallel): If c_parser_omp_for
423         fails, don't set OM_PARALLEL_COMBINED and return NULL.
425 2014-04-12  Igor Zamyatin  <igor.zamyatin@intel.com>
427         PR middle-end/60469
428         * c-array-notation.c (fix_builtin_array_notation_fn): Use
429         create_tmp_var instead build_decl for creating temps.
430         (build_array_notation_expr): Likewise.
431         (fix_conditional_array_notations_1): Likewise.
432         (fix_array_notation_expr): Likewise.
433         (fix_array_notation_call_expr): Likewise.
435 2014-03-28  Jakub Jelinek  <jakub@redhat.com>
437         PR c++/60689
438         * c-tree.h (c_build_function_call_vec): New prototype.
439         * c-typeck.c (build_function_call_vec): Don't call
440         resolve_overloaded_builtin here.
441         (c_build_function_call_vec): New wrapper function around
442         build_function_call_vec.  Call resolve_overloaded_builtin here.
443         (convert_lvalue_to_rvalue, build_function_call, build_atomic_assign):
444         Call c_build_function_call_vec instead of build_function_call_vec.
445         * c-parser.c (c_parser_postfix_expression_after_primary): Likewise.
446         * c-decl.c (finish_decl): Likewise.
448 2014-03-18  Manuel López-Ibáñez  <manu@gcc.gnu.org>
450         PR c/55383
451         * c-typeck.c: Use correct format string in cast-qual warning
453 2014-03-07  Thomas Schwinge  <thomas@codesourcery.com>
455         * c-decl.c (c_decl_attributes): Use
456         lang_hooks.types.omp_mappable_type.
457         * c-typeck.c (c_finish_omp_clauses): Likewise.
459 2014-03-06  Marek Polacek  <polacek@redhat.com>
461         PR c/60197
462         * c-typeck.c (c_finish_return): Call contains_cilk_spawn_stmt instead
463         of checking tree code.
465 2014-02-19  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
467         * c-parser.c (c_parser_declspecs): Replace call to error by error_at.
468         (c_parser_parameter_declaration): Likewise.
470 2014-02-19  Marek Polacek  <polacek@redhat.com>
472         PR c/60195
473         * c-typeck.c (convert_lvalue_to_rvalue): Set TREE_NO_WARNING on tmp.
474         Call mark_exp_read on exp.value.
475         (build_atomic_assign): Set TREE_NO_WARNING on val and old.  Set
476         TREE_ADDRESSABLE on old instead of val.
477         (emit_side_effect_warnings): Warn only if RHS has !TREE_NO_WARNING.
479 2014-02-07  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
481         * c-parser.c (c_parser_get_builtin_args): Replace calls to
482         C_EXPR_APPEND by vec_safe_push.
483         * c-tree.h (C_EXPR_APPEND): Remove.
485 2014-01-31  Marek Polacek  <polacek@redhat.com>
487         PR c/59963
488         * c-typeck.c (convert_lvalue_to_rvalue): Pass vNULL to
489         build_function_call_vec.
490         (build_function_call): Likewise.
491         (build_atomic_assign): Likewise.
492         (build_function_call_vec): Add arg_loc parameter.  Use it.
493         (convert_arguments): Likewise.
494         (convert_for_assignment): Rename rhs_loc to expr_loc.
495         * c-parser.c (c_parser_attributes): Pass NULL to c_parser_expr_list.
496         (c_parser_objc_keywordexpr): Likewise.
497         (c_parser_postfix_expression_after_primary): Call
498         build_function_call_vec with expr_loc rather than op_loc.
499         Call c_parser_expr_list to fill arg_loc.  Pass arg_loc to
500         build_function_call_vec.
501         (c_parser_expr_list): Add locations parameter.  Fill it with locations
502         of function arguments.
503         * c-decl.c (finish_decl): Pass vNULL to build_function_call_vec.
505 2014-01-30  Marek Polacek  <polacek@redhat.com>
507         PR c/59940
508         * c-typeck.c (build_function_call_vec): Use loc parameter.
509         (convert_arguments): Add location parameter.  Use it.
510         (ep_convert_and_check): Likewise.
511         (build_atomic_assign): Adjust convert_for_assignment call.
512         (build_modify_expr): Likewise.
513         (digest_init): Likewise.
514         (c_finish_return): Likewise.
515         (build_conditional_expr): Adjust ep_convert_and_check calls.
516         (convert_for_assignment): Add rhs_loc parameter.  Use it.
517         (build_binary_op): Adjust convert_and_check and ep_convert_and_check
518         calls.
520 2014-01-30  Richard Biener  <rguenther@suse.de>
522         PR c/59905
523         * c-typeck.c (build_function_call_vec): Do not replace calls
524         to a function via an incompatible type with a runtime abort.
526 2014-01-24  Balaji V. Iyer  <balaji.v.iyer@intel.com>
528         * c-parser.c (c_parser_declaration_or_fndef): Replaced
529         flag_enable_cilkplus with flag_cilkplus.
530         (c_parser_direct_declarator_inner): Likewise.
531         (c_parser_attribute_any_word): Likewise.
532         (c_parser_attributes): Likewise.
533         (c_parser_compound_statement): Likewise.
534         (c_parser_statement_after_labels): Likewise.
535         (c_parser_if_statement): Likewise.
536         (c_parser_switch_statement): Likewise.
537         (c_parser_do_statement): Likewise.
538         (c_parser_for_statement): Likewise.
539         (c_parser_unary_expression): Likewise.
540         (c_parser_postfix_expression): Likewise.
541         (c_parser_postfix_expression_after_primary): Likewise.
542         (c_parser_postfix_expression_after_primary): Likewise.
543         (c_parser_omp_clause_name): Likewise.
544         (c_finish_omp_declare_simd): Likewise.
545         (c_parser_cilk_verify_simd): Likewise.
546         * c-typeck.c (build_array_ref): Likewise.
547         (build_function_call_vec): Likewise.
548         (convert_arguments): Likewise.
549         (build_compound_expr): Likewise.
550         (c_finish_return): Likewise.
551         (c_finish_if_stmt): Likewise.
552         (c_finish_loop): Likewise.
553         (build_binary_op): Likewise.
555 2014-01-23  Marek Polacek  <polacek@redhat.com>
557         PR c/59846
558         * c-typeck.c (parser_build_binary_op): Use location instead of
559         input_location.
560         (build_binary_op): Pass location to shorten_compare.
562 2014-01-23  Marek Polacek  <polacek@redhat.com>
564         PR c/58346
565         * c-typeck.c (pointer_diff): Give an error on arithmetic on pointer to
566         an empty aggregate.
568 2014-01-23  Marek Polacek  <polacek@redhat.com>
570         PR c/59871
571         * c-typeck.c (build_compound_expr): Warn even for right-hand operand
572         of a comma expression.
573         (emit_side_effect_warnings): Likewise.
575 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
577         PR c/59825
578         * c-array-notation.c (expand_array_notation_exprs): Rewrote this
579         function to use walk_tree and moved a lot of its functionality to
580         expand_array_notations.
581         (expand_array_notations): New function.
583 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
585         * c-parser.c (c_finish_omp_declare_simd): Made "cilk simd function"
586         attribute an attribute without value.
588 2014-01-23  Jakub Jelinek  <jakub@redhat.com>
590         PR middle-end/58809
591         * c-typeck.c (c_finish_omp_clause): Reject MIN_EXPR, MAX_EXPR,
592         BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
594 2014-01-22  Marek Polacek  <polacek@redhat.com>
596         PR c/59891
597         * c-typeck.c (build_conditional_expr): Call c_fully_fold instead
598         of remove_c_maybe_const_expr on op1 and op2.
600 2014-01-15  Jakub Jelinek  <jakub@redhat.com>
602         PR c/58943
603         * c-typeck.c (build_modify_expr): For lhs op= rhs, if rhs has side
604         effects, preevaluate rhs using SAVE_EXPR first.
606 2014-01-09  Balaji V. Iyer  <balaji.v.iyer@intel.com>
608         PR c++/59631
609         * c-parser.c (c_parser_postfix_expression): Replaced consecutive if
610         statements with if-elseif statements.
612 2014-01-06  Marek Polacek  <polacek@redhat.com>
614         PR c/57773
615         * c-decl.c (check_bitfield_type_and_width): Warn for implementation
616         defined bit-field types only in ISO C.
618 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
620         Update copyright years
622 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
624         * c-array-notation.c: Use the standard form for the copyright notice.
626 2013-12-18  Balaji V. Iyer  <balaji.v.iyer@intel.com>
628         * c-parser.c (struct c_parser::cilk_simd_fn_tokens): Added new field.
629         (c_parser_declaration_or_fndef): Added a check if cilk_simd_fn_tokens
630         field in parser is not empty.  If not-empty, call the function
631         c_parser_finish_omp_declare_simd.
632         (c_parser_cilk_clause_vectorlength): Modified function to be shared
633         between SIMD-enabled functions and #pragma simd.  Added new parameter.
634         (c_parser_cilk_all_clauses): Modified the usage of the function
635         c_parser_cilk_clause_vectorlength as mentioned above.
636         (c_parser_cilk_simd_fn_vector_attrs): New function.
637         (c_finish_cilk_simd_fn_tokens): Likewise.
638         (is_cilkplus_vector_p): Likewise.
639         (c_parser_omp_clause_name): Added checking for "vectorlength,"
640         "nomask," and "mask" strings in clause name.
641         (c_parser_omp_all_clauses): Added 3 new case statements:
642         PRAGMA_CILK_CLAUSE_VECTORLENGTH, PRAGMA_CILK_CLAUSE_MASK and
643         PRAGMA_CILK_CLAUSE_NOMASK.
644         (c_parser_attributes): Added a cilk_simd_fn_tokens parameter.  Added a
645         check for vector attribute and if so call the function
646         c_parser_cilk_simd_fn_vector_attrs.  Also, when Cilk plus is enabled,
647         called the function c_finish_cilk_simd_fn_tokens.
648         (c_finish_omp_declare_simd): Added a check if cilk_simd_fn_tokens in
649         parser field is non-empty.  If so, parse them as you would parse
650         the omp declare simd pragma.
651         (c_parser_omp_clause_linear): Added a new bool parm. is_cilk_simd_fn.
652         Added a check when step is a parameter and flag it as error.
653         (CILK_SIMD_FN_CLAUSE_MASK): New #define.
654         (c_parser_cilk_clause_name): Changed pragma_cilk_clause to
655         pragma_omp_clause.
657 2013-12-17  Thomas Schwinge  <thomas@codesourcery.com>
659         * c-parser.c (c_parser_omp_parallel): Fix description.
661 2013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
663         * c-objc-common.h (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Remove.
664         (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
665         (LANG_HOOKS_CILKPLUS_CILKPLUS_GIMPLIFY_SPAWN): Likewise.
666         * c-typeck.c (cilk_install_body_with_frame_cleanup): New function.
668 2013-12-04  Joseph Myers  <joseph@codesourcery.com>
670         PR c/52023
671         * c-parser.c (c_parser_alignas_specifier): Use
672         c_sizeof_or_alignof_type instead of c_alignof.
673         (c_parser_alignof_expression): Likewise, with min_alignof
674         parameter depending on alignof spelling used.
676 2013-12-04  Marek Polacek  <polacek@redhat.com>
678         PR c/54113
679         * c-decl.c (start_function): Don't warn for missing prototype for
680         inline functions.
682 2013-12-03  Marek Polacek  <polacek@redhat.com>
684         PR c/59351
685         * c-decl.c (build_compound_literal): Allow compound literals with
686         empty initial value.
688 2013-12-02  Joseph Myers  <joseph@codesourcery.com>
690         PR c/58235
691         * c-typeck.c (build_modify_expr): Diagnose assignment to
692         expression with array type.
694 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
696         PR c/42262
697         * c-typeck.c (process_init_element): Do not treat a string as
698         initializing a whole array when used with a designator for an
699         individual element.
701 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
703         PR c/57574
704         * c-decl.c (merge_decls): Clear DECL_EXTERNAL for a definition of
705         an inline function following a static declaration.
707 2013-11-28  Jakub Jelinek  <jakub@redhat.com>
709         PR c/59310
710         * c-parser.c (c_parser_omp_target): Copy "#pragma omp target"
711         to p_name before calling c_parser_omp_teams instead of after.
712         (c_parser_cilk_simd): Remove wrong ATTRIBUTE_UNUSED from parser
713         argument.  Remove unused p_name variable.
715 2013-11-27  Aldy Hernandez  <aldyh@redhat.com>
716             Jakub Jelinek  <jakub@redhat.com>
718         * c-decl.c (c_builtin_function_ext_scope): Avoid binding if
719         external_scope is NULL.
721 2013-11-27  Tom de Vries  <tom@codesourcery.com>
722             Marc Glisse  <marc.glisse@inria.fr>
724         PR c++/59032
725         * c-typeck.c (build_unary_op): Allow vector increment and decrement.
727 2013-11-22  Andrew MacLeod  <amacleod@redhat.com>
729         * c-typeck.c: Add required include files from gimple.h.
731 2013-11-22  David Malcolm  <dmalcolm@redhat.com>
733         * c-decl.c (define_label, shadow_tag_warned)
734         (check_bitfield_type_and_width, grokdeclarator, grokparms,
735         store_parm_decls_newstyle, store_parm_decls_oldstyle)
736         (declspecs_add_type): Remove use of in_system_header macro.
737         * c-parser.c (c_parser_unary_expression): Likewise.
738         * c-typeck.c (store_init_value, process_init_element)
739         (c_start_case): Likewise.
741         * c-decl.c (build_enumerator): Remove use of EXPR_LOC_OR_HERE
742         macro.
744         * c-parser.c (c_parser_set_source_position_from_token): Remove
745         reference to in_system_header from comment.
747 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
749         * c-decl.c (grokdeclarator): Update comment to refer to
750         tree_to_[su]hwi rather than tree_low_cst.
752 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
754         * c-decl.c, c-typeck.c: Replace tree_low_cst (..., 1) with
755         tree_to_uhwi throughout.
757 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
759         * c-parser.c: Replace tree_low_cst (..., 0) with tree_to_shwi
760         throughout.
762 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
764         * c-parser.c: Replace host_integerp (..., 0) with tree_fits_shwi_p
765         throughout.
767 2013-11-15  Aldy Hernandez  <aldyh@redhat.com>
769         * c-parser.c (c_parser_cilk_simd): New.
770         (c_parser_cilk_verify_simd): New.
771         (c_parser_pragma): Add case for PRAGMA_CILK_SIMD.
772         (c_parser_omp_for_loop): Add case for NE_EXPR.
773         Set c_break_label for CILK_SIMD.
774         (c_parser_cilk_clause_vectorlength): New.
775         (c_parser_cilk_clause_linear): New.
776         (c_parser_cilk_clause_name): New.
777         (c_parser_cilk_all_clauses): New.
778         * c-typeck.c (build_unary_op): Pass location argument to
779         readonly_error.
780         (build_modify_expr): Same.
781         (build_asm_expr): Same.
782         (c_finish_bc_stmt): Error on break/continue in loops.
784 2013-11-14  Andrew MacLeod  <amacleod@redhat.com>
786         * c-typeck.c: Include only gimplify.h and gimple.h as needed.
788 2013-11-14  Diego Novillo  <dnovillo@google.com>
790         * c-decl.c: Include print-tree.h.
791         Include stor-layout.h.
792         Include varasm.h.
793         Include attribs.h.
794         Include stringpool.h.
795         * c-lang.c: Include fold-const.h.
796         * c-parser.c: Include stringpool.h.
797         Include attribs.h.
798         Include stor-layout.h.
799         Include varasm.h.
800         Include trans-mem.h.
801         * c-typeck.c: Include stor-layout.h.
802         Include trans-mem.h.
803         Include varasm.h.
804         Include stmt.h.
806 2013-11-13  Joseph Myers  <joseph@codesourcery.com>
808         * c-tree.h (c_typespec_keyword): Add cts_auto_type.
809         * c-decl.c (declspecs_add_type, finish_declspecs): Handle
810         __auto_type.
811         * c-parser.c (c_token_starts_typename, c_token_starts_declspecs)
812         (c_parser_attribute_any_word, c_parser_objc_selector): Handle
813         RID_AUTO_TYPE.
814         (c_parser_declspecs): Take argument AUTO_TYPE_OK.
815         (c_parser_declaration_or_fndef, c_parser_struct_declaration)
816         (c_parser_declarator, c_parser_direct_declarator_inner)
817         (c_parser_parameter_declaration, c_parser_type_name): All callers
818         changed.
819         (c_parser_declaration_or_fndef): Handle declarations with type
820         determined from the initializer.
822 2013-11-12  Andrew MacLeod  <amacleod@redhat.com>
824         * c-typeck.c: Include gimplify.h.
826 2013-11-12  Joseph Myers  <joseph@codesourcery.com>
828         * c-tree.h (struct c_declspecs): Add thread_gnu_p field.
829         * c-parser.c (c_parser_declspecs): Mention _Thread_local in
830         comment.
831         * c-decl.c (shadow_tag_warned, grokdeclarator): Mention __thread
832         or _Thread_local as appropriate in diagnostics.
833         (build_null_declspecs): Initialize ret->thread_gnu_p.
834         (declspecs_add_scspec): Handle either __thread or _Thread_local
835         for RID_THREAD.  Diagnose _Thread_local for pre-C11 standards if
836         pedantic.  Do not disallow _Thread_local extern and _Thread_local
837         static.
839 2013-11-07  Joseph Myers  <joseph@codesourcery.com>
840             Andrew MacLeod  <amacleod@redhat.com>
842         * c-aux-info.c (gen_type): Handle atomic qualifier.
843         * c-decl.c (validate_proto_after_old_defn): Do not remove atomic
844         qualifiers when compating types.
845         (shadow_tag_warned): Handle atomic_p in declspecs.
846         (quals_from_declspecs): Likewise.
847         (start_decl): Use c_type_promotes_to when promoting argument
848         types.
849         (grokdeclarator): Handle _Atomic.
850         (get_parm_info): Diagnose any qualifier on "void" as only
851         parameter.
852         (store_parm_decls_oldstyle): Do not remove atomic qualifiers when
853         comparing types.  Use c_type_promotes_to when promoting argument
854         types.
855         (finish_function): Use c_type_promotes_to when promoting argument
856         types.
857         (build_null_declspecs): Handle atomic_p in declspecs.
858         (declspecs_add_qual): Handle RID_ATOMIC.
859         * c-parser.c (c_token_starts_typename, c_token_is_qualifier)
860         (c_token_starts_declspecs): Handle RID_ATOMIC.
861         (c_parser_declspecs): Handle atomic type specifiers and
862         qualifiers.
863         (c_parser_typeof_specifier): Remove const and _Atomic qualifiers
864         from types of expressions with atomic type.
865         (c_parser_direct_declarator_inner): Use convert_lvalue_to_rvalue.
866         (c_parser_attribute_any_word): Handle RID_ATOMIC.
867         (c_parser_initializer, c_parser_initelt, c_parser_initval)
868         (c_parser_statement_after_labels, c_parser_switch_statement)
869         (c_parser_for_statement, c_parser_expr_no_commas)
870         (c_parser_conditional_expression, c_parser_binary_expression)
871         (c_parser_cast_expression, c_parser_unary_expression)
872         (c_parser_postfix_expression)
873         (c_parser_postfix_expression_after_primary, c_parser_expression):
874         Use convert_lvalue_to_rvalue.
875         (c_parser_expression_conv, c_parser_expr_list): Document
876         conversion of lvalues to rvalues.  Use convert_lvalue_to_rvalue.
877         (c_parser_objc_synchronized_statement): Use
878         convert_lvalue_to_rvalue.
879         (c_parser_objc_selector): Handle RID_ATOMIC.
880         (c_parser_objc_receiver, c_parser_array_notation): Use
881         convert_lvalue_to_rvalue.
882         * c-tree.h (ctsk_typeof): Adjust comment to mention use for
883         _Atomic (type-name).
884         (struct c_declspecs): Add atomic_p field.
885         (convert_lvalue_to_rvalue): Declare.
886         * c-typeck.c (c_type_promotes_to): Promote atomic types to
887         corresponding atomic types.
888         (qualify_type): Don't add _Atomic qualifiers from second argument.
889         (comp_target_types): Do not allow _Atomic mismatches.
890         (type_lists_compatible_p): Do not remove atomic qualifiers when
891         comparing types.
892         (really_atomic_lvalue, convert_lvalue_to_rvalue)
893         (build_atomic_assign): New functions.
894         (build_unary_op): Use build_atomic_assign for atomic increment and
895         decrement.
896         (build_conditional_expr): Do not treat _Atomic void as a qualified
897         version of void.
898         (build_modify_expr): Use build_atomic_assign for atomic LHS.
899         (find_anonymous_field_with_type, convert_to_anonymous_field)
900         (convert_for_assignment): Do not remove atomic qualifiers when
901         comparing types.
902         (digest_init): Do not accept initialization of arrays of atomic
903         elements by string constants.
904         (build_asm_expr): Use convert_lvalue_to_rvalue.
905         (build_binary_op): Do not treat _Atomic void as a qualified
906         version of void.
908 2013-11-06  DJ Delorie  <dj@redhat.com>
910         * c-decl.c (locate_old_decl): If a previous conflicting decl is
911         both explicit and builtin, print the location of the explicit one.
913 2013-11-05  Tobias Burnus  <burnus@net-b.de>
915         * c-parser.c (c_parser_omp_for, c_parser_omp_parallel,
916         c_parser_omp_distribute, c_parser_omp_teams,
917         c_parser_omp_target, c_parser_omp_declare): Handle
918         -fopenmp-simd.
920 2013-11-03  Marek Polacek  <polacek@redhat.com>
922         * c-decl.c (grokdeclarator): Add VLA instrumentation.
924 2013-11-01  Jakub Jelinek  <jakub@redhat.com>
926         * c-typeck.c (c_finish_omp_clauses) <case OMP_CLAUSE_UNIFORM>: Go to
927         check_dup_generic at the end, unless remove is true.
928         (c_finish_omp_clauses) <case OMP_CLAUSE_REDUCTION>: Add break; after
929         remove = true;.
930         (c_finish_omp_clauses) <case OMP_CLAUSE_COPYIN>: Likewise.
932 2013-10-31  Jakub Jelinek  <jakub@redhat.com>
934         * c-typeck.c (c_finish_omp_clauses): Diagnose aligned clause
935         with decl that is not pointer nor array.
937 2013-10-29  Balaji V. Iyer  <balaji.v.iyer@intel.com>
939         * c-decl.c (finish_function): Added a call for insert_cilk_frame when
940         a spawning function is found.
941         * c-objc-common.h (LANG_HOOKS_CILKPLUS_GIMPLIFY_SPAWN): New #define.
942         (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Likewise.
943         (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
944         * c-parser.c (c_parser_statement_after_labels): Added RID_CILK_SYNC
945         case.
946         (c_parser_postfix_expression): Added RID_CILK_SPAWN case.
947         * c-typeck.c (build_compound_expr): Reject _Cilk_spawn in a comma
948         expr.
949         (c_finish_return): Added a check to reject _Cilk_spawn in return
950         expression.
951         (build_cilk_spawn): New function.
952         (build_cilk_sync): Likewise.
953         * Makefile.in (c-decl.o): Added cilk.h in dependency list.
954         
955 2013-10-27  Tobias Burnus  <burnus@net-b.de>
957         PR other/33426
958         * c-parser.c (c_parser_while_statement, c_parser_while_statement,
959         c_parser_pragma): Add GCC ivdep support to 'do' and 'while'.
960         (c_parser_statement_after_labels): Update calls.
962 2013-10-24  Tobias Burnus  <burnus@net-b.de>
964         PR other/33426
965         * c-parser.c (c_parser_pragma, c_parser_for_statement):
966         Handle PRAGMA_IVDEP.
967         (c_parser_statement_after_labels): Update call.
969 2013-10-24  Marek Polacek  <polacek@redhat.com>
971         * c-parser.c (c_parser_struct_declaration): Add a comment.
972         (c_parser_declarator): Don't allow _Alignas here.
974 2013-10-17  Andrew MacLeod  <amacleod@redhat.com>
976         * c-parser.c: Include omp-low.h.
977         * c-typeck.c: Likewise.
979 2013-10-17  Marek Polacek  <polacek@redhat.com>
981         PR c/58267
982         * c-parser.c (c_parser_declspecs): Add alignspec_ok parameter.
983         Document syntax of the array-declarator.
984         (c_parser_declspecs) <RID_ALIGNAS>: Bail out if alignment specs
985         are not permitted.
986         (c_parser_declaration_or_fndef): Adjust c_parser_declspecs call.
987         (c_parser_struct_declaration): Likewise.
988         (c_parser_declarator): Likewise.
989         (c_parser_direct_declarator_inner): Likewise.
990         (c_parser_parameter_declaration): Likewise.
991         (c_parser_type_name): Likewise.
993 2013-10-11  Jakub Jelinek  <jakub@redhat.com>
995         * c-lang.h (current_omp_declare_target_attribute): New extern
996         decl.
997         * c-parser.c: Include c-lang.h.
998         (struct c_parser): Change tokens to c_token *.
999         Add tokens_buf field.  Change tokens_avail type to unsigned int.
1000         (c_parser_consume_token): If parser->tokens isn't
1001         &parser->tokens_buf[0], increment parser->tokens.
1002         (c_parser_consume_pragma): Likewise.
1003         (enum pragma_context): Add pragma_struct and pragma_param.
1004         (c_parser_external_declaration): Adjust
1005         c_parser_declaration_or_fndef caller.
1006         (c_parser_declaration_or_fndef): Add omp_declare_simd_clauses
1007         argument, if it is non-vNULL vector, call c_finish_omp_declare_simd.
1008         Adjust recursive call.
1009         (c_parser_struct_or_union_specifier): Use pragma_struct instead
1010         of pragma_external.
1011         (c_parser_parameter_declaration): Use pragma_param instead of
1012         pragma_external.
1013         (c_parser_compound_statement_nostart, c_parser_label,
1014         c_parser_for_statement): Adjust
1015         c_parser_declaration_or_fndef callers.
1016         (c_parser_expr_no_commas): Add omp_atomic_lhs argument, pass
1017         it through to c_parser_conditional_expression.
1018         (c_parser_conditional_expression): Add omp_atomic_lhs argument,
1019         pass it through to c_parser_binary_expression.  Adjust recursive
1020         call.
1021         (c_parser_binary_expression): Remove prec argument, add
1022         omp_atomic_lhs argument instead.  Always start from PREC_NONE, if
1023         omp_atomic_lhs is non-NULL and one of the arguments of toplevel
1024         binop matches it, use build2 instead of parser_build_binary_op.
1025         (c_parser_pragma): Handle PRAGMA_OMP_CANCEL,
1026         PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_TARGET,
1027         PRAGMA_OMP_END_DECLARE_TARGET, PRAGMA_OMP_DECLARE_REDUCTION.
1028         Handle pragma_struct and pragma_param the same as pragma_external.
1029         (c_parser_omp_clause_name): Parse new OpenMP 4.0 clause names.
1030         (c_parser_omp_variable_list): Parse array sections for
1031         OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses.
1032         (c_parser_omp_clause_collapse): Fully fold collapse expression.
1033         (c_parser_omp_clause_reduction): Handle user defined reductions.
1034         (c_parser_omp_clause_branch, c_parser_omp_clause_cancelkind,
1035         c_parser_omp_clause_num_teams, c_parser_omp_clause_thread_limit,
1036         c_parser_omp_clause_aligned, c_parser_omp_clause_linear,
1037         c_parser_omp_clause_safelen, c_parser_omp_clause_simdlen,
1038         c_parser_omp_clause_depend, c_parser_omp_clause_map,
1039         c_parser_omp_clause_device, c_parser_omp_clause_dist_schedule,
1040         c_parser_omp_clause_proc_bind, c_parser_omp_clause_to,
1041         c_parser_omp_clause_from, c_parser_omp_clause_uniform): New functions.
1042         (c_parser_omp_all_clauses): Add finish_p argument.  Don't call
1043         c_finish_omp_clauses if it is false.  Handle new OpenMP 4.0 clauses.
1044         (c_parser_omp_atomic): Parse seq_cst clause, pass true if it is
1045         present to c_finish_omp_atomic.  Handle OpenMP 4.0 atomic forms.
1046         (c_parser_omp_for_loop): Add CODE argument, pass it through
1047         to c_finish_omp_for.  Change last argument to cclauses,
1048         and adjust uses to grab parallel clauses from the array of all
1049         the split clauses.  Adjust c_parser_binary_expression,
1050         c_parser_declaration_or_fndef and c_finish_omp_for callers.
1051         (omp_split_clauses): New function.
1052         (c_parser_omp_simd): New function.
1053         (c_parser_omp_for): Add p_name, mask and cclauses arguments.
1054         Allow the function to be called also when parsing combined constructs,
1055         and call c_parser_omp_simd when parsing for simd.
1056         (c_parser_omp_sections_scope): If section-sequence doesn't start with
1057         #pragma omp section, require exactly one structured-block instead of
1058         sequence of statements.
1059         (c_parser_omp_sections): Add p_name, mask and cclauses arguments.
1060         Allow the function to be called also when parsing combined constructs.
1061         (c_parser_omp_parallel): Add p_name, mask and cclauses arguments.
1062         Allow the function to be called also when parsing combined
1063         constructs.
1064         (c_parser_omp_taskgroup, c_parser_omp_cancel,
1065         c_parser_omp_cancellation_point, c_parser_omp_distribute,
1066         c_parser_omp_teams, c_parser_omp_target_data,
1067         c_parser_omp_target_update, c_parser_omp_target,
1068         c_parser_omp_declare_simd, c_finish_omp_declare_simd,
1069         c_parser_omp_declare_target, c_parser_omp_end_declare_target,
1070         c_parser_omp_declare_reduction, c_parser_omp_declare): New functions.
1071         (c_parser_omp_construct): Add p_name and mask vars.  Handle
1072         PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
1073         PRAGMA_OMP_TEAMS.  Adjust c_parser_omp_for, c_parser_omp_parallel
1074         and c_parser_omp_sections callers.
1075         (c_parse_file): Initialize tparser.tokens and the_parser->tokens here.
1076         (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
1077         OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.
1078         (OMP_PARALLEL_CLAUSE_MASK): Likewise.  Add OMP_CLAUSE_PROC_BIND.
1079         (OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.  Add
1080         OMP_CLAUSE_DEPEND.
1081         (OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK,
1082         OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK,
1083         OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK,
1084         OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK,
1085         OMP_DECLARE_SIMD_CLAUSE_MASK): Define.
1086         * c-typeck.c: Include tree-inline.h.
1087         (c_finish_omp_cancel, c_finish_omp_cancellation_point,
1088         handle_omp_array_sections_1, handle_omp_array_sections,
1089         c_clone_omp_udr, c_find_omp_placeholder_r): New functions.
1090         (c_finish_omp_clauses): Handle new OpenMP 4.0 clauses and
1091         user defined reductions.
1092         (c_tree_equal): New function.
1093         * c-tree.h (temp_store_parm_decls, temp_pop_parm_decls,
1094         c_finish_omp_cancel, c_finish_omp_cancellation_point, c_tree_equal,
1095         c_omp_reduction_id, c_omp_reduction_decl, c_omp_reduction_lookup,
1096         c_check_omp_declare_reduction_r): New prototypes.
1097         * c-decl.c (current_omp_declare_target_attribute): New variable.
1098         (c_decl_attributes): New function.
1099         (start_decl, start_function): Use it instead of decl_attributes.
1100         (temp_store_parm_decls, temp_pop_parm_decls, c_omp_reduction_id,
1101         c_omp_reduction_decl, c_omp_reduction_lookup,
1102         c_check_omp_declare_reduction_r): New functions.
1104 2013-09-25  Tom Tromey  <tromey@redhat.com>
1106         * Make-lang.in (c/gccspec.o): Remove.
1107         (CFLAGS-c/gccspec.o): New variable.
1108         (cc1-checksum.o, C_TREE_H, c/c-aux-info.o, c/c-convert.o)
1109         (c/c-decl.o, c/c-errors.o, c/c-lang.o, c/c-objc-common.o)
1110         (c/c-parser.o, c/c-typeck.o, c/c-array-notation.o): Remove.
1112 2013-09-25  Tom Tromey  <tromey@redhat.com>
1114         * Make-lang.in (c/gccspec.o): Don't use subshell.
1116 2013-09-18  Marek Polacek  <polacek@redhat.com>
1118         PR sanitize/58443
1119         * c-typeck.c (build_binary_op): Properly honor -fsanitize options.
1120         Remove unnecessary check.
1122 2013-09-18  Marek Polacek  <polacek@redhat.com>
1124         PR sanitizer/58411
1125         * c-typeck.c (build_binary_op): Don't sanitize function if it has the
1126         no_sanitize_undefined attribute.
1128 2013-09-13  Kai Tietz  <ktietz@redhat.com>
1130         PR target/57848
1131         * c-decl.c (c_builtin_function_ext_scope): Remove
1132         wrong assumption that it is never called on prexisting
1133         symbol.
1135 2013-09-08  Joern Rennecke  <joern.rennecke@embecosm.com>
1137         * c-typeck.c (build_binary_op): Use vector_types_compatible_elements_p.
1139 2013-09-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1141         * c-objc-common.c (c_tree_printer): Tidy.
1143 2013-08-30  Marek Polacek  <polacek@redhat.com>
1145         * c-typeck.c (build_binary_op): Add division by zero and shift
1146         instrumentation.
1148 2013-08-26  Joern Rennecke  <joern.rennecke@embecosm.com>
1149             Joseph Myers  <joseph@codesourcery.com>
1151         PR c/35649
1152         * c-typeck.c (c_common_type): Prefer double_type_node over
1153         other REAL_TYPE types with the same precision.
1154         (convert_arguments): Likewise.
1156 2013-08-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1158         * c-objc-common.c (c_tree_printer): Document the nature of the cast.
1159         (c_initialize_diagnostics): Call a destructor for the early printer.
1161 2013-08-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1163         * c-objc-common.c (c_initialize_diagnostics): Simplify C pretty
1164         printer initialization.
1166 2013-08-19  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1168         PR c/57490
1169         * c-array-notation.c (fix_conditional_array_notations_1): Added a
1170         check for truth values.
1171         (expand_array_notation_exprs): Added truth values case.  Removed an
1172         unwanted else.  Added for-loop to walk through subtrees in default
1173         case.
1175 2013-08-04  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1177         * c-objc-common.c (c_initialize_diagnostics): Don't call pp_base.
1179 2013-07-23  Joseph Myers  <joseph@codesourcery.com>
1181         * c-parser.c (struct c_generic_association): Fix typo.
1183 2013-07-23  Tom Tromey  <tromey@redhat.com>
1184             Joseph Myers  <joseph@codesourcery.com>
1186         * c-parser.c (struct c_generic_association): New.
1187         (c_generic_association_d): New typedef.
1188         (c_parser_generic_selection): New function.
1189         (c_parser_postfix_expression): Handle RID_GENERIC.
1191 2013-07-13  Jason Merrill  <jason@redhat.com>
1193         PR c++/57793
1194         * c-decl.c (finish_struct): Check for too-large class.
1196 2013-07-04  Joern Rennecke  <joern.rennecke@embecosm.com>
1198         PR c/57821
1199         * c-typeck.c (set_init_index): When folding, check for index overflow.
1201 2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1203         * c-parser.c (c_parser_array_notation): Removed rejection of array
1204         notations in an array of function pointers.
1206 2013-06-21  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1208         * c-array-notation.c (make_triplet_val_inv): New function.
1209         (create_cmp_incr): Likewise.
1210         (create_array_refs): Likewise.
1211         (fix_builtin_array_notation_fn): Replaced all mallocs with tree vec.
1212         Also modularized common parts between functions and called the function.
1213         (build_array_notation_expr): Likewise.
1214         (fix_conditional_array_notations_1): Likewise.
1215         (fix_array_notation_expr): Likewise.
1216         (fix_array_notation_call_expr): Likewise.
1218 2013-06-18  Marek Polacek  <polacek@redhat.com>
1220         PR c/57630
1221         * c-decl.c (check_for_loop_decls): Improve diagnostics messages.
1223 2013-06-12  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1225         * c-array-notation.c (build_array_notation_expr): Reject array notation
1226         mismatch between LHS and RHS even inside a call_expr.  Also, removed
1227         a couple while statements that were dead code.
1229 2013-06-10  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1231         * c-array-notation.c (fix_builtin_array_notation_fn): Fully folded
1232         excessive precision expressions in function parameters.  Also removed
1233         couple unwanted while statements.
1235 2013-06-07  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1237         * c-array-notation.c (expand_array_notation_exprs): Added
1238         ARRAY_NOTATION_REF case.
1239         
1240 2013-06-07  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1242         * c-array-notation.c (length_mismatch_in_expr_p): Moved this
1243         function to c-family/array-notation-common.c.
1244         (is_cilkplus_reduce_builtin): Likewise.
1245         (find_rank): Likewise.
1246         (extract_array_notation_exprs): Likewise.
1247         (replace_array_notations): Likewise.
1248         (find_inv_trees): Likewise.
1249         (replace_inv_trees): Likewise.
1250         (contains_array_notation_expr): Likewise.
1251         (find_correct_array_notation_type): Likewise.
1252         (replace_invariant_exprs): Initialized additional_tcodes to NULL.
1253         (struct inv_list): Moved this to c-family/array-notation-common.c.
1254         * c-tree.h (is_cilkplus_builtin_reduce): Remove prototype.
1255         
1256 2013-06-05  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1258         * c-typeck.c (convert_arguments): Moved checking of builtin cilkplus
1259         reduction functions outside the for-loop.  Added a check if the fundecl
1260         is non-NULL.  Finally, removed an unwanted if-statement, and made the
1261         body unconditional.
1263 2013-06-03  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1265         * c-typeck.c (c_finish_if_stmt): Added a check to see if the rank of the
1266         condition of the if-statement matches the rank of else-block and then-
1267         block when array notations are used.
1268         * c-parser.c (c_parser_declaration_or_fndef): Expanded array notation
1269         expression after the entire function body is parsed.
1270         (c_parser_expr_no_commas): Delayed creating array notation expressions
1271         to the end of function parsing.
1272         * c-array-notation.c (fix_conditional_array_notations_1): Expanded the
1273         whole if-statement instead of just the condition.
1274         (expand_array_notation_exprs): Added MODIFY_EXPR case.  
1276 2013-06-03  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1278         PR c/57474
1279         * c-array-notation.c (build_array_notation_expr): Initialized rhs_length
1280         array to NULL_TREE if they are unused.  Also added a check for the
1281         field to be NULL before its fields are used in future.
1282         
1283 2013-05-29  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1285         PR bootstrap/57450
1286         * c-array-notation.c (length_mismatch_in_expr_p): Use absu_hwi.
1287         (build_array_notation_expr): Likewise.
1289 2013-05-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1291         * c-typeck.c (build_array_ref): Added a check to see if array's
1292         index is greater than one.  If true, then emit an error.
1293         (build_function_call_vec): Exclude error reporting and checking
1294         for builtin array-notation functions.
1295         (convert_arguments): Likewise.
1296         (c_finish_return): Added a check for array notations as a return
1297         expression.  If true, then emit an error.
1298         (c_finish_loop): Added a check for array notations in a loop
1299         condition.  If true then emit an error.
1300         (lvalue_p): Added a ARRAY_NOTATION_REF case.
1301         (build_binary_op): Added a check for array notation expr inside
1302         op1 and op0.  If present, we call another function to find correct
1303         type.
1304         * Make-lang.in (C_AND_OBJC_OBJS): Added c-array-notation.o.
1305         * c-parser.c (c_parser_compound_statement): Check if array
1306         notation code is used in tree, if so, then transform them into
1307         appropriate C code.
1308         (c_parser_expr_no_commas): Check if array notation is used in LHS
1309         or RHS, if so, then build array notation expression instead of
1310         regular modify.
1311         (c_parser_postfix_expression_after_primary): Added a check for
1312         colon(s) after square braces, if so then handle it like an array
1313         notation.  Also, break up array notations in unary op if found.
1314         (c_parser_direct_declarator_inner): Added a check for array
1315         notation.
1316         (c_parser_compound_statement): Added a check for array notation in
1317         a stmt.  If one is present, then expand array notation expr.
1318         (c_parser_if_statement): Likewise.
1319         (c_parser_switch_statement): Added a check for array notations in
1320         a switch statement's condition.  If true, then output an error.
1321         (c_parser_while_statement): Similarly, but for a while.
1322         (c_parser_do_statement): Similarly, but for a do-while.
1323         (c_parser_for_statement): Similarly, but for a for-loop.
1324         (c_parser_unary_expression): Check if array notation is used in a
1325         pre-increment or pre-decrement expression.  If true, then expand
1326         them.
1327         (c_parser_array_notation): New function.
1328         * c-array-notation.c: New file.
1329         * c-tree.h (is_cilkplus_reduce_builtin): Protoize.
1330         
1331 2013-05-23  Mike Stump  <mikestump@comcast.net>
1333         * c-typeck.c (convert_for_assignment): Handle references to memory
1334         spaces better.
1336 2013-05-16  Jason Merrill  <jason@redhat.com>
1338         * Make-lang.in (cc1$(exeext)): Use link mutex.
1340 2013-04-24  Paolo Carlini  <paolo.carlini@oracle.com>
1342         * c-typeck.c (pointer_diff): Change -Wpointer-arith pedwarns
1343         to simply use OPT_Wpointer_arith.
1344         (build_unary_op): Likewise.
1346 2013-04-03  Jakub Jelinek  <jakub@redhat.com>
1348         PR c/19449
1349         * c-parser.c (c_parser_get_builtin_args): Add choose_expr_p
1350         argument.  If set, or it temporarily for parsing of the first
1351         argument into force_folding_builtin_constant_p.
1352         (c_parser_postfix_expression): Adjust callers.
1354 2013-03-21  Richard Biener  <rguenther@suse.de>
1356         * c-objc-common.c (c_tree_printer): Use DECL_HAS_DEBUG_EXPR_P
1357         instead of DECL_DEBUG_EXPR_IS_FROM.  Guard properly.
1359 2013-02-12  Marek Polacek  <polacek@redhat.com>
1361         PR c/44938
1362         * c-parser.c (c_parser_postfix_expression_after_primary): Initialize
1363         origtypes to NULL.
1365 2013-01-24  Jakub Jelinek  <jakub@redhat.com>
1367         PR c/56078
1368         * c-typeck.c (set_nonincremental_init_from_string): If
1369         constructor_max_index is NULL, treat it as if tree_int_cst_lt
1370         returned false.
1371         (process_init_element): Likewise.
1373 2012-12-20  Jakub Jelinek  <jakub@redhat.com>
1375         PR c++/55619
1376         * c-parser.c (c_parser_asm_operands): Remove CONVERT_P
1377         argument, don't call default_function_array_conversion
1378         nor c_fully_fold here.
1379         (c_parser_asm_statement): Adjust callers.
1380         * c-typeck.c (build_asm_expr): Call c_fully_fold on inputs
1381         and outputs here, and call default_function_array_conversion
1382         on inputs that don't need to be addressable.
1384 2012-12-18  Jakub Jelinek  <jakub@redhat.com>
1386         PR c/39464
1387         * c-typeck.c (convert_for_assignment): For -Wpointer-sign
1388         warning require that both c_common_unsigned_type as well as
1389         c_common_signed_type is the same for both mvl and mvr types.
1391 2012-11-16  Diego Novillo  <dnovillo@google.com>
1393         Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec)
1395         * c-common.c: Use new vec API in vec.h.
1396         * c-common.h: Likewise.
1397         * c-gimplify.c: Likewise.
1398         * c-pragma.c: Likewise.
1399         * c-pretty-print.c: Likewise.
1400         * c-pretty-print.h: Likewise.
1401         * c-semantics.c: Likewise.
1402         * c-decl.c: Likewise.
1403         * c-parser.c: Likewise.
1404         * c-tree.h: Likewise.
1405         * c-typeck.c: Likewise.
1407 2012-10-29  Jonathan Wakely  <jwakely.gcc@gmail.com>
1409         PR c++/54930
1410         * c-typeck.c (c_finish_return): Use OPT_Wreturn_local_addr.
1412 2012-10-29  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1414         PR c/53066
1415         * c-decl.c (warn_if_shadowing): Do not warn if a variable
1416         shadows a function, unless the variable is a function or a
1417         pointer-to-function.
1419 2012-10-12  Jakub Jelinek  <jakub@redhat.com>
1421         PR c/54381
1422         * c-parser.c (struct c_tree_loc_pair): Removed.
1423         (c_parser_expr_list): Remove struct c_tree_loc_pair * argument,
1424         add location_t * and tree * arguments, fill in array of 3
1425         sizeof_arg trees and corresponding locs.
1426         (c_parser_attributes, c_parser_objc_keywordexpr): Adjust
1427         c_parser_expr_list callers.
1428         (c_parser_postfix_expression_after_primary): Likewise.  Pass
1429         array of 3 sizeof_arg trees and locs (corresponding to first
1430         3 arguments) to sizeof_pointer_memaccess_warning.
1432 2012-10-09  Lawrence Crowl  <crowl@google.com>
1434         * Make-lang.in (c-decl.o): Add dependence on hash-table.h.
1435         * c-decl.c (detect_field_duplicates_hash): Change to new type-safe
1436         hash table.
1438 2012-10-09  Paolo Carlini  <paolo.carlini@oracle.com>
1440         PR c++/54194
1441         * c-typeck.c (parser_build_binary_op): Update warn_about_parentheses
1442         call.
1444 2012-10-09  Marc Glisse  <marc.glisse@inria.fr>
1446         PR c++/54427
1447         * c-typeck.c: Include c-common.h.
1448         (enum stv_conv): Moved to c-common.h.
1449         (scalar_to_vector): Moved to c-common.c.
1450         (build_binary_op): Adapt to scalar_to_vector's new prototype.
1451         * Make-lang.in: c-typeck.c depends on c-common.h.
1453 2012-10-04  Arnaud Charlet  <charlet@adacore.com>
1455         * c-decl.c (c_write_global_declarations): Fix handling of
1456         -fdump-ada-spec*.
1458 2012-09-30  Sharad Singhai  <singhai@google.com>
1460         * c-decl.c (c_write_global_declarations): Use a different method
1461         to determine if the dump has ben initialized.
1463 2012-09-14  Joseph Myers  <joseph@codesourcery.com>
1465         PR c/54552
1466         * c-typeck.c (c_cast_expr): When casting to a type requiring
1467         C_MAYBE_CONST_EXPR to be created, pass the inner expression to
1468         c_fully_fold first.
1470 2012-09-14  Joseph Myers  <joseph@codesourcery.com>
1472         PR c/54103
1473         * c-typeck.c (build_unary_op): Pass original argument of
1474         TRUTH_NOT_EXPR to c_objc_common_truthvalue_conversion, then remove
1475         any C_MAYBE_CONST_EXPR, if it has integer operands.
1476         (build_binary_op): Pass original arguments of TRUTH_ANDIF_EXPR,
1477         TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR
1478         to c_objc_common_truthvalue_conversion, then remove any
1479         C_MAYBE_CONST_EXPR, if they have integer operands.  Use
1480         c_objc_common_truthvalue_conversion not
1481         c_common_truthvalue_conversion.
1482         (c_objc_common_truthvalue_conversion): Build NE_EXPR directly and
1483         call note_integer_operands for arguments with integer operands
1484         that are not integer constants.
1486 2012-09-13  Jakub Jelinek  <jakub@redhat.com>
1488         PR c/54559
1489         * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or
1490         COMPLEX_TYPE with in_late_binary_op set temporarily to true.
1492 2012-08-31  Jakub Jelinek  <jakub@redhat.com>
1494         PR c/54428
1495         * c-convert.c (convert): Don't call fold_convert_loc if
1496         TYPE_MAIN_VARIANT of a COMPLEX_TYPE is the same, unless e
1497         is a COMPLEX_EXPR.  Remove TYPE_MAIN_VARIANT check from
1498         COMPLEX_TYPE -> COMPLEX_TYPE conversion.
1500 2012-08-24  Jakub Jelinek  <jakub@redhat.com>
1502         PR c/54355
1503         * c-decl.c (c_parser_label): Pass true as nested and fix up comments
1504         for nested and empty_ok arguments in the call to
1505         c_parser_declaration_or_fndef.
1507 2012-08-17  Jakub Jelinek  <jakub@redhat.com>
1509         * c-tree.h (c_last_sizeof_arg): Declare.
1510         * c-parser.c (struct c_tree_loc_pair): New type.
1511         (c_parser_expr_list): Add sizeof_arg argument.  Fill it in if
1512         non-NULL.
1513         (c_parser_attributes, c_parser_objc_keywordexpr): Adjust callers.
1514         (c_parser_postfix_expression_after_primary): Likewise.  Call
1515         sizeof_pointer_memaccess_warning if needed.
1516         (sizeof_ptr_memacc_comptypes): New function.
1517         * c-typeck.c (c_last_sizeof_arg): New global variable.
1518         (c_expr_sizeof_expr, c_expr_sizeof_type): Initialize it.
1520 2012-07-24  Uros Bizjak  <ubizjak@gmail.com>
1522         * c-lang.h (lang_decl): Add variable_size GTY option.
1524 2012-07-16  Steven Bosscher  <steven@gcc.gnu.org>
1526         * c-decl.c: Include dumpfile.h instead of tree-dump.h.
1527         * Make-lang.in: Fix dependencies.
1529 2012-06-29  Steven Bosscher  <steven@gcc.gnu.org>
1531         * Make-lang.in: New file, rules migrated from gcc/Makefile.in
1532         and add language Makefile hooks.
1533         * config-lang.in: New file.
1534         * c-config-lang.in: Moved from gcc/config-lang.in to here, and
1535         add the required "normal" config-lang.in rules.
1536         * c-lang.h: Moved from gcc/ to here.
1537         * c-tree.h: Likewise.
1538         * c-objc-common.c: Likewise.
1539         * c-objc-common.h: Likewise.
1540         * c-typeck.c: Likewise.
1541         * c-convert.c: Likewise.
1542         * c-lang.c: Likewise.
1543         * c-aux-info.c: Likewise.
1544         * c-errors.c: Likewise.
1545         * gccspec.c: Likewise.
1546         * c-decl.c: Likewise.  Include gt-c-c-decl.h, not gt-c-decl.h.
1547         * c-parser.c: Likewise.  Include gt-c-c-parser.h, not gt-c-parser.h.
1549 Copyright (C) 2012-2014 Free Software Foundation, Inc.
1551 Copying and distribution of this file, with or without modification,
1552 are permitted in any medium without royalty provided the copyright
1553 notice and this notice are preserved.