gcc/c/
[official-gcc.git] / gcc / c / ChangeLog
blobc51bfb49580dcb3fd0832415eb58d75dcbcdefa2
1 2014-06-04  Igor Zamyatin  <igor.zamyatin@intel.com>
3         PR c/58942
4         * c-array-notation.c (fix_builtin_array_notation_fn): Handle the case
5         with a pointer.
7 2014-06-03  Marek Polacek  <polacek@redhat.com>
9         PR c/60439
10         * c-parser.c (c_parser_switch_statement): Pass explicit_cast_p to
11         c_start_case.
12         * c-tree.h (c_start_case): Update.
13         * c-typeck.c (c_start_case): Add new boolean parameter.  Warn if
14         switch condition has boolean value.
16 2014-06-02  Andrew MacLeod  <amacleod@redhat.com>
18         * c-decl.c: Include builtins.h.
19         * c-parser.c: Likewise.
21 2014-05-27  Marek Polacek  <polacek@redhat.com>
23         PR c/56724
24         * c-typeck.c (convert_arguments): Get location of a parameter.  Change
25         error and warning calls to error_at and warning_at.  Pass location of
26         a parameter to it.  Call warning_at with OPT_Wtraditional_conversion.
27         (convert_for_assignment): Add parameter to WARN_FOR_ASSIGNMENT and
28         WARN_FOR_QUALIFIERS.  Pass expr_loc to those.
30 2014-05-26  Igor Zamyatin  <igor.zamyatin@intel.com>
32         PR c/61191
33         * c-array-notation.c (fix_builtin_array_notation_fn): Check invalid
34         function parameters.
36 2014-05-23  Jan Hubicka  <hubicka@ucw.cz>
38         * c-decl.c (merge_decls): Preserve symtab node pointers.
39         (duplicate_decls): Free new decl.
41 2014-05-23  Thomas Schwinge  <thomas@codesourcery.com>
43         * c-typeck.c (c_finish_omp_clauses): Remove duplicated variable
44         initialization.
46         * c-parser.c (c_parser_omp_target): Return bool values.
48 2014-05-22  Thomas Schwinge  <thomas@codesourcery.com>
50         * c-parser.c (c_parser_omp_clause_thread_limit): Rename
51         num_teams_loc variable to num_thread_limit_loc.
53 2014-05-21  Richard Sandiford  <rsandifo@linux.vnet.ibm.com>
55         * c-array-notation.c (expand_array_notations): Use void_node
56         instead of void_zero_node.
58 2014-05-17  Trevor Saunders  <tsaunders@mozilla.com>
60         * c-decl.c (finish_struct): Adjust.
61         (finish_enum): Likewise.
62         (bind): Adjust.
63         (record_inline_static): Likewise.
64         (push_scope): Likewise.
65         (make_label): Likewise.
66         (lookup_label_for_goto): Likewise.
67         (finish_struct): Likewise.
68         (finish_enum): Likewise.
69         (store_parm_decls): Likewise.
70         (c_push_function_context): Likewise.
71         * c-lang.h: Remove usage of variable_size gty attribute.
72         * c-parser.c (c_parse_init): Adjust.
73         (c_parse_file): Likewise.
75 2014-05-13  Marek Polacek  <polacek@redhat.com>
77         PR c/61162
78         * c-typeck.c (convert_for_assignment): Pass location to
79         WARN_FOR_ASSIGNMENT instead of input_location.
81 2014-05-10  Marek Polacek  <polacek@redhat.com>
83         * c-parser.c (c_parser_declaration_or_fndef): Pass init_loc to
84         maybe_warn_string_init.
85         (c_parser_postfix_expression_after_paren_type): Pass type_loc to
86         maybe_warn_string_init.
87         * c-tree.h (maybe_warn_string_init): Update declaration.
88         * c-typeck.c (maybe_warn_string_init): Add location parameter.
89         Call pedwarn_init with loc instead of with input_location.
90         (digest_init): Pass init_loc to maybe_warn_string_init.
91         (pop_init_level): Call pedwarn_init with loc instead of with
92         input_location.
93         (set_init_index): Likewise.
94         (process_init_element): Likewise.
96 2014-05-09  Marek Polacek  <polacek@redhat.com>
98         PR c/61096
99         * c-parser.c (c_parser_braced_init): Pass brace_loc to push_init_level.
100         (c_parser_initelt): Pass location to set_init_label.  Pass array index
101         location to set_init_index.
102         * c-tree.h (push_init_level): Update declaration.
103         (pop_init_level): Likewise.
104         (set_init_index): Likewise.
105         (set_init_label): Likewise.
106         * c-typeck.c (error_init): Add location parameter.  Call error_at
107         instead of error.
108         (digest_init): Pass init_loc to error_init.
109         (really_start_incremental_init):
110         (push_init_level): Add location parameter.  Pass loc to pop_init_level
111         and error_init.
112         (pop_init_level): Likewise.
113         (set_designator): Add location parameter.  Pass loc to pop_init_level,
114         push_init_level, and error_init.
115         (set_init_index): Add location parameter.  Pass loc to error_init and
116         set_designator.
117         (set_init_label): Likewise.
118         (output_init_element): Pass loc to error_init.
119         (process_init_element): Pass loc to error_init, pop_init_level,
120         pedwarn_init, and push_init_level.
122 2014-05-09  Marek Polacek  <polacek@redhat.com>
124         PR c/50459
125         * c-parser.c (c_parser_attributes): Parse the arguments as an
126         expression-list if the attribute takes identifier.
128 2014-05-08  Marek Polacek  <polacek@redhat.com>
130         PR c/61053
131         * c-decl.c (grokdeclarator): Use min_align_of_type instead of
132         TYPE_ALIGN_UNIT.
134 2014-05-08  Marek Polacek  <polacek@redhat.com>
136         PR c/61077
137         * c-decl.c (start_function): Warn for _Atomic-qualified return type
138         of main.
140 2014-05-06  Kenneth Zadeck  <zadeck@naturalbridge.com>
141             Mike Stump  <mikestump@comcast.net>
142             Richard Sandiford  <rdsandiford@googlemail.com>
144         * c-decl.c (check_bitfield_type_and_width): Use TYPE_SIGN.
145         (finish_enum): Use wide-int interfaces.
146         * c-parser.c (c_parser_cilk_clause_vectorlength): Likewise.
147         * c-typeck.c (build_c_cast): Likewise.
148         (set_nonincremental_init_from_string): Likewise.
149         (c_tree_equal): Likewise.
151 2014-05-02  Marek Polacek  <polacek@redhat.com>
153         PR c/25801
154         * c-typeck.c (c_size_in_bytes): Update comment.  Don't call error.
155         Return size_one_node when the type is not complete.
156         (pointer_diff): Remove comment.
157         (build_unary_op): Improve error messages.
159 2014-05-02  Marek Polacek  <polacek@redhat.com>
161         * c-typeck.c (c_finish_return): Separate warning_at calls.
163 2014-05-02  Marek Polacek  <polacek@redhat.com>
165         * c-tree.h (error_init): Remove declaration.
166         (pedwarn_init): Likewise.
167         * c-typeck.c (error_init): Make static and move above.
168         (pedwarn_init): Likewise.
169         (warning_init): Move above.
170         (maybe_warn_string_init): Likewise.
172 2014-05-01  Jeff Law  <law@redhat.com>
174         Revert:
176         2014-04-24  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
177         * c-parser.c (c_parser_sizeof_expression): Reorganize slightly to
178         avoid goto.
180 2014-05-02  Marek Polacek  <polacek@redhat.com>
182         PR c/60784
183         * c-typeck.c (push_init_level): Set constructor_designated to
184         p->designated for structures.
186 2014-05-01  Marek Polacek  <polacek@redhat.com>
188         PR c/60915
189         * c-parser.c (c_parser_declaration_or_fndef): Give better error if
190         function-definition has an attribute after the declarator.
192 2014-05-01  Marek Polacek  <polacek@redhat.com>
194         PR c/60257
195         * c-typeck.c (warning_init): Add location_t parameter.  Call
196         warning_at instead of warning.
197         (push_init_level): Pass input_location to warning_init.
198         (add_pending_init): Add location_t parameter.  Pass loc to
199         warning_init.
200         (set_nonincremental_init): Pass input_location to add_pending_init.
201         (set_nonincremental_init_from_string): Likewise.
202         (output_init_element): Pass loc to warning_init and to
203         add_pending_init.
205 2014-05-01  Marek Polacek  <polacek@redhat.com>
207         PR c/43395
208         * c-typeck.c (c_finish_return): Distinguish between label and variable
209         when warning about returning local address.
211 2014-05-01  Marek Polacek  <polacek@redhat.com>
213         PR c/29467
214         * c-decl.c (declspecs_add_type): Pedwarn if boolean types are used
215         in C89 mode.
217 2014-05-01  Marek Polacek  <polacek@redhat.com>
219         PR c/43245
220         * c-typeck.c (convert_for_assignment): Pass OPT_Wdiscarded_qualifiers
221         instead of 0 to WARN_FOR_QUALIFIERS.
223 2014-05-01  Marek Polacek  <polacek@redhat.com>
225         PR c/56989
226         * c-typeck.c (default_conversion): Use better location for
227         error call.
229 2014-04-30  Marek Polacek  <polacek@redhat.com>
231         * c-typeck.c (build_binary_op): Call ubsan_instrument_division
232         also when SANITIZE_FLOAT_DIVIDE is on.
234 2014-04-30  Marek Polacek  <polacek@redhat.com>
236         PR c/60139
237         * c-typeck.c (output_init_element): Pass OPT_Wpedantic to pedwarn
238         and pedwarn_init.  Use loc insted of input_location.
240 2014-04-30  Marek Polacek  <polacek@redhat.com>
242         PR c/60351
243         * c-typeck.c (build_binary_op): Use location when warning about
244         shift count.
246 2014-04-25  Marek Polacek  <polacek@redhat.com>
248         PR c/18079
249         * c-decl.c (diagnose_mismatched_decls): Warn for mismatched
250         always_inline/noinline and hot/cold attributes.
252 2014-04-25  Marek Polacek  <polacek@redhat.com>
254         PR c/60114
255         * c-parser.c (c_parser_initelt): Pass input_location to
256         process_init_element.
257         (c_parser_initval): Pass loc to process_init_element.
258         * c-tree.h (process_init_element): Adjust declaration.
259         * c-typeck.c (push_init_level): Pass input_location to
260         process_init_element.
261         (pop_init_level): Likewise.
262         (set_designator): Likewise.
263         (output_init_element): Add location_t parameter.  Pass loc to
264         digest_init.
265         (output_pending_init_elements): Pass input_location to
266         output_init_element.
267         (process_init_element): Add location_t parameter.  Pass loc to
268         output_init_element.
270 2014-04-24  Jakub Jelinek  <jakub@redhat.com>
272         * c-parser.c (c_parser_omp_atomic): Allow seq_cst before
273         atomic-clause, allow comma in between atomic-clause and
274         seq_cst.
276 2014-04-22  Jakub Jelinek  <jakub@redhat.com>
278         PR c/59073
279         * c-parser.c (c_parser_omp_parallel): If c_parser_omp_for
280         fails, don't set OM_PARALLEL_COMBINED and return NULL.
282 2014-04-12  Igor Zamyatin  <igor.zamyatin@intel.com>
284         PR middle-end/60469
285         * c-array-notation.c (fix_builtin_array_notation_fn): Use
286         create_tmp_var instead build_decl for creating temps.
287         (build_array_notation_expr): Likewise.
288         (fix_conditional_array_notations_1): Likewise.
289         (fix_array_notation_expr): Likewise.
290         (fix_array_notation_call_expr): Likewise.
292 2014-03-28  Jakub Jelinek  <jakub@redhat.com>
294         PR c++/60689
295         * c-tree.h (c_build_function_call_vec): New prototype.
296         * c-typeck.c (build_function_call_vec): Don't call
297         resolve_overloaded_builtin here.
298         (c_build_function_call_vec): New wrapper function around
299         build_function_call_vec.  Call resolve_overloaded_builtin here.
300         (convert_lvalue_to_rvalue, build_function_call, build_atomic_assign):
301         Call c_build_function_call_vec instead of build_function_call_vec.
302         * c-parser.c (c_parser_postfix_expression_after_primary): Likewise.
303         * c-decl.c (finish_decl): Likewise.
305 2014-03-18  Manuel López-Ibáñez  <manu@gcc.gnu.org>
307         PR c/55383
308         * c-typeck.c: Use correct format string in cast-qual warning
310 2014-03-07  Thomas Schwinge  <thomas@codesourcery.com>
312         * c-decl.c (c_decl_attributes): Use
313         lang_hooks.types.omp_mappable_type.
314         * c-typeck.c (c_finish_omp_clauses): Likewise.
316 2014-03-06  Marek Polacek  <polacek@redhat.com>
318         PR c/60197
319         * c-typeck.c (c_finish_return): Call contains_cilk_spawn_stmt instead
320         of checking tree code.
322 2014-02-19  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
324         * c-parser.c (c_parser_declspecs): Replace call to error by error_at.
325         (c_parser_parameter_declaration): Likewise.
327 2014-02-19  Marek Polacek  <polacek@redhat.com>
329         PR c/60195
330         * c-typeck.c (convert_lvalue_to_rvalue): Set TREE_NO_WARNING on tmp.
331         Call mark_exp_read on exp.value.
332         (build_atomic_assign): Set TREE_NO_WARNING on val and old.  Set
333         TREE_ADDRESSABLE on old instead of val.
334         (emit_side_effect_warnings): Warn only if RHS has !TREE_NO_WARNING.
336 2014-02-07  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
338         * c-parser.c (c_parser_get_builtin_args): Replace calls to
339         C_EXPR_APPEND by vec_safe_push.
340         * c-tree.h (C_EXPR_APPEND): Remove.
342 2014-01-31  Marek Polacek  <polacek@redhat.com>
344         PR c/59963
345         * c-typeck.c (convert_lvalue_to_rvalue): Pass vNULL to
346         build_function_call_vec.
347         (build_function_call): Likewise.
348         (build_atomic_assign): Likewise.
349         (build_function_call_vec): Add arg_loc parameter.  Use it.
350         (convert_arguments): Likewise.
351         (convert_for_assignment): Rename rhs_loc to expr_loc.
352         * c-parser.c (c_parser_attributes): Pass NULL to c_parser_expr_list.
353         (c_parser_objc_keywordexpr): Likewise.
354         (c_parser_postfix_expression_after_primary): Call
355         build_function_call_vec with expr_loc rather than op_loc.
356         Call c_parser_expr_list to fill arg_loc.  Pass arg_loc to
357         build_function_call_vec.
358         (c_parser_expr_list): Add locations parameter.  Fill it with locations
359         of function arguments.
360         * c-decl.c (finish_decl): Pass vNULL to build_function_call_vec.
362 2014-01-30  Marek Polacek  <polacek@redhat.com>
364         PR c/59940
365         * c-typeck.c (build_function_call_vec): Use loc parameter.
366         (convert_arguments): Add location parameter.  Use it.
367         (ep_convert_and_check): Likewise.
368         (build_atomic_assign): Adjust convert_for_assignment call.
369         (build_modify_expr): Likewise.
370         (digest_init): Likewise.
371         (c_finish_return): Likewise.
372         (build_conditional_expr): Adjust ep_convert_and_check calls.
373         (convert_for_assignment): Add rhs_loc parameter.  Use it.
374         (build_binary_op): Adjust convert_and_check and ep_convert_and_check
375         calls.
377 2014-01-30  Richard Biener  <rguenther@suse.de>
379         PR c/59905
380         * c-typeck.c (build_function_call_vec): Do not replace calls
381         to a function via an incompatible type with a runtime abort.
383 2014-01-24  Balaji V. Iyer  <balaji.v.iyer@intel.com>
385         * c-parser.c (c_parser_declaration_or_fndef): Replaced
386         flag_enable_cilkplus with flag_cilkplus.
387         (c_parser_direct_declarator_inner): Likewise.
388         (c_parser_attribute_any_word): Likewise.
389         (c_parser_attributes): Likewise.
390         (c_parser_compound_statement): Likewise.
391         (c_parser_statement_after_labels): Likewise.
392         (c_parser_if_statement): Likewise.
393         (c_parser_switch_statement): Likewise.
394         (c_parser_do_statement): Likewise.
395         (c_parser_for_statement): Likewise.
396         (c_parser_unary_expression): Likewise.
397         (c_parser_postfix_expression): Likewise.
398         (c_parser_postfix_expression_after_primary): Likewise.
399         (c_parser_postfix_expression_after_primary): Likewise.
400         (c_parser_omp_clause_name): Likewise.
401         (c_finish_omp_declare_simd): Likewise.
402         (c_parser_cilk_verify_simd): Likewise.
403         * c-typeck.c (build_array_ref): Likewise.
404         (build_function_call_vec): Likewise.
405         (convert_arguments): Likewise.
406         (build_compound_expr): Likewise.
407         (c_finish_return): Likewise.
408         (c_finish_if_stmt): Likewise.
409         (c_finish_loop): Likewise.
410         (build_binary_op): Likewise.
412 2014-01-23  Marek Polacek  <polacek@redhat.com>
414         PR c/59846
415         * c-typeck.c (parser_build_binary_op): Use location instead of
416         input_location.
417         (build_binary_op): Pass location to shorten_compare.
419 2014-01-23  Marek Polacek  <polacek@redhat.com>
421         PR c/58346
422         * c-typeck.c (pointer_diff): Give an error on arithmetic on pointer to
423         an empty aggregate.
425 2014-01-23  Marek Polacek  <polacek@redhat.com>
427         PR c/59871
428         * c-typeck.c (build_compound_expr): Warn even for right-hand operand
429         of a comma expression.
430         (emit_side_effect_warnings): Likewise.
432 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
434         PR c/59825
435         * c-array-notation.c (expand_array_notation_exprs): Rewrote this
436         function to use walk_tree and moved a lot of its functionality to
437         expand_array_notations.
438         (expand_array_notations): New function.
440 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
442         * c-parser.c (c_finish_omp_declare_simd): Made "cilk simd function"
443         attribute an attribute without value.
445 2014-01-23  Jakub Jelinek  <jakub@redhat.com>
447         PR middle-end/58809
448         * c-typeck.c (c_finish_omp_clause): Reject MIN_EXPR, MAX_EXPR,
449         BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
451 2014-01-22  Marek Polacek  <polacek@redhat.com>
453         PR c/59891
454         * c-typeck.c (build_conditional_expr): Call c_fully_fold instead
455         of remove_c_maybe_const_expr on op1 and op2.
457 2014-01-15  Jakub Jelinek  <jakub@redhat.com>
459         PR c/58943
460         * c-typeck.c (build_modify_expr): For lhs op= rhs, if rhs has side
461         effects, preevaluate rhs using SAVE_EXPR first.
463 2014-01-09  Balaji V. Iyer  <balaji.v.iyer@intel.com>
465         PR c++/59631
466         * c-parser.c (c_parser_postfix_expression): Replaced consecutive if
467         statements with if-elseif statements.
469 2014-01-06  Marek Polacek  <polacek@redhat.com>
471         PR c/57773
472         * c-decl.c (check_bitfield_type_and_width): Warn for implementation
473         defined bit-field types only in ISO C.
475 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
477         Update copyright years
479 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
481         * c-array-notation.c: Use the standard form for the copyright notice.
483 2013-12-18  Balaji V. Iyer  <balaji.v.iyer@intel.com>
485         * c-parser.c (struct c_parser::cilk_simd_fn_tokens): Added new field.
486         (c_parser_declaration_or_fndef): Added a check if cilk_simd_fn_tokens
487         field in parser is not empty.  If not-empty, call the function
488         c_parser_finish_omp_declare_simd.
489         (c_parser_cilk_clause_vectorlength): Modified function to be shared
490         between SIMD-enabled functions and #pragma simd.  Added new parameter.
491         (c_parser_cilk_all_clauses): Modified the usage of the function
492         c_parser_cilk_clause_vectorlength as mentioned above.
493         (c_parser_cilk_simd_fn_vector_attrs): New function.
494         (c_finish_cilk_simd_fn_tokens): Likewise.
495         (is_cilkplus_vector_p): Likewise.
496         (c_parser_omp_clause_name): Added checking for "vectorlength,"
497         "nomask," and "mask" strings in clause name.
498         (c_parser_omp_all_clauses): Added 3 new case statements:
499         PRAGMA_CILK_CLAUSE_VECTORLENGTH, PRAGMA_CILK_CLAUSE_MASK and
500         PRAGMA_CILK_CLAUSE_NOMASK.
501         (c_parser_attributes): Added a cilk_simd_fn_tokens parameter.  Added a
502         check for vector attribute and if so call the function
503         c_parser_cilk_simd_fn_vector_attrs.  Also, when Cilk plus is enabled,
504         called the function c_finish_cilk_simd_fn_tokens.
505         (c_finish_omp_declare_simd): Added a check if cilk_simd_fn_tokens in
506         parser field is non-empty.  If so, parse them as you would parse
507         the omp declare simd pragma.
508         (c_parser_omp_clause_linear): Added a new bool parm. is_cilk_simd_fn.
509         Added a check when step is a parameter and flag it as error.
510         (CILK_SIMD_FN_CLAUSE_MASK): New #define.
511         (c_parser_cilk_clause_name): Changed pragma_cilk_clause to
512         pragma_omp_clause.
514 2013-12-17  Thomas Schwinge  <thomas@codesourcery.com>
516         * c-parser.c (c_parser_omp_parallel): Fix description.
518 2013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
520         * c-objc-common.h (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Remove.
521         (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
522         (LANG_HOOKS_CILKPLUS_CILKPLUS_GIMPLIFY_SPAWN): Likewise.
523         * c-typeck.c (cilk_install_body_with_frame_cleanup): New function.
525 2013-12-04  Joseph Myers  <joseph@codesourcery.com>
527         PR c/52023
528         * c-parser.c (c_parser_alignas_specifier): Use
529         c_sizeof_or_alignof_type instead of c_alignof.
530         (c_parser_alignof_expression): Likewise, with min_alignof
531         parameter depending on alignof spelling used.
533 2013-12-04  Marek Polacek  <polacek@redhat.com>
535         PR c/54113
536         * c-decl.c (start_function): Don't warn for missing prototype for
537         inline functions.
539 2013-12-03  Marek Polacek  <polacek@redhat.com>
541         PR c/59351
542         * c-decl.c (build_compound_literal): Allow compound literals with
543         empty initial value.
545 2013-12-02  Joseph Myers  <joseph@codesourcery.com>
547         PR c/58235
548         * c-typeck.c (build_modify_expr): Diagnose assignment to
549         expression with array type.
551 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
553         PR c/42262
554         * c-typeck.c (process_init_element): Do not treat a string as
555         initializing a whole array when used with a designator for an
556         individual element.
558 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
560         PR c/57574
561         * c-decl.c (merge_decls): Clear DECL_EXTERNAL for a definition of
562         an inline function following a static declaration.
564 2013-11-28  Jakub Jelinek  <jakub@redhat.com>
566         PR c/59310
567         * c-parser.c (c_parser_omp_target): Copy "#pragma omp target"
568         to p_name before calling c_parser_omp_teams instead of after.
569         (c_parser_cilk_simd): Remove wrong ATTRIBUTE_UNUSED from parser
570         argument.  Remove unused p_name variable.
572 2013-11-27  Aldy Hernandez  <aldyh@redhat.com>
573             Jakub Jelinek  <jakub@redhat.com>
575         * c-decl.c (c_builtin_function_ext_scope): Avoid binding if
576         external_scope is NULL.
578 2013-11-27  Tom de Vries  <tom@codesourcery.com>
579             Marc Glisse  <marc.glisse@inria.fr>
581         PR c++/59032
582         * c-typeck.c (build_unary_op): Allow vector increment and decrement.
584 2013-11-22  Andrew MacLeod  <amacleod@redhat.com>
586         * c-typeck.c: Add required include files from gimple.h.
588 2013-11-22  David Malcolm  <dmalcolm@redhat.com>
590         * c-decl.c (define_label, shadow_tag_warned)
591         (check_bitfield_type_and_width, grokdeclarator, grokparms,
592         store_parm_decls_newstyle, store_parm_decls_oldstyle)
593         (declspecs_add_type): Remove use of in_system_header macro.
594         * c-parser.c (c_parser_unary_expression): Likewise.
595         * c-typeck.c (store_init_value, process_init_element)
596         (c_start_case): Likewise.
598         * c-decl.c (build_enumerator): Remove use of EXPR_LOC_OR_HERE
599         macro.
601         * c-parser.c (c_parser_set_source_position_from_token): Remove
602         reference to in_system_header from comment.
604 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
606         * c-decl.c (grokdeclarator): Update comment to refer to
607         tree_to_[su]hwi rather than tree_low_cst.
609 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
611         * c-decl.c, c-typeck.c: Replace tree_low_cst (..., 1) with
612         tree_to_uhwi throughout.
614 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
616         * c-parser.c: Replace tree_low_cst (..., 0) with tree_to_shwi
617         throughout.
619 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
621         * c-parser.c: Replace host_integerp (..., 0) with tree_fits_shwi_p
622         throughout.
624 2013-11-15  Aldy Hernandez  <aldyh@redhat.com>
626         * c-parser.c (c_parser_cilk_simd): New.
627         (c_parser_cilk_verify_simd): New.
628         (c_parser_pragma): Add case for PRAGMA_CILK_SIMD.
629         (c_parser_omp_for_loop): Add case for NE_EXPR.
630         Set c_break_label for CILK_SIMD.
631         (c_parser_cilk_clause_vectorlength): New.
632         (c_parser_cilk_clause_linear): New.
633         (c_parser_cilk_clause_name): New.
634         (c_parser_cilk_all_clauses): New.
635         * c-typeck.c (build_unary_op): Pass location argument to
636         readonly_error.
637         (build_modify_expr): Same.
638         (build_asm_expr): Same.
639         (c_finish_bc_stmt): Error on break/continue in loops.
641 2013-11-14  Andrew MacLeod  <amacleod@redhat.com>
643         * c-typeck.c: Include only gimplify.h and gimple.h as needed.
645 2013-11-14  Diego Novillo  <dnovillo@google.com>
647         * c-decl.c: Include print-tree.h.
648         Include stor-layout.h.
649         Include varasm.h.
650         Include attribs.h.
651         Include stringpool.h.
652         * c-lang.c: Include fold-const.h.
653         * c-parser.c: Include stringpool.h.
654         Include attribs.h.
655         Include stor-layout.h.
656         Include varasm.h.
657         Include trans-mem.h.
658         * c-typeck.c: Include stor-layout.h.
659         Include trans-mem.h.
660         Include varasm.h.
661         Include stmt.h.
663 2013-11-13  Joseph Myers  <joseph@codesourcery.com>
665         * c-tree.h (c_typespec_keyword): Add cts_auto_type.
666         * c-decl.c (declspecs_add_type, finish_declspecs): Handle
667         __auto_type.
668         * c-parser.c (c_token_starts_typename, c_token_starts_declspecs)
669         (c_parser_attribute_any_word, c_parser_objc_selector): Handle
670         RID_AUTO_TYPE.
671         (c_parser_declspecs): Take argument AUTO_TYPE_OK.
672         (c_parser_declaration_or_fndef, c_parser_struct_declaration)
673         (c_parser_declarator, c_parser_direct_declarator_inner)
674         (c_parser_parameter_declaration, c_parser_type_name): All callers
675         changed.
676         (c_parser_declaration_or_fndef): Handle declarations with type
677         determined from the initializer.
679 2013-11-12  Andrew MacLeod  <amacleod@redhat.com>
681         * c-typeck.c: Include gimplify.h.
683 2013-11-12  Joseph Myers  <joseph@codesourcery.com>
685         * c-tree.h (struct c_declspecs): Add thread_gnu_p field.
686         * c-parser.c (c_parser_declspecs): Mention _Thread_local in
687         comment.
688         * c-decl.c (shadow_tag_warned, grokdeclarator): Mention __thread
689         or _Thread_local as appropriate in diagnostics.
690         (build_null_declspecs): Initialize ret->thread_gnu_p.
691         (declspecs_add_scspec): Handle either __thread or _Thread_local
692         for RID_THREAD.  Diagnose _Thread_local for pre-C11 standards if
693         pedantic.  Do not disallow _Thread_local extern and _Thread_local
694         static.
696 2013-11-07  Joseph Myers  <joseph@codesourcery.com>
697             Andrew MacLeod  <amacleod@redhat.com>
699         * c-aux-info.c (gen_type): Handle atomic qualifier.
700         * c-decl.c (validate_proto_after_old_defn): Do not remove atomic
701         qualifiers when compating types.
702         (shadow_tag_warned): Handle atomic_p in declspecs.
703         (quals_from_declspecs): Likewise.
704         (start_decl): Use c_type_promotes_to when promoting argument
705         types.
706         (grokdeclarator): Handle _Atomic.
707         (get_parm_info): Diagnose any qualifier on "void" as only
708         parameter.
709         (store_parm_decls_oldstyle): Do not remove atomic qualifiers when
710         comparing types.  Use c_type_promotes_to when promoting argument
711         types.
712         (finish_function): Use c_type_promotes_to when promoting argument
713         types.
714         (build_null_declspecs): Handle atomic_p in declspecs.
715         (declspecs_add_qual): Handle RID_ATOMIC.
716         * c-parser.c (c_token_starts_typename, c_token_is_qualifier)
717         (c_token_starts_declspecs): Handle RID_ATOMIC.
718         (c_parser_declspecs): Handle atomic type specifiers and
719         qualifiers.
720         (c_parser_typeof_specifier): Remove const and _Atomic qualifiers
721         from types of expressions with atomic type.
722         (c_parser_direct_declarator_inner): Use convert_lvalue_to_rvalue.
723         (c_parser_attribute_any_word): Handle RID_ATOMIC.
724         (c_parser_initializer, c_parser_initelt, c_parser_initval)
725         (c_parser_statement_after_labels, c_parser_switch_statement)
726         (c_parser_for_statement, c_parser_expr_no_commas)
727         (c_parser_conditional_expression, c_parser_binary_expression)
728         (c_parser_cast_expression, c_parser_unary_expression)
729         (c_parser_postfix_expression)
730         (c_parser_postfix_expression_after_primary, c_parser_expression):
731         Use convert_lvalue_to_rvalue.
732         (c_parser_expression_conv, c_parser_expr_list): Document
733         conversion of lvalues to rvalues.  Use convert_lvalue_to_rvalue.
734         (c_parser_objc_synchronized_statement): Use
735         convert_lvalue_to_rvalue.
736         (c_parser_objc_selector): Handle RID_ATOMIC.
737         (c_parser_objc_receiver, c_parser_array_notation): Use
738         convert_lvalue_to_rvalue.
739         * c-tree.h (ctsk_typeof): Adjust comment to mention use for
740         _Atomic (type-name).
741         (struct c_declspecs): Add atomic_p field.
742         (convert_lvalue_to_rvalue): Declare.
743         * c-typeck.c (c_type_promotes_to): Promote atomic types to
744         corresponding atomic types.
745         (qualify_type): Don't add _Atomic qualifiers from second argument.
746         (comp_target_types): Do not allow _Atomic mismatches.
747         (type_lists_compatible_p): Do not remove atomic qualifiers when
748         comparing types.
749         (really_atomic_lvalue, convert_lvalue_to_rvalue)
750         (build_atomic_assign): New functions.
751         (build_unary_op): Use build_atomic_assign for atomic increment and
752         decrement.
753         (build_conditional_expr): Do not treat _Atomic void as a qualified
754         version of void.
755         (build_modify_expr): Use build_atomic_assign for atomic LHS.
756         (find_anonymous_field_with_type, convert_to_anonymous_field)
757         (convert_for_assignment): Do not remove atomic qualifiers when
758         comparing types.
759         (digest_init): Do not accept initialization of arrays of atomic
760         elements by string constants.
761         (build_asm_expr): Use convert_lvalue_to_rvalue.
762         (build_binary_op): Do not treat _Atomic void as a qualified
763         version of void.
765 2013-11-06  DJ Delorie  <dj@redhat.com>
767         * c-decl.c (locate_old_decl): If a previous conflicting decl is
768         both explicit and builtin, print the location of the explicit one.
770 2013-11-05  Tobias Burnus  <burnus@net-b.de>
772         * c-parser.c (c_parser_omp_for, c_parser_omp_parallel,
773         c_parser_omp_distribute, c_parser_omp_teams,
774         c_parser_omp_target, c_parser_omp_declare): Handle
775         -fopenmp-simd.
777 2013-11-03  Marek Polacek  <polacek@redhat.com>
779         * c-decl.c (grokdeclarator): Add VLA instrumentation.
781 2013-11-01  Jakub Jelinek  <jakub@redhat.com>
783         * c-typeck.c (c_finish_omp_clauses) <case OMP_CLAUSE_UNIFORM>: Go to
784         check_dup_generic at the end, unless remove is true.
785         (c_finish_omp_clauses) <case OMP_CLAUSE_REDUCTION>: Add break; after
786         remove = true;.
787         (c_finish_omp_clauses) <case OMP_CLAUSE_COPYIN>: Likewise.
789 2013-10-31  Jakub Jelinek  <jakub@redhat.com>
791         * c-typeck.c (c_finish_omp_clauses): Diagnose aligned clause
792         with decl that is not pointer nor array.
794 2013-10-29  Balaji V. Iyer  <balaji.v.iyer@intel.com>
796         * c-decl.c (finish_function): Added a call for insert_cilk_frame when
797         a spawning function is found.
798         * c-objc-common.h (LANG_HOOKS_CILKPLUS_GIMPLIFY_SPAWN): New #define.
799         (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Likewise.
800         (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
801         * c-parser.c (c_parser_statement_after_labels): Added RID_CILK_SYNC
802         case.
803         (c_parser_postfix_expression): Added RID_CILK_SPAWN case.
804         * c-typeck.c (build_compound_expr): Reject _Cilk_spawn in a comma
805         expr.
806         (c_finish_return): Added a check to reject _Cilk_spawn in return
807         expression.
808         (build_cilk_spawn): New function.
809         (build_cilk_sync): Likewise.
810         * Makefile.in (c-decl.o): Added cilk.h in dependency list.
811         
812 2013-10-27  Tobias Burnus  <burnus@net-b.de>
814         PR other/33426
815         * c-parser.c (c_parser_while_statement, c_parser_while_statement,
816         c_parser_pragma): Add GCC ivdep support to 'do' and 'while'.
817         (c_parser_statement_after_labels): Update calls.
819 2013-10-24  Tobias Burnus  <burnus@net-b.de>
821         PR other/33426
822         * c-parser.c (c_parser_pragma, c_parser_for_statement):
823         Handle PRAGMA_IVDEP.
824         (c_parser_statement_after_labels): Update call.
826 2013-10-24  Marek Polacek  <polacek@redhat.com>
828         * c-parser.c (c_parser_struct_declaration): Add a comment.
829         (c_parser_declarator): Don't allow _Alignas here.
831 2013-10-17  Andrew MacLeod  <amacleod@redhat.com>
833         * c-parser.c: Include omp-low.h.
834         * c-typeck.c: Likewise.
836 2013-10-17  Marek Polacek  <polacek@redhat.com>
838         PR c/58267
839         * c-parser.c (c_parser_declspecs): Add alignspec_ok parameter.
840         Document syntax of the array-declarator.
841         (c_parser_declspecs) <RID_ALIGNAS>: Bail out if alignment specs
842         are not permitted.
843         (c_parser_declaration_or_fndef): Adjust c_parser_declspecs call.
844         (c_parser_struct_declaration): Likewise.
845         (c_parser_declarator): Likewise.
846         (c_parser_direct_declarator_inner): Likewise.
847         (c_parser_parameter_declaration): Likewise.
848         (c_parser_type_name): Likewise.
850 2013-10-11  Jakub Jelinek  <jakub@redhat.com>
852         * c-lang.h (current_omp_declare_target_attribute): New extern
853         decl.
854         * c-parser.c: Include c-lang.h.
855         (struct c_parser): Change tokens to c_token *.
856         Add tokens_buf field.  Change tokens_avail type to unsigned int.
857         (c_parser_consume_token): If parser->tokens isn't
858         &parser->tokens_buf[0], increment parser->tokens.
859         (c_parser_consume_pragma): Likewise.
860         (enum pragma_context): Add pragma_struct and pragma_param.
861         (c_parser_external_declaration): Adjust
862         c_parser_declaration_or_fndef caller.
863         (c_parser_declaration_or_fndef): Add omp_declare_simd_clauses
864         argument, if it is non-vNULL vector, call c_finish_omp_declare_simd.
865         Adjust recursive call.
866         (c_parser_struct_or_union_specifier): Use pragma_struct instead
867         of pragma_external.
868         (c_parser_parameter_declaration): Use pragma_param instead of
869         pragma_external.
870         (c_parser_compound_statement_nostart, c_parser_label,
871         c_parser_for_statement): Adjust
872         c_parser_declaration_or_fndef callers.
873         (c_parser_expr_no_commas): Add omp_atomic_lhs argument, pass
874         it through to c_parser_conditional_expression.
875         (c_parser_conditional_expression): Add omp_atomic_lhs argument,
876         pass it through to c_parser_binary_expression.  Adjust recursive
877         call.
878         (c_parser_binary_expression): Remove prec argument, add
879         omp_atomic_lhs argument instead.  Always start from PREC_NONE, if
880         omp_atomic_lhs is non-NULL and one of the arguments of toplevel
881         binop matches it, use build2 instead of parser_build_binary_op.
882         (c_parser_pragma): Handle PRAGMA_OMP_CANCEL,
883         PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_TARGET,
884         PRAGMA_OMP_END_DECLARE_TARGET, PRAGMA_OMP_DECLARE_REDUCTION.
885         Handle pragma_struct and pragma_param the same as pragma_external.
886         (c_parser_omp_clause_name): Parse new OpenMP 4.0 clause names.
887         (c_parser_omp_variable_list): Parse array sections for
888         OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses.
889         (c_parser_omp_clause_collapse): Fully fold collapse expression.
890         (c_parser_omp_clause_reduction): Handle user defined reductions.
891         (c_parser_omp_clause_branch, c_parser_omp_clause_cancelkind,
892         c_parser_omp_clause_num_teams, c_parser_omp_clause_thread_limit,
893         c_parser_omp_clause_aligned, c_parser_omp_clause_linear,
894         c_parser_omp_clause_safelen, c_parser_omp_clause_simdlen,
895         c_parser_omp_clause_depend, c_parser_omp_clause_map,
896         c_parser_omp_clause_device, c_parser_omp_clause_dist_schedule,
897         c_parser_omp_clause_proc_bind, c_parser_omp_clause_to,
898         c_parser_omp_clause_from, c_parser_omp_clause_uniform): New functions.
899         (c_parser_omp_all_clauses): Add finish_p argument.  Don't call
900         c_finish_omp_clauses if it is false.  Handle new OpenMP 4.0 clauses.
901         (c_parser_omp_atomic): Parse seq_cst clause, pass true if it is
902         present to c_finish_omp_atomic.  Handle OpenMP 4.0 atomic forms.
903         (c_parser_omp_for_loop): Add CODE argument, pass it through
904         to c_finish_omp_for.  Change last argument to cclauses,
905         and adjust uses to grab parallel clauses from the array of all
906         the split clauses.  Adjust c_parser_binary_expression,
907         c_parser_declaration_or_fndef and c_finish_omp_for callers.
908         (omp_split_clauses): New function.
909         (c_parser_omp_simd): New function.
910         (c_parser_omp_for): Add p_name, mask and cclauses arguments.
911         Allow the function to be called also when parsing combined constructs,
912         and call c_parser_omp_simd when parsing for simd.
913         (c_parser_omp_sections_scope): If section-sequence doesn't start with
914         #pragma omp section, require exactly one structured-block instead of
915         sequence of statements.
916         (c_parser_omp_sections): Add p_name, mask and cclauses arguments.
917         Allow the function to be called also when parsing combined constructs.
918         (c_parser_omp_parallel): Add p_name, mask and cclauses arguments.
919         Allow the function to be called also when parsing combined
920         constructs.
921         (c_parser_omp_taskgroup, c_parser_omp_cancel,
922         c_parser_omp_cancellation_point, c_parser_omp_distribute,
923         c_parser_omp_teams, c_parser_omp_target_data,
924         c_parser_omp_target_update, c_parser_omp_target,
925         c_parser_omp_declare_simd, c_finish_omp_declare_simd,
926         c_parser_omp_declare_target, c_parser_omp_end_declare_target,
927         c_parser_omp_declare_reduction, c_parser_omp_declare): New functions.
928         (c_parser_omp_construct): Add p_name and mask vars.  Handle
929         PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
930         PRAGMA_OMP_TEAMS.  Adjust c_parser_omp_for, c_parser_omp_parallel
931         and c_parser_omp_sections callers.
932         (c_parse_file): Initialize tparser.tokens and the_parser->tokens here.
933         (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
934         OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.
935         (OMP_PARALLEL_CLAUSE_MASK): Likewise.  Add OMP_CLAUSE_PROC_BIND.
936         (OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.  Add
937         OMP_CLAUSE_DEPEND.
938         (OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK,
939         OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK,
940         OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK,
941         OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK,
942         OMP_DECLARE_SIMD_CLAUSE_MASK): Define.
943         * c-typeck.c: Include tree-inline.h.
944         (c_finish_omp_cancel, c_finish_omp_cancellation_point,
945         handle_omp_array_sections_1, handle_omp_array_sections,
946         c_clone_omp_udr, c_find_omp_placeholder_r): New functions.
947         (c_finish_omp_clauses): Handle new OpenMP 4.0 clauses and
948         user defined reductions.
949         (c_tree_equal): New function.
950         * c-tree.h (temp_store_parm_decls, temp_pop_parm_decls,
951         c_finish_omp_cancel, c_finish_omp_cancellation_point, c_tree_equal,
952         c_omp_reduction_id, c_omp_reduction_decl, c_omp_reduction_lookup,
953         c_check_omp_declare_reduction_r): New prototypes.
954         * c-decl.c (current_omp_declare_target_attribute): New variable.
955         (c_decl_attributes): New function.
956         (start_decl, start_function): Use it instead of decl_attributes.
957         (temp_store_parm_decls, temp_pop_parm_decls, c_omp_reduction_id,
958         c_omp_reduction_decl, c_omp_reduction_lookup,
959         c_check_omp_declare_reduction_r): New functions.
961 2013-09-25  Tom Tromey  <tromey@redhat.com>
963         * Make-lang.in (c/gccspec.o): Remove.
964         (CFLAGS-c/gccspec.o): New variable.
965         (cc1-checksum.o, C_TREE_H, c/c-aux-info.o, c/c-convert.o)
966         (c/c-decl.o, c/c-errors.o, c/c-lang.o, c/c-objc-common.o)
967         (c/c-parser.o, c/c-typeck.o, c/c-array-notation.o): Remove.
969 2013-09-25  Tom Tromey  <tromey@redhat.com>
971         * Make-lang.in (c/gccspec.o): Don't use subshell.
973 2013-09-18  Marek Polacek  <polacek@redhat.com>
975         PR sanitize/58443
976         * c-typeck.c (build_binary_op): Properly honor -fsanitize options.
977         Remove unnecessary check.
979 2013-09-18  Marek Polacek  <polacek@redhat.com>
981         PR sanitizer/58411
982         * c-typeck.c (build_binary_op): Don't sanitize function if it has the
983         no_sanitize_undefined attribute.
985 2013-09-13  Kai Tietz  <ktietz@redhat.com>
987         PR target/57848
988         * c-decl.c (c_builtin_function_ext_scope): Remove
989         wrong assumption that it is never called on prexisting
990         symbol.
992 2013-09-08  Joern Rennecke  <joern.rennecke@embecosm.com>
994         * c-typeck.c (build_binary_op): Use vector_types_compatible_elements_p.
996 2013-09-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
998         * c-objc-common.c (c_tree_printer): Tidy.
1000 2013-08-30  Marek Polacek  <polacek@redhat.com>
1002         * c-typeck.c (build_binary_op): Add division by zero and shift
1003         instrumentation.
1005 2013-08-26  Joern Rennecke  <joern.rennecke@embecosm.com>
1006             Joseph Myers  <joseph@codesourcery.com>
1008         PR c/35649
1009         * c-typeck.c (c_common_type): Prefer double_type_node over
1010         other REAL_TYPE types with the same precision.
1011         (convert_arguments): Likewise.
1013 2013-08-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1015         * c-objc-common.c (c_tree_printer): Document the nature of the cast.
1016         (c_initialize_diagnostics): Call a destructor for the early printer.
1018 2013-08-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1020         * c-objc-common.c (c_initialize_diagnostics): Simplify C pretty
1021         printer initialization.
1023 2013-08-19  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1025         PR c/57490
1026         * c-array-notation.c (fix_conditional_array_notations_1): Added a
1027         check for truth values.
1028         (expand_array_notation_exprs): Added truth values case.  Removed an
1029         unwanted else.  Added for-loop to walk through subtrees in default
1030         case.
1032 2013-08-04  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1034         * c-objc-common.c (c_initialize_diagnostics): Don't call pp_base.
1036 2013-07-23  Joseph Myers  <joseph@codesourcery.com>
1038         * c-parser.c (struct c_generic_association): Fix typo.
1040 2013-07-23  Tom Tromey  <tromey@redhat.com>
1041             Joseph Myers  <joseph@codesourcery.com>
1043         * c-parser.c (struct c_generic_association): New.
1044         (c_generic_association_d): New typedef.
1045         (c_parser_generic_selection): New function.
1046         (c_parser_postfix_expression): Handle RID_GENERIC.
1048 2013-07-13  Jason Merrill  <jason@redhat.com>
1050         PR c++/57793
1051         * c-decl.c (finish_struct): Check for too-large class.
1053 2013-07-04  Joern Rennecke  <joern.rennecke@embecosm.com>
1055         PR c/57821
1056         * c-typeck.c (set_init_index): When folding, check for index overflow.
1058 2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1060         * c-parser.c (c_parser_array_notation): Removed rejection of array
1061         notations in an array of function pointers.
1063 2013-06-21  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1065         * c-array-notation.c (make_triplet_val_inv): New function.
1066         (create_cmp_incr): Likewise.
1067         (create_array_refs): Likewise.
1068         (fix_builtin_array_notation_fn): Replaced all mallocs with tree vec.
1069         Also modularized common parts between functions and called the function.
1070         (build_array_notation_expr): Likewise.
1071         (fix_conditional_array_notations_1): Likewise.
1072         (fix_array_notation_expr): Likewise.
1073         (fix_array_notation_call_expr): Likewise.
1075 2013-06-18  Marek Polacek  <polacek@redhat.com>
1077         PR c/57630
1078         * c-decl.c (check_for_loop_decls): Improve diagnostics messages.
1080 2013-06-12  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1082         * c-array-notation.c (build_array_notation_expr): Reject array notation
1083         mismatch between LHS and RHS even inside a call_expr.  Also, removed
1084         a couple while statements that were dead code.
1086 2013-06-10  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1088         * c-array-notation.c (fix_builtin_array_notation_fn): Fully folded
1089         excessive precision expressions in function parameters.  Also removed
1090         couple unwanted while statements.
1092 2013-06-07  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1094         * c-array-notation.c (expand_array_notation_exprs): Added
1095         ARRAY_NOTATION_REF case.
1096         
1097 2013-06-07  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1099         * c-array-notation.c (length_mismatch_in_expr_p): Moved this
1100         function to c-family/array-notation-common.c.
1101         (is_cilkplus_reduce_builtin): Likewise.
1102         (find_rank): Likewise.
1103         (extract_array_notation_exprs): Likewise.
1104         (replace_array_notations): Likewise.
1105         (find_inv_trees): Likewise.
1106         (replace_inv_trees): Likewise.
1107         (contains_array_notation_expr): Likewise.
1108         (find_correct_array_notation_type): Likewise.
1109         (replace_invariant_exprs): Initialized additional_tcodes to NULL.
1110         (struct inv_list): Moved this to c-family/array-notation-common.c.
1111         * c-tree.h (is_cilkplus_builtin_reduce): Remove prototype.
1112         
1113 2013-06-05  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1115         * c-typeck.c (convert_arguments): Moved checking of builtin cilkplus
1116         reduction functions outside the for-loop.  Added a check if the fundecl
1117         is non-NULL.  Finally, removed an unwanted if-statement, and made the
1118         body unconditional.
1120 2013-06-03  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1122         * c-typeck.c (c_finish_if_stmt): Added a check to see if the rank of the
1123         condition of the if-statement matches the rank of else-block and then-
1124         block when array notations are used.
1125         * c-parser.c (c_parser_declaration_or_fndef): Expanded array notation
1126         expression after the entire function body is parsed.
1127         (c_parser_expr_no_commas): Delayed creating array notation expressions
1128         to the end of function parsing.
1129         * c-array-notation.c (fix_conditional_array_notations_1): Expanded the
1130         whole if-statement instead of just the condition.
1131         (expand_array_notation_exprs): Added MODIFY_EXPR case.  
1133 2013-06-03  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1135         PR c/57474
1136         * c-array-notation.c (build_array_notation_expr): Initialized rhs_length
1137         array to NULL_TREE if they are unused.  Also added a check for the
1138         field to be NULL before its fields are used in future.
1139         
1140 2013-05-29  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1142         PR bootstrap/57450
1143         * c-array-notation.c (length_mismatch_in_expr_p): Use absu_hwi.
1144         (build_array_notation_expr): Likewise.
1146 2013-05-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1148         * c-typeck.c (build_array_ref): Added a check to see if array's
1149         index is greater than one.  If true, then emit an error.
1150         (build_function_call_vec): Exclude error reporting and checking
1151         for builtin array-notation functions.
1152         (convert_arguments): Likewise.
1153         (c_finish_return): Added a check for array notations as a return
1154         expression.  If true, then emit an error.
1155         (c_finish_loop): Added a check for array notations in a loop
1156         condition.  If true then emit an error.
1157         (lvalue_p): Added a ARRAY_NOTATION_REF case.
1158         (build_binary_op): Added a check for array notation expr inside
1159         op1 and op0.  If present, we call another function to find correct
1160         type.
1161         * Make-lang.in (C_AND_OBJC_OBJS): Added c-array-notation.o.
1162         * c-parser.c (c_parser_compound_statement): Check if array
1163         notation code is used in tree, if so, then transform them into
1164         appropriate C code.
1165         (c_parser_expr_no_commas): Check if array notation is used in LHS
1166         or RHS, if so, then build array notation expression instead of
1167         regular modify.
1168         (c_parser_postfix_expression_after_primary): Added a check for
1169         colon(s) after square braces, if so then handle it like an array
1170         notation.  Also, break up array notations in unary op if found.
1171         (c_parser_direct_declarator_inner): Added a check for array
1172         notation.
1173         (c_parser_compound_statement): Added a check for array notation in
1174         a stmt.  If one is present, then expand array notation expr.
1175         (c_parser_if_statement): Likewise.
1176         (c_parser_switch_statement): Added a check for array notations in
1177         a switch statement's condition.  If true, then output an error.
1178         (c_parser_while_statement): Similarly, but for a while.
1179         (c_parser_do_statement): Similarly, but for a do-while.
1180         (c_parser_for_statement): Similarly, but for a for-loop.
1181         (c_parser_unary_expression): Check if array notation is used in a
1182         pre-increment or pre-decrement expression.  If true, then expand
1183         them.
1184         (c_parser_array_notation): New function.
1185         * c-array-notation.c: New file.
1186         * c-tree.h (is_cilkplus_reduce_builtin): Protoize.
1187         
1188 2013-05-23  Mike Stump  <mikestump@comcast.net>
1190         * c-typeck.c (convert_for_assignment): Handle references to memory
1191         spaces better.
1193 2013-05-16  Jason Merrill  <jason@redhat.com>
1195         * Make-lang.in (cc1$(exeext)): Use link mutex.
1197 2013-04-24  Paolo Carlini  <paolo.carlini@oracle.com>
1199         * c-typeck.c (pointer_diff): Change -Wpointer-arith pedwarns
1200         to simply use OPT_Wpointer_arith.
1201         (build_unary_op): Likewise.
1203 2013-04-03  Jakub Jelinek  <jakub@redhat.com>
1205         PR c/19449
1206         * c-parser.c (c_parser_get_builtin_args): Add choose_expr_p
1207         argument.  If set, or it temporarily for parsing of the first
1208         argument into force_folding_builtin_constant_p.
1209         (c_parser_postfix_expression): Adjust callers.
1211 2013-03-21  Richard Biener  <rguenther@suse.de>
1213         * c-objc-common.c (c_tree_printer): Use DECL_HAS_DEBUG_EXPR_P
1214         instead of DECL_DEBUG_EXPR_IS_FROM.  Guard properly.
1216 2013-02-12  Marek Polacek  <polacek@redhat.com>
1218         PR c/44938
1219         * c-parser.c (c_parser_postfix_expression_after_primary): Initialize
1220         origtypes to NULL.
1222 2013-01-24  Jakub Jelinek  <jakub@redhat.com>
1224         PR c/56078
1225         * c-typeck.c (set_nonincremental_init_from_string): If
1226         constructor_max_index is NULL, treat it as if tree_int_cst_lt
1227         returned false.
1228         (process_init_element): Likewise.
1230 2012-12-20  Jakub Jelinek  <jakub@redhat.com>
1232         PR c++/55619
1233         * c-parser.c (c_parser_asm_operands): Remove CONVERT_P
1234         argument, don't call default_function_array_conversion
1235         nor c_fully_fold here.
1236         (c_parser_asm_statement): Adjust callers.
1237         * c-typeck.c (build_asm_expr): Call c_fully_fold on inputs
1238         and outputs here, and call default_function_array_conversion
1239         on inputs that don't need to be addressable.
1241 2012-12-18  Jakub Jelinek  <jakub@redhat.com>
1243         PR c/39464
1244         * c-typeck.c (convert_for_assignment): For -Wpointer-sign
1245         warning require that both c_common_unsigned_type as well as
1246         c_common_signed_type is the same for both mvl and mvr types.
1248 2012-11-16  Diego Novillo  <dnovillo@google.com>
1250         Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec)
1252         * c-common.c: Use new vec API in vec.h.
1253         * c-common.h: Likewise.
1254         * c-gimplify.c: Likewise.
1255         * c-pragma.c: Likewise.
1256         * c-pretty-print.c: Likewise.
1257         * c-pretty-print.h: Likewise.
1258         * c-semantics.c: Likewise.
1259         * c-decl.c: Likewise.
1260         * c-parser.c: Likewise.
1261         * c-tree.h: Likewise.
1262         * c-typeck.c: Likewise.
1264 2012-10-29  Jonathan Wakely  <jwakely.gcc@gmail.com>
1266         PR c++/54930
1267         * c-typeck.c (c_finish_return): Use OPT_Wreturn_local_addr.
1269 2012-10-29  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1271         PR c/53066
1272         * c-decl.c (warn_if_shadowing): Do not warn if a variable
1273         shadows a function, unless the variable is a function or a
1274         pointer-to-function.
1276 2012-10-12  Jakub Jelinek  <jakub@redhat.com>
1278         PR c/54381
1279         * c-parser.c (struct c_tree_loc_pair): Removed.
1280         (c_parser_expr_list): Remove struct c_tree_loc_pair * argument,
1281         add location_t * and tree * arguments, fill in array of 3
1282         sizeof_arg trees and corresponding locs.
1283         (c_parser_attributes, c_parser_objc_keywordexpr): Adjust
1284         c_parser_expr_list callers.
1285         (c_parser_postfix_expression_after_primary): Likewise.  Pass
1286         array of 3 sizeof_arg trees and locs (corresponding to first
1287         3 arguments) to sizeof_pointer_memaccess_warning.
1289 2012-10-09  Lawrence Crowl  <crowl@google.com>
1291         * Make-lang.in (c-decl.o): Add dependence on hash-table.h.
1292         * c-decl.c (detect_field_duplicates_hash): Change to new type-safe
1293         hash table.
1295 2012-10-09  Paolo Carlini  <paolo.carlini@oracle.com>
1297         PR c++/54194
1298         * c-typeck.c (parser_build_binary_op): Update warn_about_parentheses
1299         call.
1301 2012-10-09  Marc Glisse  <marc.glisse@inria.fr>
1303         PR c++/54427
1304         * c-typeck.c: Include c-common.h.
1305         (enum stv_conv): Moved to c-common.h.
1306         (scalar_to_vector): Moved to c-common.c.
1307         (build_binary_op): Adapt to scalar_to_vector's new prototype.
1308         * Make-lang.in: c-typeck.c depends on c-common.h.
1310 2012-10-04  Arnaud Charlet  <charlet@adacore.com>
1312         * c-decl.c (c_write_global_declarations): Fix handling of
1313         -fdump-ada-spec*.
1315 2012-09-30  Sharad Singhai  <singhai@google.com>
1317         * c-decl.c (c_write_global_declarations): Use a different method
1318         to determine if the dump has ben initialized.
1320 2012-09-14  Joseph Myers  <joseph@codesourcery.com>
1322         PR c/54552
1323         * c-typeck.c (c_cast_expr): When casting to a type requiring
1324         C_MAYBE_CONST_EXPR to be created, pass the inner expression to
1325         c_fully_fold first.
1327 2012-09-14  Joseph Myers  <joseph@codesourcery.com>
1329         PR c/54103
1330         * c-typeck.c (build_unary_op): Pass original argument of
1331         TRUTH_NOT_EXPR to c_objc_common_truthvalue_conversion, then remove
1332         any C_MAYBE_CONST_EXPR, if it has integer operands.
1333         (build_binary_op): Pass original arguments of TRUTH_ANDIF_EXPR,
1334         TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR
1335         to c_objc_common_truthvalue_conversion, then remove any
1336         C_MAYBE_CONST_EXPR, if they have integer operands.  Use
1337         c_objc_common_truthvalue_conversion not
1338         c_common_truthvalue_conversion.
1339         (c_objc_common_truthvalue_conversion): Build NE_EXPR directly and
1340         call note_integer_operands for arguments with integer operands
1341         that are not integer constants.
1343 2012-09-13  Jakub Jelinek  <jakub@redhat.com>
1345         PR c/54559
1346         * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or
1347         COMPLEX_TYPE with in_late_binary_op set temporarily to true.
1349 2012-08-31  Jakub Jelinek  <jakub@redhat.com>
1351         PR c/54428
1352         * c-convert.c (convert): Don't call fold_convert_loc if
1353         TYPE_MAIN_VARIANT of a COMPLEX_TYPE is the same, unless e
1354         is a COMPLEX_EXPR.  Remove TYPE_MAIN_VARIANT check from
1355         COMPLEX_TYPE -> COMPLEX_TYPE conversion.
1357 2012-08-24  Jakub Jelinek  <jakub@redhat.com>
1359         PR c/54355
1360         * c-decl.c (c_parser_label): Pass true as nested and fix up comments
1361         for nested and empty_ok arguments in the call to
1362         c_parser_declaration_or_fndef.
1364 2012-08-17  Jakub Jelinek  <jakub@redhat.com>
1366         * c-tree.h (c_last_sizeof_arg): Declare.
1367         * c-parser.c (struct c_tree_loc_pair): New type.
1368         (c_parser_expr_list): Add sizeof_arg argument.  Fill it in if
1369         non-NULL.
1370         (c_parser_attributes, c_parser_objc_keywordexpr): Adjust callers.
1371         (c_parser_postfix_expression_after_primary): Likewise.  Call
1372         sizeof_pointer_memaccess_warning if needed.
1373         (sizeof_ptr_memacc_comptypes): New function.
1374         * c-typeck.c (c_last_sizeof_arg): New global variable.
1375         (c_expr_sizeof_expr, c_expr_sizeof_type): Initialize it.
1377 2012-07-24  Uros Bizjak  <ubizjak@gmail.com>
1379         * c-lang.h (lang_decl): Add variable_size GTY option.
1381 2012-07-16  Steven Bosscher  <steven@gcc.gnu.org>
1383         * c-decl.c: Include dumpfile.h instead of tree-dump.h.
1384         * Make-lang.in: Fix dependencies.
1386 2012-06-29  Steven Bosscher  <steven@gcc.gnu.org>
1388         * Make-lang.in: New file, rules migrated from gcc/Makefile.in
1389         and add language Makefile hooks.
1390         * config-lang.in: New file.
1391         * c-config-lang.in: Moved from gcc/config-lang.in to here, and
1392         add the required "normal" config-lang.in rules.
1393         * c-lang.h: Moved from gcc/ to here.
1394         * c-tree.h: Likewise.
1395         * c-objc-common.c: Likewise.
1396         * c-objc-common.h: Likewise.
1397         * c-typeck.c: Likewise.
1398         * c-convert.c: Likewise.
1399         * c-lang.c: Likewise.
1400         * c-aux-info.c: Likewise.
1401         * c-errors.c: Likewise.
1402         * gccspec.c: Likewise.
1403         * c-decl.c: Likewise.  Include gt-c-c-decl.h, not gt-c-decl.h.
1404         * c-parser.c: Likewise.  Include gt-c-c-parser.h, not gt-c-parser.h.
1406 Copyright (C) 2012-2014 Free Software Foundation, Inc.
1408 Copying and distribution of this file, with or without modification,
1409 are permitted in any medium without royalty provided the copyright
1410 notice and this notice are preserved.