1 2013-12-17 Thomas Schwinge <thomas@codesourcery.com>
3 * c-parser.c (c_parser_omp_parallel): Fix description.
5 2013-12-11 Balaji V. Iyer <balaji.v.iyer@intel.com>
7 * c-objc-common.h (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Remove.
8 (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
9 (LANG_HOOKS_CILKPLUS_CILKPLUS_GIMPLIFY_SPAWN): Likewise.
10 * c-typeck.c (cilk_install_body_with_frame_cleanup): New function.
12 2013-12-04 Joseph Myers <joseph@codesourcery.com>
15 * c-parser.c (c_parser_alignas_specifier): Use
16 c_sizeof_or_alignof_type instead of c_alignof.
17 (c_parser_alignof_expression): Likewise, with min_alignof
18 parameter depending on alignof spelling used.
20 2013-12-04 Marek Polacek <polacek@redhat.com>
23 * c-decl.c (start_function): Don't warn for missing prototype for
26 2013-12-03 Marek Polacek <polacek@redhat.com>
29 * c-decl.c (build_compound_literal): Allow compound literals with
32 2013-12-02 Joseph Myers <joseph@codesourcery.com>
35 * c-typeck.c (build_modify_expr): Diagnose assignment to
36 expression with array type.
38 2013-11-29 Joseph Myers <joseph@codesourcery.com>
41 * c-typeck.c (process_init_element): Do not treat a string as
42 initializing a whole array when used with a designator for an
45 2013-11-29 Joseph Myers <joseph@codesourcery.com>
48 * c-decl.c (merge_decls): Clear DECL_EXTERNAL for a definition of
49 an inline function following a static declaration.
51 2013-11-28 Jakub Jelinek <jakub@redhat.com>
54 * c-parser.c (c_parser_omp_target): Copy "#pragma omp target"
55 to p_name before calling c_parser_omp_teams instead of after.
56 (c_parser_cilk_simd): Remove wrong ATTRIBUTE_UNUSED from parser
57 argument. Remove unused p_name variable.
59 2013-11-27 Aldy Hernandez <aldyh@redhat.com>
60 Jakub Jelinek <jakub@redhat.com>
62 * c-decl.c (c_builtin_function_ext_scope): Avoid binding if
63 external_scope is NULL.
65 2013-11-27 Tom de Vries <tom@codesourcery.com>
66 Marc Glisse <marc.glisse@inria.fr>
69 * c-typeck.c (build_unary_op): Allow vector increment and decrement.
71 2013-11-22 Andrew MacLeod <amacleod@redhat.com>
73 * c-typeck.c: Add required include files from gimple.h.
75 2013-11-22 David Malcolm <dmalcolm@redhat.com>
77 * c-decl.c (define_label, shadow_tag_warned)
78 (check_bitfield_type_and_width, grokdeclarator, grokparms,
79 store_parm_decls_newstyle, store_parm_decls_oldstyle)
80 (declspecs_add_type): Remove use of in_system_header macro.
81 * c-parser.c (c_parser_unary_expression): Likewise.
82 * c-typeck.c (store_init_value, process_init_element)
83 (c_start_case): Likewise.
85 * c-decl.c (build_enumerator): Remove use of EXPR_LOC_OR_HERE
88 * c-parser.c (c_parser_set_source_position_from_token): Remove
89 reference to in_system_header from comment.
91 2013-11-18 Richard Sandiford <rdsandiford@googlemail.com>
93 * c-decl.c (grokdeclarator): Update comment to refer to
94 tree_to_[su]hwi rather than tree_low_cst.
96 2013-11-18 Richard Sandiford <rdsandiford@googlemail.com>
98 * c-decl.c, c-typeck.c: Replace tree_low_cst (..., 1) with
99 tree_to_uhwi throughout.
101 2013-11-18 Richard Sandiford <rdsandiford@googlemail.com>
103 * c-parser.c: Replace tree_low_cst (..., 0) with tree_to_shwi
106 2013-11-18 Richard Sandiford <rdsandiford@googlemail.com>
108 * c-parser.c: Replace host_integerp (..., 0) with tree_fits_shwi_p
111 2013-11-15 Aldy Hernandez <aldyh@redhat.com>
113 * c-parser.c (c_parser_cilk_simd): New.
114 (c_parser_cilk_verify_simd): New.
115 (c_parser_pragma): Add case for PRAGMA_CILK_SIMD.
116 (c_parser_omp_for_loop): Add case for NE_EXPR.
117 Set c_break_label for CILK_SIMD.
118 (c_parser_cilk_clause_vectorlength): New.
119 (c_parser_cilk_clause_linear): New.
120 (c_parser_cilk_clause_name): New.
121 (c_parser_cilk_all_clauses): New.
122 * c-typeck.c (build_unary_op): Pass location argument to
124 (build_modify_expr): Same.
125 (build_asm_expr): Same.
126 (c_finish_bc_stmt): Error on break/continue in loops.
128 2013-11-14 Andrew MacLeod <amacleod@redhat.com>
130 * c-typeck.c: Include only gimplify.h and gimple.h as needed.
132 2013-11-14 Diego Novillo <dnovillo@google.com>
134 * c-decl.c: Include print-tree.h.
135 Include stor-layout.h.
138 Include stringpool.h.
139 * c-lang.c: Include fold-const.h.
140 * c-parser.c: Include stringpool.h.
142 Include stor-layout.h.
145 * c-typeck.c: Include stor-layout.h.
150 2013-11-13 Joseph Myers <joseph@codesourcery.com>
152 * c-tree.h (c_typespec_keyword): Add cts_auto_type.
153 * c-decl.c (declspecs_add_type, finish_declspecs): Handle
155 * c-parser.c (c_token_starts_typename, c_token_starts_declspecs)
156 (c_parser_attribute_any_word, c_parser_objc_selector): Handle
158 (c_parser_declspecs): Take argument AUTO_TYPE_OK.
159 (c_parser_declaration_or_fndef, c_parser_struct_declaration)
160 (c_parser_declarator, c_parser_direct_declarator_inner)
161 (c_parser_parameter_declaration, c_parser_type_name): All callers
163 (c_parser_declaration_or_fndef): Handle declarations with type
164 determined from the initializer.
166 2013-11-12 Andrew MacLeod <amacleod@redhat.com>
168 * c-typeck.c: Include gimplify.h.
170 2013-11-12 Joseph Myers <joseph@codesourcery.com>
172 * c-tree.h (struct c_declspecs): Add thread_gnu_p field.
173 * c-parser.c (c_parser_declspecs): Mention _Thread_local in
175 * c-decl.c (shadow_tag_warned, grokdeclarator): Mention __thread
176 or _Thread_local as appropriate in diagnostics.
177 (build_null_declspecs): Initialize ret->thread_gnu_p.
178 (declspecs_add_scspec): Handle either __thread or _Thread_local
179 for RID_THREAD. Diagnose _Thread_local for pre-C11 standards if
180 pedantic. Do not disallow _Thread_local extern and _Thread_local
183 2013-11-07 Joseph Myers <joseph@codesourcery.com>
184 Andrew MacLeod <amacleod@redhat.com>
186 * c-aux-info.c (gen_type): Handle atomic qualifier.
187 * c-decl.c (validate_proto_after_old_defn): Do not remove atomic
188 qualifiers when compating types.
189 (shadow_tag_warned): Handle atomic_p in declspecs.
190 (quals_from_declspecs): Likewise.
191 (start_decl): Use c_type_promotes_to when promoting argument
193 (grokdeclarator): Handle _Atomic.
194 (get_parm_info): Diagnose any qualifier on "void" as only
196 (store_parm_decls_oldstyle): Do not remove atomic qualifiers when
197 comparing types. Use c_type_promotes_to when promoting argument
199 (finish_function): Use c_type_promotes_to when promoting argument
201 (build_null_declspecs): Handle atomic_p in declspecs.
202 (declspecs_add_qual): Handle RID_ATOMIC.
203 * c-parser.c (c_token_starts_typename, c_token_is_qualifier)
204 (c_token_starts_declspecs): Handle RID_ATOMIC.
205 (c_parser_declspecs): Handle atomic type specifiers and
207 (c_parser_typeof_specifier): Remove const and _Atomic qualifiers
208 from types of expressions with atomic type.
209 (c_parser_direct_declarator_inner): Use convert_lvalue_to_rvalue.
210 (c_parser_attribute_any_word): Handle RID_ATOMIC.
211 (c_parser_initializer, c_parser_initelt, c_parser_initval)
212 (c_parser_statement_after_labels, c_parser_switch_statement)
213 (c_parser_for_statement, c_parser_expr_no_commas)
214 (c_parser_conditional_expression, c_parser_binary_expression)
215 (c_parser_cast_expression, c_parser_unary_expression)
216 (c_parser_postfix_expression)
217 (c_parser_postfix_expression_after_primary, c_parser_expression):
218 Use convert_lvalue_to_rvalue.
219 (c_parser_expression_conv, c_parser_expr_list): Document
220 conversion of lvalues to rvalues. Use convert_lvalue_to_rvalue.
221 (c_parser_objc_synchronized_statement): Use
222 convert_lvalue_to_rvalue.
223 (c_parser_objc_selector): Handle RID_ATOMIC.
224 (c_parser_objc_receiver, c_parser_array_notation): Use
225 convert_lvalue_to_rvalue.
226 * c-tree.h (ctsk_typeof): Adjust comment to mention use for
228 (struct c_declspecs): Add atomic_p field.
229 (convert_lvalue_to_rvalue): Declare.
230 * c-typeck.c (c_type_promotes_to): Promote atomic types to
231 corresponding atomic types.
232 (qualify_type): Don't add _Atomic qualifiers from second argument.
233 (comp_target_types): Do not allow _Atomic mismatches.
234 (type_lists_compatible_p): Do not remove atomic qualifiers when
236 (really_atomic_lvalue, convert_lvalue_to_rvalue)
237 (build_atomic_assign): New functions.
238 (build_unary_op): Use build_atomic_assign for atomic increment and
240 (build_conditional_expr): Do not treat _Atomic void as a qualified
242 (build_modify_expr): Use build_atomic_assign for atomic LHS.
243 (find_anonymous_field_with_type, convert_to_anonymous_field)
244 (convert_for_assignment): Do not remove atomic qualifiers when
246 (digest_init): Do not accept initialization of arrays of atomic
247 elements by string constants.
248 (build_asm_expr): Use convert_lvalue_to_rvalue.
249 (build_binary_op): Do not treat _Atomic void as a qualified
252 2013-11-06 DJ Delorie <dj@redhat.com>
254 * c-decl.c (locate_old_decl): If a previous conflicting decl is
255 both explicit and builtin, print the location of the explicit one.
257 2013-11-05 Tobias Burnus <burnus@net-b.de>
259 * c-parser.c (c_parser_omp_for, c_parser_omp_parallel,
260 c_parser_omp_distribute, c_parser_omp_teams,
261 c_parser_omp_target, c_parser_omp_declare): Handle
264 2013-11-03 Marek Polacek <polacek@redhat.com>
266 * c-decl.c (grokdeclarator): Add VLA instrumentation.
268 2013-11-01 Jakub Jelinek <jakub@redhat.com>
270 * c-typeck.c (c_finish_omp_clauses) <case OMP_CLAUSE_UNIFORM>: Go to
271 check_dup_generic at the end, unless remove is true.
272 (c_finish_omp_clauses) <case OMP_CLAUSE_REDUCTION>: Add break; after
274 (c_finish_omp_clauses) <case OMP_CLAUSE_COPYIN>: Likewise.
276 2013-10-31 Jakub Jelinek <jakub@redhat.com>
278 * c-typeck.c (c_finish_omp_clauses): Diagnose aligned clause
279 with decl that is not pointer nor array.
281 2013-10-29 Balaji V. Iyer <balaji.v.iyer@intel.com>
283 * c-decl.c (finish_function): Added a call for insert_cilk_frame when
284 a spawning function is found.
285 * c-objc-common.h (LANG_HOOKS_CILKPLUS_GIMPLIFY_SPAWN): New #define.
286 (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Likewise.
287 (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
288 * c-parser.c (c_parser_statement_after_labels): Added RID_CILK_SYNC
290 (c_parser_postfix_expression): Added RID_CILK_SPAWN case.
291 * c-typeck.c (build_compound_expr): Reject _Cilk_spawn in a comma
293 (c_finish_return): Added a check to reject _Cilk_spawn in return
295 (build_cilk_spawn): New function.
296 (build_cilk_sync): Likewise.
297 * Makefile.in (c-decl.o): Added cilk.h in dependency list.
299 2013-10-27 Tobias Burnus <burnus@net-b.de>
302 * c-parser.c (c_parser_while_statement, c_parser_while_statement,
303 c_parser_pragma): Add GCC ivdep support to 'do' and 'while'.
304 (c_parser_statement_after_labels): Update calls.
306 2013-10-24 Tobias Burnus <burnus@net-b.de>
309 * c-parser.c (c_parser_pragma, c_parser_for_statement):
311 (c_parser_statement_after_labels): Update call.
313 2013-10-24 Marek Polacek <polacek@redhat.com>
315 * c-parser.c (c_parser_struct_declaration): Add a comment.
316 (c_parser_declarator): Don't allow _Alignas here.
318 2013-10-17 Andrew MacLeod <amacleod@redhat.com>
320 * c-parser.c: Include omp-low.h.
321 * c-typeck.c: Likewise.
323 2013-10-17 Marek Polacek <polacek@redhat.com>
326 * c-parser.c (c_parser_declspecs): Add alignspec_ok parameter.
327 Document syntax of the array-declarator.
328 (c_parser_declspecs) <RID_ALIGNAS>: Bail out if alignment specs
330 (c_parser_declaration_or_fndef): Adjust c_parser_declspecs call.
331 (c_parser_struct_declaration): Likewise.
332 (c_parser_declarator): Likewise.
333 (c_parser_direct_declarator_inner): Likewise.
334 (c_parser_parameter_declaration): Likewise.
335 (c_parser_type_name): Likewise.
337 2013-10-11 Jakub Jelinek <jakub@redhat.com>
339 * c-lang.h (current_omp_declare_target_attribute): New extern
341 * c-parser.c: Include c-lang.h.
342 (struct c_parser): Change tokens to c_token *.
343 Add tokens_buf field. Change tokens_avail type to unsigned int.
344 (c_parser_consume_token): If parser->tokens isn't
345 &parser->tokens_buf[0], increment parser->tokens.
346 (c_parser_consume_pragma): Likewise.
347 (enum pragma_context): Add pragma_struct and pragma_param.
348 (c_parser_external_declaration): Adjust
349 c_parser_declaration_or_fndef caller.
350 (c_parser_declaration_or_fndef): Add omp_declare_simd_clauses
351 argument, if it is non-vNULL vector, call c_finish_omp_declare_simd.
352 Adjust recursive call.
353 (c_parser_struct_or_union_specifier): Use pragma_struct instead
355 (c_parser_parameter_declaration): Use pragma_param instead of
357 (c_parser_compound_statement_nostart, c_parser_label,
358 c_parser_for_statement): Adjust
359 c_parser_declaration_or_fndef callers.
360 (c_parser_expr_no_commas): Add omp_atomic_lhs argument, pass
361 it through to c_parser_conditional_expression.
362 (c_parser_conditional_expression): Add omp_atomic_lhs argument,
363 pass it through to c_parser_binary_expression. Adjust recursive
365 (c_parser_binary_expression): Remove prec argument, add
366 omp_atomic_lhs argument instead. Always start from PREC_NONE, if
367 omp_atomic_lhs is non-NULL and one of the arguments of toplevel
368 binop matches it, use build2 instead of parser_build_binary_op.
369 (c_parser_pragma): Handle PRAGMA_OMP_CANCEL,
370 PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_TARGET,
371 PRAGMA_OMP_END_DECLARE_TARGET, PRAGMA_OMP_DECLARE_REDUCTION.
372 Handle pragma_struct and pragma_param the same as pragma_external.
373 (c_parser_omp_clause_name): Parse new OpenMP 4.0 clause names.
374 (c_parser_omp_variable_list): Parse array sections for
375 OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses.
376 (c_parser_omp_clause_collapse): Fully fold collapse expression.
377 (c_parser_omp_clause_reduction): Handle user defined reductions.
378 (c_parser_omp_clause_branch, c_parser_omp_clause_cancelkind,
379 c_parser_omp_clause_num_teams, c_parser_omp_clause_thread_limit,
380 c_parser_omp_clause_aligned, c_parser_omp_clause_linear,
381 c_parser_omp_clause_safelen, c_parser_omp_clause_simdlen,
382 c_parser_omp_clause_depend, c_parser_omp_clause_map,
383 c_parser_omp_clause_device, c_parser_omp_clause_dist_schedule,
384 c_parser_omp_clause_proc_bind, c_parser_omp_clause_to,
385 c_parser_omp_clause_from, c_parser_omp_clause_uniform): New functions.
386 (c_parser_omp_all_clauses): Add finish_p argument. Don't call
387 c_finish_omp_clauses if it is false. Handle new OpenMP 4.0 clauses.
388 (c_parser_omp_atomic): Parse seq_cst clause, pass true if it is
389 present to c_finish_omp_atomic. Handle OpenMP 4.0 atomic forms.
390 (c_parser_omp_for_loop): Add CODE argument, pass it through
391 to c_finish_omp_for. Change last argument to cclauses,
392 and adjust uses to grab parallel clauses from the array of all
393 the split clauses. Adjust c_parser_binary_expression,
394 c_parser_declaration_or_fndef and c_finish_omp_for callers.
395 (omp_split_clauses): New function.
396 (c_parser_omp_simd): New function.
397 (c_parser_omp_for): Add p_name, mask and cclauses arguments.
398 Allow the function to be called also when parsing combined constructs,
399 and call c_parser_omp_simd when parsing for simd.
400 (c_parser_omp_sections_scope): If section-sequence doesn't start with
401 #pragma omp section, require exactly one structured-block instead of
402 sequence of statements.
403 (c_parser_omp_sections): Add p_name, mask and cclauses arguments.
404 Allow the function to be called also when parsing combined constructs.
405 (c_parser_omp_parallel): Add p_name, mask and cclauses arguments.
406 Allow the function to be called also when parsing combined
408 (c_parser_omp_taskgroup, c_parser_omp_cancel,
409 c_parser_omp_cancellation_point, c_parser_omp_distribute,
410 c_parser_omp_teams, c_parser_omp_target_data,
411 c_parser_omp_target_update, c_parser_omp_target,
412 c_parser_omp_declare_simd, c_finish_omp_declare_simd,
413 c_parser_omp_declare_target, c_parser_omp_end_declare_target,
414 c_parser_omp_declare_reduction, c_parser_omp_declare): New functions.
415 (c_parser_omp_construct): Add p_name and mask vars. Handle
416 PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
417 PRAGMA_OMP_TEAMS. Adjust c_parser_omp_for, c_parser_omp_parallel
418 and c_parser_omp_sections callers.
419 (c_parse_file): Initialize tparser.tokens and the_parser->tokens here.
420 (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
421 OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.
422 (OMP_PARALLEL_CLAUSE_MASK): Likewise. Add OMP_CLAUSE_PROC_BIND.
423 (OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1. Add
425 (OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK,
426 OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK,
427 OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK,
428 OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK,
429 OMP_DECLARE_SIMD_CLAUSE_MASK): Define.
430 * c-typeck.c: Include tree-inline.h.
431 (c_finish_omp_cancel, c_finish_omp_cancellation_point,
432 handle_omp_array_sections_1, handle_omp_array_sections,
433 c_clone_omp_udr, c_find_omp_placeholder_r): New functions.
434 (c_finish_omp_clauses): Handle new OpenMP 4.0 clauses and
435 user defined reductions.
436 (c_tree_equal): New function.
437 * c-tree.h (temp_store_parm_decls, temp_pop_parm_decls,
438 c_finish_omp_cancel, c_finish_omp_cancellation_point, c_tree_equal,
439 c_omp_reduction_id, c_omp_reduction_decl, c_omp_reduction_lookup,
440 c_check_omp_declare_reduction_r): New prototypes.
441 * c-decl.c (current_omp_declare_target_attribute): New variable.
442 (c_decl_attributes): New function.
443 (start_decl, start_function): Use it instead of decl_attributes.
444 (temp_store_parm_decls, temp_pop_parm_decls, c_omp_reduction_id,
445 c_omp_reduction_decl, c_omp_reduction_lookup,
446 c_check_omp_declare_reduction_r): New functions.
448 2013-09-25 Tom Tromey <tromey@redhat.com>
450 * Make-lang.in (c/gccspec.o): Remove.
451 (CFLAGS-c/gccspec.o): New variable.
452 (cc1-checksum.o, C_TREE_H, c/c-aux-info.o, c/c-convert.o)
453 (c/c-decl.o, c/c-errors.o, c/c-lang.o, c/c-objc-common.o)
454 (c/c-parser.o, c/c-typeck.o, c/c-array-notation.o): Remove.
456 2013-09-25 Tom Tromey <tromey@redhat.com>
458 * Make-lang.in (c/gccspec.o): Don't use subshell.
460 2013-09-18 Marek Polacek <polacek@redhat.com>
463 * c-typeck.c (build_binary_op): Properly honor -fsanitize options.
464 Remove unnecessary check.
466 2013-09-18 Marek Polacek <polacek@redhat.com>
469 * c-typeck.c (build_binary_op): Don't sanitize function if it has the
470 no_sanitize_undefined attribute.
472 2013-09-13 Kai Tietz <ktietz@redhat.com>
475 * c-decl.c (c_builtin_function_ext_scope): Remove
476 wrong assumption that it is never called on prexisting
479 2013-09-08 Joern Rennecke <joern.rennecke@embecosm.com>
481 * c-typeck.c (build_binary_op): Use vector_types_compatible_elements_p.
483 2013-09-03 Gabriel Dos Reis <gdr@integrable-solutions.net>
485 * c-objc-common.c (c_tree_printer): Tidy.
487 2013-08-30 Marek Polacek <polacek@redhat.com>
489 * c-typeck.c (build_binary_op): Add division by zero and shift
492 2013-08-26 Joern Rennecke <joern.rennecke@embecosm.com>
493 Joseph Myers <joseph@codesourcery.com>
496 * c-typeck.c (c_common_type): Prefer double_type_node over
497 other REAL_TYPE types with the same precision.
498 (convert_arguments): Likewise.
500 2013-08-23 Gabriel Dos Reis <gdr@integrable-solutions.net>
502 * c-objc-common.c (c_tree_printer): Document the nature of the cast.
503 (c_initialize_diagnostics): Call a destructor for the early printer.
505 2013-08-22 Gabriel Dos Reis <gdr@integrable-solutions.net>
507 * c-objc-common.c (c_initialize_diagnostics): Simplify C pretty
508 printer initialization.
510 2013-08-19 Balaji V. Iyer <balaji.v.iyer@intel.com>
513 * c-array-notation.c (fix_conditional_array_notations_1): Added a
514 check for truth values.
515 (expand_array_notation_exprs): Added truth values case. Removed an
516 unwanted else. Added for-loop to walk through subtrees in default
519 2013-08-04 Gabriel Dos Reis <gdr@integrable-solutions.net>
521 * c-objc-common.c (c_initialize_diagnostics): Don't call pp_base.
523 2013-07-23 Joseph Myers <joseph@codesourcery.com>
525 * c-parser.c (struct c_generic_association): Fix typo.
527 2013-07-23 Tom Tromey <tromey@redhat.com>
528 Joseph Myers <joseph@codesourcery.com>
530 * c-parser.c (struct c_generic_association): New.
531 (c_generic_association_d): New typedef.
532 (c_parser_generic_selection): New function.
533 (c_parser_postfix_expression): Handle RID_GENERIC.
535 2013-07-13 Jason Merrill <jason@redhat.com>
538 * c-decl.c (finish_struct): Check for too-large class.
540 2013-07-04 Joern Rennecke <joern.rennecke@embecosm.com>
543 * c-typeck.c (set_init_index): When folding, check for index overflow.
545 2013-06-28 Balaji V. Iyer <balaji.v.iyer@intel.com>
547 * c-parser.c (c_parser_array_notation): Removed rejection of array
548 notations in an array of function pointers.
550 2013-06-21 Balaji V. Iyer <balaji.v.iyer@intel.com>
552 * c-array-notation.c (make_triplet_val_inv): New function.
553 (create_cmp_incr): Likewise.
554 (create_array_refs): Likewise.
555 (fix_builtin_array_notation_fn): Replaced all mallocs with tree vec.
556 Also modularized common parts between functions and called the function.
557 (build_array_notation_expr): Likewise.
558 (fix_conditional_array_notations_1): Likewise.
559 (fix_array_notation_expr): Likewise.
560 (fix_array_notation_call_expr): Likewise.
562 2013-06-18 Marek Polacek <polacek@redhat.com>
565 * c-decl.c (check_for_loop_decls): Improve diagnostics messages.
567 2013-06-12 Balaji V. Iyer <balaji.v.iyer@intel.com>
569 * c-array-notation.c (build_array_notation_expr): Reject array notation
570 mismatch between LHS and RHS even inside a call_expr. Also, removed
571 a couple while statements that were dead code.
573 2013-06-10 Balaji V. Iyer <balaji.v.iyer@intel.com>
575 * c-array-notation.c (fix_builtin_array_notation_fn): Fully folded
576 excessive precision expressions in function parameters. Also removed
577 couple unwanted while statements.
579 2013-06-07 Balaji V. Iyer <balaji.v.iyer@intel.com>
581 * c-array-notation.c (expand_array_notation_exprs): Added
582 ARRAY_NOTATION_REF case.
584 2013-06-07 Balaji V. Iyer <balaji.v.iyer@intel.com>
586 * c-array-notation.c (length_mismatch_in_expr_p): Moved this
587 function to c-family/array-notation-common.c.
588 (is_cilkplus_reduce_builtin): Likewise.
589 (find_rank): Likewise.
590 (extract_array_notation_exprs): Likewise.
591 (replace_array_notations): Likewise.
592 (find_inv_trees): Likewise.
593 (replace_inv_trees): Likewise.
594 (contains_array_notation_expr): Likewise.
595 (find_correct_array_notation_type): Likewise.
596 (replace_invariant_exprs): Initialized additional_tcodes to NULL.
597 (struct inv_list): Moved this to c-family/array-notation-common.c.
598 * c-tree.h (is_cilkplus_builtin_reduce): Remove prototype.
600 2013-06-05 Balaji V. Iyer <balaji.v.iyer@intel.com>
602 * c-typeck.c (convert_arguments): Moved checking of builtin cilkplus
603 reduction functions outside the for-loop. Added a check if the fundecl
604 is non-NULL. Finally, removed an unwanted if-statement, and made the
607 2013-06-03 Balaji V. Iyer <balaji.v.iyer@intel.com>
609 * c-typeck.c (c_finish_if_stmt): Added a check to see if the rank of the
610 condition of the if-statement matches the rank of else-block and then-
611 block when array notations are used.
612 * c-parser.c (c_parser_declaration_or_fndef): Expanded array notation
613 expression after the entire function body is parsed.
614 (c_parser_expr_no_commas): Delayed creating array notation expressions
615 to the end of function parsing.
616 * c-array-notation.c (fix_conditional_array_notations_1): Expanded the
617 whole if-statement instead of just the condition.
618 (expand_array_notation_exprs): Added MODIFY_EXPR case.
620 2013-06-03 Balaji V. Iyer <balaji.v.iyer@intel.com>
623 * c-array-notation.c (build_array_notation_expr): Initialized rhs_length
624 array to NULL_TREE if they are unused. Also added a check for the
625 field to be NULL before its fields are used in future.
627 2013-05-29 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
630 * c-array-notation.c (length_mismatch_in_expr_p): Use absu_hwi.
631 (build_array_notation_expr): Likewise.
633 2013-05-28 Balaji V. Iyer <balaji.v.iyer@intel.com>
635 * c-typeck.c (build_array_ref): Added a check to see if array's
636 index is greater than one. If true, then emit an error.
637 (build_function_call_vec): Exclude error reporting and checking
638 for builtin array-notation functions.
639 (convert_arguments): Likewise.
640 (c_finish_return): Added a check for array notations as a return
641 expression. If true, then emit an error.
642 (c_finish_loop): Added a check for array notations in a loop
643 condition. If true then emit an error.
644 (lvalue_p): Added a ARRAY_NOTATION_REF case.
645 (build_binary_op): Added a check for array notation expr inside
646 op1 and op0. If present, we call another function to find correct
648 * Make-lang.in (C_AND_OBJC_OBJS): Added c-array-notation.o.
649 * c-parser.c (c_parser_compound_statement): Check if array
650 notation code is used in tree, if so, then transform them into
652 (c_parser_expr_no_commas): Check if array notation is used in LHS
653 or RHS, if so, then build array notation expression instead of
655 (c_parser_postfix_expression_after_primary): Added a check for
656 colon(s) after square braces, if so then handle it like an array
657 notation. Also, break up array notations in unary op if found.
658 (c_parser_direct_declarator_inner): Added a check for array
660 (c_parser_compound_statement): Added a check for array notation in
661 a stmt. If one is present, then expand array notation expr.
662 (c_parser_if_statement): Likewise.
663 (c_parser_switch_statement): Added a check for array notations in
664 a switch statement's condition. If true, then output an error.
665 (c_parser_while_statement): Similarly, but for a while.
666 (c_parser_do_statement): Similarly, but for a do-while.
667 (c_parser_for_statement): Similarly, but for a for-loop.
668 (c_parser_unary_expression): Check if array notation is used in a
669 pre-increment or pre-decrement expression. If true, then expand
671 (c_parser_array_notation): New function.
672 * c-array-notation.c: New file.
673 * c-tree.h (is_cilkplus_reduce_builtin): Protoize.
675 2013-05-23 Mike Stump <mikestump@comcast.net>
677 * c-typeck.c (convert_for_assignment): Handle references to memory
680 2013-05-16 Jason Merrill <jason@redhat.com>
682 * Make-lang.in (cc1$(exeext)): Use link mutex.
684 2013-04-24 Paolo Carlini <paolo.carlini@oracle.com>
686 * c-typeck.c (pointer_diff): Change -Wpointer-arith pedwarns
687 to simply use OPT_Wpointer_arith.
688 (build_unary_op): Likewise.
690 2013-04-03 Jakub Jelinek <jakub@redhat.com>
693 * c-parser.c (c_parser_get_builtin_args): Add choose_expr_p
694 argument. If set, or it temporarily for parsing of the first
695 argument into force_folding_builtin_constant_p.
696 (c_parser_postfix_expression): Adjust callers.
698 2013-03-21 Richard Biener <rguenther@suse.de>
700 * c-objc-common.c (c_tree_printer): Use DECL_HAS_DEBUG_EXPR_P
701 instead of DECL_DEBUG_EXPR_IS_FROM. Guard properly.
703 2013-02-12 Marek Polacek <polacek@redhat.com>
706 * c-parser.c (c_parser_postfix_expression_after_primary): Initialize
709 2013-01-24 Jakub Jelinek <jakub@redhat.com>
712 * c-typeck.c (set_nonincremental_init_from_string): If
713 constructor_max_index is NULL, treat it as if tree_int_cst_lt
715 (process_init_element): Likewise.
717 2012-12-20 Jakub Jelinek <jakub@redhat.com>
720 * c-parser.c (c_parser_asm_operands): Remove CONVERT_P
721 argument, don't call default_function_array_conversion
722 nor c_fully_fold here.
723 (c_parser_asm_statement): Adjust callers.
724 * c-typeck.c (build_asm_expr): Call c_fully_fold on inputs
725 and outputs here, and call default_function_array_conversion
726 on inputs that don't need to be addressable.
728 2012-12-18 Jakub Jelinek <jakub@redhat.com>
731 * c-typeck.c (convert_for_assignment): For -Wpointer-sign
732 warning require that both c_common_unsigned_type as well as
733 c_common_signed_type is the same for both mvl and mvr types.
735 2012-11-16 Diego Novillo <dnovillo@google.com>
737 Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec)
739 * c-common.c: Use new vec API in vec.h.
740 * c-common.h: Likewise.
741 * c-gimplify.c: Likewise.
742 * c-pragma.c: Likewise.
743 * c-pretty-print.c: Likewise.
744 * c-pretty-print.h: Likewise.
745 * c-semantics.c: Likewise.
746 * c-decl.c: Likewise.
747 * c-parser.c: Likewise.
748 * c-tree.h: Likewise.
749 * c-typeck.c: Likewise.
751 2012-10-29 Jonathan Wakely <jwakely.gcc@gmail.com>
754 * c-typeck.c (c_finish_return): Use OPT_Wreturn_local_addr.
756 2012-10-29 Manuel López-Ibáñez <manu@gcc.gnu.org>
759 * c-decl.c (warn_if_shadowing): Do not warn if a variable
760 shadows a function, unless the variable is a function or a
763 2012-10-12 Jakub Jelinek <jakub@redhat.com>
766 * c-parser.c (struct c_tree_loc_pair): Removed.
767 (c_parser_expr_list): Remove struct c_tree_loc_pair * argument,
768 add location_t * and tree * arguments, fill in array of 3
769 sizeof_arg trees and corresponding locs.
770 (c_parser_attributes, c_parser_objc_keywordexpr): Adjust
771 c_parser_expr_list callers.
772 (c_parser_postfix_expression_after_primary): Likewise. Pass
773 array of 3 sizeof_arg trees and locs (corresponding to first
774 3 arguments) to sizeof_pointer_memaccess_warning.
776 2012-10-09 Lawrence Crowl <crowl@google.com>
778 * Make-lang.in (c-decl.o): Add dependence on hash-table.h.
779 * c-decl.c (detect_field_duplicates_hash): Change to new type-safe
782 2012-10-09 Paolo Carlini <paolo.carlini@oracle.com>
785 * c-typeck.c (parser_build_binary_op): Update warn_about_parentheses
788 2012-10-09 Marc Glisse <marc.glisse@inria.fr>
791 * c-typeck.c: Include c-common.h.
792 (enum stv_conv): Moved to c-common.h.
793 (scalar_to_vector): Moved to c-common.c.
794 (build_binary_op): Adapt to scalar_to_vector's new prototype.
795 * Make-lang.in: c-typeck.c depends on c-common.h.
797 2012-10-04 Arnaud Charlet <charlet@adacore.com>
799 * c-decl.c (c_write_global_declarations): Fix handling of
802 2012-09-30 Sharad Singhai <singhai@google.com>
804 * c-decl.c (c_write_global_declarations): Use a different method
805 to determine if the dump has ben initialized.
807 2012-09-14 Joseph Myers <joseph@codesourcery.com>
810 * c-typeck.c (c_cast_expr): When casting to a type requiring
811 C_MAYBE_CONST_EXPR to be created, pass the inner expression to
814 2012-09-14 Joseph Myers <joseph@codesourcery.com>
817 * c-typeck.c (build_unary_op): Pass original argument of
818 TRUTH_NOT_EXPR to c_objc_common_truthvalue_conversion, then remove
819 any C_MAYBE_CONST_EXPR, if it has integer operands.
820 (build_binary_op): Pass original arguments of TRUTH_ANDIF_EXPR,
821 TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR
822 to c_objc_common_truthvalue_conversion, then remove any
823 C_MAYBE_CONST_EXPR, if they have integer operands. Use
824 c_objc_common_truthvalue_conversion not
825 c_common_truthvalue_conversion.
826 (c_objc_common_truthvalue_conversion): Build NE_EXPR directly and
827 call note_integer_operands for arguments with integer operands
828 that are not integer constants.
830 2012-09-13 Jakub Jelinek <jakub@redhat.com>
833 * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or
834 COMPLEX_TYPE with in_late_binary_op set temporarily to true.
836 2012-08-31 Jakub Jelinek <jakub@redhat.com>
839 * c-convert.c (convert): Don't call fold_convert_loc if
840 TYPE_MAIN_VARIANT of a COMPLEX_TYPE is the same, unless e
841 is a COMPLEX_EXPR. Remove TYPE_MAIN_VARIANT check from
842 COMPLEX_TYPE -> COMPLEX_TYPE conversion.
844 2012-08-24 Jakub Jelinek <jakub@redhat.com>
847 * c-decl.c (c_parser_label): Pass true as nested and fix up comments
848 for nested and empty_ok arguments in the call to
849 c_parser_declaration_or_fndef.
851 2012-08-17 Jakub Jelinek <jakub@redhat.com>
853 * c-tree.h (c_last_sizeof_arg): Declare.
854 * c-parser.c (struct c_tree_loc_pair): New type.
855 (c_parser_expr_list): Add sizeof_arg argument. Fill it in if
857 (c_parser_attributes, c_parser_objc_keywordexpr): Adjust callers.
858 (c_parser_postfix_expression_after_primary): Likewise. Call
859 sizeof_pointer_memaccess_warning if needed.
860 (sizeof_ptr_memacc_comptypes): New function.
861 * c-typeck.c (c_last_sizeof_arg): New global variable.
862 (c_expr_sizeof_expr, c_expr_sizeof_type): Initialize it.
864 2012-07-24 Uros Bizjak <ubizjak@gmail.com>
866 * c-lang.h (lang_decl): Add variable_size GTY option.
868 2012-07-16 Steven Bosscher <steven@gcc.gnu.org>
870 * c-decl.c: Include dumpfile.h instead of tree-dump.h.
871 * Make-lang.in: Fix dependencies.
873 2012-06-29 Steven Bosscher <steven@gcc.gnu.org>
875 * Make-lang.in: New file, rules migrated from gcc/Makefile.in
876 and add language Makefile hooks.
877 * config-lang.in: New file.
878 * c-config-lang.in: Moved from gcc/config-lang.in to here, and
879 add the required "normal" config-lang.in rules.
880 * c-lang.h: Moved from gcc/ to here.
881 * c-tree.h: Likewise.
882 * c-objc-common.c: Likewise.
883 * c-objc-common.h: Likewise.
884 * c-typeck.c: Likewise.
885 * c-convert.c: Likewise.
886 * c-lang.c: Likewise.
887 * c-aux-info.c: Likewise.
888 * c-errors.c: Likewise.
889 * gccspec.c: Likewise.
890 * c-decl.c: Likewise. Include gt-c-c-decl.h, not gt-c-decl.h.
891 * c-parser.c: Likewise. Include gt-c-c-parser.h, not gt-c-parser.h.
893 Copyright (C) 2012-2013 Free Software Foundation, Inc.
895 Copying and distribution of this file, with or without modification,
896 are permitted in any medium without royalty provided the copyright
897 notice and this notice are preserved.