gcc/c/ChangeLog

   1 2014-12-20  Martin Uecker <uecker@eecs.berkeley.edu>
   2
   3         * c-typeck.c: New behavious for pointers to arrays with qualifiers
   4         (common-pointer-type): For pointers to arrays take qualifiers from
   5         element type.
   6         (build_conditional_expr): Add warnings for lost qualifiers.
   7         (comp-target-types): Allow pointers to arrays with different qualifiers.
   8         (convert-for-assignment): Adapt warnings for discarded qualifiers. Add
   9         WARNING_FOR_QUALIFIERS macro and rename WARN_FOR_QUALIFIERS
  10         to PEDWARN_FOR_QUALIFIERS.
  11
  12 2014-12-17  Jakub Jelinek  <jakub@redhat.com>
  13
  14         PR sanitizer/64289
  15         * c-convert.c: Include ubsan.h.
  16         (convert): For real -> integral casts and
  17         -fsanitize=float-cast-overflow don't call convert_to_integer, but
  18         instead instrument the float cast directly.
  19
  20 2014-11-29  Jakub Jelinek  <jakub@redhat.com>
  21
  22         * c-typeck.c (convert_lvalue_to_rvalue, build_atomic_assign,
  23         c_finish_stmt_expr): Remove NULL last argument from
  24         create_tmp_var_raw and create_tmp_var calls.
  25         * c-array-notation.c (fix_builtin_array_notation_fn,
  26         build_array_notation_expr, fix_conditional_array_notations_1,
  27         fix_array_notation_expr, fix_array_notation_call_expr): Likewise.
  28
  29 2014-11-28  Marek Polacek  <polacek@redhat.com>
  30
  31         PR c/63862
  32         * c-typeck.c (build_binary_op) <RSHIFT_EXPR, LSHIFT_EXPR>: Don't
  33         convert the right operand to integer type.
  34
  35 2014-11-25  Marek Polacek  <polacek@redhat.com>
  36
  37         PR c/63877
  38         * c-decl.c (start_function): Disable -Wmissing-declarations warning
  39         for inline functions.
  40
  41 2014-11-21  Jakub Jelinek  <jakub@redhat.com>
  42
  43         PR target/63764
  44         * c-typeck.c (build_array_ref): Adjust
  45         convert_vector_to_pointer_for_subscript caller.  If it returns true,
  46         call non_lvalue_loc on the result.
  47
  48 2014-11-11  Richard Biener  <rguenther@suse.de>
  49
  50         * c-decl.c (c_init_decl_processing): Do not set pedantic_lvalues
  51         to true.
  52
  53 2014-11-10  Andi Kleen  <ak@linux.intel.com>
  54
  55         PR c/60804
  56         * c-parser.c (c_parser_statement_after_labels): Call
  57         check_no_cilk.
  58         (c_parser_if_statement): Dito.
  59         (c_parser_switch_statement): Dito.
  60         (c_parser_while_statement): Dito.
  61         (c_parser_do_statement): Dito.
  62         (c_parser_for_statement): Dito.
  63         * c-typeck.c (c_finish_loop): Dito.
  64
  65 2014-11-10  Paolo Carlini  <paolo.carlini@oracle.com>
  66
  67         * c-typeck.c (build_binary_op): Use OPT_Wshift_count_negative and
  68         OPT_Wshift_count_overflow in the warnings.
  69
  70 2014-10-30  Marek Polacek  <polacek@redhat.com>
  71
  72         * c-objc-common.c (c_tree_printer) <case 'T'>: For a typedef name,
  73         print the stripped version as well, if they're not the same.
  74
  75 2014-10-29  Richard Sandiford  <richard.sandiford@arm.com>
  76
  77         * c-decl.c, c-tree.h, c-typeck.c: Remove redundant enum from
  78         machine_mode.
  79
  80 2014-10-28  Andrew MacLeod  <amacleod@redhat.com>
  81
  82         * c-decl.c: Adjust include files.
  83         * c-parser.c: Ditto.
  84
  85 2014-10-27  Phil Muldoon  <pmuldoon@redhat.com>
  86             Tom Tromey  <tromey@redhat.com>
  87
  88         * c-tree.h (enum c_oracle_request): New.
  89         (c_binding_oracle_function): New typedef.
  90         (c_binding_oracle, c_pushtag, c_bind): Declare.
  91         * c-decl.c (c_binding_oracle): New global.
  92         (I_SYMBOL_CHECKED): New macro.
  93         (i_symbol_binding): New function.
  94         (I_SYMBOL_BINDING, I_SYMBOL_DECL): Redefine.
  95         (I_TAG_CHECKED): New macro.
  96         (i_tag_binding): New function.
  97         (I_TAG_BINDING, I_TAG_DECL): Redefine.
  98         (I_LABEL_CHECKED): New macro.
  99         (i_label_binding): New function.
 100         (I_LABEL_BINDING, I_LABEL_DECL): Redefine.
 101         (c_print_identifier): Save and restore c_binding_oracle.
 102         (c_pushtag, c_bind): New functions.
 103
 104 2014-10-27  Andrew MacLeod  <amacleod@redhat.com>
 105
 106         * c-typeck.c: Adjust include files.
 107
 108 2014-10-26  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 109
 110         PR c++/53061
 111         * c-objc-common.c (c_objc_common_init): Do not do diagnostics
 112         initialization here...
 113         (c_initialize_diagnostics): ... but here. Set defaults after
 114         building pretty-printer.
 115
 116 2014-10-23  Marek Polacek  <polacek@redhat.com>
 117
 118         PR c/63626
 119         * c-decl.c (pop_scope): Don't print warning in external_scope.
 120
 121 2014-10-19  Marek Polacek  <polacek@redhat.com>
 122
 123         PR c/63567
 124         * c-typeck.c (output_init_element): Allow initializing objects with
 125         static storage duration with compound literals even in C99 and add
 126         pedwarn for it.
 127
 128 2014-10-17  Marek Polacek  <polacek@redhat.com>
 129
 130         PR c/63567
 131         * c-typeck.c (digest_init): Allow initializing objects with static
 132         storage duration with compound literals even in C99 and add pedwarn
 133         for it.
 134
 135 2014-10-17  Marek Polacek  <polacek@redhat.com>
 136
 137         PR c/63543
 138         * c-tree.h (C_TYPE_ERROR_REPORTED): Define.
 139         * c-typeck.c (build_indirect_ref): Don't print the "dereferencing..."
 140         error multiple times.  Print the type.
 141
 142 2014-10-17  Marek Polacek  <polacek@redhat.com>
 143
 144         PR c/63549
 145         * c-typeck.c (build_array_ref): Bail if the index in an incomplete
 146         type.
 147
 148 2014-10-17  Marek Polacek  <polacek@redhat.com>
 149
 150         * c-decl.c (grokdeclarator): Use OPT_Wimplicit_int unconditionally.
 151         (start_function): Use OPT_Wimplicit_int instead of 0.
 152         (store_parm_decls_oldstyle): Likewise.
 153
 154 2014-10-17  Alan Modra  <amodra@gmail.com>
 155
 156         PR middle-end/61848
 157         * c-decl.c (merge_decls): Don't merge section name or tls model
 158         to newdecl symtab node, instead merge to olddecl.  Override
 159         existing olddecl section name.  Set tls_model for all thread-local
 160         vars, not just OMP thread-private ones.  Remove incorrect comment.
 161
 162 2014-10-16  Andrew MacLeod  <amacleod@redhat.com>
 163
 164         * c-decl.c: Adjust include files.
 165
 166 2014-10-14  DJ Delorie  <dj@redhat.com>
 167
 168         * c-parser.c (c_parse_init): Add RID entries for each __intN.
 169         (c_token_starts_typename): Check all __intN, not just __int128.
 170         (c_token_starts_declspecs): Likewise.
 171         (c_parser_declspecs): Likewise.
 172         (c_parser_attribute_any_word): Likewise.
 173         (c_parser_objc_selector): Likewise.
 174         * c-tree.h (c_typespec_keyword): cts_int128 -> cts_int_n.
 175         (struct c_declspecs): Add int_n_idx field to record *which* __intN
 176         is specified.
 177         * c-decl.c (declspecs_add_type): Check for all __intN, not just
 178         __int128.
 179         (finish_declspecs): Likewise.
 180
 181 2014-10-13  Anthony Brandon  <anthony.brandon@gmail.com>
 182
 183         * c-parser.c (c_parser_all_labels): New function to replace
 184         the duplicate code.
 185         (c_parser_statement): Call the new function.
 186
 187 2014-10-09  Marek Polacek  <polacek@redhat.com>
 188
 189         PR c/63480
 190         * c-typeck.c (pop_init_level): Don't warn about initializing
 191         with { }.
 192
 193 2014-10-07  Marek Polacek  <polacek@redhat.com>
 194
 195         PR c/59717
 196         * c-decl.c (header_for_builtin_fn): New function.
 197         (implicitly_declare): Suggest which header to include.
 198
 199 2014-10-07  Marek Polacek  <polacek@redhat.com>
 200
 201         * c-convert.c (convert): Use error_operand_p.
 202         * c-typeck.c (require_complete_type): Likewise.
 203         (really_atomic_lvalue): Likewise.
 204         (digest_init): Likewise.
 205         (handle_omp_array_sections_1): Likewise.
 206
 207 2014-10-03  Marek Polacek  <polacek@redhat.com>
 208
 209         PR c/63453
 210         * c-decl.c (pop_scope): Don't warn about "inline function declared
 211         but never defined" for functions marked with gnu_inline attribute.
 212
 213 2014-09-25  Jakub Jelinek  <jakub@redhat.com>
 214
 215         PR c++/63249
 216         * c-parser.c (c_parser_omp_variable_list): Call mark_exp_read
 217         on low_bound and length.
 218
 219 2014-09-24  Marek Polacek  <polacek@redhat.com>
 220
 221         PR c/61405
 222         PR c/53874
 223         * c-parser.c: Don't define CPP_KEYWORD.
 224         (c_parser_switch_statement): Pass original type to c_finish_case.
 225         * c-tree.h (c_finish_case): Update declaration.
 226         * c-typeck.c (c_finish_case): Add TYPE parameter.  Pass it
 227         conditionally to c_do_switch_warnings.
 228
 229 2014-09-03  Marek Polacek  <polacek@redhat.com>
 230
 231         PR c/62024
 232         * c-parser.c (c_parser_static_assert_declaration_no_semi): Strip no-op
 233         conversions.
 234
 235 2014-09-02  Jakub Jelinek  <jakub@redhat.com>
 236             Balaji V. Iyer  <balaji.v.iyer@intel.com>
 237             Igor Zamyatin  <igor.zamyatin@intel.com>
 238
 239         * c-parser.c (c_parser_cilk_for): New function.
 240         (c_parser_cilk_grainsize): Likewise.
 241         (c_get_temp_regvar): Likewise.
 242         (c_parser_statement_after_labels): Added RID_CILK_FOR case.
 243         (c_parser_pragma): Added PRAGMA_CILK_GRAINSIZE case.
 244         (c_parser_omp_for_loop): Added CILK_FOR and CILK_SIMD checks.
 245         * c-typeck.c (c_finish_omp_clauses): Added OMP_CLAUSE__CILK_FOR_COUNT_
 246         case.
 247
 248 2014-08-27  Chen Gang  <gang.chen.5i5j@gmail.com>
 249
 250         * c-aux-info.c (gen_type): Resize 'buff' from 10 to 23 bytes,
 251         with using HOST_WIDE_INT without truncation to 'int'
 252
 253 2014-08-22  Marek Polacek  <polacek@redhat.com>
 254
 255         PR c++/62199
 256         * c-typeck.c (parser_build_binary_op): Adjust call to
 257         warn_logical_not_parentheses.
 258
 259 2014-08-22  Igor Zamyatin  <igor.zamyatin@intel.com>
 260
 261         PR other/62008
 262         * c-parser.c (c_parser_array_notation): Check for correct
 263         type of an array added.
 264
 265 2014-08-19  Marek Polacek  <polacek@redhat.com>
 266
 267         PR c++/62153
 268         * c-typeck.c (build_binary_op): If either operand of a comparison
 269         is a boolean expression, call maybe_warn_bool_compare.
 270
 271 2014-08-19  Patrick Palka  <ppalka@gcc.gnu.org>
 272
 273         PR c/45584
 274         * c-typeck.c (build_c_cast): Do a conversion even when the
 275         TYPE_MAIN_VARIANTs are the same.
 276
 277 2014-08-19  Marek Polacek  <polacek@redhat.com>
 278
 279         * c-decl.c (diagnose_mismatched_decls): Unconditionally call
 280         pedwarn_c99 instead of pedwarn.
 281         (grokfield): Likewise.
 282         (warn_defaults_to): New function.
 283         (grokdeclarator): Call warn_defaults_to instead of pedwarn_c99.
 284         Unconditionally call pedwarn_c99 instead of pedwarn.
 285         (start_function): Call warn_defaults_to instead of pedwarn_c99.
 286         (declspecs_add_scspec): Call pedwarn_c99 instead of pedwarn, don't
 287         check flag_isoc11 before.
 288         * c-errors.c (pedwarn_c99): Change the return type to bool.
 289         Handle -Wc99-c11-compat.
 290         * c-parser.c (disable_extension_diagnostics): Handle
 291         warn_c99_c11_compat.
 292         (restore_extension_diagnostics): Likewise.
 293         (c_parser_static_assert_declaration_no_semi): Call pedwarn_c99
 294         instead of pedwarn, don't check flag_isoc11 before.
 295         (c_parser_declspecs): Likewise.
 296         (c_parser_alignas_specifier): Likewise.
 297         (c_parser_alignof_expression): Likewise.
 298         (c_parser_generic_selection): Likewise.
 299         * c-tree.h (pedwarn_c99): Update declaration.
 300         * c-typeck.c (c_finish_return): Call pedwarn or warning_at instead
 301         of pedwarn_c99.
 302
 303 2014-08-19  Marek Polacek  <polacek@redhat.com>
 304
 305         * c-decl.c (warn_variable_length_array): Pass OPT_Wvla unconditionally
 306         to pedwarn_c90.
 307         * c-errors.c: Include "opts.h".
 308         (pedwarn_c90): Rewrite to handle -Wno-c90-c99-compat better.
 309         * c-parser.c (disable_extension_diagnostics): Handle negative value
 310         of warn_c90_c99_compat, too.
 311         (restore_extension_diagnostics): Likewise.
 312         (c_parser_compound_statement_nostart): Pass
 313         OPT_Wdeclaration_after_statement unconditionally to pedwarn_c90.
 314
 315 2014-08-12  Marek Polacek  <polacek@redhat.com>
 316
 317         * c-parser.c (c_parser_postfix_expression) <case RID_FUNCTION_NAME>:
 318         Add pedwarn.
 319         (c_parser_postfix_expression) <case RID_PRETTY_FUNCTION_NAME>:
 320         Likewise.
 321         (c_parser_postfix_expression) <case RID_C99_FUNCTION_NAME>: Likewise.
 322
 323 2014-08-10 Marek Polacek  <polacek@redhat.com>
 324
 325         PR c/51849
 326         * c-decl.c (build_array_declarator): Remove check for !flag_isoc99.
 327         Call pedwarn_c90 instead of pedwarn.
 328         (check_bitfield_type_and_width): Likewise.
 329         (declspecs_add_qual): Likewise.
 330         (declspecs_add_type): Likewise.
 331         (warn_variable_length_array): Unify function for -pedantic and -Wvla.
 332         Adjust to only call pedwarn_c90.
 333         (grokdeclarator): Remove pedantic && !flag_isoc99 check.  Call
 334         pedwarn_c90 instead of pedwarn.
 335         * c-errors.c (pedwarn_c90): Handle -Wc90-c99-compat.
 336         * c-parser.c (disable_extension_diagnostics): Handle
 337         warn_c90_c99_compat.
 338         (restore_extension_diagnostics): Likewise.
 339         (c_parser_enum_specifier): Remove check for !flag_isoc99.  Call
 340         pedwarn_c90 instead of pedwarn.
 341         (c_parser_initelt): Likewise.
 342         (c_parser_postfix_expression): Likewise.
 343         (c_parser_postfix_expression_after_paren_type): Likewise.
 344         (c_parser_compound_statement_nostart): Remove check for !flag_isoc99.
 345         * c-tree.h: Fix formatting.
 346         * c-typeck.c (build_array_ref): Remove check for !flag_isoc99.  Call
 347         pedwarn_c90 instead of pedwarn.
 348
 349 2014-08-07  Trevor Saunders  <tsaunders@mozilla.com>
 350
 351         * c-typeck.c: Remove include of pointer-set.h.
 352
 353 2014-08-07  Marek Polacek  <polacek@redhat.com>
 354
 355         * c-typeck.c (pointer_diff): Remove P - (P + CST) optimization.
 356
 357 2014-08-02  Trevor Saunders  <tsaunders@mozilla.com>
 358
 359         * c-typeck.c: Use hash_map instead of pointer_map.
 360
 361 2014-08-02  Trevor Saunders  <tsaunders@mozilla.com>
 362
 363         * c-decl.c: Use hash_set instead of pointer_set.
 364
 365 2014-08-01  Igor Zamyatin  <igor.zamyatin@intel.com>
 366
 367         PR middle-end/61455
 368         * c-array-notation.c (expand_array_notations): Handling
 369         of DECL_EXPR added.
 370
 371 2014-07-31  Marc Glisse  <marc.glisse@inria.fr>
 372
 373         PR c++/60517
 374         * c-typeck.c (c_finish_return): Return 0 instead of the address of
 375         a local variable.
 376
 377 2014-07-30  Tom Tromey  <tromey@redhat.com>
 378
 379         * c-typeck.c (struct constructor_stack) <designator_depth>: New
 380         field.
 381         (really_start_incremental_init, push_init_level): Initialize
 382         designator_depth.
 383         (pop_init_level): Set global designator_depth.
 384         (process_init_element): Check for designated_init attribute.
 385
 386 2014-07-20  Marek Polacek  <polacek@redhat.com>
 387
 388         PR c/61852
 389         * c-decl.c (implicit_decl_warning): Add location_t parameter.  Use it.
 390         (implicitly_declare): Pass location to implicit_decl_warning.
 391
 392 2014-07-14  Jakub Jelinek  <jakub@redhat.com>
 393
 394         PR middle-end/61294
 395         * c-parser.c (c_parser_expr_list): Add new argument literal_zero_mask.
 396         If non-NULL, call c_parser_check_literal_zero.
 397         (c_parser_check_literal_zero): New function.
 398         (c_parser_postfix_expression_after_primary): Adjust
 399         c_parser_expr_list caller, handle -Wmemset-transposed-args.
 400
 401 2014-07-06  Marek Polacek  <polacek@redhat.com>
 402
 403         PR c/6940
 404         * c-decl.c (grokdeclarator): Set C_ARRAY_PARAMETER.
 405         * c-tree.h (C_ARRAY_PARAMETER): Define.
 406         * c-typeck.c (c_expr_sizeof_expr): Warn when using sizeof on an array
 407         function parameter.
 408
 409 2014-07-02  Jan Hubicka  <hubicka@ucw.cz>
 410             Chen Gang <gang.chen.5i5j@gmail.com>
 411
 412         * c-decl.c (duplicate_decls): CLear DECL_STRUCT_FUNCTION before
 413         releasing symbol.
 414
 415 2014-07-01  Marek Polacek  <polacek@redhat.com>
 416
 417         * c-typeck.c (convert_for_assignment): Pass OPT_Wint_conversion
 418         instead of 0 to WARN_FOR_ASSIGNMENT.
 419
 420 2014-07-01  Marek Polacek  <polacek@redhat.com>
 421
 422         PR c/58286
 423         * c-typeck.c (convert_for_assignment): Pass
 424         OPT_Wincompatible_pointer_types instead of 0 to WARN_FOR_ASSIGNMENT.
 425
 426 2014-06-30  Marek Polacek  <polacek@redhat.com>
 427
 428         * c-decl.c (grokdeclarator): Don't instrument VLAs if the function
 429         has no_sanitize_undefined attribute.
 430
 431 2014-06-30  Igor Zamyatin  <igor.zamyatin@intel.com>
 432
 433         PR middle-end/57541
 434         * c-array-notation.c (fix_builtin_array_notation_fn):
 435         Check for 0 arguments in builtin call. Check that bultin argument is
 436         correct.
 437         * c-parser.c (c_parser_array_notation): Check for incorrect initial
 438         index.
 439
 440 2014-06-27  Sebastian Huber  <sebastian.huber@embedded-brains.de>
 441
 442         * c-parser.c (c_parser_declaration_or_fndef): Discard all type
 443         qualifiers in __auto_type for atomic types.
 444         (c_parser_typeof_specifier): Discard all type qualifiers in
 445         __typeof__ for atomic types.
 446
 447 2014-06-25  Marek Polacek  <polacek@redhat.com>
 448
 449         PR c/61162
 450         * c-parser.c (c_parser_statement_after_labels): Pass the location of
 451         the return expression to c_finish_return.
 452
 453 2014-06-25  Jakub Jelinek  <jakub@redhat.com>
 454
 455         * c-typeck.c (c_finish_omp_clauses): Make sure
 456         OMP_CLAUSE_LINEAR_STEP has correct type.
 457
 458 2014-06-24  Trevor Saunders  <tsaunders@mozilla.com>
 459
 460         * c-decl.c: Adjust.
 461
 462 2014-06-24  Jakub Jelinek  <jakub@redhat.com>
 463
 464         * c-parser.c (c_parser_omp_for_loop): For
 465         #pragma omp parallel for simd move lastprivate clause from parallel
 466         to for rather than simd.
 467
 468 2014-06-23  Marek Polacek  <polacek@redhat.com>
 469
 470         * c-typeck.c (parser_build_binary_op): Don't call
 471         warn_logical_not_parentheses if the RHS is TRUTH_NOT_EXPR.
 472
 473 2014-06-15  Jan Hubicka  <hubicka@ucw.cz>
 474
 475         * c-parser.c (c_parser_omp_threadprivate): Likewise.
 476         * c-decl.c (merge_decls): Likewise.
 477
 478 2014-06-09  Marek Polacek  <polacek@redhat.com>
 479
 480         PR c/36446
 481         * c-typeck.c (error_init): Call inform instead of error_at.
 482         (pedwarn_init): Call inform instead of pedwarn.
 483         (warning_init): Call inform instead of warning_at.
 484
 485 2014-06-07  Jan Hubicka  <hubicka@ucw.cz>
 486
 487         * c-decl.c (merge_decls): Use set_decl_section_name.
 488         (duplicate_decls): Remove node if it exists.
 489
 490 2014-06-05  S. Gilles  <sgilles@terpmail.umd.edu>
 491
 492         PR c/53119
 493         * c-typeck.c (push_init_level, process_init_element,
 494         pop_init_level): Correct check for zero initialization, move
 495         missing brace warning to respect zero initialization.
 496
 497 2014-06-05  Marek Polacek  <polacek@redhat.com>
 498
 499         PR c/56724
 500         * c-typeck.c (convert_for_assignment): Use expr_loc for ic_argpass.
 501
 502 2014-06-05  Marek Polacek  <polacek@redhat.com>
 503
 504         PR c/49706
 505         * c-typeck.c (parser_build_binary_op): Warn when logical not is used
 506         on the left hand side operand of a comparison.
 507
 508 2014-06-05  Marek Polacek  <polacek@redhat.com>
 509
 510         PR c/48062
 511         * c-decl.c (warn_if_shadowing): Call inform instead of warning_at.
 512         Print note only if the warning was printed.
 513
 514 2014-06-04  Igor Zamyatin  <igor.zamyatin@intel.com>
 515
 516         PR c/58942
 517         * c-array-notation.c (fix_builtin_array_notation_fn): Handle the case
 518         with a pointer.
 519
 520 2014-06-03  Marek Polacek  <polacek@redhat.com>
 521
 522         PR c/60439
 523         * c-parser.c (c_parser_switch_statement): Pass explicit_cast_p to
 524         c_start_case.
 525         * c-tree.h (c_start_case): Update.
 526         * c-typeck.c (c_start_case): Add new boolean parameter.  Warn if
 527         switch condition has boolean value.
 528
 529 2014-06-02  Andrew MacLeod  <amacleod@redhat.com>
 530
 531         * c-decl.c: Include builtins.h.
 532         * c-parser.c: Likewise.
 533
 534 2014-05-27  Marek Polacek  <polacek@redhat.com>
 535
 536         PR c/56724
 537         * c-typeck.c (convert_arguments): Get location of a parameter.  Change
 538         error and warning calls to error_at and warning_at.  Pass location of
 539         a parameter to it.  Call warning_at with OPT_Wtraditional_conversion.
 540         (convert_for_assignment): Add parameter to WARN_FOR_ASSIGNMENT and
 541         WARN_FOR_QUALIFIERS.  Pass expr_loc to those.
 542
 543 2014-05-26  Igor Zamyatin  <igor.zamyatin@intel.com>
 544
 545         PR c/61191
 546         * c-array-notation.c (fix_builtin_array_notation_fn): Check invalid
 547         function parameters.
 548
 549 2014-05-23  Jan Hubicka  <hubicka@ucw.cz>
 550
 551         * c-decl.c (merge_decls): Preserve symtab node pointers.
 552         (duplicate_decls): Free new decl.
 553
 554 2014-05-23  Thomas Schwinge  <thomas@codesourcery.com>
 555
 556         * c-typeck.c (c_finish_omp_clauses): Remove duplicated variable
 557         initialization.
 558
 559         * c-parser.c (c_parser_omp_target): Return bool values.
 560
 561 2014-05-22  Thomas Schwinge  <thomas@codesourcery.com>
 562
 563         * c-parser.c (c_parser_omp_clause_thread_limit): Rename
 564         num_teams_loc variable to num_thread_limit_loc.
 565
 566 2014-05-21  Richard Sandiford  <rsandifo@linux.vnet.ibm.com>
 567
 568         * c-array-notation.c (expand_array_notations): Use void_node
 569         instead of void_zero_node.
 570
 571 2014-05-17  Trevor Saunders  <tsaunders@mozilla.com>
 572
 573         * c-decl.c (finish_struct): Adjust.
 574         (finish_enum): Likewise.
 575         (bind): Adjust.
 576         (record_inline_static): Likewise.
 577         (push_scope): Likewise.
 578         (make_label): Likewise.
 579         (lookup_label_for_goto): Likewise.
 580         (finish_struct): Likewise.
 581         (finish_enum): Likewise.
 582         (store_parm_decls): Likewise.
 583         (c_push_function_context): Likewise.
 584         * c-lang.h: Remove usage of variable_size gty attribute.
 585         * c-parser.c (c_parse_init): Adjust.
 586         (c_parse_file): Likewise.
 587
 588 2014-05-13  Marek Polacek  <polacek@redhat.com>
 589
 590         PR c/61162
 591         * c-typeck.c (convert_for_assignment): Pass location to
 592         WARN_FOR_ASSIGNMENT instead of input_location.
 593
 594 2014-05-10  Marek Polacek  <polacek@redhat.com>
 595
 596         * c-parser.c (c_parser_declaration_or_fndef): Pass init_loc to
 597         maybe_warn_string_init.
 598         (c_parser_postfix_expression_after_paren_type): Pass type_loc to
 599         maybe_warn_string_init.
 600         * c-tree.h (maybe_warn_string_init): Update declaration.
 601         * c-typeck.c (maybe_warn_string_init): Add location parameter.
 602         Call pedwarn_init with loc instead of with input_location.
 603         (digest_init): Pass init_loc to maybe_warn_string_init.
 604         (pop_init_level): Call pedwarn_init with loc instead of with
 605         input_location.
 606         (set_init_index): Likewise.
 607         (process_init_element): Likewise.
 608
 609 2014-05-09  Marek Polacek  <polacek@redhat.com>
 610
 611         PR c/61096
 612         * c-parser.c (c_parser_braced_init): Pass brace_loc to push_init_level.
 613         (c_parser_initelt): Pass location to set_init_label.  Pass array index
 614         location to set_init_index.
 615         * c-tree.h (push_init_level): Update declaration.
 616         (pop_init_level): Likewise.
 617         (set_init_index): Likewise.
 618         (set_init_label): Likewise.
 619         * c-typeck.c (error_init): Add location parameter.  Call error_at
 620         instead of error.
 621         (digest_init): Pass init_loc to error_init.
 622         (really_start_incremental_init):
 623         (push_init_level): Add location parameter.  Pass loc to pop_init_level
 624         and error_init.
 625         (pop_init_level): Likewise.
 626         (set_designator): Add location parameter.  Pass loc to pop_init_level,
 627         push_init_level, and error_init.
 628         (set_init_index): Add location parameter.  Pass loc to error_init and
 629         set_designator.
 630         (set_init_label): Likewise.
 631         (output_init_element): Pass loc to error_init.
 632         (process_init_element): Pass loc to error_init, pop_init_level,
 633         pedwarn_init, and push_init_level.
 634
 635 2014-05-09  Marek Polacek  <polacek@redhat.com>
 636
 637         PR c/50459
 638         * c-parser.c (c_parser_attributes): Parse the arguments as an
 639         expression-list if the attribute takes identifier.
 640
 641 2014-05-08  Marek Polacek  <polacek@redhat.com>
 642
 643         PR c/61053
 644         * c-decl.c (grokdeclarator): Use min_align_of_type instead of
 645         TYPE_ALIGN_UNIT.
 646
 647 2014-05-08  Marek Polacek  <polacek@redhat.com>
 648
 649         PR c/61077
 650         * c-decl.c (start_function): Warn for _Atomic-qualified return type
 651         of main.
 652
 653 2014-05-06  Kenneth Zadeck  <zadeck@naturalbridge.com>
 654             Mike Stump  <mikestump@comcast.net>
 655             Richard Sandiford  <rdsandiford@googlemail.com>
 656
 657         * c-decl.c (check_bitfield_type_and_width): Use TYPE_SIGN.
 658         (finish_enum): Use wide-int interfaces.
 659         * c-parser.c (c_parser_cilk_clause_vectorlength): Likewise.
 660         * c-typeck.c (build_c_cast): Likewise.
 661         (set_nonincremental_init_from_string): Likewise.
 662         (c_tree_equal): Likewise.
 663
 664 2014-05-02  Marek Polacek  <polacek@redhat.com>
 665
 666         PR c/25801
 667         * c-typeck.c (c_size_in_bytes): Update comment.  Don't call error.
 668         Return size_one_node when the type is not complete.
 669         (pointer_diff): Remove comment.
 670         (build_unary_op): Improve error messages.
 671
 672 2014-05-02  Marek Polacek  <polacek@redhat.com>
 673
 674         * c-typeck.c (c_finish_return): Separate warning_at calls.
 675
 676 2014-05-02  Marek Polacek  <polacek@redhat.com>
 677
 678         * c-tree.h (error_init): Remove declaration.
 679         (pedwarn_init): Likewise.
 680         * c-typeck.c (error_init): Make static and move above.
 681         (pedwarn_init): Likewise.
 682         (warning_init): Move above.
 683         (maybe_warn_string_init): Likewise.
 684
 685 2014-05-01  Jeff Law  <law@redhat.com>
 686
 687         Revert:
 688
 689         2014-04-24  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
 690         * c-parser.c (c_parser_sizeof_expression): Reorganize slightly to
 691         avoid goto.
 692
 693 2014-05-02  Marek Polacek  <polacek@redhat.com>
 694
 695         PR c/60784
 696         * c-typeck.c (push_init_level): Set constructor_designated to
 697         p->designated for structures.
 698
 699 2014-05-01  Marek Polacek  <polacek@redhat.com>
 700
 701         PR c/60915
 702         * c-parser.c (c_parser_declaration_or_fndef): Give better error if
 703         function-definition has an attribute after the declarator.
 704
 705 2014-05-01  Marek Polacek  <polacek@redhat.com>
 706
 707         PR c/60257
 708         * c-typeck.c (warning_init): Add location_t parameter.  Call
 709         warning_at instead of warning.
 710         (push_init_level): Pass input_location to warning_init.
 711         (add_pending_init): Add location_t parameter.  Pass loc to
 712         warning_init.
 713         (set_nonincremental_init): Pass input_location to add_pending_init.
 714         (set_nonincremental_init_from_string): Likewise.
 715         (output_init_element): Pass loc to warning_init and to
 716         add_pending_init.
 717
 718 2014-05-01  Marek Polacek  <polacek@redhat.com>
 719
 720         PR c/43395
 721         * c-typeck.c (c_finish_return): Distinguish between label and variable
 722         when warning about returning local address.
 723
 724 2014-05-01  Marek Polacek  <polacek@redhat.com>
 725
 726         PR c/29467
 727         * c-decl.c (declspecs_add_type): Pedwarn if boolean types are used
 728         in C89 mode.
 729
 730 2014-05-01  Marek Polacek  <polacek@redhat.com>
 731
 732         PR c/43245
 733         * c-typeck.c (convert_for_assignment): Pass OPT_Wdiscarded_qualifiers
 734         instead of 0 to WARN_FOR_QUALIFIERS.
 735
 736 2014-05-01  Marek Polacek  <polacek@redhat.com>
 737
 738         PR c/56989
 739         * c-typeck.c (default_conversion): Use better location for
 740         error call.
 741
 742 2014-04-30  Marek Polacek  <polacek@redhat.com>
 743
 744         * c-typeck.c (build_binary_op): Call ubsan_instrument_division
 745         also when SANITIZE_FLOAT_DIVIDE is on.
 746
 747 2014-04-30  Marek Polacek  <polacek@redhat.com>
 748
 749         PR c/60139
 750         * c-typeck.c (output_init_element): Pass OPT_Wpedantic to pedwarn
 751         and pedwarn_init.  Use loc insted of input_location.
 752
 753 2014-04-30  Marek Polacek  <polacek@redhat.com>
 754
 755         PR c/60351
 756         * c-typeck.c (build_binary_op): Use location when warning about
 757         shift count.
 758
 759 2014-04-25  Marek Polacek  <polacek@redhat.com>
 760
 761         PR c/18079
 762         * c-decl.c (diagnose_mismatched_decls): Warn for mismatched
 763         always_inline/noinline and hot/cold attributes.
 764
 765 2014-04-25  Marek Polacek  <polacek@redhat.com>
 766
 767         PR c/60114
 768         * c-parser.c (c_parser_initelt): Pass input_location to
 769         process_init_element.
 770         (c_parser_initval): Pass loc to process_init_element.
 771         * c-tree.h (process_init_element): Adjust declaration.
 772         * c-typeck.c (push_init_level): Pass input_location to
 773         process_init_element.
 774         (pop_init_level): Likewise.
 775         (set_designator): Likewise.
 776         (output_init_element): Add location_t parameter.  Pass loc to
 777         digest_init.
 778         (output_pending_init_elements): Pass input_location to
 779         output_init_element.
 780         (process_init_element): Add location_t parameter.  Pass loc to
 781         output_init_element.
 782
 783 2014-04-24  Jakub Jelinek  <jakub@redhat.com>
 784
 785         * c-parser.c (c_parser_omp_atomic): Allow seq_cst before
 786         atomic-clause, allow comma in between atomic-clause and
 787         seq_cst.
 788
 789 2014-04-22  Jakub Jelinek  <jakub@redhat.com>
 790
 791         PR c/59073
 792         * c-parser.c (c_parser_omp_parallel): If c_parser_omp_for
 793         fails, don't set OM_PARALLEL_COMBINED and return NULL.
 794
 795 2014-04-12  Igor Zamyatin  <igor.zamyatin@intel.com>
 796
 797         PR middle-end/60469
 798         * c-array-notation.c (fix_builtin_array_notation_fn): Use
 799         create_tmp_var instead build_decl for creating temps.
 800         (build_array_notation_expr): Likewise.
 801         (fix_conditional_array_notations_1): Likewise.
 802         (fix_array_notation_expr): Likewise.
 803         (fix_array_notation_call_expr): Likewise.
 804
 805 2014-03-28  Jakub Jelinek  <jakub@redhat.com>
 806
 807         PR c++/60689
 808         * c-tree.h (c_build_function_call_vec): New prototype.
 809         * c-typeck.c (build_function_call_vec): Don't call
 810         resolve_overloaded_builtin here.
 811         (c_build_function_call_vec): New wrapper function around
 812         build_function_call_vec.  Call resolve_overloaded_builtin here.
 813         (convert_lvalue_to_rvalue, build_function_call, build_atomic_assign):
 814         Call c_build_function_call_vec instead of build_function_call_vec.
 815         * c-parser.c (c_parser_postfix_expression_after_primary): Likewise.
 816         * c-decl.c (finish_decl): Likewise.
 817
 818 2014-03-18  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 819
 820         PR c/55383
 821         * c-typeck.c: Use correct format string in cast-qual warning
 822
 823 2014-03-07  Thomas Schwinge  <thomas@codesourcery.com>
 824
 825         * c-decl.c (c_decl_attributes): Use
 826         lang_hooks.types.omp_mappable_type.
 827         * c-typeck.c (c_finish_omp_clauses): Likewise.
 828
 829 2014-03-06  Marek Polacek  <polacek@redhat.com>
 830
 831         PR c/60197
 832         * c-typeck.c (c_finish_return): Call contains_cilk_spawn_stmt instead
 833         of checking tree code.
 834
 835 2014-02-19  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
 836
 837         * c-parser.c (c_parser_declspecs): Replace call to error by error_at.
 838         (c_parser_parameter_declaration): Likewise.
 839
 840 2014-02-19  Marek Polacek  <polacek@redhat.com>
 841
 842         PR c/60195
 843         * c-typeck.c (convert_lvalue_to_rvalue): Set TREE_NO_WARNING on tmp.
 844         Call mark_exp_read on exp.value.
 845         (build_atomic_assign): Set TREE_NO_WARNING on val and old.  Set
 846         TREE_ADDRESSABLE on old instead of val.
 847         (emit_side_effect_warnings): Warn only if RHS has !TREE_NO_WARNING.
 848
 849 2014-02-07  Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>
 850
 851         * c-parser.c (c_parser_get_builtin_args): Replace calls to
 852         C_EXPR_APPEND by vec_safe_push.
 853         * c-tree.h (C_EXPR_APPEND): Remove.
 854
 855 2014-01-31  Marek Polacek  <polacek@redhat.com>
 856
 857         PR c/59963
 858         * c-typeck.c (convert_lvalue_to_rvalue): Pass vNULL to
 859         build_function_call_vec.
 860         (build_function_call): Likewise.
 861         (build_atomic_assign): Likewise.
 862         (build_function_call_vec): Add arg_loc parameter.  Use it.
 863         (convert_arguments): Likewise.
 864         (convert_for_assignment): Rename rhs_loc to expr_loc.
 865         * c-parser.c (c_parser_attributes): Pass NULL to c_parser_expr_list.
 866         (c_parser_objc_keywordexpr): Likewise.
 867         (c_parser_postfix_expression_after_primary): Call
 868         build_function_call_vec with expr_loc rather than op_loc.
 869         Call c_parser_expr_list to fill arg_loc.  Pass arg_loc to
 870         build_function_call_vec.
 871         (c_parser_expr_list): Add locations parameter.  Fill it with locations
 872         of function arguments.
 873         * c-decl.c (finish_decl): Pass vNULL to build_function_call_vec.
 874
 875 2014-01-30  Marek Polacek  <polacek@redhat.com>
 876
 877         PR c/59940
 878         * c-typeck.c (build_function_call_vec): Use loc parameter.
 879         (convert_arguments): Add location parameter.  Use it.
 880         (ep_convert_and_check): Likewise.
 881         (build_atomic_assign): Adjust convert_for_assignment call.
 882         (build_modify_expr): Likewise.
 883         (digest_init): Likewise.
 884         (c_finish_return): Likewise.
 885         (build_conditional_expr): Adjust ep_convert_and_check calls.
 886         (convert_for_assignment): Add rhs_loc parameter.  Use it.
 887         (build_binary_op): Adjust convert_and_check and ep_convert_and_check
 888         calls.
 889
 890 2014-01-30  Richard Biener  <rguenther@suse.de>
 891
 892         PR c/59905
 893         * c-typeck.c (build_function_call_vec): Do not replace calls
 894         to a function via an incompatible type with a runtime abort.
 895
 896 2014-01-24  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 897
 898         * c-parser.c (c_parser_declaration_or_fndef): Replaced
 899         flag_enable_cilkplus with flag_cilkplus.
 900         (c_parser_direct_declarator_inner): Likewise.
 901         (c_parser_attribute_any_word): Likewise.
 902         (c_parser_attributes): Likewise.
 903         (c_parser_compound_statement): Likewise.
 904         (c_parser_statement_after_labels): Likewise.
 905         (c_parser_if_statement): Likewise.
 906         (c_parser_switch_statement): Likewise.
 907         (c_parser_do_statement): Likewise.
 908         (c_parser_for_statement): Likewise.
 909         (c_parser_unary_expression): Likewise.
 910         (c_parser_postfix_expression): Likewise.
 911         (c_parser_postfix_expression_after_primary): Likewise.
 912         (c_parser_postfix_expression_after_primary): Likewise.
 913         (c_parser_omp_clause_name): Likewise.
 914         (c_finish_omp_declare_simd): Likewise.
 915         (c_parser_cilk_verify_simd): Likewise.
 916         * c-typeck.c (build_array_ref): Likewise.
 917         (build_function_call_vec): Likewise.
 918         (convert_arguments): Likewise.
 919         (build_compound_expr): Likewise.
 920         (c_finish_return): Likewise.
 921         (c_finish_if_stmt): Likewise.
 922         (c_finish_loop): Likewise.
 923         (build_binary_op): Likewise.
 924
 925 2014-01-23  Marek Polacek  <polacek@redhat.com>
 926
 927         PR c/59846
 928         * c-typeck.c (parser_build_binary_op): Use location instead of
 929         input_location.
 930         (build_binary_op): Pass location to shorten_compare.
 931
 932 2014-01-23  Marek Polacek  <polacek@redhat.com>
 933
 934         PR c/58346
 935         * c-typeck.c (pointer_diff): Give an error on arithmetic on pointer to
 936         an empty aggregate.
 937
 938 2014-01-23  Marek Polacek  <polacek@redhat.com>
 939
 940         PR c/59871
 941         * c-typeck.c (build_compound_expr): Warn even for right-hand operand
 942         of a comma expression.
 943         (emit_side_effect_warnings): Likewise.
 944
 945 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 946
 947         PR c/59825
 948         * c-array-notation.c (expand_array_notation_exprs): Rewrote this
 949         function to use walk_tree and moved a lot of its functionality to
 950         expand_array_notations.
 951         (expand_array_notations): New function.
 952
 953 2014-01-23  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 954
 955         * c-parser.c (c_finish_omp_declare_simd): Made "cilk simd function"
 956         attribute an attribute without value.
 957
 958 2014-01-23  Jakub Jelinek  <jakub@redhat.com>
 959
 960         PR middle-end/58809
 961         * c-typeck.c (c_finish_omp_clause): Reject MIN_EXPR, MAX_EXPR,
 962         BIT_AND_EXPR, BIT_IOR_EXPR and BIT_XOR_EXPR on COMPLEX_TYPEs.
 963
 964 2014-01-22  Marek Polacek  <polacek@redhat.com>
 965
 966         PR c/59891
 967         * c-typeck.c (build_conditional_expr): Call c_fully_fold instead
 968         of remove_c_maybe_const_expr on op1 and op2.
 969
 970 2014-01-15  Jakub Jelinek  <jakub@redhat.com>
 971
 972         PR c/58943
 973         * c-typeck.c (build_modify_expr): For lhs op= rhs, if rhs has side
 974         effects, preevaluate rhs using SAVE_EXPR first.
 975
 976 2014-01-09  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 977
 978         PR c++/59631
 979         * c-parser.c (c_parser_postfix_expression): Replaced consecutive if
 980         statements with if-elseif statements.
 981
 982 2014-01-06  Marek Polacek  <polacek@redhat.com>
 983
 984         PR c/57773
 985         * c-decl.c (check_bitfield_type_and_width): Warn for implementation
 986         defined bit-field types only in ISO C.
 987
 988 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
 989
 990         Update copyright years
 991
 992 2014-01-02  Richard Sandiford  <rdsandiford@googlemail.com>
 993
 994         * c-array-notation.c: Use the standard form for the copyright notice.
 995
 996 2013-12-18  Balaji V. Iyer  <balaji.v.iyer@intel.com>
 997
 998         * c-parser.c (struct c_parser::cilk_simd_fn_tokens): Added new field.
 999         (c_parser_declaration_or_fndef): Added a check if cilk_simd_fn_tokens
1000         field in parser is not empty.  If not-empty, call the function
1001         c_parser_finish_omp_declare_simd.
1002         (c_parser_cilk_clause_vectorlength): Modified function to be shared
1003         between SIMD-enabled functions and #pragma simd.  Added new parameter.
1004         (c_parser_cilk_all_clauses): Modified the usage of the function
1005         c_parser_cilk_clause_vectorlength as mentioned above.
1006         (c_parser_cilk_simd_fn_vector_attrs): New function.
1007         (c_finish_cilk_simd_fn_tokens): Likewise.
1008         (is_cilkplus_vector_p): Likewise.
1009         (c_parser_omp_clause_name): Added checking for "vectorlength,"
1010         "nomask," and "mask" strings in clause name.
1011         (c_parser_omp_all_clauses): Added 3 new case statements:
1012         PRAGMA_CILK_CLAUSE_VECTORLENGTH, PRAGMA_CILK_CLAUSE_MASK and
1013         PRAGMA_CILK_CLAUSE_NOMASK.
1014         (c_parser_attributes): Added a cilk_simd_fn_tokens parameter.  Added a
1015         check for vector attribute and if so call the function
1016         c_parser_cilk_simd_fn_vector_attrs.  Also, when Cilk plus is enabled,
1017         called the function c_finish_cilk_simd_fn_tokens.
1018         (c_finish_omp_declare_simd): Added a check if cilk_simd_fn_tokens in
1019         parser field is non-empty.  If so, parse them as you would parse
1020         the omp declare simd pragma.
1021         (c_parser_omp_clause_linear): Added a new bool parm. is_cilk_simd_fn.
1022         Added a check when step is a parameter and flag it as error.
1023         (CILK_SIMD_FN_CLAUSE_MASK): New #define.
1024         (c_parser_cilk_clause_name): Changed pragma_cilk_clause to
1025         pragma_omp_clause.
1026
1027 2013-12-17  Thomas Schwinge  <thomas@codesourcery.com>
1028
1029         * c-parser.c (c_parser_omp_parallel): Fix description.
1030
1031 2013-12-11  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1032
1033         * c-objc-common.h (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Remove.
1034         (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
1035         (LANG_HOOKS_CILKPLUS_CILKPLUS_GIMPLIFY_SPAWN): Likewise.
1036         * c-typeck.c (cilk_install_body_with_frame_cleanup): New function.
1037
1038 2013-12-04  Joseph Myers  <joseph@codesourcery.com>
1039
1040         PR c/52023
1041         * c-parser.c (c_parser_alignas_specifier): Use
1042         c_sizeof_or_alignof_type instead of c_alignof.
1043         (c_parser_alignof_expression): Likewise, with min_alignof
1044         parameter depending on alignof spelling used.
1045
1046 2013-12-04  Marek Polacek  <polacek@redhat.com>
1047
1048         PR c/54113
1049         * c-decl.c (start_function): Don't warn for missing prototype for
1050         inline functions.
1051
1052 2013-12-03  Marek Polacek  <polacek@redhat.com>
1053
1054         PR c/59351
1055         * c-decl.c (build_compound_literal): Allow compound literals with
1056         empty initial value.
1057
1058 2013-12-02  Joseph Myers  <joseph@codesourcery.com>
1059
1060         PR c/58235
1061         * c-typeck.c (build_modify_expr): Diagnose assignment to
1062         expression with array type.
1063
1064 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
1065
1066         PR c/42262
1067         * c-typeck.c (process_init_element): Do not treat a string as
1068         initializing a whole array when used with a designator for an
1069         individual element.
1070
1071 2013-11-29  Joseph Myers  <joseph@codesourcery.com>
1072
1073         PR c/57574
1074         * c-decl.c (merge_decls): Clear DECL_EXTERNAL for a definition of
1075         an inline function following a static declaration.
1076
1077 2013-11-28  Jakub Jelinek  <jakub@redhat.com>
1078
1079         PR c/59310
1080         * c-parser.c (c_parser_omp_target): Copy "#pragma omp target"
1081         to p_name before calling c_parser_omp_teams instead of after.
1082         (c_parser_cilk_simd): Remove wrong ATTRIBUTE_UNUSED from parser
1083         argument.  Remove unused p_name variable.
1084
1085 2013-11-27  Aldy Hernandez  <aldyh@redhat.com>
1086             Jakub Jelinek  <jakub@redhat.com>
1087
1088         * c-decl.c (c_builtin_function_ext_scope): Avoid binding if
1089         external_scope is NULL.
1090
1091 2013-11-27  Tom de Vries  <tom@codesourcery.com>
1092             Marc Glisse  <marc.glisse@inria.fr>
1093
1094         PR c++/59032
1095         * c-typeck.c (build_unary_op): Allow vector increment and decrement.
1096
1097 2013-11-22  Andrew MacLeod  <amacleod@redhat.com>
1098
1099         * c-typeck.c: Add required include files from gimple.h.
1100
1101 2013-11-22  David Malcolm  <dmalcolm@redhat.com>
1102
1103         * c-decl.c (define_label, shadow_tag_warned)
1104         (check_bitfield_type_and_width, grokdeclarator, grokparms,
1105         store_parm_decls_newstyle, store_parm_decls_oldstyle)
1106         (declspecs_add_type): Remove use of in_system_header macro.
1107         * c-parser.c (c_parser_unary_expression): Likewise.
1108         * c-typeck.c (store_init_value, process_init_element)
1109         (c_start_case): Likewise.
1110
1111         * c-decl.c (build_enumerator): Remove use of EXPR_LOC_OR_HERE
1112         macro.
1113
1114         * c-parser.c (c_parser_set_source_position_from_token): Remove
1115         reference to in_system_header from comment.
1116
1117 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
1118
1119         * c-decl.c (grokdeclarator): Update comment to refer to
1120         tree_to_[su]hwi rather than tree_low_cst.
1121
1122 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
1123
1124         * c-decl.c, c-typeck.c: Replace tree_low_cst (..., 1) with
1125         tree_to_uhwi throughout.
1126
1127 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
1128
1129         * c-parser.c: Replace tree_low_cst (..., 0) with tree_to_shwi
1130         throughout.
1131
1132 2013-11-18  Richard Sandiford  <rdsandiford@googlemail.com>
1133
1134         * c-parser.c: Replace host_integerp (..., 0) with tree_fits_shwi_p
1135         throughout.
1136
1137 2013-11-15  Aldy Hernandez  <aldyh@redhat.com>
1138
1139         * c-parser.c (c_parser_cilk_simd): New.
1140         (c_parser_cilk_verify_simd): New.
1141         (c_parser_pragma): Add case for PRAGMA_CILK_SIMD.
1142         (c_parser_omp_for_loop): Add case for NE_EXPR.
1143         Set c_break_label for CILK_SIMD.
1144         (c_parser_cilk_clause_vectorlength): New.
1145         (c_parser_cilk_clause_linear): New.
1146         (c_parser_cilk_clause_name): New.
1147         (c_parser_cilk_all_clauses): New.
1148         * c-typeck.c (build_unary_op): Pass location argument to
1149         readonly_error.
1150         (build_modify_expr): Same.
1151         (build_asm_expr): Same.
1152         (c_finish_bc_stmt): Error on break/continue in loops.
1153
1154 2013-11-14  Andrew MacLeod  <amacleod@redhat.com>
1155
1156         * c-typeck.c: Include only gimplify.h and gimple.h as needed.
1157
1158 2013-11-14  Diego Novillo  <dnovillo@google.com>
1159
1160         * c-decl.c: Include print-tree.h.
1161         Include stor-layout.h.
1162         Include varasm.h.
1163         Include attribs.h.
1164         Include stringpool.h.
1165         * c-lang.c: Include fold-const.h.
1166         * c-parser.c: Include stringpool.h.
1167         Include attribs.h.
1168         Include stor-layout.h.
1169         Include varasm.h.
1170         Include trans-mem.h.
1171         * c-typeck.c: Include stor-layout.h.
1172         Include trans-mem.h.
1173         Include varasm.h.
1174         Include stmt.h.
1175
1176 2013-11-13  Joseph Myers  <joseph@codesourcery.com>
1177
1178         * c-tree.h (c_typespec_keyword): Add cts_auto_type.
1179         * c-decl.c (declspecs_add_type, finish_declspecs): Handle
1180         __auto_type.
1181         * c-parser.c (c_token_starts_typename, c_token_starts_declspecs)
1182         (c_parser_attribute_any_word, c_parser_objc_selector): Handle
1183         RID_AUTO_TYPE.
1184         (c_parser_declspecs): Take argument AUTO_TYPE_OK.
1185         (c_parser_declaration_or_fndef, c_parser_struct_declaration)
1186         (c_parser_declarator, c_parser_direct_declarator_inner)
1187         (c_parser_parameter_declaration, c_parser_type_name): All callers
1188         changed.
1189         (c_parser_declaration_or_fndef): Handle declarations with type
1190         determined from the initializer.
1191
1192 2013-11-12  Andrew MacLeod  <amacleod@redhat.com>
1193
1194         * c-typeck.c: Include gimplify.h.
1195
1196 2013-11-12  Joseph Myers  <joseph@codesourcery.com>
1197
1198         * c-tree.h (struct c_declspecs): Add thread_gnu_p field.
1199         * c-parser.c (c_parser_declspecs): Mention _Thread_local in
1200         comment.
1201         * c-decl.c (shadow_tag_warned, grokdeclarator): Mention __thread
1202         or _Thread_local as appropriate in diagnostics.
1203         (build_null_declspecs): Initialize ret->thread_gnu_p.
1204         (declspecs_add_scspec): Handle either __thread or _Thread_local
1205         for RID_THREAD.  Diagnose _Thread_local for pre-C11 standards if
1206         pedantic.  Do not disallow _Thread_local extern and _Thread_local
1207         static.
1208
1209 2013-11-07  Joseph Myers  <joseph@codesourcery.com>
1210             Andrew MacLeod  <amacleod@redhat.com>
1211
1212         * c-aux-info.c (gen_type): Handle atomic qualifier.
1213         * c-decl.c (validate_proto_after_old_defn): Do not remove atomic
1214         qualifiers when compating types.
1215         (shadow_tag_warned): Handle atomic_p in declspecs.
1216         (quals_from_declspecs): Likewise.
1217         (start_decl): Use c_type_promotes_to when promoting argument
1218         types.
1219         (grokdeclarator): Handle _Atomic.
1220         (get_parm_info): Diagnose any qualifier on "void" as only
1221         parameter.
1222         (store_parm_decls_oldstyle): Do not remove atomic qualifiers when
1223         comparing types.  Use c_type_promotes_to when promoting argument
1224         types.
1225         (finish_function): Use c_type_promotes_to when promoting argument
1226         types.
1227         (build_null_declspecs): Handle atomic_p in declspecs.
1228         (declspecs_add_qual): Handle RID_ATOMIC.
1229         * c-parser.c (c_token_starts_typename, c_token_is_qualifier)
1230         (c_token_starts_declspecs): Handle RID_ATOMIC.
1231         (c_parser_declspecs): Handle atomic type specifiers and
1232         qualifiers.
1233         (c_parser_typeof_specifier): Remove const and _Atomic qualifiers
1234         from types of expressions with atomic type.
1235         (c_parser_direct_declarator_inner): Use convert_lvalue_to_rvalue.
1236         (c_parser_attribute_any_word): Handle RID_ATOMIC.
1237         (c_parser_initializer, c_parser_initelt, c_parser_initval)
1238         (c_parser_statement_after_labels, c_parser_switch_statement)
1239         (c_parser_for_statement, c_parser_expr_no_commas)
1240         (c_parser_conditional_expression, c_parser_binary_expression)
1241         (c_parser_cast_expression, c_parser_unary_expression)
1242         (c_parser_postfix_expression)
1243         (c_parser_postfix_expression_after_primary, c_parser_expression):
1244         Use convert_lvalue_to_rvalue.
1245         (c_parser_expression_conv, c_parser_expr_list): Document
1246         conversion of lvalues to rvalues.  Use convert_lvalue_to_rvalue.
1247         (c_parser_objc_synchronized_statement): Use
1248         convert_lvalue_to_rvalue.
1249         (c_parser_objc_selector): Handle RID_ATOMIC.
1250         (c_parser_objc_receiver, c_parser_array_notation): Use
1251         convert_lvalue_to_rvalue.
1252         * c-tree.h (ctsk_typeof): Adjust comment to mention use for
1253         _Atomic (type-name).
1254         (struct c_declspecs): Add atomic_p field.
1255         (convert_lvalue_to_rvalue): Declare.
1256         * c-typeck.c (c_type_promotes_to): Promote atomic types to
1257         corresponding atomic types.
1258         (qualify_type): Don't add _Atomic qualifiers from second argument.
1259         (comp_target_types): Do not allow _Atomic mismatches.
1260         (type_lists_compatible_p): Do not remove atomic qualifiers when
1261         comparing types.
1262         (really_atomic_lvalue, convert_lvalue_to_rvalue)
1263         (build_atomic_assign): New functions.
1264         (build_unary_op): Use build_atomic_assign for atomic increment and
1265         decrement.
1266         (build_conditional_expr): Do not treat _Atomic void as a qualified
1267         version of void.
1268         (build_modify_expr): Use build_atomic_assign for atomic LHS.
1269         (find_anonymous_field_with_type, convert_to_anonymous_field)
1270         (convert_for_assignment): Do not remove atomic qualifiers when
1271         comparing types.
1272         (digest_init): Do not accept initialization of arrays of atomic
1273         elements by string constants.
1274         (build_asm_expr): Use convert_lvalue_to_rvalue.
1275         (build_binary_op): Do not treat _Atomic void as a qualified
1276         version of void.
1277
1278 2013-11-06  DJ Delorie  <dj@redhat.com>
1279
1280         * c-decl.c (locate_old_decl): If a previous conflicting decl is
1281         both explicit and builtin, print the location of the explicit one.
1282
1283 2013-11-05  Tobias Burnus  <burnus@net-b.de>
1284
1285         * c-parser.c (c_parser_omp_for, c_parser_omp_parallel,
1286         c_parser_omp_distribute, c_parser_omp_teams,
1287         c_parser_omp_target, c_parser_omp_declare): Handle
1288         -fopenmp-simd.
1289
1290 2013-11-03  Marek Polacek  <polacek@redhat.com>
1291
1292         * c-decl.c (grokdeclarator): Add VLA instrumentation.
1293
1294 2013-11-01  Jakub Jelinek  <jakub@redhat.com>
1295
1296         * c-typeck.c (c_finish_omp_clauses) <case OMP_CLAUSE_UNIFORM>: Go to
1297         check_dup_generic at the end, unless remove is true.
1298         (c_finish_omp_clauses) <case OMP_CLAUSE_REDUCTION>: Add break; after
1299         remove = true;.
1300         (c_finish_omp_clauses) <case OMP_CLAUSE_COPYIN>: Likewise.
1301
1302 2013-10-31  Jakub Jelinek  <jakub@redhat.com>
1303
1304         * c-typeck.c (c_finish_omp_clauses): Diagnose aligned clause
1305         with decl that is not pointer nor array.
1306
1307 2013-10-29  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1308
1309         * c-decl.c (finish_function): Added a call for insert_cilk_frame when
1310         a spawning function is found.
1311         * c-objc-common.h (LANG_HOOKS_CILKPLUS_GIMPLIFY_SPAWN): New #define.
1312         (LANG_HOOKS_CILKPLUS_FRAME_CLEANUP): Likewise.
1313         (LANG_HOOKS_CILKPLUS_DETECT_SPAWN_AND_UNWRAP): Likewise.
1314         * c-parser.c (c_parser_statement_after_labels): Added RID_CILK_SYNC
1315         case.
1316         (c_parser_postfix_expression): Added RID_CILK_SPAWN case.
1317         * c-typeck.c (build_compound_expr): Reject _Cilk_spawn in a comma
1318         expr.
1319         (c_finish_return): Added a check to reject _Cilk_spawn in return
1320         expression.
1321         (build_cilk_spawn): New function.
1322         (build_cilk_sync): Likewise.
1323         * Makefile.in (c-decl.o): Added cilk.h in dependency list.
1324
1325 2013-10-27  Tobias Burnus  <burnus@net-b.de>
1326
1327         PR other/33426
1328         * c-parser.c (c_parser_while_statement, c_parser_while_statement,
1329         c_parser_pragma): Add GCC ivdep support to 'do' and 'while'.
1330         (c_parser_statement_after_labels): Update calls.
1331
1332 2013-10-24  Tobias Burnus  <burnus@net-b.de>
1333
1334         PR other/33426
1335         * c-parser.c (c_parser_pragma, c_parser_for_statement):
1336         Handle PRAGMA_IVDEP.
1337         (c_parser_statement_after_labels): Update call.
1338
1339 2013-10-24  Marek Polacek  <polacek@redhat.com>
1340
1341         * c-parser.c (c_parser_struct_declaration): Add a comment.
1342         (c_parser_declarator): Don't allow _Alignas here.
1343
1344 2013-10-17  Andrew MacLeod  <amacleod@redhat.com>
1345
1346         * c-parser.c: Include omp-low.h.
1347         * c-typeck.c: Likewise.
1348
1349 2013-10-17  Marek Polacek  <polacek@redhat.com>
1350
1351         PR c/58267
1352         * c-parser.c (c_parser_declspecs): Add alignspec_ok parameter.
1353         Document syntax of the array-declarator.
1354         (c_parser_declspecs) <RID_ALIGNAS>: Bail out if alignment specs
1355         are not permitted.
1356         (c_parser_declaration_or_fndef): Adjust c_parser_declspecs call.
1357         (c_parser_struct_declaration): Likewise.
1358         (c_parser_declarator): Likewise.
1359         (c_parser_direct_declarator_inner): Likewise.
1360         (c_parser_parameter_declaration): Likewise.
1361         (c_parser_type_name): Likewise.
1362
1363 2013-10-11  Jakub Jelinek  <jakub@redhat.com>
1364
1365         * c-lang.h (current_omp_declare_target_attribute): New extern
1366         decl.
1367         * c-parser.c: Include c-lang.h.
1368         (struct c_parser): Change tokens to c_token *.
1369         Add tokens_buf field.  Change tokens_avail type to unsigned int.
1370         (c_parser_consume_token): If parser->tokens isn't
1371         &parser->tokens_buf[0], increment parser->tokens.
1372         (c_parser_consume_pragma): Likewise.
1373         (enum pragma_context): Add pragma_struct and pragma_param.
1374         (c_parser_external_declaration): Adjust
1375         c_parser_declaration_or_fndef caller.
1376         (c_parser_declaration_or_fndef): Add omp_declare_simd_clauses
1377         argument, if it is non-vNULL vector, call c_finish_omp_declare_simd.
1378         Adjust recursive call.
1379         (c_parser_struct_or_union_specifier): Use pragma_struct instead
1380         of pragma_external.
1381         (c_parser_parameter_declaration): Use pragma_param instead of
1382         pragma_external.
1383         (c_parser_compound_statement_nostart, c_parser_label,
1384         c_parser_for_statement): Adjust
1385         c_parser_declaration_or_fndef callers.
1386         (c_parser_expr_no_commas): Add omp_atomic_lhs argument, pass
1387         it through to c_parser_conditional_expression.
1388         (c_parser_conditional_expression): Add omp_atomic_lhs argument,
1389         pass it through to c_parser_binary_expression.  Adjust recursive
1390         call.
1391         (c_parser_binary_expression): Remove prec argument, add
1392         omp_atomic_lhs argument instead.  Always start from PREC_NONE, if
1393         omp_atomic_lhs is non-NULL and one of the arguments of toplevel
1394         binop matches it, use build2 instead of parser_build_binary_op.
1395         (c_parser_pragma): Handle PRAGMA_OMP_CANCEL,
1396         PRAGMA_OMP_CANCELLATION_POINT, PRAGMA_OMP_TARGET,
1397         PRAGMA_OMP_END_DECLARE_TARGET, PRAGMA_OMP_DECLARE_REDUCTION.
1398         Handle pragma_struct and pragma_param the same as pragma_external.
1399         (c_parser_omp_clause_name): Parse new OpenMP 4.0 clause names.
1400         (c_parser_omp_variable_list): Parse array sections for
1401         OMP_CLAUSE_{DEPEND,MAP,TO,FROM} clauses.
1402         (c_parser_omp_clause_collapse): Fully fold collapse expression.
1403         (c_parser_omp_clause_reduction): Handle user defined reductions.
1404         (c_parser_omp_clause_branch, c_parser_omp_clause_cancelkind,
1405         c_parser_omp_clause_num_teams, c_parser_omp_clause_thread_limit,
1406         c_parser_omp_clause_aligned, c_parser_omp_clause_linear,
1407         c_parser_omp_clause_safelen, c_parser_omp_clause_simdlen,
1408         c_parser_omp_clause_depend, c_parser_omp_clause_map,
1409         c_parser_omp_clause_device, c_parser_omp_clause_dist_schedule,
1410         c_parser_omp_clause_proc_bind, c_parser_omp_clause_to,
1411         c_parser_omp_clause_from, c_parser_omp_clause_uniform): New functions.
1412         (c_parser_omp_all_clauses): Add finish_p argument.  Don't call
1413         c_finish_omp_clauses if it is false.  Handle new OpenMP 4.0 clauses.
1414         (c_parser_omp_atomic): Parse seq_cst clause, pass true if it is
1415         present to c_finish_omp_atomic.  Handle OpenMP 4.0 atomic forms.
1416         (c_parser_omp_for_loop): Add CODE argument, pass it through
1417         to c_finish_omp_for.  Change last argument to cclauses,
1418         and adjust uses to grab parallel clauses from the array of all
1419         the split clauses.  Adjust c_parser_binary_expression,
1420         c_parser_declaration_or_fndef and c_finish_omp_for callers.
1421         (omp_split_clauses): New function.
1422         (c_parser_omp_simd): New function.
1423         (c_parser_omp_for): Add p_name, mask and cclauses arguments.
1424         Allow the function to be called also when parsing combined constructs,
1425         and call c_parser_omp_simd when parsing for simd.
1426         (c_parser_omp_sections_scope): If section-sequence doesn't start with
1427         #pragma omp section, require exactly one structured-block instead of
1428         sequence of statements.
1429         (c_parser_omp_sections): Add p_name, mask and cclauses arguments.
1430         Allow the function to be called also when parsing combined constructs.
1431         (c_parser_omp_parallel): Add p_name, mask and cclauses arguments.
1432         Allow the function to be called also when parsing combined
1433         constructs.
1434         (c_parser_omp_taskgroup, c_parser_omp_cancel,
1435         c_parser_omp_cancellation_point, c_parser_omp_distribute,
1436         c_parser_omp_teams, c_parser_omp_target_data,
1437         c_parser_omp_target_update, c_parser_omp_target,
1438         c_parser_omp_declare_simd, c_finish_omp_declare_simd,
1439         c_parser_omp_declare_target, c_parser_omp_end_declare_target,
1440         c_parser_omp_declare_reduction, c_parser_omp_declare): New functions.
1441         (c_parser_omp_construct): Add p_name and mask vars.  Handle
1442         PRAGMA_OMP_DISTRIBUTE, PRAGMA_OMP_SIMD, PRAGMA_OMP_TASKGROUP,
1443         PRAGMA_OMP_TEAMS.  Adjust c_parser_omp_for, c_parser_omp_parallel
1444         and c_parser_omp_sections callers.
1445         (c_parse_file): Initialize tparser.tokens and the_parser->tokens here.
1446         (OMP_FOR_CLAUSE_MASK, OMP_SECTIONS_CLAUSE_MASK,
1447         OMP_SINGLE_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.
1448         (OMP_PARALLEL_CLAUSE_MASK): Likewise.  Add OMP_CLAUSE_PROC_BIND.
1449         (OMP_TASK_CLAUSE_MASK): Use OMP_CLAUSE_MASK_1 instead of 1.  Add
1450         OMP_CLAUSE_DEPEND.
1451         (OMP_SIMD_CLAUSE_MASK, OMP_CANCEL_CLAUSE_MASK,
1452         OMP_CANCELLATION_POINT_CLAUSE_MASK, OMP_DISTRIBUTE_CLAUSE_MASK,
1453         OMP_TEAMS_CLAUSE_MASK, OMP_TARGET_DATA_CLAUSE_MASK,
1454         OMP_TARGET_UPDATE_CLAUSE_MASK, OMP_TARGET_CLAUSE_MASK,
1455         OMP_DECLARE_SIMD_CLAUSE_MASK): Define.
1456         * c-typeck.c: Include tree-inline.h.
1457         (c_finish_omp_cancel, c_finish_omp_cancellation_point,
1458         handle_omp_array_sections_1, handle_omp_array_sections,
1459         c_clone_omp_udr, c_find_omp_placeholder_r): New functions.
1460         (c_finish_omp_clauses): Handle new OpenMP 4.0 clauses and
1461         user defined reductions.
1462         (c_tree_equal): New function.
1463         * c-tree.h (temp_store_parm_decls, temp_pop_parm_decls,
1464         c_finish_omp_cancel, c_finish_omp_cancellation_point, c_tree_equal,
1465         c_omp_reduction_id, c_omp_reduction_decl, c_omp_reduction_lookup,
1466         c_check_omp_declare_reduction_r): New prototypes.
1467         * c-decl.c (current_omp_declare_target_attribute): New variable.
1468         (c_decl_attributes): New function.
1469         (start_decl, start_function): Use it instead of decl_attributes.
1470         (temp_store_parm_decls, temp_pop_parm_decls, c_omp_reduction_id,
1471         c_omp_reduction_decl, c_omp_reduction_lookup,
1472         c_check_omp_declare_reduction_r): New functions.
1473
1474 2013-09-25  Tom Tromey  <tromey@redhat.com>
1475
1476         * Make-lang.in (c/gccspec.o): Remove.
1477         (CFLAGS-c/gccspec.o): New variable.
1478         (cc1-checksum.o, C_TREE_H, c/c-aux-info.o, c/c-convert.o)
1479         (c/c-decl.o, c/c-errors.o, c/c-lang.o, c/c-objc-common.o)
1480         (c/c-parser.o, c/c-typeck.o, c/c-array-notation.o): Remove.
1481
1482 2013-09-25  Tom Tromey  <tromey@redhat.com>
1483
1484         * Make-lang.in (c/gccspec.o): Don't use subshell.
1485
1486 2013-09-18  Marek Polacek  <polacek@redhat.com>
1487
1488         PR sanitize/58443
1489         * c-typeck.c (build_binary_op): Properly honor -fsanitize options.
1490         Remove unnecessary check.
1491
1492 2013-09-18  Marek Polacek  <polacek@redhat.com>
1493
1494         PR sanitizer/58411
1495         * c-typeck.c (build_binary_op): Don't sanitize function if it has the
1496         no_sanitize_undefined attribute.
1497
1498 2013-09-13  Kai Tietz  <ktietz@redhat.com>
1499
1500         PR target/57848
1501         * c-decl.c (c_builtin_function_ext_scope): Remove
1502         wrong assumption that it is never called on prexisting
1503         symbol.
1504
1505 2013-09-08  Joern Rennecke  <joern.rennecke@embecosm.com>
1506
1507         * c-typeck.c (build_binary_op): Use vector_types_compatible_elements_p.
1508
1509 2013-09-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1510
1511         * c-objc-common.c (c_tree_printer): Tidy.
1512
1513 2013-08-30  Marek Polacek  <polacek@redhat.com>
1514
1515         * c-typeck.c (build_binary_op): Add division by zero and shift
1516         instrumentation.
1517
1518 2013-08-26  Joern Rennecke  <joern.rennecke@embecosm.com>
1519             Joseph Myers  <joseph@codesourcery.com>
1520
1521         PR c/35649
1522         * c-typeck.c (c_common_type): Prefer double_type_node over
1523         other REAL_TYPE types with the same precision.
1524         (convert_arguments): Likewise.
1525
1526 2013-08-23  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1527
1528         * c-objc-common.c (c_tree_printer): Document the nature of the cast.
1529         (c_initialize_diagnostics): Call a destructor for the early printer.
1530
1531 2013-08-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1532
1533         * c-objc-common.c (c_initialize_diagnostics): Simplify C pretty
1534         printer initialization.
1535
1536 2013-08-19  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1537
1538         PR c/57490
1539         * c-array-notation.c (fix_conditional_array_notations_1): Added a
1540         check for truth values.
1541         (expand_array_notation_exprs): Added truth values case.  Removed an
1542         unwanted else.  Added for-loop to walk through subtrees in default
1543         case.
1544
1545 2013-08-04  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1546
1547         * c-objc-common.c (c_initialize_diagnostics): Don't call pp_base.
1548
1549 2013-07-23  Joseph Myers  <joseph@codesourcery.com>
1550
1551         * c-parser.c (struct c_generic_association): Fix typo.
1552
1553 2013-07-23  Tom Tromey  <tromey@redhat.com>
1554             Joseph Myers  <joseph@codesourcery.com>
1555
1556         * c-parser.c (struct c_generic_association): New.
1557         (c_generic_association_d): New typedef.
1558         (c_parser_generic_selection): New function.
1559         (c_parser_postfix_expression): Handle RID_GENERIC.
1560
1561 2013-07-13  Jason Merrill  <jason@redhat.com>
1562
1563         PR c++/57793
1564         * c-decl.c (finish_struct): Check for too-large class.
1565
1566 2013-07-04  Joern Rennecke  <joern.rennecke@embecosm.com>
1567
1568         PR c/57821
1569         * c-typeck.c (set_init_index): When folding, check for index overflow.
1570
1571 2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1572
1573         * c-parser.c (c_parser_array_notation): Removed rejection of array
1574         notations in an array of function pointers.
1575
1576 2013-06-21  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1577
1578         * c-array-notation.c (make_triplet_val_inv): New function.
1579         (create_cmp_incr): Likewise.
1580         (create_array_refs): Likewise.
1581         (fix_builtin_array_notation_fn): Replaced all mallocs with tree vec.
1582         Also modularized common parts between functions and called the function.
1583         (build_array_notation_expr): Likewise.
1584         (fix_conditional_array_notations_1): Likewise.
1585         (fix_array_notation_expr): Likewise.
1586         (fix_array_notation_call_expr): Likewise.
1587
1588 2013-06-18  Marek Polacek  <polacek@redhat.com>
1589
1590         PR c/57630
1591         * c-decl.c (check_for_loop_decls): Improve diagnostics messages.
1592
1593 2013-06-12  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1594
1595         * c-array-notation.c (build_array_notation_expr): Reject array notation
1596         mismatch between LHS and RHS even inside a call_expr.  Also, removed
1597         a couple while statements that were dead code.
1598
1599 2013-06-10  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1600
1601         * c-array-notation.c (fix_builtin_array_notation_fn): Fully folded
1602         excessive precision expressions in function parameters.  Also removed
1603         couple unwanted while statements.
1604
1605 2013-06-07  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1606
1607         * c-array-notation.c (expand_array_notation_exprs): Added
1608         ARRAY_NOTATION_REF case.
1609
1610 2013-06-07  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1611
1612         * c-array-notation.c (length_mismatch_in_expr_p): Moved this
1613         function to c-family/array-notation-common.c.
1614         (is_cilkplus_reduce_builtin): Likewise.
1615         (find_rank): Likewise.
1616         (extract_array_notation_exprs): Likewise.
1617         (replace_array_notations): Likewise.
1618         (find_inv_trees): Likewise.
1619         (replace_inv_trees): Likewise.
1620         (contains_array_notation_expr): Likewise.
1621         (find_correct_array_notation_type): Likewise.
1622         (replace_invariant_exprs): Initialized additional_tcodes to NULL.
1623         (struct inv_list): Moved this to c-family/array-notation-common.c.
1624         * c-tree.h (is_cilkplus_builtin_reduce): Remove prototype.
1625
1626 2013-06-05  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1627
1628         * c-typeck.c (convert_arguments): Moved checking of builtin cilkplus
1629         reduction functions outside the for-loop.  Added a check if the fundecl
1630         is non-NULL.  Finally, removed an unwanted if-statement, and made the
1631         body unconditional.
1632
1633 2013-06-03  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1634
1635         * c-typeck.c (c_finish_if_stmt): Added a check to see if the rank of the
1636         condition of the if-statement matches the rank of else-block and then-
1637         block when array notations are used.
1638         * c-parser.c (c_parser_declaration_or_fndef): Expanded array notation
1639         expression after the entire function body is parsed.
1640         (c_parser_expr_no_commas): Delayed creating array notation expressions
1641         to the end of function parsing.
1642         * c-array-notation.c (fix_conditional_array_notations_1): Expanded the
1643         whole if-statement instead of just the condition.
1644         (expand_array_notation_exprs): Added MODIFY_EXPR case.
1645
1646 2013-06-03  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1647
1648         PR c/57474
1649         * c-array-notation.c (build_array_notation_expr): Initialized rhs_length
1650         array to NULL_TREE if they are unused.  Also added a check for the
1651         field to be NULL before its fields are used in future.
1652
1653 2013-05-29  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1654
1655         PR bootstrap/57450
1656         * c-array-notation.c (length_mismatch_in_expr_p): Use absu_hwi.
1657         (build_array_notation_expr): Likewise.
1658
1659 2013-05-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>
1660
1661         * c-typeck.c (build_array_ref): Added a check to see if array's
1662         index is greater than one.  If true, then emit an error.
1663         (build_function_call_vec): Exclude error reporting and checking
1664         for builtin array-notation functions.
1665         (convert_arguments): Likewise.
1666         (c_finish_return): Added a check for array notations as a return
1667         expression.  If true, then emit an error.
1668         (c_finish_loop): Added a check for array notations in a loop
1669         condition.  If true then emit an error.
1670         (lvalue_p): Added a ARRAY_NOTATION_REF case.
1671         (build_binary_op): Added a check for array notation expr inside
1672         op1 and op0.  If present, we call another function to find correct
1673         type.
1674         * Make-lang.in (C_AND_OBJC_OBJS): Added c-array-notation.o.
1675         * c-parser.c (c_parser_compound_statement): Check if array
1676         notation code is used in tree, if so, then transform them into
1677         appropriate C code.
1678         (c_parser_expr_no_commas): Check if array notation is used in LHS
1679         or RHS, if so, then build array notation expression instead of
1680         regular modify.
1681         (c_parser_postfix_expression_after_primary): Added a check for
1682         colon(s) after square braces, if so then handle it like an array
1683         notation.  Also, break up array notations in unary op if found.
1684         (c_parser_direct_declarator_inner): Added a check for array
1685         notation.
1686         (c_parser_compound_statement): Added a check for array notation in
1687         a stmt.  If one is present, then expand array notation expr.
1688         (c_parser_if_statement): Likewise.
1689         (c_parser_switch_statement): Added a check for array notations in
1690         a switch statement's condition.  If true, then output an error.
1691         (c_parser_while_statement): Similarly, but for a while.
1692         (c_parser_do_statement): Similarly, but for a do-while.
1693         (c_parser_for_statement): Similarly, but for a for-loop.
1694         (c_parser_unary_expression): Check if array notation is used in a
1695         pre-increment or pre-decrement expression.  If true, then expand
1696         them.
1697         (c_parser_array_notation): New function.
1698         * c-array-notation.c: New file.
1699         * c-tree.h (is_cilkplus_reduce_builtin): Protoize.
1700
1701 2013-05-23  Mike Stump  <mikestump@comcast.net>
1702
1703         * c-typeck.c (convert_for_assignment): Handle references to memory
1704         spaces better.
1705
1706 2013-05-16  Jason Merrill  <jason@redhat.com>
1707
1708         * Make-lang.in (cc1$(exeext)): Use link mutex.
1709
1710 2013-04-24  Paolo Carlini  <paolo.carlini@oracle.com>
1711
1712         * c-typeck.c (pointer_diff): Change -Wpointer-arith pedwarns
1713         to simply use OPT_Wpointer_arith.
1714         (build_unary_op): Likewise.
1715
1716 2013-04-03  Jakub Jelinek  <jakub@redhat.com>
1717
1718         PR c/19449
1719         * c-parser.c (c_parser_get_builtin_args): Add choose_expr_p
1720         argument.  If set, or it temporarily for parsing of the first
1721         argument into force_folding_builtin_constant_p.
1722         (c_parser_postfix_expression): Adjust callers.
1723
1724 2013-03-21  Richard Biener  <rguenther@suse.de>
1725
1726         * c-objc-common.c (c_tree_printer): Use DECL_HAS_DEBUG_EXPR_P
1727         instead of DECL_DEBUG_EXPR_IS_FROM.  Guard properly.
1728
1729 2013-02-12  Marek Polacek  <polacek@redhat.com>
1730
1731         PR c/44938
1732         * c-parser.c (c_parser_postfix_expression_after_primary): Initialize
1733         origtypes to NULL.
1734
1735 2013-01-24  Jakub Jelinek  <jakub@redhat.com>
1736
1737         PR c/56078
1738         * c-typeck.c (set_nonincremental_init_from_string): If
1739         constructor_max_index is NULL, treat it as if tree_int_cst_lt
1740         returned false.
1741         (process_init_element): Likewise.
1742
1743 2012-12-20  Jakub Jelinek  <jakub@redhat.com>
1744
1745         PR c++/55619
1746         * c-parser.c (c_parser_asm_operands): Remove CONVERT_P
1747         argument, don't call default_function_array_conversion
1748         nor c_fully_fold here.
1749         (c_parser_asm_statement): Adjust callers.
1750         * c-typeck.c (build_asm_expr): Call c_fully_fold on inputs
1751         and outputs here, and call default_function_array_conversion
1752         on inputs that don't need to be addressable.
1753
1754 2012-12-18  Jakub Jelinek  <jakub@redhat.com>
1755
1756         PR c/39464
1757         * c-typeck.c (convert_for_assignment): For -Wpointer-sign
1758         warning require that both c_common_unsigned_type as well as
1759         c_common_signed_type is the same for both mvl and mvr types.
1760
1761 2012-11-16  Diego Novillo  <dnovillo@google.com>
1762
1763         Adjust for new vec API (http://gcc.gnu.org/wiki/cxx-conversion/cxx-vec)
1764
1765         * c-common.c: Use new vec API in vec.h.
1766         * c-common.h: Likewise.
1767         * c-gimplify.c: Likewise.
1768         * c-pragma.c: Likewise.
1769         * c-pretty-print.c: Likewise.
1770         * c-pretty-print.h: Likewise.
1771         * c-semantics.c: Likewise.
1772         * c-decl.c: Likewise.
1773         * c-parser.c: Likewise.
1774         * c-tree.h: Likewise.
1775         * c-typeck.c: Likewise.
1776
1777 2012-10-29  Jonathan Wakely  <jwakely.gcc@gmail.com>
1778
1779         PR c++/54930
1780         * c-typeck.c (c_finish_return): Use OPT_Wreturn_local_addr.
1781
1782 2012-10-29  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1783
1784         PR c/53066
1785         * c-decl.c (warn_if_shadowing): Do not warn if a variable
1786         shadows a function, unless the variable is a function or a
1787         pointer-to-function.
1788
1789 2012-10-12  Jakub Jelinek  <jakub@redhat.com>
1790
1791         PR c/54381
1792         * c-parser.c (struct c_tree_loc_pair): Removed.
1793         (c_parser_expr_list): Remove struct c_tree_loc_pair * argument,
1794         add location_t * and tree * arguments, fill in array of 3
1795         sizeof_arg trees and corresponding locs.
1796         (c_parser_attributes, c_parser_objc_keywordexpr): Adjust
1797         c_parser_expr_list callers.
1798         (c_parser_postfix_expression_after_primary): Likewise.  Pass
1799         array of 3 sizeof_arg trees and locs (corresponding to first
1800         3 arguments) to sizeof_pointer_memaccess_warning.
1801
1802 2012-10-09  Lawrence Crowl  <crowl@google.com>
1803
1804         * Make-lang.in (c-decl.o): Add dependence on hash-table.h.
1805         * c-decl.c (detect_field_duplicates_hash): Change to new type-safe
1806         hash table.
1807
1808 2012-10-09  Paolo Carlini  <paolo.carlini@oracle.com>
1809
1810         PR c++/54194
1811         * c-typeck.c (parser_build_binary_op): Update warn_about_parentheses
1812         call.
1813
1814 2012-10-09  Marc Glisse  <marc.glisse@inria.fr>
1815
1816         PR c++/54427
1817         * c-typeck.c: Include c-common.h.
1818         (enum stv_conv): Moved to c-common.h.
1819         (scalar_to_vector): Moved to c-common.c.
1820         (build_binary_op): Adapt to scalar_to_vector's new prototype.
1821         * Make-lang.in: c-typeck.c depends on c-common.h.
1822
1823 2012-10-04  Arnaud Charlet  <charlet@adacore.com>
1824
1825         * c-decl.c (c_write_global_declarations): Fix handling of
1826         -fdump-ada-spec*.
1827
1828 2012-09-30  Sharad Singhai  <singhai@google.com>
1829
1830         * c-decl.c (c_write_global_declarations): Use a different method
1831         to determine if the dump has ben initialized.
1832
1833 2012-09-14  Joseph Myers  <joseph@codesourcery.com>
1834
1835         PR c/54552
1836         * c-typeck.c (c_cast_expr): When casting to a type requiring
1837         C_MAYBE_CONST_EXPR to be created, pass the inner expression to
1838         c_fully_fold first.
1839
1840 2012-09-14  Joseph Myers  <joseph@codesourcery.com>
1841
1842         PR c/54103
1843         * c-typeck.c (build_unary_op): Pass original argument of
1844         TRUTH_NOT_EXPR to c_objc_common_truthvalue_conversion, then remove
1845         any C_MAYBE_CONST_EXPR, if it has integer operands.
1846         (build_binary_op): Pass original arguments of TRUTH_ANDIF_EXPR,
1847         TRUTH_ORIF_EXPR, TRUTH_AND_EXPR, TRUTH_OR_EXPR and TRUTH_XOR_EXPR
1848         to c_objc_common_truthvalue_conversion, then remove any
1849         C_MAYBE_CONST_EXPR, if they have integer operands.  Use
1850         c_objc_common_truthvalue_conversion not
1851         c_common_truthvalue_conversion.
1852         (c_objc_common_truthvalue_conversion): Build NE_EXPR directly and
1853         call note_integer_operands for arguments with integer operands
1854         that are not integer constants.
1855
1856 2012-09-13  Jakub Jelinek  <jakub@redhat.com>
1857
1858         PR c/54559
1859         * c-typeck.c (c_finish_return): Do convert to BOOLEAN_TYPE or
1860         COMPLEX_TYPE with in_late_binary_op set temporarily to true.
1861
1862 2012-08-31  Jakub Jelinek  <jakub@redhat.com>
1863
1864         PR c/54428
1865         * c-convert.c (convert): Don't call fold_convert_loc if
1866         TYPE_MAIN_VARIANT of a COMPLEX_TYPE is the same, unless e
1867         is a COMPLEX_EXPR.  Remove TYPE_MAIN_VARIANT check from
1868         COMPLEX_TYPE -> COMPLEX_TYPE conversion.
1869
1870 2012-08-24  Jakub Jelinek  <jakub@redhat.com>
1871
1872         PR c/54355
1873         * c-decl.c (c_parser_label): Pass true as nested and fix up comments
1874         for nested and empty_ok arguments in the call to
1875         c_parser_declaration_or_fndef.
1876
1877 2012-08-17  Jakub Jelinek  <jakub@redhat.com>
1878
1879         * c-tree.h (c_last_sizeof_arg): Declare.
1880         * c-parser.c (struct c_tree_loc_pair): New type.
1881         (c_parser_expr_list): Add sizeof_arg argument.  Fill it in if
1882         non-NULL.
1883         (c_parser_attributes, c_parser_objc_keywordexpr): Adjust callers.
1884         (c_parser_postfix_expression_after_primary): Likewise.  Call
1885         sizeof_pointer_memaccess_warning if needed.
1886         (sizeof_ptr_memacc_comptypes): New function.
1887         * c-typeck.c (c_last_sizeof_arg): New global variable.
1888         (c_expr_sizeof_expr, c_expr_sizeof_type): Initialize it.
1889
1890 2012-07-24  Uros Bizjak  <ubizjak@gmail.com>
1891
1892         * c-lang.h (lang_decl): Add variable_size GTY option.
1893
1894 2012-07-16  Steven Bosscher  <steven@gcc.gnu.org>
1895
1896         * c-decl.c: Include dumpfile.h instead of tree-dump.h.
1897         * Make-lang.in: Fix dependencies.
1898
1899 2012-06-29  Steven Bosscher  <steven@gcc.gnu.org>
1900
1901         * Make-lang.in: New file, rules migrated from gcc/Makefile.in
1902         and add language Makefile hooks.
1903         * config-lang.in: New file.
1904         * c-config-lang.in: Moved from gcc/config-lang.in to here, and
1905         add the required "normal" config-lang.in rules.
1906         * c-lang.h: Moved from gcc/ to here.
1907         * c-tree.h: Likewise.
1908         * c-objc-common.c: Likewise.
1909         * c-objc-common.h: Likewise.
1910         * c-typeck.c: Likewise.
1911         * c-convert.c: Likewise.
1912         * c-lang.c: Likewise.
1913         * c-aux-info.c: Likewise.
1914         * c-errors.c: Likewise.
1915         * gccspec.c: Likewise.
1916         * c-decl.c: Likewise.  Include gt-c-c-decl.h, not gt-c-decl.h.
1917         * c-parser.c: Likewise.  Include gt-c-c-parser.h, not gt-c-parser.h.
1918 \f
1919 Copyright (C) 2012-2014 Free Software Foundation, Inc.
1920
1921 Copying and distribution of this file, with or without modification,
1922 are permitted in any medium without royalty provided the copyright
1923 notice and this notice are preserved.