gcc/c/ChangeLog

   1 2013-12-17  Thomas Schwinge  <thomas@codesourcery.com>
   2
   3         * c-parser.c (c_parser_omp_parallel): Fix description.
   4
   5 2013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
   6
   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.
  11
  12 2013-12-04  Joseph Myers  <joseph@codesourcery.com>
  13
  14         PR c/52023
  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.
  19
  20 2013-12-04  Marek Polacek  <polacek@redhat.com>
  21
  22         PR c/54113
  23         * c-decl.c (start_function): Don't warn for missing prototype for
  24         inline functions.
  25
  26 2013-12-03  Marek Polacek  <polacek@redhat.com>
  27
  28         PR c/59351
  29         * c-decl.c (build_compound_literal): Allow compound literals with
  30         empty initial value.
  31
  32 2013-12-02  Joseph Myers  <joseph@codesourcery.com>
  33
  34         PR c/58235
  35         * c-typeck.c (build_modify_expr): Diagnose assignment to
  36         expression with array type.
  37
  38 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
  39
  40         PR c/42262
  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
  43         individual element.
  44
  45 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
  46
  47         PR c/57574
  48         * c-decl.c (merge_decls): Clear DECL_EXTERNAL for a definition of
  49         an inline function following a static declaration.
  50
  51 2013-11-28  Jakub Jelinek  <jakub@redhat.com>
  52
  53         PR c/59310
  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.
  58
  59 2013-11-27  Aldy Hernandez  <aldyh@redhat.com>
  60             Jakub Jelinek  <jakub@redhat.com>
  61
  62         * c-decl.c (c_builtin_function_ext_scope): Avoid binding if
  63         external_scope is NULL.
  64
  65 2013-11-27  Tom de Vries  <tom@codesourcery.com>
  66             Marc Glisse  <marc.glisse@inria.fr>
  67
  68         PR c++/59032
  69         * c-typeck.c (build_unary_op): Allow vector increment and decrement.
  70
  71 2013-11-22  Andrew MacLeod  <amacleod@redhat.com>
  72
  73         * c-typeck.c: Add required include files from gimple.h.
  74
  75 2013-11-22  David Malcolm  <dmalcolm@redhat.com>
  76
  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.
  84
  85         * c-decl.c (build_enumerator): Remove use of EXPR_LOC_OR_HERE
  86         macro.
  87
  88         * c-parser.c (c_parser_set_source_position_from_token): Remove
  89         reference to in_system_header from comment.
  90
  91 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
  92
  93         * c-decl.c (grokdeclarator): Update comment to refer to
  94         tree_to_[su]hwi rather than tree_low_cst.
  95
  96 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
  97
  98         * c-decl.c, c-typeck.c: Replace tree_low_cst (..., 1) with
  99         tree_to_uhwi throughout.
 100
 101 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
 102
 103         * c-parser.c: Replace tree_low_cst (..., 0) with tree_to_shwi
 104         throughout.
 105
 106 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
 107
 108         * c-parser.c: Replace host_integerp (..., 0) with tree_fits_shwi_p
 109         throughout.
 110
 111 2013-11-15  Aldy Hernandez  <aldyh@redhat.com>
 112
 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
 123         readonly_error.
 124         (build_modify_expr): Same.
 125         (build_asm_expr): Same.
 126         (c_finish_bc_stmt): Error on break/continue in loops.
 127
 128 2013-11-14  Andrew MacLeod  <amacleod@redhat.com>
 129
 130         * c-typeck.c: Include only gimplify.h and gimple.h as needed.
 131
 132 2013-11-14  Diego Novillo  <dnovillo@google.com>
 133
 134         * c-decl.c: Include print-tree.h.
 135         Include stor-layout.h.
 136         Include varasm.h.
 137         Include attribs.h.
 138         Include stringpool.h.
 139         * c-lang.c: Include fold-const.h.
 140         * c-parser.c: Include stringpool.h.
 141         Include attribs.h.
 142         Include stor-layout.h.
 143         Include varasm.h.
 144         Include trans-mem.h.
 145         * c-typeck.c: Include stor-layout.h.
 146         Include trans-mem.h.
 147         Include varasm.h.
 148         Include stmt.h.
 149
 150 2013-11-13  Joseph Myers  <joseph@codesourcery.com>
 151
 152         * c-tree.h (c_typespec_keyword): Add cts_auto_type.
 153         * c-decl.c (declspecs_add_type, finish_declspecs): Handle
 154         __auto_type.
 155         * c-parser.c (c_token_starts_typename, c_token_starts_declspecs)
 156         (c_parser_attribute_any_word, c_parser_objc_selector): Handle
 157         RID_AUTO_TYPE.
 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
 162         changed.
 163         (c_parser_declaration_or_fndef): Handle declarations with type
 164         determined from the initializer.
 165
 166 2013-11-12  Andrew MacLeod  <amacleod@redhat.com>
 167
 168         * c-typeck.c: Include gimplify.h.
 169
 170 2013-11-12  Joseph Myers  <joseph@codesourcery.com>
 171
 172         * c-tree.h (struct c_declspecs): Add thread_gnu_p field.
 173         * c-parser.c (c_parser_declspecs): Mention _Thread_local in
 174         comment.
 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
 181         static.
 182
 183 2013-11-07  Joseph Myers  <joseph@codesourcery.com>
 184             Andrew MacLeod  <amacleod@redhat.com>
 185
 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
 192         types.
 193         (grokdeclarator): Handle _Atomic.
 194         (get_parm_info): Diagnose any qualifier on "void" as only
 195         parameter.
 196         (store_parm_decls_oldstyle): Do not remove atomic qualifiers when
 197         comparing types.  Use c_type_promotes_to when promoting argument
 198         types.
 199         (finish_function): Use c_type_promotes_to when promoting argument
 200         types.
 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
 206         qualifiers.
 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
 227         _Atomic (type-name).
 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
 235         comparing types.
 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
 239         decrement.
 240         (build_conditional_expr): Do not treat _Atomic void as a qualified
 241         version of void.
 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
 245         comparing types.
 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
 250         version of void.
 251
 252 2013-11-06  DJ Delorie  <dj@redhat.com>
 253
 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.
 256
 257 2013-11-05  Tobias Burnus  <burnus@net-b.de>
 258
 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
 262         -fopenmp-simd.
 263
 264 2013-11-03  Marek Polacek  <polacek@redhat.com>
 265
 266         * c-decl.c (grokdeclarator): Add VLA instrumentation.
 267
 268 2013-11-01  Jakub Jelinek  <jakub@redhat.com>
 269
 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
 273         remove = true;.
 274         (c_finish_omp_clauses) <case OMP_CLAUSE_COPYIN>: Likewise.
 275
 276 2013-10-31  Jakub Jelinek  <jakub@redhat.com>
 277
 278         * c-typeck.c (c_finish_omp_clauses): Diagnose aligned clause
 279         with decl that is not pointer nor array.
 280
 281 2013-10-29  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 282
 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
 289         case.
 290         (c_parser_postfix_expression): Added RID_CILK_SPAWN case.
 291         * c-typeck.c (build_compound_expr): Reject _Cilk_spawn in a comma
 292         expr.
 293         (c_finish_return): Added a check to reject _Cilk_spawn in return
 294         expression.
 295         (build_cilk_spawn): New function.
 296         (build_cilk_sync): Likewise.
 297         * Makefile.in (c-decl.o): Added cilk.h in dependency list.
 298
 299 2013-10-27  Tobias Burnus  <burnus@net-b.de>
 300
 301         PR other/33426
 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.
 305
 306 2013-10-24  Tobias Burnus  <burnus@net-b.de>
 307
 308         PR other/33426
 309         * c-parser.c (c_parser_pragma, c_parser_for_statement):
 310         Handle PRAGMA_IVDEP.
 311         (c_parser_statement_after_labels): Update call.
 312
 313 2013-10-24  Marek Polacek  <polacek@redhat.com>
 314
 315         * c-parser.c (c_parser_struct_declaration): Add a comment.
 316         (c_parser_declarator): Don't allow _Alignas here.
 317
 318 2013-10-17  Andrew MacLeod  <amacleod@redhat.com>
 319
 320         * c-parser.c: Include omp-low.h.
 321         * c-typeck.c: Likewise.
 322
 323 2013-10-17  Marek Polacek  <polacek@redhat.com>
 324
 325         PR c/58267
 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
 329         are not permitted.
 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.
 336
 337 2013-10-11  Jakub Jelinek  <jakub@redhat.com>
 338
 339         * c-lang.h (current_omp_declare_target_attribute): New extern
 340         decl.
 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
 354         of pragma_external.
 355         (c_parser_parameter_declaration): Use pragma_param instead of
 356         pragma_external.
 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
 364         call.
 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
 407         constructs.
 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
 424         OMP_CLAUSE_DEPEND.
 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.
 447
 448 2013-09-25  Tom Tromey  <tromey@redhat.com>
 449
 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.
 455
 456 2013-09-25  Tom Tromey  <tromey@redhat.com>
 457
 458         * Make-lang.in (c/gccspec.o): Don't use subshell.
 459
 460 2013-09-18  Marek Polacek  <polacek@redhat.com>
 461
 462         PR sanitize/58443
 463         * c-typeck.c (build_binary_op): Properly honor -fsanitize options.
 464         Remove unnecessary check.
 465
 466 2013-09-18  Marek Polacek  <polacek@redhat.com>
 467
 468         PR sanitizer/58411
 469         * c-typeck.c (build_binary_op): Don't sanitize function if it has the
 470         no_sanitize_undefined attribute.
 471
 472 2013-09-13  Kai Tietz  <ktietz@redhat.com>
 473
 474         PR target/57848
 475         * c-decl.c (c_builtin_function_ext_scope): Remove
 476         wrong assumption that it is never called on prexisting
 477         symbol.
 478
 479 2013-09-08  Joern Rennecke  <joern.rennecke@embecosm.com>
 480
 481         * c-typeck.c (build_binary_op): Use vector_types_compatible_elements_p.
 482
 483 2013-09-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 484
 485         * c-objc-common.c (c_tree_printer): Tidy.
 486
 487 2013-08-30  Marek Polacek  <polacek@redhat.com>
 488
 489         * c-typeck.c (build_binary_op): Add division by zero and shift
 490         instrumentation.
 491
 492 2013-08-26  Joern Rennecke  <joern.rennecke@embecosm.com>
 493             Joseph Myers  <joseph@codesourcery.com>
 494
 495         PR c/35649
 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.
 499
 500 2013-08-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 501
 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.
 504
 505 2013-08-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 506
 507         * c-objc-common.c (c_initialize_diagnostics): Simplify C pretty
 508         printer initialization.
 509
 510 2013-08-19  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 511
 512         PR c/57490
 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
 517         case.
 518
 519 2013-08-04  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 520
 521         * c-objc-common.c (c_initialize_diagnostics): Don't call pp_base.
 522
 523 2013-07-23  Joseph Myers  <joseph@codesourcery.com>
 524
 525         * c-parser.c (struct c_generic_association): Fix typo.
 526
 527 2013-07-23  Tom Tromey  <tromey@redhat.com>
 528             Joseph Myers  <joseph@codesourcery.com>
 529
 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.
 534
 535 2013-07-13  Jason Merrill  <jason@redhat.com>
 536
 537         PR c++/57793
 538         * c-decl.c (finish_struct): Check for too-large class.
 539
 540 2013-07-04  Joern Rennecke  <joern.rennecke@embecosm.com>
 541
 542         PR c/57821
 543         * c-typeck.c (set_init_index): When folding, check for index overflow.
 544
 545 2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 546
 547         * c-parser.c (c_parser_array_notation): Removed rejection of array
 548         notations in an array of function pointers.
 549
 550 2013-06-21  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 551
 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.
 561
 562 2013-06-18  Marek Polacek  <polacek@redhat.com>
 563
 564         PR c/57630
 565         * c-decl.c (check_for_loop_decls): Improve diagnostics messages.
 566
 567 2013-06-12  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 568
 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.
 572
 573 2013-06-10  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 574
 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.
 578
 579 2013-06-07  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 580
 581         * c-array-notation.c (expand_array_notation_exprs): Added
 582         ARRAY_NOTATION_REF case.
 583
 584 2013-06-07  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 585
 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.
 599
 600 2013-06-05  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 601
 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
 605         body unconditional.
 606
 607 2013-06-03  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 608
 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.
 619
 620 2013-06-03  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 621
 622         PR c/57474
 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.
 626
 627 2013-05-29  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 628
 629         PR bootstrap/57450
 630         * c-array-notation.c (length_mismatch_in_expr_p): Use absu_hwi.
 631         (build_array_notation_expr): Likewise.
 632
 633 2013-05-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 634
 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
 647         type.
 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
 651         appropriate C code.
 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
 654         regular modify.
 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
 659         notation.
 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
 670         them.
 671         (c_parser_array_notation): New function.
 672         * c-array-notation.c: New file.
 673         * c-tree.h (is_cilkplus_reduce_builtin): Protoize.
 674
 675 2013-05-23  Mike Stump  <mikestump@comcast.net>
 676
 677         * c-typeck.c (convert_for_assignment): Handle references to memory
 678         spaces better.
 679
 680 2013-05-16  Jason Merrill  <jason@redhat.com>
 681
 682         * Make-lang.in (cc1$(exeext)): Use link mutex.
 683
 684 2013-04-24  Paolo Carlini  <paolo.carlini@oracle.com>
 685
 686         * c-typeck.c (pointer_diff): Change -Wpointer-arith pedwarns
 687         to simply use OPT_Wpointer_arith.
 688         (build_unary_op): Likewise.
 689
 690 2013-04-03  Jakub Jelinek  <jakub@redhat.com>
 691
 692         PR c/19449
 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.
 697
 698 2013-03-21  Richard Biener  <rguenther@suse.de>
 699
 700         * c-objc-common.c (c_tree_printer): Use DECL_HAS_DEBUG_EXPR_P
 701         instead of DECL_DEBUG_EXPR_IS_FROM.  Guard properly.
 702
 703 2013-02-12  Marek Polacek  <polacek@redhat.com>
 704
 705         PR c/44938
 706         * c-parser.c (c_parser_postfix_expression_after_primary): Initialize
 707         origtypes to NULL.
 708
 709 2013-01-24  Jakub Jelinek  <jakub@redhat.com>
 710
 711         PR c/56078
 712         * c-typeck.c (set_nonincremental_init_from_string): If
 713         constructor_max_index is NULL, treat it as if tree_int_cst_lt
 714         returned false.
 715         (process_init_element): Likewise.
 716
 717 2012-12-20  Jakub Jelinek  <jakub@redhat.com>
 718
 719         PR c++/55619
 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.
 727
 728 2012-12-18  Jakub Jelinek  <jakub@redhat.com>
 729
 730         PR c/39464
 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.
 734
 735 2012-11-16  Diego Novillo  <dnovillo@google.com>
 736
 737         Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec)
 738
 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.
 750
 751 2012-10-29  Jonathan Wakely  <jwakely.gcc@gmail.com>
 752
 753         PR c++/54930
 754         * c-typeck.c (c_finish_return): Use OPT_Wreturn_local_addr.
 755
 756 2012-10-29  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 757
 758         PR c/53066
 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
 761         pointer-to-function.
 762
 763 2012-10-12  Jakub Jelinek  <jakub@redhat.com>
 764
 765         PR c/54381
 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.
 775
 776 2012-10-09  Lawrence Crowl  <crowl@google.com>
 777
 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
 780         hash table.
 781
 782 2012-10-09  Paolo Carlini  <paolo.carlini@oracle.com>
 783
 784         PR c++/54194
 785         * c-typeck.c (parser_build_binary_op): Update warn_about_parentheses
 786         call.
 787
 788 2012-10-09  Marc Glisse  <marc.glisse@inria.fr>
 789
 790         PR c++/54427
 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.
 796
 797 2012-10-04  Arnaud Charlet  <charlet@adacore.com>
 798
 799         * c-decl.c (c_write_global_declarations): Fix handling of
 800         -fdump-ada-spec*.
 801
 802 2012-09-30  Sharad Singhai  <singhai@google.com>
 803
 804         * c-decl.c (c_write_global_declarations): Use a different method
 805         to determine if the dump has ben initialized.
 806
 807 2012-09-14  Joseph Myers  <joseph@codesourcery.com>
 808
 809         PR c/54552
 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
 812         c_fully_fold first.
 813
 814 2012-09-14  Joseph Myers  <joseph@codesourcery.com>
 815
 816         PR c/54103
 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.
 829
 830 2012-09-13  Jakub Jelinek  <jakub@redhat.com>
 831
 832         PR c/54559
 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.
 835
 836 2012-08-31  Jakub Jelinek  <jakub@redhat.com>
 837
 838         PR c/54428
 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.
 843
 844 2012-08-24  Jakub Jelinek  <jakub@redhat.com>
 845
 846         PR c/54355
 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.
 850
 851 2012-08-17  Jakub Jelinek  <jakub@redhat.com>
 852
 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
 856         non-NULL.
 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.
 863
 864 2012-07-24  Uros Bizjak  <ubizjak@gmail.com>
 865
 866         * c-lang.h (lang_decl): Add variable_size GTY option.
 867
 868 2012-07-16  Steven Bosscher  <steven@gcc.gnu.org>
 869
 870         * c-decl.c: Include dumpfile.h instead of tree-dump.h.
 871         * Make-lang.in: Fix dependencies.
 872
 873 2012-06-29  Steven Bosscher  <steven@gcc.gnu.org>
 874
 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.
 892 \f
 893 Copyright (C) 2012-2013 Free Software Foundation, Inc.
 894
 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.