gcc/cp/ChangeLog

   1 2008-01-29  Douglas Gregor  <doug.gregor@gmail.com>
   2
   3         PR c++/34055
   4         PR c++/34103
   5         PR c++/34219
   6         PR c++/34606
   7         PR c++/34753
   8         PR c++/34754
   9         PR c++/34755
  10         PR c++/34919
  11         PR c++/34961
  12         * typeck.c (check_return_expr): Tweak call to
  13         check_for_bare_parameter_packs.
  14         * class.c (add_method): Be careful with error_mark_nodes.
  15         * cp-tree.h (check_for_bare_parameter_packs): Remove "*" from
  16         signature.
  17         * pt.c (struct find_parameter_pack_data): Remove
  18         SET_PACKS_TO_ERROR.
  19         (find_parameter_packs_r): Don't use SET_PACKS_TO_ERROR.
  20         (uses_parameter_packs): Don't set SET_PACKS_TO_ERROR.
  21         (make_pack_expansion): Ditto.
  22         (check_for_bare_parameter_packs): Parameter is now a tree, not a
  23         tree*.
  24         (process_template_parm): Tweak call to
  25         check_for_bare_parameter_packs.
  26         (push_template_decl_real): Tweak calls to
  27         check_for_bare_parameter_packs. If bare parameter packs are found
  28         in the list of exceptions, clear out that list after giving an
  29         error.
  30         * semantics.c (finish_cond): Tweak call to
  31         check_for_bare_parameter_packs.
  32         (finish_expr_stmt): Ditto.
  33         (finish_for_expr): Ditto.
  34         (finish_switch_cond): Ditto.
  35         (finish_mem_initializers): Ditto.
  36         (finish_member_declaration): Ditto.
  37         (finish_static_assert): Check for bare parameter packs in the
  38         condition.
  39         * decl2.c (cplus_decl_attributes): Check for bare parameter packs in the
  40         attributes of a declaration.
  41         * parser.c (cp_parser_using_declaration): Tweak call to
  42         check_for_bare_parameter_packs.
  43         (cp_parser_base_clause): Ditto.
  44
  45 2008-01-28  Jason Merrill  <jason@redhat.com>
  46
  47         PR c++/35007
  48         * class.c (build_base_path): Fix !want_pointer case.
  49
  50 2008-01-27  Jason Merrill  <jason@redhat.com>
  51
  52         PR c++/27177
  53         * class.c (build_base_path): Fix previous change.
  54
  55 2008-01-26  Jakub Jelinek  <jakub@redhat.com>
  56
  57         PR c++/34965
  58         * error.c (dump_expr): Handle TRUTH_AND_EXPR, TRUTH_OR_EXPR
  59         and TRUTH_XOR_EXPR.
  60
  61 2008-01-26  Richard Guenther  <rguenther@suse.de>
  62
  63         PR c++/34235
  64         * typeck.c (build_binary_op): Remove code to shorten compares.
  65
  66 2008-01-25  Richard Guenther  <rguenther@suse.de>
  67
  68         PR c++/33887
  69         * decl.c (record_builtin_java_type): Make __java_boolean
  70         a variant of bool.
  71         * typeck.c (structural_comptypes): Move TYPE_FOR_JAVA check
  72         after TYPE_MAIN_VARIANT check.
  73
  74 2008-01-25  Jason Merrill  <jason@redhat.com>
  75
  76         PR c++/27177
  77         * class.c (build_base_path): Don't mess with virtual access if
  78         skip_evaluation.
  79         * call.c (standard_conversion): Don't check whether source type
  80         is complete.
  81
  82         * decl2.c (is_late_template_attribute): Don't defer attribute
  83         visibility just because the type is dependent.
  84
  85 2008-01-25  Jason Merrill  <jason@redhat.com>
  86             Mark Mitchell  <mark@codesourcery.com>
  87
  88         PR c++/31780
  89         * call.c (standard_conversion): Allow conversion from integer/real
  90         to complex.
  91         (compare_ics): Such a conversion is worse than a normal arithmetic
  92         conversion.
  93
  94 2008-01-25  Richard Guenther  <rguenther@suse.de>
  95
  96         PR c++/33887
  97         * cp-lang.c (LANG_HOOKS_REDUCE_BIT_FIELD_OPERATIONS): Define
  98         to true.
  99
 100 2008-01-24  Paolo Carlini  <pcarlini@suse.de>
 101
 102         PR c++/34603
 103         * pt.c (push_template_decl_real): Return error_mark_node in case
 104         of template definition of non-template.
 105
 106 2008-01-24  Jason Merrill  <jason@redhat.com>
 107
 108         PR c++/34913
 109         * decl2.c (is_late_template_attribute): Defer any attribute with
 110         dependent args.  Also defer type attributes if the type is dependent.
 111
 112 2008-01-22  Jakub Jelinek  <jakub@redhat.com>
 113             Alexandre Oliva  <aoliva@redhat.com>
 114
 115         PR c++/33984
 116         * call.c (reference_binding): For bitfields use the declared bitfield
 117         type.
 118         (add_builtin_candidates): Likewise.
 119         * class.c (layout_class_type): For bitfields copy over the
 120         original type quals.
 121
 122 2008-01-22  Jason Merrill  <jason@redhat.com>
 123
 124         PR c++/28560
 125         * decl.c (groktypename): Also ignore attributes on dependent
 126         possibly-class types.
 127
 128         PR c++/34912
 129         * friend.c (do_friend): Check for prior declaration of a friend
 130         function of a local class.
 131         * name-lookup.c (lookup_name_innermost_nonclass_level):
 132         No longer static.
 133         * name-lookup.h: Declare it.
 134
 135 2008-01-22  Tom Tromey  <tromey@redhat.com>
 136
 137         PR c++/34829:
 138         * init.c (build_new_1): Only disallow Java aggregates.
 139
 140 2008-01-22  Jakub Jelinek  <jakub@redhat.com>
 141
 142         PR c++/34607
 143         * semantics.c (finish_omp_for): Don't call c_finish_omp_for
 144         if decl or init is error_mark_node.
 145
 146         PR c++/34918
 147         * error.c (dump_expr): Handle VECTOR_CST.
 148
 149 2008-01-21  Jason Merrill  <jason@redhat.com>
 150
 151         PR c++/33959
 152         * pt.c (tsubst_aggr_type): Make sure our context is complete.
 153
 154         PR c++/34573
 155         * pt.c (retrieve_local_specialization): Robustify.
 156         (tsubst_pack_expansion, tsubst_decl): Remove redundant checks.
 157
 158         PR c++/34846
 159         * pt.c (tsubst): Only call retrieve_local_specialization if the
 160         original typedef was in a function template.
 161
 162         PR c++/34196
 163         * decl.c (wrap_cleanups_r): Set TRY_CATCH_IS_CLEANUP.
 164
 165 2008-01-21  Richard Guenther  <rguenther@suse.de>
 166
 167         PR c++/34850
 168         * error.c (cp_print_error_function): Deal with recursive
 169         BLOCK trees.
 170
 171 2008-01-20  Paolo Carlini  <pcarlini@suse.de>
 172
 173         PR c++/34891
 174         * error.c (dump_expr): Deal with VIEW_CONVERT_EXPR.
 175
 176 2008-01-20  Paolo Carlini  <pcarlini@suse.de>
 177
 178         PR c++/34776
 179         PR c++/34486
 180         * name-lookup.c (do_class_using_decl): Do not call constructor_name_p
 181         on non-IS_AGGR_TYPE scope.
 182         (constructor_name_p): Assert IS_AGGR_TYPE.
 183
 184 2008-01-18  Ian Lance Taylor  <iant@google.com>
 185
 186         PR c++/33407
 187         * decl.c (duplicate_decls): Copy DECL_IS_OPERATOR_NEW flag.
 188         (grok_op_properties): For NEW_EXPR and VEC_NEW_EXPR set
 189         DECL_IS_OPERATOR_NEW flag.
 190
 191 2008-01-16  Richard Guenther  <rguenther@suse.de>
 192
 193         PR c++/33819
 194         * typeck.c (is_bitfield_expr_with_lowered_type): Recurse
 195         for conversions to type variants.
 196
 197 2008-01-15  Andreas Tobler  <a.tobler@schweiz.org>
 198
 199         * parser.c (cp_parser_template_parameter): Fix C90 issue with mixing
 200         declaration and code.  Update copyright year.
 201
 202 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
 203
 204         PR c++/34399
 205         * friend.c (do_friend): Don't query TYPE_BEING_DEFINED unless we
 206         know we have a class type.
 207
 208 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
 209
 210         PR c++/34751
 211         * pt.c (coerce_template_parameter_pack): When substituting into
 212         the type of a non-type template parameter pack. use the
 213         deduced/substituted arguments.
 214         * parser.c (declarator_can_be_parameter_pack): A pointer-to-member
 215         can be a parameter pack with the ellipsis following it.  When we
 216         have an erroneous declaration, allow it to be a parameter pack.
 217         (cp_parser_template_parameter): Complain about default
 218         arguments on non-type template parameter packs, and parse them
 219         using the new cp_parser_default_argument.
 220         (cp_parser_parameter_declaration): Complain about parameter packs
 221         with default arguments. Move parsing of default arguments into a
 222         new function, cp_parser_default_argument.
 223         (cp_parser_default_argument): New; extracted from
 224         cp_parser_parameter_declaration.
 225
 226 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
 227
 228         PR c++/34051
 229         PR c++/34055
 230         PR c++/34102
 231         PR c++/34103
 232         * typeck.c (check_return_expr): If there are bare parameter packs
 233         in the return value, set it to error_mark_node.
 234         * tree.c (cp_walk_subtrees): Walk USING_DECL nodes.
 235         * pt.c (find_parameter_packs_r): Look at the type of
 236         IDENTIFIER_NODEs (e.g., for user-defined conversions).
 237         (check_for_bare_parameter_packs): Flip the result: now returns
 238         TRUE when there were bare parameter packs, FALSE otherwise.
 239         (push_template_decl_real): Deal with flipped result of
 240         check_for_bare_parameter_packs.
 241         * semantics.c (finish_cond): If there are bare parameter packs in
 242         the conditional, set it to error_mark_node.
 243         (finish_expr_stmt): If there are bare parameter packs in the
 244         expression, set it to error_mark_node.
 245         (finish_for_expr): Ditto.
 246         (finish_switch_cond): If there are bare parameter packs in
 247         the conditional, set it to error_mark_node.
 248         (finish_mem_initializers): If there are bare parameter packs in
 249         the member initializer, set it to error_mark_node.
 250         (finish_member_declaration): Check the attributes of the
 251         declaration for bare parameter packs, and remove the attributes if
 252         any have bare parameter packs.
 253         * parser.c (cp_parser_using_declaration): Check the using
 254         declaration for bare parameter packs.
 255         (cp_parser_base_clause): If there are bare parameter packs in a
 256         base specifier, don't add it to the chain.
 257
 258 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
 259
 260        PR c++/34314
 261        * error.c (dump_simple_decl): Display ellipsis for template
 262        non-type parameter packs.
 263        (dump_decl): Display ellipsis for template type parameter packs.
 264        (dump_template_decl): Display ellipsis for template template
 265        parameter packs.
 266        * pt.c (redeclare_class_template): When redeclaring a class
 267        template, check for collisions between template parameters and
 268        template parameter packs.
 269
 270 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
 271
 272        PR c++/33964
 273        * pt.c (process_partial_specialization): Don't mark template
 274        parameters that occur in non-deduced contexts.
 275        (struct pair_fn_data): Add include_nondeduced_p.
 276        (for_each_template_parm_r): Only visit non-deduced contexts if
 277        include_nondeduced_p is set.
 278        (for_each_template_parm): Added parameter include_nondeduced_p,
 279        which states whether template parameters found in non-deduced
 280        contexts should be visited.
 281        (uses_template_parms): Visit all template parameters, even those
 282        in non-deduced contexts.
 283
 284 2008-01-15  Douglas Gregor  <doug.gregor@gmail.com>
 285
 286        PR c++/34052
 287        * pt.c (check_default_tmpl_args): Check for parameter packs that
 288        aren't at the end of a primary template.
 289        (push_template_decl_real): Remove check for parameter packs that
 290        aren't at the end of a primary template; that now happens in
 291        check_default_tmpl_args.
 292        * semantics.c (finish_template_template_parm): Use
 293        check_default_tmpl_args to check for errors in the template
 294        parameter list.
 295
 296 2008-01-12  Doug Kwan  <dougkwan@google.com>
 297
 298         * decl.c: (grokdeclarator): Use OPT_Wignored_qualifiers
 299         instead of OPT_Wreturn_type in warning due to ignored return type
 300         qualifiers.
 301         * pt.c: (tsubst_function_type): Use OPT_Wignored_qualifiers
 302         instead of OPT_Wreturn_type in warning due to ignored return type
 303         qualifiers.
 304
 305 2008-01-08  Jakub Jelinek  <jakub@redhat.com>
 306
 307         PR c++/33890
 308         * semantics.c (finish_omp_for): Don't call
 309         fold_build_cleanup_point_expr if processing_template_decl.
 310
 311 2008-01-04  Paolo Carlini  <pcarlini@suse.de>
 312             Jakub Jelinek  <jakub@redhat.com>
 313
 314         PR c++/34611
 315         * error.c (dump_template_argument): Deal with TREE_LIST.
 316
 317 2008-01-01  Douglas Gregor  <doug.gregor@gmail.com>
 318
 319        * parser.c (cp_parser_check_decl_spec): Don't warn about "long
 320        long" in C++0x mode; change the warning to note that "long long"
 321        is only unsupported in C++98 mode.
 322
 323 2007-12-20  Jason Merrill  <jason@redhat.com>
 324
 325         PR c++/34111
 326         * call.c (standard_conversion): Derived-to-base is considered a
 327         standard conversion.
 328
 329 2007-12-19  Jakub Jelinek  <jakub@redhat.com>
 330
 331         PR c++/34513
 332         * parser.c (cp_parser_omp_parallel): For non-combined parallel
 333         call cp_parser_statement rather than
 334         cp_parser_already_scoped_statement.
 335
 336 2007-12-18  Jason Merrill  <jason@redhat.com>
 337
 338         PR c++/34206
 339         * pt.c (tsubst_aggr_type): Do nothing if the type already doesn't
 340         use template parms.
 341         (dependent_type_p_r): Handle the domain of an array.
 342
 343 2007-12-18  Douglas Gregor  <doug.gregor@gmail.com>
 344             Jakub Jelinek  <jakub@redhat.com>
 345
 346         PR c++/32565
 347         PR c++/33943
 348         PR c++/33965
 349         * pt.c (template_template_parm_bindings_ok_p): New; verifies
 350         bindings of template template parameters after all template
 351         arguments have been deduced.
 352         (coerce_template_parms): Don't complain when COMPLAIN doesn't
 353         include tf_error.
 354         (fn_type_unification): Use template_template_parm_bindings_ok_p.
 355         (unify): Deal with variadic, bound template template parameters.
 356         (get_class_bindings): Use template_template_parm_bindings_ok_p.
 357
 358 2007-12-18  Jakub Jelinek  <jakub@redhat.com>
 359
 360         PR c++/34488
 361         * decl.c (grokdeclarator): Reject friend sfk_constructor
 362         FUNCTION_TYPE.
 363
 364 2007-12-17  Jakub Jelinek  <jakub@redhat.com>
 365
 366         PR c/34506
 367         * parser.c (cp_parser_omp_all_clauses): Accept optional comma
 368         in between clauses.
 369
 370 2007-12-15  Alexandre Oliva  <aoliva@redhat.com>
 371
 372         PR debug/7081
 373         * cp-lang.c (cp_classify_record): New.
 374         (LANG_HOOKS_CLASSIFY_RECORD): Override.
 375
 376 2007-12-11  Jakub Jelinek  <jakub@redhat.com>
 377
 378         PR c++/34238
 379         * decl2.c (cp_write_global_declarations): Revert 2007-11-22 change.
 380
 381         PR c++/34364
 382         * rtti.c (build_dynamic_cast): Call convert_from_reference even for
 383         dynamic_cast in a template.
 384
 385 2007-12-10  Simon Martin  <simartin@users.sourceforge.net>
 386
 387         PR c++/34059
 388         * typeck.c (build_class_member_access_expr): Compute MEMBER_SCOPE from
 389         MEMBER's BASELINK_ACCESS_BINFO instead of its BASELINK_BINFO.
 390
 391 2007-12-10  Jakub Jelinek  <jakub@redhat.com>
 392
 393         PR c++/34395
 394         * error.c (dump_type_prefix, dump_type_suffix): Handle
 395         TYPE_PACK_EXPANSION.
 396
 397         PR c++/34394
 398         * error.c (dump_expr): Handle ABS_EXPR.
 399
 400 2007-12-09  Jakub Jelinek  <jakub@redhat.com>
 401
 402         PR c++/34178
 403         PR c++/34340
 404         * repo.c (repo_emit_p): Return 2 for DECL_INTEGRAL_CONSTANT_VAR_P
 405         in class scope rather than DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P.
 406         Return 2 also if DECL_EXPLICIT_INSTANTIATION.
 407         * decl2.c (import_export_decl): Don't make VAR_DECLs import_p when
 408         flag_use_repository and repo_emit_p returned 2.
 409
 410 2007-12-06  Jakub Jelinek  <jakub@redhat.com>
 411
 412         PR c++/34336
 413         * tree.c (stabilize_call, stabilize_init): Do nothing if
 414         processing_template_decl.
 415
 416 2007-12-05  Jakub Jelinek  <jakub@redhat.com>
 417
 418         PR c++/34271
 419         * semantics.c (finish_decltype_type): For SCOPE_REF issue an
 420         error instead of assertion failure.
 421         * parser.c (cp_parser_decltype): If closing paren is not found,
 422         return error_mark_node.
 423
 424 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
 425
 426        PR c++/34101
 427        * name-lookup.c (arg_assoc_template_arg): Recurse on argument
 428        packs.
 429        (arg_assoc_type): We don't need to handle TYPE_ARGUMENT_PACK here,
 430        since arg_assoc_template_arg will deal with them (better).
 431
 432 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
 433
 434        PR c++/33509
 435        * pt.c (tsubst_exception_specification): Handle substitutions into
 436        member templates, where tsubst_pack_expansion returns a
 437        TYPE_PACK_EXPANSION.
 438
 439 2007-12-04  Douglas Gregor  <doug.gregor@gmail.com>
 440
 441        PR c++/33091
 442        * pt.c (unify_pack_expansion): If we didn't deduce any actual
 443        bindings for the template parameter pack, don't try to keep the
 444        empty deduced arguments.
 445        (unify): If a parameter is a template-id whose template argument
 446        list contains a pack expansion that is not at the end, then we
 447        cannot unify against that template-id.
 448
 449 2007-12-02  Paolo Carlini  <pcarlini@suse.de>
 450
 451         PR c++/34061
 452         * pt.c (current_template_args): Use error_operand_p.
 453
 454 2007-12-02  Paolo Carlini  <pcarlini@suse.de>
 455
 456         PR c++/34273
 457         * error.c (dump_decl): Handle TREE_BINFO.
 458
 459 2007-12-01  Ollie Wild  <aaw@google.com>
 460
 461         PR c++/8171
 462         * typeck.c (build_binary_op): Add conversion of pointers to function
 463         members appearing as operands to the equality operators.
 464
 465 2007-11-30  Jakub Jelinek  <jakub@redhat.com>
 466
 467         PR c++/34275
 468         * error.c (dump_expr): Handle OBJ_TYPE_REF.
 469
 470 2007-11-29  Jakub Jelinek  <jakub@redhat.com>
 471
 472         PR c++/34270
 473         * tree.c (lvalue_p_1) <case COND_EXPR>: Handle x ?: y
 474         in templates.
 475         * typeck.c (is_bitfield_expr_with_lowered_type) <case COND_EXPR>:
 476         Likewise.
 477
 478         PR c++/34267
 479         PR c++/34268
 480         * parser.c (cp_parser_decltype): Don't call finish_id_expression
 481         on ~type.
 482         * semantics.c (finish_decltype_type): Issue error on types, TYPE_DECLs
 483         and ~type early.
 484
 485 2007-11-27  Jakub Jelinek  <jakub@redhat.com>
 486
 487         PR tree-optimization/34181
 488         * method.c (use_thunk): Don't inline the call in the thunk.
 489
 490         PR c++/34213
 491         * tree.c (decl_linkage): Static data members and static member
 492         functions in anonymous ns classes are lk_external.
 493
 494 2007-11-26  Andreas Krebbel  <krebbel1@de.ibm.com>
 495
 496         PR c++/34081
 497         * decl.c (start_preparsed_function): Pass
 498         processing_template_decl for the new allocate_struct_function
 499         parameter.
 500
 501 2007-11-25  Richard Guenther  <rguenther@suse.de>
 502
 503         * decl.c (poplevel): Use BLOCK_CHAIN.
 504
 505 2007-11-24  Ollie Wild  <aaw@google.com>
 506
 507         * typeck.c (delta_from_ptrmemfunc): New function.
 508         (get_member_function_from_ptrfunc): Call delta_from_ptrmemfunc.
 509         (build_binary_op): Call delta_from_ptrmemfunc.
 510
 511 2007-11-23  Jakub Jelinek  <jakub@redhat.com>
 512
 513         PR c++/30293
 514         PR c++/30294
 515         * decl.c (cp_finish_decl): Disallow variable or field
 516         definitions if extern "Java" aggregates.
 517         (grokparms): Disallow parameters with extern "Java"
 518         aggregates.
 519         (check_function_type): Disallow function return values
 520         with extern "Java" aggregates.
 521         * init.c (build_new_1): Disallow placement new with
 522         extern "Java" aggregates.
 523
 524 2007-11-23  Mark Mitchell  <mark@codesourcery.com>
 525             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 526
 527         PR c++/5310
 528         * call.c (convert_like_real): Build a zero constant when __null is
 529         converted to an integer type.
 530
 531 2007-11-22  Jakub Jelinek  <jakub@redhat.com>
 532
 533         PR c++/34094
 534         * decl2.c (cp_write_global_declarations): Issue error about static
 535         data members in anonymous namespace which are declared and used,
 536         but not defined.
 537
 538 2007-11-20  Jakub Jelinek  <jakub@redhat.com>
 539
 540         PR c++/34089
 541         * parser.c (cp_parser_class_head): Reject function template ids.
 542
 543         PR c++/28879
 544         * tree.c (build_cplus_array_type_1): Don't pass any VLA types
 545         when processing_template_decl to build_array_type.
 546
 547         PR c++/33962
 548         * pt.c (more_specialized_fn): Don't segfault if one or
 549         both argument list end with ellipsis.
 550
 551 2007-11-18  Jakub Jelinek  <jakub@redhat.com>
 552
 553         PR c++/30988
 554         * semantics.c (finish_call_expr): Set
 555         current_function_returns_abnormally if fn is noreturn FUNCTION_DECL
 556         or OVERLOAD with all noreturn functions.
 557
 558 2007-11-16  Jakub Jelinek  <jakub@redhat.com>
 559
 560         PR c++/34100
 561         * pt.c (apply_late_template_attributes): Do nothing if decl's type is
 562         error_mark_node.
 563
 564 2007-11-13  Jakub Jelinek  <jakub@redhat.com>
 565
 566         PR c++/34054
 567         PR c++/34056
 568         PR c++/34057
 569         PR c++/34058
 570         PR c++/34060
 571         * pt.c (find_parameter_packs_r): If ppd->set_packs_to_error,
 572         set to error_mark_node the outermost POINTER_TYPE to the pack if
 573         it is seen in a POINTER_TYPE.
 574         (push_template_decl_real): If check_for_bare_parameter_packs
 575         fails for function return type, set the return type to
 576         integer_type_node.  If check_for_bare_parameter_packs failed
 577         for non-function, return error_mark_node.
 578
 579         PR c++/29225
 580         * call.c (build_new_op): Call resolve_args before calling
 581         build_over_call.
 582
 583 2007-11-11  Tom Tromey  <tromey@redhat.com>
 584
 585         PR c++/17577:
 586         * lex.c (handle_pragma_implementation): Use cpp_included_before.
 587
 588 2007-11-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 589
 590         PR c++/8570
 591         * pt.c (redeclare_class_template): Update error message. Use a
 592         note to show the previous declaration.
 593         (tsubst_friend_class): Use the location of the friend template as
 594         the input location before calling redeclare_class_template.
 595
 596 2007-11-11  Jakub Jelinek  <jakub@redhat.com>
 597
 598         PR c++/34068
 599         * semantics.c (finish_pseudo_destructor_expr): Handle
 600         object == error_mark_node.
 601
 602 2007-11-10  Jakub Jelinek  <jakub@redhat.com>
 603
 604         PR c++/32241
 605         * pt.c (tsubst_copy_and_build) <case COMPONENT_REF>: If object_type
 606         is not scalar type, let finish_class_member_access_expr handle
 607         diagnostics.  Pass BIT_NOT_EXPR argument to
 608         finish_pseudo_destructor_expr.  Handle SCOPE_REF properly.
 609
 610 2007-11-09  Douglas Gregor  <doug.gregor@gmail.com>
 611
 612         PR c++/33510
 613         * decl.c (cp_complete_array_type): If any of the initializer
 614         elements are pack expansions, don't compute the array size yet.
 615
 616 2007-11-08  Andrew Pinski  <pinskia@gmail.com>
 617
 618         PR c++/30297:
 619         * tree.c (decl_linkage): Fields have no linkage.
 620
 621 2007-11-08  Daniel Jacobowitz  <dan@codesourcery.com>
 622
 623         * class.c (build_ctor_vtbl_group): Lay out the new type and decl.
 624
 625 2007-11-07  Douglas Gregor  <doug.gregor@gmail.com>
 626
 627         PR c++/33045
 628         PR c++/33837
 629         PR c++/33838
 630         * semantics.c (finish_decltype_type): See through INDIRECT_REFs.
 631         Be careful with ERROR_MARK_NODEs.
 632         * parser.c (cp_parser_check_access_in_redeclaration): Handle NULL
 633         argument.
 634
 635 2007-11-07  Jakub Jelinek  <jakub@redhat.com>
 636
 637         PR c++/33501
 638         * call.c (build_over_call): Don't check TREE_ADDRESSABLE
 639         on incomplete type.
 640
 641 2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>
 642
 643         PR c++/33977
 644         PR c++/33886
 645         * tree.c (c_build_qualified_type): Define bridge to
 646         cp_build_qualified_type.
 647
 648 2007-11-06  Douglas Gregor  <doug.gregor@gmail.com>
 649
 650         PR c++/31439
 651         PR c++/32114
 652         PR c++/32115
 653         PR c++/32125
 654         PR c++/32126
 655         PR c++/32127
 656         PR c++/32128
 657         PR c++/32253
 658         PR c++/32566
 659         * typeck.c (check_return_expr): Pass address of retval to
 660         check_for_bare_parameter_packs.
 661         * class.c (build_base_field): Tolerate bases that have no layout
 662         due to errors.
 663         (end_of_base): Ditto.
 664         * tree.c (canonical_type_variant): Be careful with
 665         ERROR_MARK_NODE.
 666         * cp-tree.h (check_for_bare_parameter_packs): Now accepts a
 667         tree*.
 668         * pt.c (find_parameter_pack_data): Add set_packs_to_error field,
 669         which states whether parameter packs should be replaced with
 670         ERROR_MARK_NODE.
 671         (find_parameter_packs_r): Pass addresses to cp_walk_tree wherever
 672         possible. If set_packs_to_error is set true, replace the parameter
 673         pack with ERROR_MARK_NODE. Manage our own pointer sets.
 674         (uses_parameter_packs): Don't set parameter packs to
 675         ERROR_MARK_NODE.
 676         (check_for_bare_parameter_packs): Now takes a pointer to a tree,
 677         which may be modified (if it is a parameter pack). Instructs
 678         find_parameter_packs_r to replace parameter packs with
 679         ERROR_MARK_NODE (so that they won't cause errors later on).
 680         (process_template_parm): Pass pointer to
 681         check_for_bare_parameter_packs.
 682         (process_partial_specialization): Replace pack expansions before
 683         the end of the template argument list with ERROR_MARK_NODE.
 684         (push_template_decl_real): Pass pointer to
 685         check_for_bare_parameter_packs. Replace parameter packs not at the
 686         end of the template parameter list with ERROR_MARK_NODE.
 687         (convert_template_argument): Be more careful about using DECL_NAME
 688         on only declarations.
 689         (unify): Can't unify against ERROR_MARK_NODE.
 690         * semantics.c (finish_cond): Pass pointer to
 691         check_for_bare_parameter_packs.
 692         (finish_expr_stmt): Ditto.
 693         (finish_for_expr): Ditto.
 694         (finish_switch_cond): Pass pointer to
 695         check_for_bare_parameter_packs, and call it before we put the
 696         condition into the statement.
 697         (finish_mem_initializers): Pass pointer to
 698         check_for_bare_parameter_packs.
 699         (finish_member_declaration): Ditto.
 700         * parser.c (cp_parser_base_clause): Ditto.
 701
 702 2007-11-06  Jakub Jelinek  <jakub@redhat.com>
 703
 704         PR target/33168
 705         * decl.c (cp_finish_decl): Call make_rtl_for_nonlocal_decl already
 706         with the final TREE_READONLY flag in place.  processing_template_decl
 707         is known to be 0 in this part of function.
 708
 709         PR c++/33894
 710         * cp-tree.h: Update comment - TYPE_LANG_FLAG_0 is not
 711         OMP_ATOMIC_DEPENDENT_P in OMP_ATOMIC.
 712         * pt.c (tsubst_expr): Assert OMP_ATOMIC_DEPENDENT_P.
 713         * semantics.c (finish_omp_atomic): Revert most of the
 714         2007-02-05 changes, just keep the new representation of
 715         OMP_ATOMIC_DEPENDENT_P OMP_ATOMIC.
 716
 717 2007-11-05  H.J. Lu  <hongjiu.lu@intel.com>
 718
 719         PR c++/33871
 720         * decl2.c (constrain_visibility): Clear DECL_ONE_ONLY if marked
 721         local.
 722
 723 2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>
 724
 725         PR c++/33996
 726         PR c++/33235
 727         PR c++/33930
 728         * typeck.c (merge_types): Don't lose rvalue references when
 729         merging types.
 730         * call.c (build_over_call): Don't elide move constructors just
 731         because the copy constructor is trivial (!).
 732         (compare_ics): If comparing cv-qualifiers fails, we can still order
 733         based on binding lvalues vs. rvalues.
 734
 735 2007-11-05  Douglas Gregor  <doug.gregor@gmail.com>
 736
 737         PR c++/33939
 738         * pt.c (unify_pack_expansion): bring handling of function call
 739         arguments into line with type_unification_real.
 740
 741 2007-11-05  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 742
 743         * typeck.c (build_binary_op): Use pedwarn instead of error for
 744         consistency.
 745
 746 2007-11-05  Jakub Jelinek  <jakub@redhat.com>
 747
 748         PR c++/33836
 749         * parser.c (cp_parser_unary_expression): For &&label call
 750         cp_parser_non_integral_constant_expression and return error_mark_node
 751         if it returned true.
 752
 753         PR c++/33969
 754         * decl.c (grokdeclarator): Don't call build_memfn_type if type
 755         is neither FUNCTION_TYPE nor METHOD_TYPE.
 756
 757 2007-11-02  Jakub Jelinek  <jakub@redhat.com>
 758
 759         PR c++/33516
 760         * parser.c (cp_parser_nested_name_specifier_opt): Use
 761         TYPE_MAIN_VARIANT (new_scope) as scope if new_scope is an incomplete
 762         typedef of currently open class.
 763
 764 2007-11-02  Paolo Carlini  <pcarlini@suse.de>
 765
 766         PR c++/33495
 767         * error.c (dump_expr): Deal specially with statements.
 768
 769 2007-11-01  Jason Merrill  <jason@redhat.com>
 770
 771         PR c++/30897
 772         * pt.c (push_template_decl_real): Set DECL_CONTEXT on template
 773         template parms.
 774         (lookup_template_class): Use it to get the outer template args
 775         for instantiating one.
 776
 777         PR c++/29236
 778         * pt.c (reduce_template_parm_level): tsubst the parameters
 779         of a template template parm.
 780
 781 2007-11-01  Douglas Gregor  <doug.gregor@gmail.com>
 782
 783         PR c++/33955
 784         * pt.c (find_parameter_packs_r): Handle TYPENAME_TYPE.
 785
 786 2007-11-01  Jakub Jelinek  <jakub@redhat.com>
 787
 788         PR c++/32384
 789         * parser.c (cp_parser_postfix_dot_deref_expression): If
 790         POSTFIX_EXPRESSION is type dependent, try to parse it as pseudo dtor
 791         first and if that succeeds and type is SCALAR_TYPE_P, create
 792         PSEUDO_DTOR_EXPR.
 793
 794         PR c++/32260
 795         * rtti.c (enum_tinfo_kind): Fix TK_TYPE_INFO_TYPE comment.
 796         (typeid_ok_p): Use the same alias set for abi::__type_info_pseudo
 797         as for std::type_info.
 798
 799 2007-10-31  Paolo Carlini  <pcarlini@suse.de>
 800
 801         PR c++/33494
 802         * cxx-pretty-print.c (pp_cxx_typeid_expression,
 803         pp_cxx_delete_expression): Change to static linkage.
 804         * cxx-pretty-print.h: Adjust declarations.
 805         * error.c (dump_expr, case EXPR_PACK_EXPANSION, TYPEID_EXPR,
 806         MEMBER_REF, DOTSTAR_EXPR, DELETE_EXPR, VEC_DELETE_EXPR,
 807         MODOP_EXPR): Forward to pp_expression.
 808
 809         * cxx-pretty-print.c (pp_cxx_expression, case NON_DEPENDENT_EXPR):
 810         Fix typo.
 811
 812 2007-10-31 Christian Bruel  <christian.bruel@st.com>
 813            Mark Mitchell  <mark@codesourcery.com>
 814
 815         PR c++/19531
 816         * typeck.c (check_return_expr): Don't set named_return_value_okay_p
 817         if retval is volatile.
 818
 819 2007-10-30  Jakub Jelinek  <jakub@redhat.com>
 820
 821         PR c++/33616
 822         * decl2.c (build_offset_ref_call_from_tree): Call
 823         build_non_dependent_expr on object prior to building ADDR_EXPR from it
 824         if FN is DOTSTAR_EXPR.
 825
 826 2007-10-30  Douglas Gregor  <doug.gregor@gmail.com>
 827
 828         PR c++/31993
 829         PR c++/32252
 830         * pt.c (find_parameter_packs_r): Fix typo in comment.
 831         (convert_template_argument): Look at the pattern of a pack
 832         expansion to determine what kind of entity we're converting.
 833         (coerce_template_parameter_pack): When we have coerced a non-type
 834         template parameter pack, substitute into the type of that pack.
 835         (tsubst_pack_expansion): When our substitution of a parameter pack
 836         is a "trivial" substitution of itself, just substitute into the
 837         pack expansion rather than actually expanding.
 838
 839 2007-10-29  Jakub Jelinek  <jakub@redhat.com>
 840
 841         PR c++/33841
 842         * class.c (check_bitfield_decl): Don't set field's type to error_mark_node
 843         for non-integral type bitfields.  Return true if bitfield is correct, false
 844         error has been diagnosed.
 845         (check_field_decls): If check_bitfield_decl returned false, call also
 846         check_field_decl.
 847
 848 2007-10-28  Paolo Carlini  <pcarlini@suse.de>
 849             Mark Mitchell  <mark@codesourcery.com>
 850
 851         PR c++/30659
 852         * pt.c (do_decl_instantiation): If the VAR_DECL is not a
 853         class member error out and return.
 854
 855 2007-10-27  Jakub Jelinek  <jakub@redhat.com>
 856
 857         * error.c (reinit_cxx_pp): Initialize cxx_pp->enclosing_scope
 858         to current_function_decl rather than 0.
 859
 860         PR c++/33844
 861         * cxx-pretty-print.c (pp_cxx_pm_expression) <case MEMBER_REF>: Print
 862         ->* rather than .*.
 863         * error.c (dump_expr): Handle MEMBER_REF and DOTSTAR_EXPR.
 864
 865 2007-10-27  Jason Merrill  <jason@redhat.com>
 866
 867         PR c++/5247
 868         * call.c (convert_default_arg): Detect recursion.
 869
 870 2007-10-27  Jakub Jelinek  <jakub@redhat.com>
 871
 872         PR c++/33842
 873         * cxx-pretty-print.h (pp_cxx_offsetof_expression): New prototype.
 874         * cxx-pretty-print.c (pp_cxx_primary_expression): Handle
 875         OFFSETOF_EXPR.
 876         (pp_cxx_offsetof_expression_1, pp_cxx_offsetof_expression): New
 877         functions.
 878         * error.c (dump_expr): Handle OFFSETOF_EXPR.
 879
 880 2007-10-26  Jason Merrill  <jason@redhat.com>
 881
 882         PR c++/24791
 883         * pt.c (get_template_info): New fn.
 884         (template_class_depth): Use it.
 885         (push_template_decl_real): Check that the template args of the
 886         definition match the args of the previous declaration.
 887
 888 2007-10-26  Paolo Carlini  <pcarlini@suse.de>
 889
 890         PR c++/31988
 891         * decl2.c (coerce_new_type): Do not allow a default argument for
 892         the first parameter.
 893
 894 2007-10-26  Douglas Gregor  <doug.gregor@gmail.com>
 895
 896         PR c++/33839
 897         * parser.c (cp_parser_decltype): Return ERROR_MARK_NODE if we
 898         don't see the leading '('. Only lookup names if we get an
 899         IDENTIFIER_NODE.
 900
 901 2007-10-26  Jakub Jelinek  <jakub@redhat.com>
 902
 903         PR c++/33744
 904         * parser.c (cp_parser_parenthesized_expression_list): Set
 905         greater_than_is_operator_p to true in between the parens.
 906
 907 2007-10-26  Paolo Carlini  <pcarlini@suse.de>
 908
 909         PR c++/31747
 910         * decl.c (grokdeclarator): In case of conflicting specifiers
 911         just return error_mark_node.
 912
 913 2007-10-26  Ollie Wild  <aaw@google.com>
 914
 915         * expr.c (cxx_expand_expr): Removed.
 916         * cp-tree.h (exx_expand_expr): Removed.
 917         * cp-objcp-common.h (LANK_HOOKS_EXPAND_EXPR): Replace cxx_expand_expr
 918         with c_expand_expr.
 919
 920 2007-10-25  Paolo Carlini  <pcarlini@suse.de>
 921
 922         PR c++/33843
 923         * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with BIT_NOT_EXPR.
 924
 925 2007-10-23  Jason Merrill  <jason@redhat.com>
 926
 927         PR c++/25950 (DR 391)
 928         * call.c (struct conversion): Remove check_copy_constructor_p.
 929         (reference_binding): Always bind a reference directly to a
 930         compatible class rvalue.  Pass down LOOKUP_NO_TEMP_BIND during
 931         temporary creation.
 932         (check_constructor_callable): Remove.
 933         (convert_like_real): Don't call it.
 934         (initialize_reference): Don't call check_constructor_callable.
 935         (standard_conversion): Check LOOKUP_NO_CONVERSION instead of
 936         LOOKUP_CONSTRUCTOR_CALLABLE.  Don't require a temporary for base
 937         conversions if LOOKUP_NO_TEMP_BIND.
 938         (implicit_conversion): Pass through LOOKUP_NO_TEMP_BIND.
 939         (build_user_type_conversion_1): Pass through LOOKUP_NO_TEMP_BIND for
 940         second conversion.
 941         * cp-tree.h (LOOKUP_CONSTRUCTOR_CALLABLE): Remove.
 942
 943 2007-10-22  Jakub Jelinek  <jakub@redhat.com>
 944
 945         PR c++/33372
 946         * semantics.c (finish_omp_clauses): Check !type_dependent_expression_p
 947         before checking if its type is integral.
 948
 949 2007-10-22  Jason Merrill  <jason@redhat.com>
 950
 951         PR c++/33620
 952         * class.c (finish_struct_bits): Copy TYPE_ATTRIBUTES.
 953         * pt.c (apply_late_template_attributes): Splice out dependent
 954         attributes from DECL_ATTRIBUTES.
 955
 956         * decl.c (cxx_maybe_build_cleanup): Use build_address.
 957
 958 2007-10-17  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 959
 960         * typeck.c (build_binary_op) : Use appropriate warning option
 961         instead of unnamed warning.
 962
 963 2007-10-16  Paolo Carlini  <pcarlini@suse.de>
 964
 965         PR c++/31446
 966         * pt.c (current_template_args): Do not change TREE_LIST elements
 967         with a TREE_VALUE of error_mark_node.
 968
 969 2007-10-16  Mark Mitchell  <mark@codesourcery.com>
 970
 971         * typeck.c (cp_apply_type_quals_to_decl): Expand documentation.
 972         * decl.c (start_decl): Tidy.
 973         (start_decl_1): Call cp_apply_type_quals_to_decl after completing
 974         the type.
 975         (grokdeclarator): Clarify comment.
 976
 977 2007-10-14  Andrew Pinski  <pinskia@gmail.com>
 978
 979         PR c++/30303
 980         * decl.c (grokfndecl): Return NULL after the "definition of
 981         implicitly-declared" error happened.
 982
 983 2007-10-12  Simon Martin  <simartin@users.sourceforge.net>
 984
 985         PR c++/26698
 986         * call.c (build_user_type_conversion_1): Do not consider conversion
 987         functions to convert a (possibly cv-qualified) object to the (possibly
 988         cv-qualified) same object type (or a reference to it), to a (possibly
 989         cv-qualified) base class of that type (or a reference to it).
 990
 991 2007-10-12  Paolo Carlini  <pcarlini@suse.de>
 992
 993         * pt.c (tsubst): Use template_parm_level_and_index.
 994
 995 2007-10-12  Jakub Jelinek  <jakub@redhat.com>
 996
 997         PR c++/32121
 998         * parser.c (cp_parser_compound_statement): Handle label-declarations
 999         at the beginning of the compound statement.
1000         (cp_parser_block_declaration): Issue diagnostics about __label__
1001         not at the beginning of a block.
1002
1003 2007-10-11  Paolo Carlini  <pcarlini@suse.de>
1004
1005         PR c++/33461
1006         * pt.c (coerce_template_parameter_pack): Do not pass error_mark_node
1007         to convert_template_argument.
1008         (coerce_template_parms): Return error_mark_node after fixed-length
1009         error.
1010         (tsubst_decl): Check for error_mark_node the return value of the
1011         first tsubst in 'case VAR_DECL'.
1012
1013 2007-10-08  Ollie Wild  <aaw@google.com>
1014
1015         * typeck2.c (digest_init): Call cplus_expand_constant after
1016         convert_for_initialization.
1017         * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed.
1018         * expr.c (cplus_expand_constant): Updated function description.
1019
1020 2007-10-04  Jason Merrill  <jason@redhat.com>
1021
1022         PR c++/20416
1023         * call.c (initialize_reference): Handle local static reference
1024         temps properly.
1025
1026 2007-10-03  Jason Merrill  <jason@redhat.com>
1027
1028         PR c++/32470
1029         * name-lookup.c (push_namespace_with_attrs): Fold back into...
1030         (push_namespace): Here.
1031         (handle_namespace_attrs): New fn for the attr code.
1032         (leave_scope): Don't pop_visibility.
1033         * name-lookup.h (struct cp_binding_level): Remove has_visibility.
1034         * parser.c (cp_parser_namespace_definition): Call
1035         handle_namespace_attrs and pop_visibility as appropriate.
1036
1037         PR c++/11756
1038         * mangle.c (write_type) [TYPEOF_TYPE]: Just sorry.
1039
1040 2007-10-03  Alexandre Oliva  <aoliva@redhat.com>
1041
1042         * decl.c (duplicate_decls): Preserve linkage flags for mere
1043         redeclarations of gnu_inline definitions.
1044
1045 2007-10-03  Jason Merrill  <jason@redhat.com>
1046
1047         PR c++/15764
1048         * decl.c (wrap_cleanups_r): New fn.
1049         (wrap_temporary_cleanups): New fn.
1050         (initialize_local_var): Call it.
1051
1052 2007-09-29  Jason Merrill  <jason@redhat.com>
1053
1054         PR c++/33094
1055         * decl.c (make_rtl_for_nonlocal_decl): It's ok for a member
1056         constant to not have DECL_EXTERNAL if it's file-local.
1057
1058 2007-09-28  Ollie Wild  <aaw@google.com>
1059
1060         Revert
1061         2007-09-27  Ollie Wild  <aaw@google.com>
1062
1063         * typeck2.c (digest_init): Call cplus_expand_constant after
1064         convert_for_initialization.
1065         * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed.
1066         * expr.c (cplus_expand_constant): Updated function description.
1067
1068 2007-09-28  Jason Merrill  <jason@redhat.com>
1069
1070         PR c++/10179
1071         * class.c (layout_empty_base): Take rli parameter, update
1072         rli->record_align if empty base has user-specified alignment.
1073         (build_base_field): Pass rli to it.
1074
1075 2007-09-28  Paolo Carlini  <pcarlini@suse.de>
1076
1077         PR c++/33213
1078         * error.c (dump_decl): Deal with TYPE_PACK_EXPANSION.
1079
1080 2007-09-28  Paolo Carlini  <pcarlini@suse.de>
1081
1082         PR c++/33118
1083         * error.c (dump_expr): Deal with ARGUMENT_PACK_SELECT.
1084         (dump_type): Use dump_template_argument for TYPE_ARGUMENT_PACK.
1085         (dump_parameters): Just call dump_type for argument packs too.
1086
1087 2007-09-28  Jakub Jelinek  <jakub@redhat.com>
1088
1089         PR c++/31434
1090         * tree.c (cp_build_qualified_type_real): Handle TYPE_PACK_EXPANSION
1091         qualification by creating qualified PACK_EXPANSION_PATTERN and
1092         then calling make_pack_expansion on it.
1093
1094 2007-09-27  Ollie Wild  <aaw@google.com>
1095
1096         * typeck2.c (digest_init): Call cplus_expand_constant after
1097         convert_for_initialization.
1098         * cp-objcp-common.h (LANG_HOOKS_EXPAND_CONSTANT): Removed.
1099         * expr.c (cplus_expand_constant): Updated function description.
1100
1101 2007-09-27  Jason Merrill  <jason@redhat.com>
1102
1103         PR c++/33571
1104         * decl2.c (is_late_template_attribute): Don't crash on unknown
1105         attribute.
1106
1107 2007-09-27  Paolo Carlini  <pcarlini@suse.de>
1108
1109         PR c++/33493
1110         * error.c (dump_expr): Deal with DELETE_EXPR and VEC_DELETE_EXPR.
1111         * cxx-pretty-print.c (pp_cxx_delete_expression): Add missing
1112         spaces in the formatting.
1113         * cxx-pretty-print.h (pp_cxx_delete_expression): Declare.
1114
1115 2007-09-27  Jakub Jelinek  <jakub@redhat.com>
1116
1117         * error.c (cxx_print_error_function): Add third argument, pass
1118         it over to lhd_print_error_function.
1119         (cp_print_error_function): If diagnostic->abstract_origin, print
1120         virtual backtrace.
1121         * cp-tree.h (struct diagnostic_info): New forward decl.
1122         (cxx_print_error_function): Add third argument.
1123
1124 2007-09-25  Simon Martin  <simartin@users.sourceforge.net>
1125
1126         PR c++/33207
1127         * name-lookup.c (pushtag): Do not create an implicit typedef before
1128         the associated type declaration is known to be valid.
1129
1130 2007-09-25  Jakub Jelinek  <jakub@redhat.com>
1131
1132         * tree.c (cxx_printable_name): Compare FUNCTION_DECL uids
1133         rather than pointers.
1134
1135 2007-09-24  Danny Smith  <dannysmith@user.sourceforge.net>
1136
1137         PR c++/14688
1138         * search.c (check_final_overrider): Fail if
1139         targetm.comp_type_attributes returns 0.
1140
1141 2007-09-24  Jason Merrill  <jason@redhat.com>
1142
1143         PR c++/33239
1144         * pt.c (resolve_typename_type): Don't look things up in the original
1145         template if it would mean losing template arguments.
1146
1147 2007-09-24  Jakub Jelinek  <jakub@redhat.com>
1148
1149         PR c++/33506
1150         * cp-tree.h (cxx_type_hash_eq): New prototype.
1151         * cp-objcp-common.h (LANG_HOOKS_TYPE_HASH_EQ): Redefine.
1152         * tree.c (cxx_type_hash_eq): New function.
1153
1154 2007-09-24  Douglas Gregor  <doug.gregor@gmail.com>
1155
1156         PR c++/33185
1157         * tree.c (cp_build_qualified_type_real): Build a canonical
1158         ARRAY_TYPE if the original ARRAY_TYPE was not a canonical type.
1159
1160 2007-09-24  Douglas Gregor  <doug.gregor@gmail.com>
1161
1162         PR c++/33112
1163         PR c++/33185
1164         * tree.c (cplus_array_compare): Compare pointers, not types.
1165         (build_cplus_array_type_1): Store new array type into the hash
1166         table before building the canonical type; build the canonical type
1167         correctly.
1168         (cp_build_qualified_type_real): Put all of the array types with
1169         cv-qualified element types into the C++ array hash table, built as
1170         variants of the unqualified versions.
1171
1172 2007-09-23  Jason Merrill  <jason@redhat.com>
1173
1174         PR c++/16370
1175         * decl.c (grokdeclarator): Look through implicit TYPE_DECLs
1176         for deprecation warnings.
1177
1178 2007-09-22  Jason Merrill  <jason@redhat.com>
1179
1180         PR c++/15269
1181         * call.c (build_over_call): Warn about deprecated virtuals.
1182
1183         PR c++/19407
1184         * cp-tree.h (ATTR_IS_DEPENDENT): New macro.
1185         (MAYBE_TAGGED_TYPE_P): Remove.
1186         * pt.c (apply_late_template_attributes): Check ATTR_IS_DEPENDENT
1187         instead of calling is_late_template_attribute again.
1188         (tsubst_decl) [TYPE_DECL]: Just check if the name is the tag.
1189         (tsubst): A typedef is a TYPE_NAME != TYPE_MAIN_DECL.
1190         Don't crash on typedefs from non-template classes.
1191         * decl2.c (grokfield): Don't sorry about attrs on template parms.
1192         (is_late_template_attribute): All attributes applied to template
1193         parms or typename types are dependent.  Static.
1194         (splice_template_attributes): Pass decl through.
1195         (save_template_attributes): Likewise.
1196
1197 2007-09-20  Jakub Jelinek  <jakub@redhat.com>
1198
1199         PR c++/33496
1200         * pt.c (tsubst_copy) <case SIZEOF_EXPR>: Handle error_mark_node
1201         returned from tsubst_pack_expansion.
1202         (tsubst_copy_and_build) <case SIZEOF_EXPR>: Likewise.
1203         (tsubst_copy_and_build) <case CONSTRUCTOR>: Likewise.
1204
1205 2007-09-20  Paolo Carlini  <pcarlini@suse.de>
1206
1207         PR c++/33460
1208         * semantics.c (finish_id_expression): Use consistently
1209         context_for_name_lookup.
1210         * decl.c (fixup_anonymous_aggr): Fix error message for
1211         anonymous struct (vs union).
1212
1213 2007-09-19  Jason Merrill  <jason@redhat.com>
1214
1215         PR c++/7586
1216         * pt.c (tsubst): Handle typedefs by looking for the specialization.
1217         (retrieve_specialization): Only tagged types use
1218         DECL_TEMPLATE_INSTANTIATIONS.
1219         (instantiate_class_template): Push nested classes too.
1220         (tsubst_decl) [TYPE_DECL]: Only check for canonical decl for
1221         tagged types.
1222         * cp-tree.h (MAYBE_TAGGED_TYPE_P): New macro.
1223         * init.c (is_aggr_type): Remove redundant tests.
1224         * class.c (push_nested_class): Use CLASS_TYPE_P.
1225
1226 2007-09-20  Paolo Carlini  <pcarlini@suse.de>
1227
1228         PR c++/33459
1229         * init.c (build_zero_init): If, recursively, build_zero_init
1230         returns a NULL_TREE, do not append it to the VEC of constructors.
1231
1232 2007-09-18  Jason Merrill  <jason@redhat.com>
1233
1234         PR c++/17743
1235         * pt.c (apply_late_template_attributes): Set processing_template_decl.
1236         (tsubst_decl) [TYPE_DECL]: Preserve naming typedef, pass
1237         ATTR_FLAG_TYPE_IN_PLACE.
1238         (tsubst): Do unqualified lookup to find typedefs from current class.
1239         [ARRAY_TYPE]: Propagate alignment info.
1240         * decl2.c (is_late_template_attribute): Only defer handling of
1241         attribute aligned if the expression is dependent.
1242         (save_template_attributes): If we're deferring any attributes,
1243         make this a naming typedef.
1244
1245 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
1246
1247         PR c++/33462 (again)
1248         * cxx-pretty-print.c (pp_cxx_va_arg_expression): Print
1249         va_arg instead of __builtin_va_arg.
1250
1251 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
1252
1253         PR c++/33462
1254         * cxx-pretty-print.c (pp_cxx_va_arg_expression): Add.
1255         (pp_cxx_primary_expression): Use it.
1256         * cxx-pretty-print.h (pp_cxx_va_arg_expression): Declare.
1257         * error.c (dump_expr): Use it.
1258
1259 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
1260
1261         PR c++/33463
1262         * cxx-pretty-print.c (pp_cxx_postfix_expression): Split
1263         out case TYPEID_EXPR to...
1264         (pp_cxx_typeid_expression): ... here; use pp_cxx_left_paren
1265         and pp_cxx_right_paren.
1266         * cxx-pretty-print.h (pp_cxx_typeid_expression): Declare.
1267         * error.c (dump_expr): Use it.
1268
1269 2007-09-18  Paolo Carlini  <pcarlini@suse.de>
1270
1271         PR c++/33464
1272         * cxx-pretty-print.c (pp_cxx_trait_expression): Add.
1273         (pp_cxx_primary_expression): Use it.
1274         * cxx-pretty-print.h (pp_cxx_trait_expression): Declare.
1275         * error.c (dump_expr): Use it.
1276
1277 2007-09-16  Paolo Carlini  <pcarlini@suse.de>
1278
1279         PR c++/33124
1280         * init.c (build_new): Remove warning for zero-element
1281         allocations.
1282
1283 2007-09-16  Nathan Sidwell  <nathan@codesourcery.com>
1284
1285         PR c++/32756
1286         * call.c (maybe_handle_implicit_object): Set this_p, clear
1287         rvaluedness_matches_p.
1288         (compare_ics): Do not compare rvaluedness matching when one of the
1289         operands is an implicit object.
1290
1291 2007-09-14  Jason Merrill  <jason@redhat.com>
1292
1293         PR c++/17743, c++/19163
1294         * decl2.c (is_late_template_attribute): New fn.
1295         (splice_template_attributes, save_template_attributes): New fns.
1296         (cplus_decl_attributes): Call save_template_attributes.
1297         * pt.c (apply_late_template_attributes): New fn.
1298         (instantiate_class_template, tsubst_decl): Use it.
1299         * cp-tree.h: Declare is_late_template_attribute.
1300
1301 2007-09-13  Tom Tromey  <tromey@redhat.com>
1302
1303         * parser.c (cp_lexer_new_main): Don't use
1304         c_lex_return_raw_strings.
1305         (cp_lexer_get_preprocessor_token): Update.  Add special case when
1306         lexer is NULL.
1307
1308 2007-09-11  Jan Hubicka <jh@suse.cz>
1309
1310         * method.c (use_thunk): Use tree_rest_of_compilation
1311         * cp-objecp-common.h (LANG_HOOKS_CALLGRAPH_EXPAND_FUNCTION): Kill.
1312         (LANG_HOOKS_CALLGRAPH_EMIT_ASSOCIATED_THUNKS): Define.
1313         * cp-tree.h (expand_body): Kill.
1314         (emit_associated_thunks): Declare.
1315         * semantics.c (emit_associated_thunks): Export.
1316         (expand_body): Kill.
1317
1318 2007-09-09  David Daney  <ddaney@avtrex.com>
1319
1320         PR c++/33324
1321         * init.c (build_new_1):  Use POINTER_PLUS_EXPR instead of MINUS_EXPR
1322         to calculate cookie_ptr.
1323
1324 2007-09-08  Jason Merrill  <jason@redhat.com>
1325
1326         PR c++/33342
1327         * pt.c (most_specialized_class): Set processing_template_decl
1328         while tsubsting partial spec args.
1329
1330 2007-09-06  Jason Merrill  <jason@redhat.com>
1331
1332         * decl2.c (get_guard): Copy visibility from the guarded variable.
1333
1334 2007-09-06  Jan Hubicka  <jh@suse.cz>
1335
1336         * semantics.c (expand_body): Do not mark arguments of clones used.
1337
1338 2007-09-06  Paolo Carlini  <pcarlini@suse.de>
1339
1340         PR c++/32674
1341         * decl.c (cp_finish_decl): When processing_template_decl,
1342         deal correctly with init as TREE_LIST.
1343
1344 2007-09-06  Tom Tromey  <tromey@redhat.com>
1345
1346         * decl.c (finish_function): Put return's location on line zero of
1347         file.
1348
1349 2007-09-05  Jason Merrill  <jason@redhat.com>
1350
1351         PR c++/15745
1352         * except.c (prepare_eh_type): Use type_decays_to.
1353
1354         PR c++/15097
1355         * init.c (build_delete): Use build_headof to get the address of the
1356         complete object if we aren't using the deleting destructor.
1357         * rtti.c (build_headof): No longer static.
1358         * cp-tree.h: Declare it.
1359
1360 2007-09-06  Jakub Jelinek  <jakub@redhat.com>
1361
1362         * decl.c (duplicate_decls): Set TREE_NOTHROW on __builtin_XX
1363         decl if a prototype for XX is provided with throw().
1364
1365         PR c++/33289
1366         * decl.c (builtin_function_1): Set DECL_ANTICIPATED also
1367         on __*_chk non-__builtin_* decls.
1368
1369 2007-09-05  Paolo Carlini  <pcarlini@suse.de>
1370
1371         PR c++/30302
1372         * semantics.c (finish_id_expression): Use context_for_name_lookup
1373         insted of DECL_CONTEXT, to see through anonymous structs and unions.
1374         * class.c (finish_struct_anon): Deal correctly with anonymous
1375         structs (vs unions, as GNU extension) in error messages.
1376
1377 2007-09-05  Jan Hubicka  <jh@suse.cz>
1378
1379         * cp/sematics.c (expand_body): Remove unnecesary import_export_decl
1380         call, DECL_EXTERNAL checks and current_function_decl saving.
1381
1382 2007-09-05  Paolo Carlini  <pcarlini@suse.de>
1383
1384         PR c++/29731 (again)
1385         * parser.c (cp_parser_primary_expression): Return error_mark_node
1386         when a statement-expression is found in a template-argument list.
1387
1388 2007-09-04  Jason Merrill  <jason@redhat.com>
1389
1390         * except.c (initialize_handler_parm): Use
1391         fold_build_cleanup_point_expr.
1392
1393         PR c++/31419
1394         * call.c (reference_binding): Don't look for user-defined conversions
1395         to the same type.
1396
1397         PR c++/31411
1398         * except.c (initialize_handler_parm): Put a CLEANUP_POINT_EXPR inside
1399         the MUST_NOT_THROW_EXPR.
1400
1401 2007-09-04  Richard Sandiford  <richard@codesourcery.com>
1402
1403         * decl.c (cp_finish_decl): Call determine_visibility before
1404         make_rtl_for_nonlocal_decl.
1405
1406 2007-09-04  Jason Merrill  <jason@redhat.com>
1407
1408         PR c++/14032
1409         * pt.c (most_specialized_class): Substitute outer template
1410         arguments into the arguments of a member template partial
1411         specialization.
1412         (strip_innermost_template_args): New fn.
1413
1414 2007-09-03  Daniel Jacobowitz  <dan@codesourcery.com>
1415
1416         * Make-lang.in (g++spec.o): Remove SHLIB_MULTILIB.
1417
1418 2007-09-03  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1419
1420         * call.c (name_as_c_string): Supply a TYPE for CONST_CAST.
1421         * decl.c (cp_make_fname_decl): Likewise,
1422         * parser.c (cp_parser_string_literal): Likewise,
1423         * tree.c (pod_type_p, zero_init_p): Use CONST_CAST_TREE.
1424         * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
1425         Likewise,
1426
1427 2007-09-02  Paolo Carlini  <pcarlini@suse.de>
1428
1429         PR c++/33208
1430         * typeck.c (build_unary_op): Fix error message for
1431         Boolean expression as operand to operator--.
1432
1433 2007-09-01  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1434
1435         * tree.c (pod_type_p, zero_init_p): Use strip_array_types.
1436         * typeck.c (cp_type_quals, cp_type_readonly, cp_has_mutable_p):
1437         Likewise.
1438
1439 2007-08-31 Douglas Gregor <doug.gregor@gmail.com>
1440
1441         PR c++/32597
1442         * init.c (build_default_init): Make extern.
1443         * cp-tree.h (build_default_init): Declare here.
1444         * pt.c (tsubst_expr): When the instantiation of the initializer of
1445         a variable results in an empty list, default-initialize the
1446         variable.
1447         (tsubst_copy_and_build): When the instantiation of the initializer
1448         in a new expression results in an empty initializer list,
1449         default-initialize it.
1450
1451 2007-08-31  Douglas Gregor  <doug.gregor@gmail.com>
1452
1453         * mangle.c (write_type): Change mangling of rvalue reference from
1454         `RR' to `O'.
1455
1456 2007-08-31  Jakub Jelinek  <jakub@redhat.com>
1457
1458         * decl.c (duplicate_decls): Remove duplicated line.
1459
1460 2007-08-31  Paolo Carlini  <pcarlini@suse.de>
1461
1462         PR c++/33210
1463         * cxx-pretty-print.c (pp_cxx_unqualified_id): Deal with
1464         BOUND_TEMPLATE_TEMPLATE_PARM.
1465
1466 2007-08-31  Paolo Carlini  <pcarlini@suse.de>
1467
1468         PR c++/32113
1469         * search.c (lookup_member): Check the name argument for
1470         error_mark_node.
1471
1472 2007-08-31  Paolo Carlini  <pcarlini@suse.de>
1473
1474         PR c++/33212
1475         * parser.c (cp_parser_trait_expr): Check rerurn value of
1476         cp_parser_type_id.
1477
1478 2007-08-30  Ollie Wild  <aaw@google.com>
1479
1480         * cvt.c (cp_convert_to_pointer): Remove force parameter. Call
1481         convert_ptrmem for pointer to member conversions.
1482         (convert_to_pointer_force): Update cp_convert_to_pointer call.
1483         (ocp_convert): Update cp_convert_to_pointer call.
1484         * typeck.c (convert_ptrmem): Add conditional for null pointers to
1485         members.
1486         (build_static_cast_1): Check can_convert for conversions in either
1487         direction.
1488         (get_delta_difference_1): New function.
1489         (get_delta_difference): Refactor to call get_delta_difference_1.
1490
1491 2007-08-30  Jakub Jelinek  <jakub@redhat.com>
1492
1493         * decl.c (start_preparsed_function): Set
1494         DECL_DISREGARD_INLINE_LIMITS for GNU_INLINE_P functions.
1495
1496 2007-08-28  Paolo Carlini  <pcarlini@suse.de>
1497
1498         PR c++/33209
1499         * error.c (dump_expr): Deal with TEMPLATE_TYPE_PARM and
1500         BOUND_TEMPLATE_TEMPLATE_PARM.
1501
1502 2007-08-28  Jakub Jelinek  <jakub@redhat.com>
1503
1504         PR c++/32596
1505         PR c++/32400
1506         * pt.c (check_explicit_specialization): Set DECL_INTERFACE_KNOWN
1507         and DECL_NOT_REALLY_EXTERN if tmpl_func is not public.
1508
1509 2007-08-27  Jason Merrill  <jason@redhat.com>
1510
1511         PR c++/29000
1512         * pt.c (build_non_dependent_expr, type_dependent_expression_p):
1513         Look inside STMT_EXPR.
1514         * semantics.c (stmt_expr_value_expr): New fn.
1515         * cp-tree.h: Declare it.
1516
1517         PR c++/28558
1518         * decl.c (groktypename): Ignore attributes applied to class type.
1519
1520 2007-08-28  Richard Guenther  <rguenther@suse.de>
1521
1522         * decl.c (duplicate_decls): Merge DECL_DISREGARD_INLINE_LIMITS.
1523
1524 2007-08-28  Gabriel Dos Reis  <gdr@integrable-solutions.net>
1525
1526         * error.c (dump_expr): Handle COMPLEX_CST.
1527         * cxx-pretty-print.c (pp_cxx_primary_expression): Likewise.
1528         (pp_cxx_expression): Likewise.
1529
1530 2007-08-27  Alexandre Oliva  <aoliva@redhat.com>
1531
1532         * decl.c (GNU_INLINE_P): New.
1533         (duplicate_decls): Handle gnu_inline.  Merge attributes and
1534         some flags in overriding definitions.
1535         (redeclaration_error_message): Handle gnu_inline.
1536         (start_preparsed_function): Likewise.
1537
1538 2007-08-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1539
1540         * call.c (sufficient_parms_p): Constify.
1541         * class.c (same_signature_p): Likewise.
1542         * cp-gimplify.c (is_invisiref_parm,
1543         cxx_omp_privatize_by_reference): Likewise.
1544         * cp-objcp-common.c (has_c_linkage): Likewise.
1545         * cp-tree.h (NON_THUNK_FUNCTION_CHECK, THUNK_FUNCTION_CHECK,
1546         sufficient_parms_p, same_signature_p, copy_fn_p, move_fn_p,
1547         grok_ctor_properties, nothrow_libfn_p, skip_artificial_parms_for,
1548         num_artificial_parms_for, comp_template_parms,
1549         template_parameter_pack_p, any_dependent_template_arguments_p,
1550         any_type_dependent_arguments_p, any_value_dependent_elements_p,
1551         repo_export_class_p, cxx_omp_privatize_by_reference, pod_type_p,
1552         zero_init_p, member_p, cp_lvalue_kind,
1553         builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
1554         varargs_function_p, is_dummy_object, special_function_kind,
1555         string_conv_p, type_unknown_p, comp_except_specs, compparms,
1556         comp_cv_qualification, is_bitfield_expr_with_lowered_type,
1557         unlowered_expr_type, ptr_reasonably_similar, cp_type_readonly,
1558         cp_has_mutable_p, at_least_as_qualified_p,
1559         invalid_nonstatic_memfn_p, lvalue_or_else, lvalue_p): Likewise.
1560         * decl.c (copy_fn_p, move_fn_p, grok_ctor_properties): Likewise.
1561         * except.c (nothrow_libfn_p): Likewise.
1562         * method.c (skip_artificial_parms_for, num_artificial_parms_for):
1563         Likewise.
1564         * pt.c (comp_template_parms, template_parameter_pack_p,
1565         any_type_dependent_arguments_p, any_value_dependent_elements_p,
1566         any_dependent_template_arguments_p): Likewise.
1567         * repo.c (repo_export_class_p): Likewise.
1568         * semantics.c (anon_aggr_type_p): Likewise.
1569         * tree.c (lvalue_p_1, real_lvalue_p, lvalue_p,
1570         builtin_valid_in_constant_expr_p, decl_anon_ns_mem_p,
1571         varargs_function_p, member_p, is_dummy_object, pod_type_p,
1572         zero_init_p, special_function_p): Likewise.
1573         * typeck.c (comp_array_types, type_unknown_p, comp_except_specs,
1574         comp_array_types, at_least_as_qualified_p, comp_cv_qualification,
1575         compparms, invalid_nonstatic_memfn_p,
1576         is_bitfield_expr_with_lowered_type, unlowered_expr_type,
1577         string_conv_p, ptr_reasonably_similar, cp_type_readonly,
1578         cp_has_mutable_p, lvalue_or_else): Likewise.
1579
1580 2007-08-25  Paolo Bonzini  <bonzini@gnu.org>
1581
1582         * decl.c (cp_tree_node_structure): Kill TINST_LEVEL case.
1583         * cp-objcp-common.c (cp_tree_size): Ditto.
1584         * tree.c (cp_walk_subtrees): Ditto
1585         * cp-tree.def (TINST_LEVEL): Go away.
1586         * cp-tree.h (struct tinst_level_s): Rename to struct tinst_level,
1587         move together with other non-tree structs.
1588         (enum cp_tree_node_structure_enum): Nuke TS_CP_TINST_LEVEL.
1589         (union lang_tree_node): Eliminate tinst_level field.
1590         (TINST_DECL, TINST_LOCATION, TINST_IN_SYSTEM_HEADER_P): Annihilate.
1591         (current_instantiation, outermost_tinst_level): Return
1592         a "struct tinst_level *".
1593
1594         * error.c (print_instantiation_partial_context): Change second
1595         parameter to a "struct tinst_level *".  Replace accessor macros
1596         with field access.
1597         (print_instantiation_full_context): Likewise.
1598         * lex.c (in_main_input_context): Likewise.
1599
1600         * pt.c (struct pending_templates): New.
1601         (pending_templates, last_pending_template): Use it as a type.
1602         (current_tinst_level): Change typo to "struct tinst_level *"
1603         (reopen_tinst_level): Accept "struct tinst_level *", return decl.
1604         (add_pending_template): Construct a "struct pending_template".
1605         Replace TINST_LEVEL accessor macros with field access.
1606         (push_tinst_level): Likewise, using GGC_NEW instead of make_node.
1607         (pop_tinst_level): Likewise.
1608         (instantiate_pending_templates): Likewise.  Factor common code used
1609         when an instantiation has been done.
1610         (outermost_tinst_level): Replace tree_last with loop.
1611         (current_instantiation): Return a "struct tinst_level *".
1612
1613 2007-08-24  Ollie Wild  <aaw@google.com>
1614
1615         * name-lookup.c (add_decl_to_level): Remove addition to vtables chain.
1616         * name-lookup.h (cp_binding_level): Remove vtables member.
1617
1618 2007-08-24  Richard Guenther  <rguenther@suse.de>
1619
1620         * tree.c (cp_cannot_inline_tree_fn): Remove.
1621         * cp-tree.h (cp_cannot_inline_tree_fn): Likewise.
1622         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_CANNOT_INLINE_TREE_FN):
1623         Remove define.
1624
1625 2007-08-24  Jakub Jelinek  <jakub@redhat.com>
1626
1627         PR c++/32567
1628         * typeck.c (build_unary_op) <case PREINCREMENT_EXPR>: Return
1629         error_mark_node right away if build_expr_type_conversion
1630         returned it.
1631
1632         PR c++/32898
1633         * name-lookup.c (set_decl_namespace): lookup_qualified_name failure
1634         is error_mark_node rather than NULL_TREE.
1635         * pt.c (check_explicit_specialization): Likewise.
1636
1637         PR c++/31941
1638         * error.c (resolve_virtual_fun_from_obj_type_ref): Handle
1639         TARGET_VTABLE_USES_DESCRIPTORS targets properly.
1640
1641 2007-08-22  Jason Merrill  <jason@redhat.com>
1642
1643         PR c++/29365
1644         * pt.c (outermost_tinst_level): New function.
1645         * lex.c (in_main_input_context): New function.
1646         * cp-tree.h: Declare it.
1647         * decl2.c (constrain_class_visibility): Use it to avoid warning
1648         about uses of the anonymous namespace in the main input file.
1649
1650 2007-08-21  Jakub Jelinek  <jakub@redhat.com>
1651
1652         * init.c (build_new_1): Use get_target_expr instead of save_expr.
1653
1654 2007-08-20  Pawel Sikora  <pluto@pld-linux.org>
1655
1656         PR c++/7302
1657         * class.c (finish_struct_1): Warn when a class has virtual
1658         functions and accessible non-virtual destructor.
1659
1660 2007-08-20  Richard Guenther  <rguenther@suse.de>
1661
1662         PR c++/22369
1663         PR c++/22451
1664         * call.c (build_new_method_call): Convert initializer to
1665         the basetype.
1666         * init.c (build_aggr_init): Do not fiddle with types.
1667         (build_vec_delete_1): Use correct type for POINTER_PLUS_EXPR.
1668         * except.c (build_throw): Do not drop qualifiers for the
1669         pointer type.
1670         * typeck.c (get_member_function_from_ptrfunc): Do not
1671         fiddle with types, instead convert.
1672         (build_ptrmemfunc1): Convert to the target type for
1673         initialization.
1674         (gfc_trans_allocate): Convert result to target type.
1675         * cp-objcp-common.c (cxx_get_alias_set): Pointers to
1676         pointer-to-member structures shall have alias set zero as well.
1677
1678 2007-08-20  Richard Guenther  <rguenther@suse.de>
1679
1680         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_AUTO_VAR_IN_FN_P):
1681         Remove.
1682         * cp-tree.h (cp_auto_var_in_fn_p): Remove.
1683         (nonstatic_local_decl_p): Likewise.
1684         * tree.c (cp_auto_var_in_fn_p): Remove.
1685         * decl.c (nonstatic_local_decl_p): Remove.
1686
1687 2007-08-20  Richard Guenther  <rguenther@suse.de>
1688
1689         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_WALK_SUBTREES):
1690         Remove define.
1691         * tree.h (cp_walk_tree): New define to walk_tree_1 with
1692         cp_walk_subtrees lh parameter.
1693         (cp_walk_tree_without_duplicates): New define to
1694         walk_tree_without_duplicates_1 with cp_walk_subtrees lh parameter.
1695         * tree.c (count_trees): Call
1696         cp_walk_tree_without_duplicates.
1697         (verify_stmt_tree): Call cp_walk_tree.
1698         (break_out_target_exprs): Likewise.
1699         (WALK_SUBTREE): Likewise.
1700         * cp-gimplify.c (cp_genericize): Likewise.
1701         * cp-pt.c (find_parameter_packs_r): Likewise.
1702         (uses_parameter_packs): Likewise.
1703         (make_pack_expansion): Likewise.
1704         (check_for_bare_parameter_packs): Likewise.
1705         (for_each_template_parm): Likewise.
1706         * decl.c (check_default_argument): Call
1707         cp_walk_tree_without_duplicates.
1708         * except.c (build_throw): Likewise.
1709         * decl2.c (type_visibility): Likewise.
1710         * semantics.c (expand_or_defer_fn): Likewise.
1711         (finalize_nrv): Call cp_walk_tree.
1712
1713 2007-08-20  Jakub Jelinek  <jakub@redhat.com>
1714
1715         PR c++/33025
1716         * init.c (build_new_1): Rename placement_var variable to placement_expr.
1717         Initialize it with save_expr rather than get_temp_regvar.
1718
1719 2007-08-17  Andrew Pinski  <andrew_pinski@playstation.sony.com>
1720
1721         PR c++/28989
1722         * tree.c (lvalue_p_1 <case SAVE_EXPR>): SAVE_EXPRs are never
1723         lvalues.
1724
1725 2007-08-17  Ollie Wild  <aaw@google.com>
1726
1727         PR c++/31749
1728         * name-lookup.c (do_nonmember_using_decl): Shift implicit type
1729         declarations into appropriate slots for comparison.  Fix type
1730         comparison.
1731
1732 2007-08-17  Paolo Carlini  <pcarlini@suse.de>
1733
1734         PR c++/32112
1735         * error.c (dump_decl): Deal with UNBOUND_CLASS_TEMPLATE.
1736         * cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise.
1737
1738 2007-08-17  Paolo Carlini  <pcarlini@suse.de>
1739
1740         PR c++/32870
1741         * parser.c (cp_parser_class_head): Improve error message.
1742
1743 2007-08-16  Seongbae Park  <seongbae.park@gmail.com>
1744
1745         * pt.c (instantiate_decl): Set input_location
1746         for the function end.
1747
1748 2007-08-16  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1749
1750         * cp-objcp-common.c (cxx_warn_unused_global_decl, cp_expr_size):
1751         Constify.
1752         * cp-tree.h (local_variable_p, nonstatic_local_decl_p,
1753         class_tmpl_impl_spec_p, cp_auto_var_in_fn_p, cp_type_quals,
1754         cxx_incomplete_type_diagnostic, cxx_incomplete_type_error,
1755         cxx_warn_unused_global_decl, cp_expr_size): Likewise.
1756         * decl.c (local_variable_p, nonstatic_local_decl_p): Likewise.
1757         * tree.c (class_tmpl_impl_spec_p, cp_auto_var_in_fn_p): Likewise.
1758         * typeck.c (cp_type_quals): Likewise.
1759         * typeck2.c (cxx_incomplete_type_diagnostic,
1760         cxx_incomplete_type_error): Likewise.
1761
1762 2007-08-16  Paolo Carlini  <pcarlini@suse.de>
1763
1764         PR c++/31132
1765         * pt.c (tsubst_friend_function): When check_classfn
1766         returns error_mark_node likewise return it.
1767
1768 2007-08-15  Jakub Jelinek  <jakub@redhat.com>
1769
1770         PR c++/32992
1771         * typeck.c (check_return_expr): Don't NRV optimize vars in
1772         anonymous unions.
1773         * decl.c (finish_function): Comment fix.
1774
1775 2007-08-15  Paolo Carlini  <pcarlini@suse.de>
1776
1777         PR c++/33035
1778         * pt.c (push_template_decl_real): Depending on TYPE_P
1779         use either TYPE_CONTEXT or DECL_CONTEXT.
1780
1781 2007-08-14  Mark Mitchell  <mark@codesourcery.com>
1782
1783         * semantics.c (finish_omp_clauses): Strip a NOP_EXPR if
1784         constructors and destructors return this.
1785
1786 2007-08-14  Paolo Carlini  <pcarlini@suse.de>
1787
1788         PR c++/27211
1789         * decl2.c (check_classfn): Return error_mark_node in case of error;
1790         in that case, do not call add_method.
1791         * decl.c (start_decl): Deal with check_classfn returning
1792         error_mark_node.
1793         (grokfndecl): Likewise.
1794         * pt.c (tsubst_friend_function): Likewise.
1795
1796 2007-08-14  Andrew Pinski  <pinskia@gmail.com>
1797
1798         PR c++/30428
1799         * typeck.c (build_binary_op): Disallow vector float types with
1800         BIT_IOR_EXPR, BIT_AND_EXPR, and BIT_XOR_EXPR.
1801
1802 2007-08-11  Ian Lance Taylor  <iant@google.com>
1803
1804         * cp-objcp-common.c (cxx_get_alias_set): Change return type to
1805         alias_set_type.
1806         * cp/cp-tree.h (cxx_get_alias_set): Update declaration.
1807
1808 2007-08-10  Ollie Wild  <aaw@google.com>
1809
1810         * name-lookup.c (do_nonmember_using_decl): Print an error for ambiguous
1811         type lookups.
1812         (ambiguous_decl): Construct tree of ambiguous types.  Remove extaneous
1813         function parameter.
1814         (unqualified_namespace_lookup): Fix ambiguous_decl call.
1815         (lookup_using_namespace): Fix ambiguous_decl call.
1816         (qualified_lookup_using_namespace): Fix ambiguous_decl call.
1817
1818 2007-08-10  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1819
1820         * call.c (name_as_c_string): Use CONST_CAST.
1821         * decl.c (build_decl): Likewise.
1822         * parser.c (cp_parser_string_literal): Likewise.
1823
1824 2007-08-10  Paolo Carlini  <pcarlini@suse.de>
1825
1826         PR c++/17763
1827         * error.c (dump_expr): Consistently use the *_cxx_*
1828         variants of the pretty-print functions.
1829
1830 2007-08-10  Paolo Carlini  <pcarlini@suse.de>
1831
1832         PR c++/22256
1833         * decl.c (check_special_function_return_type): Just error
1834         on return type specified for conversion operator.
1835
1836 2007-08-09  Daniel Berlin  <dberlin@dberlin.org>
1837
1838         * typeck2.c (readonly_error): Handle general expressions.
1839         * error.c (dump_expr): Handle POINTER_PLUS_EXPR
1840
1841 2007-08-06  Dan Hipschman  <dsh@google.com>
1842
1843         * method.c (use_thunk): Use DECL_NAME instead of DECL_RTL to
1844         access function name.
1845
1846 2007-08-04  Alfred Minarik  <a.minarik@aon.at>
1847
1848         PR pch/13676
1849         * lang-specs.h: Add .hp, .hxx, .hpp, .h, .HPP, .tcc as c++ header.
1850         * g++spec.c (lang_specific_driver): Check them.
1851
1852 2007-08-06  Paolo Carlini  <pcarlini@suse.de>
1853
1854         PR c++/19532
1855         * pt.c (inline_needs_template_parms): Fix comment; change return type
1856         to bool.
1857
1858 2007-08-05  Volker Reichelt  <v.reichelt@netcologne.de>
1859
1860         Revert:
1861         2007-03-26  Dirk Mueller  <dmueller@suse.de>
1862
1863         * parser.c (cp_parser_member_declaration): Pedwarn
1864         about stray semicolons after member declarations.
1865
1866 2007-08-02  Lee Millward  <lee.millward@gmail.com>
1867
1868         PR c++/30849
1869         PR c++/30850
1870         PR c++/30851
1871         * parser.c (cp_parser_asm_definition): Detect and discard asm
1872         statements with invalid inputs or outputs.
1873         (cp_parser_asm_operand_list): Return error mark node if any
1874         of the operands are invalid. Adjust documentation.
1875
1876 2007-08-02  Nick Clifton  <nickc@redhat.com>
1877
1878         * typeck.c: Change copyright header to refer to version 3 of the
1879         GNU General Public License and to point readers at the COPYING3
1880         file and the FSF's license web page.
1881         * optimize.c, lang-specs.h, init.c, class.c, repo.c, decl.c,
1882         config-lang.in, cp-tree.def, call.c, decl.h, ptree.c,
1883         Make-lang.in, method.c, rtti.c, cp-objcp-common.c, g++spec.c,
1884         cp-objcp-common.h, except.c, error.c, operators.def, cvt.c,
1885         tree.c, mangle.c, cp-tree.h, dump.c, search.c, friend.c, expr.c,
1886         cp-gimplify.c, cxx-pretty-print.c, cp-lang.c, typeck2.c, pt.c,
1887         cxx-pretty-print.h, semantics.c, name-lookup.c, lex.c, decl2.c,
1888         name-lookup.h, parser.c: Likewise.
1889
1890 2007-08-01  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1891
1892         PR middle-end/32668
1893         * call.c (magic_varargs_p): Honor the "type generic" attribute.
1894
1895 2007-07-30  Paolo Carlini  <pcarlini@suse.de>
1896
1897         PR c++/32108
1898         * semantics.c (finish_label_stmt): Reject the __label__
1899         extension outside function scopes.
1900
1901 2007-07-29  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1902
1903         * parser.c (eof_token): Un-constify.
1904         (cp_lexer_new_main, cp_lexer_new_from_tokens, VEC_alloc,
1905         cp_lexer_consume_token, cp_lexer_purge_token): Remove spurious
1906         casts.
1907
1908 2007-07-28  Kazu Hirata  <kazu@codesourcery.com>
1909
1910         * pt.c, tree.c, typeck2.c: Fix comment typos.
1911
1912 2007-07-28  Simon Martin  <simartin@users.sourceforge.net>
1913             Mark Mitchell  <mark@codesourcery.com>
1914
1915         PR c++/30917
1916         * name-lookup.c (lookup_name_real): Non namespace-scope bindings can be
1917         hidden due to friend declarations in local classes.
1918
1919 2007-07-27  Douglas Gregor  <doug.gregor@gmail.com>
1920
1921         * typeck.c (structural_comptypes): Compare DECLTYPE_TYPE nodes.
1922         * cp-tree.def (DECLTYPE_TYPE): New.
1923         * error.c (dump_type): Dump DECLTYPE_TYPE nodes.
1924         (dump_type_prefix): Ditto.
1925         (dump_type_suffix): Ditto.
1926         * tree.c (DECLTYPE_TYPE): Walk DECLTYPE_TYPE nodes.
1927         * mangle.c (write_type): Handle DECLTYPE_TYPE.
1928         * cp-tree.h (IS_AGGR_TYPE): DECLTYPE_TYPE nodes can be aggregate
1929         types.
1930         (DECLTYPE_TYPE_EXPR): New.
1931         (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): New.
1932         (finish_declared_type): Declare.
1933         * cxx-pretty-print.c (pp_cxx_type_specifier_seq): Print
1934         DECLTYPE_TYPE nodes.
1935         (pp_cxx_type_id): Ditto.
1936         * pt.c (for_each_template_parm_r): Walk DECLTYPE_TYPE children.
1937         (tsubst): Substitute into a DECLTYPE_TYPE node.
1938         (tsubst_copy): Ditto.
1939         (unify): Cannot deduce anything from TYPEOF_TYPE or DECLTYPE_TYPE
1940         nodes.
1941         (dependent_type_p_r): DECLTYPE_TYPE types are always dependent.
1942         * semantics.c (finish_typeof): TYPEOF_TYPE types need to use
1943         structural equality (because we can't hash the expressions).
1944         (finish_declared_type): New.
1945         * lex.c (reswords): Add "decltype" keyword.
1946         * parser.c cp_lexer_next_token_is_decl_specifier_keyword
1947         (cp_parser_postfix_expression): Add member_access_only_p to
1948         restrict postfix expression to member access expressions.
1949         (cp_parser_unary_expression): Update call to
1950         cp_parser_postfix_expression to reflect new parameter.
1951         (cp_parser_declared_type): New.
1952         (cp_parser_simple_type_specifier): Parse decltype types.
1953
1954 2007-07-27  Mark Mitchell  <mark@codesourcery.com>
1955
1956         PR c++/32346
1957         * call.c (convert_for_arg_passing): Only widen bitfields to their
1958         declared types if necessary.
1959
1960 2007-07-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1961
1962         * parser.c (cp_parser_string_literal, cp_parser_sizeof_operand):
1963         Constify.
1964
1965 2007-07-25  Kaveh R. Ghazi  <ghazi@caip.rutgers.edu>
1966
1967         * decl.c (typename_hash, typename_compare): Constify.
1968         * mangle.c (hash_type, compare_type): Likewise.
1969         * pt.c (eq_local_specializations, hash_local_specialization):
1970         Likewise.
1971         * tree.c (cplus_array_hash, cplus_array_compare, list_hash_eq,
1972         list_hash): Likewise.
1973         * typeck2.c (pat_compare): Likewise.
1974
1975 2007-07-24  Nathan Sidwell  <nathan@codesourcery.com>
1976
1977         * method.c (implicitly_declare_fn): Increase alignment if member
1978         function pointer format requires it.
1979
1980 2007-07-24  Paolo Carlini  <pcarlini@suse.de>
1981
1982         PR c++/29001
1983         * typeck.c (check_return_expr): Do not pass a null argument
1984         to null_ptr_cst_p.
1985
1986 2007-07-24  Paolo Carlini  <pcarlini@suse.de>
1987
1988         PR c++/32561
1989         * decl.c (redeclaration_error_message): Call DECL_ANON_UNION_VAR_P
1990         only on VAR_DECL.
1991
1992 2007-07-22  Nathan Sidwell  <nathan@codesourcery.com>
1993
1994         PR c++/32839
1995         * typeck.c (convert_arguments): Only use default args if we have
1996         a function decl.
1997
1998         PR c++/30818
1999         * typeck.c (structural_comptypes): No need to check
2000         resolve_typename_type return value here.
2001         * cp-tree.h (TYPENAME_IS_RESOLVING_P): New.
2002         * pt.c (resolve_typename_type): Follow typename typedefs.  Return
2003         original type rather than error_mark_node in case of failure.
2004         * parser.c (cp_parser_nested_name_specifier_opt): Adjust
2005         resolve_typename_type result check.
2006         (cp_parser_direct_declarator, cp_parser_head,
2007         cp_parser_constructor_declarator_p): Likewise.
2008
2009 2007-07-12  Kazu Hirata  <kazu@codesourcery.com>
2010
2011         * pt.c (template_parms_variadic_p): Remove.
2012         * cp-tree.h: Remove the prototype for template_parms_variadic_p.
2013
2014 2007-07-12  Jakub Jelinek  <jakub@redhat.com>
2015
2016         PR c++/30854
2017         * error.c (dump_expr) <case AGGR_INIT_EXPR>: Pass true as last
2018         argument to dump_aggr_init_expr_args instead of false.
2019
2020 2007-07-11  Douglas Gregor  <doug.gregor@gmail.com>
2021
2022         * typeck.c (comptypes): When USE_CANONICAL_TYPES, use the
2023         canonical types; otherwise, fall back to structural type
2024         comparisons. If ENABLE_CHECKING and USE_CANONICAL_TYPES, give an
2025         internal compiler error if the canonical types are wrong.
2026
2027 2007-07-11  Paolo Carlini  <pcarlini@suse.de>
2028
2029         PR c++/32560
2030         * parser.c (cp_parser_make_indirect_declarator): When the
2031         the code argument is ERROR_MARK return cp_error_declarator.
2032
2033 2007-07-09  Geoffrey Keating  <geoffk@apple.com>
2034
2035         PR 32617
2036         * decl.c (cxx_init_decl_processing): Don't set
2037         force_align_functions_log.
2038         (grokfndecl): Honour ptrmemfunc_vbit_in_pfn.
2039         * typeck.c (cxx_alignof_expr): When alignof is used on a plain
2040         FUNCTION_DECL, return its alignment.
2041
2042 2007-07-09  Richard Guenther  <rguenther@suse.de>
2043
2044         * decl.c (start_preparsed_function): Do not promote return type.
2045
2046 2007-07-08  Paolo Carlini  <pcarlini@suse.de>
2047
2048         PR c++/30535
2049         * pt.c (unify): Never pass error_mark_node to template_decl_level.
2050
2051 2007-07-07  Mark Mitchell  <mark@codesourcery.com>
2052
2053         PR c++/32232
2054         * pt.c (resolve_overloaded_unification): Robustify.  Return a
2055         bool, not an int.
2056         (type_unification_real): Adjust accordingly.
2057
2058 2007-07-06  Richard Guenther  <rguenther@suse.de>
2059
2060         * init.c (build_new_1): Use the correct pointer type.
2061         * typeck2.c (build_m_component_ref): Likewise.
2062
2063 2007-07-05  Mark Mitchell  <mark@codesourcery.com>
2064
2065         PR c++/32245
2066         * init.c (build_zero_init): Always build an initializer for
2067         non-static storage.
2068         * typeck2.c (build_functional_cast): Use build_zero_init.
2069
2070         PR c++/32251
2071         * init.c (build_new_1): Always pass the allocation function to
2072         build_op_delete_call.
2073         * call.c (build_op_delete_call): Handle operator delete with a
2074         variable-argument list.  Do not issue an error when no matching
2075         deallocation function is available for a new operator.
2076
2077         PR c++/31992
2078         * cp-tree.h (any_value_dependent_elements_p): Declare it.
2079         * decl.c (value_dependent_init_p): New function.
2080         (cp_finish_decl): Use it.
2081         * pt.c (value_dependent_expression_p): Use
2082         any_value_dependent_elements_p.
2083         * parser.c (cp_parser_primary_expression): Add comment about
2084         treating dependent qualified names as integral
2085         constant-expressions.
2086
2087 2007-07-04  Douglas Gregor  <doug.gregor@gmail.com>
2088
2089         * decl.c (build_ptrmemfunc_type): Always use structural equality
2090         tests when comparing pointer-to-member-function types, because the
2091         handling of TYPE_GET_PTRMEMFUNC_TYPE currently defeats canonical
2092         types.
2093
2094 2007-07-03  Mark Mitchell  <mark@codesourcery.com>
2095
2096         * init.c (build_new): Tweak comment.
2097
2098 2007-06-29  Dave Brolley  <brolley@redhat.com>
2099
2100         PR c++/31743
2101         * parser.c (cp_parser_new_type_id): Don't reduce a named array
2102         type to its base type and number of elements here.
2103         * init.c (build_new): Call complete_type_or_else to ensure that the
2104         type is complete and to issue a diagnostic if it is not.
2105         (build_new_1): Don't call complete_type_or_else here.
2106
2107 2007-07-03  Richard Guenther  <rguenther@suse.de>
2108
2109         PR c++/32609
2110         * class.c (fixed_type_or_null): Re-lookup the hashtable slot
2111         after recursing.
2112
2113 2007-07-02  Simon Baldwin  <simonb@google.com>
2114
2115         * parser.c (cp_parser_elaborated_type_specifier): Added a warning
2116         for inner-style nested forward declarations that don't declare
2117         anything useful.
2118
2119 2007-07-02  Jakub Jelinek  <jakub@redhat.com>
2120
2121         PR c++/31748
2122         * semantics.c (finish_omp_clauses): Use %qD instead of %qE for
2123         DECL_P in not a variable and appears more than once error messages.
2124
2125 2007-07-01  Ollie Wild  <aaw@google.com>
2126
2127         * name-lookup.c (ambiguous_decl): Fix case when new->value is hidden.
2128         (select_decl): Remove function.
2129         (unqualified_namespace_lookup): Populate binding by calling
2130         ambiguous_decl.  Remove select_decl call.
2131         (lookup_qualified_name): Remove select_decl call.
2132         * decl.c (lookup_and_check_tag): Check for ambiguous references.
2133         * parser.c (cp_parser_elaborated_type_specifier): Skip redundant error
2134         generation when name lookup is ambiguous.
2135
2136 2007-06-29  Douglas Gregor  <doug.gregor@gmail.com>
2137
2138         PR c++/31724
2139         * init.c (build_new_1): Use structural equality on the copy of the
2140         array type.
2141
2142 2007-06-28  Geoffrey Keating  <geoffk@apple.com>
2143
2144         * decl2.c (determine_visibility): Implement
2145         flag_visibility_ms_compat effect on type info.
2146         * decl.c (cxx_init_decl_processing): Implement
2147         global effect of flag_visibility_ms_compat.
2148
2149 2007-06-28  Geoffrey Keating  <geoffk@apple.com>
2150
2151         * decl2.c (start_objects): Mark constructor-running function
2152         as artificial.
2153
2154 2007-06-26  Simon Martin  <simartin@users.sourceforge.net>
2155
2156         PR c++/32111
2157         * decl.c (grokdeclarator): Reset friendp for member functions declared
2158         friend of their own class.
2159
2160 2007-06-23  Mark Mitchell  <mark@codesourcery.com>
2161
2162         * decl2.c (determine_visibility): Don't look for dllexport here.
2163         (determine_visibility_from_class): Tidy.
2164
2165 2007-06-18  Simon Baldwin <simonb@google.com>
2166
2167         PR c++/31923
2168         * parser.c (cp_parser_single_declaration): Added check for storage
2169         class other than sc_none in parsed declaration, and a flag to indicate
2170         if the call is part of an explicit template specialization parse.
2171         * (cp_parser_explicit_specialization): Specialization check flag added
2172         to call to cp_parser_single_declaration(), set true.
2173         * (cp_parser_template_declaration_after_export): Specialization check
2174         flag added to call to cp_parser_single_declaration(), set false.
2175         * pt.c (check_explicit_specialization): Added code to copy visiblity
2176         and linkage from the templated function to the explicit specialization.
2177
2178 2007-06-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2179
2180         * typeck.c (build_binary_op): For templates build the
2181         expression in pieces to avoid the assert in build2_stat.
2182         (get_member_function_from_ptrfunc):
2183         Change over to using POINTER_PLUS_EXPR and convert
2184         the second operand to sizetype.
2185         * typeck2.c (build_m_component_ref):  Likewise.
2186         * init.c (expand_virtual_init): Create a POINTER_PLUS_EXPR
2187         instead of PLUS_EXPR for pointers.
2188         (build_new_1): Likewise.
2189         (build_vec_delete_1): Likewise.
2190         (build_vec_delete): Likewise.
2191         * class.c (build_base_path): Likewise.
2192         (build_base_path): Likewise.
2193         (convert_to_base_statically): Likewise.
2194         (fixed_type_or_null): Handle POINTER_PLUS_EXPR.
2195         (get_vtbl_decl_for_binfo): Handle POINTER_PLUS_EXPR
2196         instead of PLUS_EXPR.
2197         (dfs_accumulate_vtbl_inits): Create a POINTER_PLUS_EXPR
2198         instead of PLUS_EXPR for pointers.
2199         * call.c (build_special_member_call): Likewise.
2200         * rtti.c (build_headof): Likewise.
2201         Use sizetype instead of ptrdiff_type_node.
2202         (tinfo_base_init): Create a POINTER_PLUS_EXPR
2203         instead of PLUS_EXPR for pointers.
2204         * except.c (expand_start_catch_block):  Do a
2205         NEGATIVE and then a POINTER_PLUS_EXPR instead
2206         of a MINUS_EXPR.
2207         * cp-gimplify.c (cxx_omp_clause_apply_fn): Convert
2208         PLUS_EXPR on pointer types over to use
2209         POINTER_PLUS_EXPR and remove the conversion
2210         to the pointer types.
2211         * method.c (thunk_adjust): Use POINTER_PLUS_EXPR for
2212         adding to a pointer type. Use size_int instead of
2213         ssize_int. Convert the index to sizetype before
2214         adding it to the pointer.
2215
2216 2007-06-15  Mark Mitchell  <mark@codesourcery.com>
2217
2218         * cp-tree.h (DECL_VAR_MARKED_P): Remove.
2219         (DECL_ANON_UNION_VAR_P): New macro.
2220         * class.c (fixed_type_or_null): Tidy.  Use a hash table, rather
2221         than DECL_VAR_MARKED_P, to keep track of which variables we have
2222         seen.
2223         * decl.c (redeclaration_error_message): Complain about redeclaring
2224         anonymous union members at namespace scope.
2225         * decl2.c (build_anon_union_vars): Set DECL_ANON_UNION_VAR_P.
2226
2227 2007-06-14  Geoff Keating  <geoffk@apple.com>
2228
2229         * decl2.c (determine_visibility): Ensure that functions with
2230         hidden types as parameters are hidden.
2231
2232         PR 31093
2233         * decl2.c (determine_visibility): Remove duplicate code for
2234         handling type info.
2235
2236 2007-06-12  Ian Lance Taylor  <iant@google.com>
2237
2238         PR libstdc++/29286
2239         * init.c (avoid_placement_new_aliasing): New static function.
2240         (build_new_1): Call it.
2241
2242 2007-06-11  Rafael Avila de Espindola  <espindola@google.com>
2243
2244         * cp-objcp-common.h (LANG_HOOKS_SIGNED_TYPE): Remove.
2245         (LANG_HOOKS_SIGNED_OR_UNSIGNED_TYPE): Remove.
2246
2247 2007-06-08  Jakub Jelinek  <jakub@redhat.com>
2248
2249         PR c++/32177
2250         * semantics.c (finish_omp_for): Call fold_build_cleanup_point_expr
2251         on init, the non-decl cond operand and increment value.
2252
2253 2007-06-07  Simon Martin  <simartin@users.sourceforge.net>
2254
2255         PR c++/30759
2256         * decl.c (check_initializer): Report an error when a brace enclosed
2257         initializer is used for a non-aggregate type in C++98.
2258         (redeclaration_error_message): Rewrote flag_cpp0x in terms of
2259         cxx_dialect.
2260         (grokdeclarator): Likewise.
2261         (move_fn_p): Likewise.
2262         * typeck.c (check_return_expr): Likewise.
2263         * call.c (reference_binding): Likewise.
2264         * error.c (cp_cpp_error): Likewise.
2265         * pt.c (check_default_tmpl_args): Likewise.
2266         (tsubst): Likewise.
2267         * lex.c (init_reswords): Likewise.
2268         * parser.c (p_parser_primary_expression): Likewise.
2269         (TOKEN_PRECEDENCE): Likewise.
2270         (cp_parser_init_declarator): Likewise.
2271         (cp_parser_ptr_operator): Likewise.
2272         (cp_parser_parameter_declaration): Likewise.
2273         (cp_parser_enclosed_template_argument_list): Likewise.
2274         (cp_parser_skip_to_end_of_template_parameter_list): Likewise.
2275         (cp_parser_next_token_ends_template_argument_p): Likewise.
2276
2277 2007-06-04  Simon Baldwin  <simonb@google.com>
2278
2279         * decl.c (grokdeclarator): Readability change.  Moved case labels
2280         into direct switch statement scope.
2281
2282 2007-06-04  Paolo Carlini  <pcarlini@suse.de>
2283
2284         * call.c (convert_like_real): Remove pointless code.
2285
2286 2007-05-31  Mark Mitchell  <mark@codesourcery.com>
2287
2288         * decl.c (get_atexit_fn_ptr_type): New function.
2289         (get_atexit_node): Use it.
2290         (start_cleanup_fn): Likewise.
2291         (register_dtor_fn): Use the object's destructor, instead of a
2292         separate cleanup function, where possible.
2293         * cp-tree.h (CPTI_ATEXIT_FN_PTR_TYPE): New enumerator.
2294         (atexit_fn_ptr_type_node): New macro.
2295         * decl2.c (build_cleanup): Use build_address.
2296
2297 2007-05-31  Daniel Berlin  <dberlin@dberlin.org>
2298
2299         * typeck.c (build_binary_op): Include types in error.
2300
2301 2007-05-31  Jakub Jelinek  <jakub@redhat.com>
2302
2303         PR c++/31806
2304         * decl.c (cp_finish_decl): Also clear was_readonly if a static var
2305         needs runtime initialization.
2306
2307 2007-05-31  Paolo Carlini  <pcarlini@suse.de>
2308
2309         PR c++/32158
2310         * semantics.c (finish_trait_expr): Complete the types.
2311
2312 2007-05-30  Russell Yanofsky <russ@yanofsky.org>
2313             Douglas Gregor <doug.gregor@gmail.com>
2314             Pedro Lamarao <pedro.lamarao@mndfck.org>
2315             Howard Hinnant <howard.hinnant@gmail.com>
2316
2317         PR c++/7412
2318         PR c++/29939
2319         * typeck.c (comptypes): Don't consider rvalue and lvalue
2320         reference types to be equivalent.
2321         (check_return_expr): Move from certain lvalues when returning
2322         them.
2323         * decl.c (grokdeclarator): Implement reference collapsing.
2324         (copy_fn_p): Don't consider constructors taking rvalue references
2325         to be copy constructors.
2326         (move_fn_p): New.
2327         * call.c (conversion): New "rvaluedness_matches_p" member.
2328         (convert_class_to_reference): Require reference type as first
2329         parameter instead of base type.
2330         (reference_binding): Add logic to handle rvalue references.
2331         (implicit_conversion): Update inaccurate comment.
2332         (convert_like_real): Disable creation of temporaries that are
2333         impossible to initialize for types with move constructors.
2334         (build_over_call): Elide move constructors when possible.
2335         (maybe_handle_implicit_object): Set "rvaluedness_matches_p".
2336         (maybe_handle_ref_bind): Return conversion instead of type node.
2337         (compare_ics): Add logic to use "rvaluedness_matches_p" values to
2338         determine preferred conversion sequences.
2339         * cp-tree.h (TYPE_REF_IS_RVALUE): New.
2340         (LOOKUP_PREFER_RVALUE): New.
2341         (DECL_MOVE_CONSTRUCTOR_P): New.
2342         (struct cp_declarator): Add "reference" member for reference
2343         types, with new "rvalue_ref" flag.
2344         (cp_build_reference_type): Declare.
2345         (move_fn_p): Declare.
2346         * error.c (dump_type_prefix): Format rvalue reference types
2347         correctly in error messages.
2348         * except.c (build_throw): Move from certain lvalues when
2349         throwing.
2350         * mangle.c (write_type): Mangle rvalue references differently
2351         than regular references.
2352         * parser.c (make_reference_declarator): Add boolean parameter for
2353         rvalue references.
2354         (cp_parser_make_indirect_declarator): New.
2355         (cp_parser_new_declarator_opt): Call
2356         cp_parser_make_indirect_declarator.
2357         (cp_parser_conversion_declarator_opt): Ditto.
2358         (cp_parser_declarator): Ditto.
2359         (cp_parser_ptr_operator): Parse "&&" tokens into rvalue reference
2360         declarators.
2361         * pt.c (tsubst): Implement reference collapsing.
2362         (maybe_adjust_types_for_deduction): Implement special template
2363         parameter deduction rule for rvalue references.
2364         (type_unification_real): Update calls to
2365         maybe_adjust_types_for_deduction.
2366         (try_one_overload): Ditto.
2367         (unify_pack_expansion): Ditto.
2368         * tree.c (lvalue_p_1): Handle rvalue reference types.
2369         (cp_build_reference_type): New.
2370
2371 2007-05-30  Jakub Jelinek  <jakub@redhat.com>
2372
2373         PR c++/31809
2374         * decl.c (cp_finish_decl): Clear TREE_READONLY flag on TREE_STATIC
2375         variables that need runtime initialization.
2376
2377 2007-05-28  Andrew Pinski  <Andrew_pinski@playstation.sony.com>
2378
2379         PR c++/31339
2380         * typeck.c (build_unary_op <case PREINCREMENT_EXPR,
2381         case POSTINCREMENT_EXPR, case PREDECREMENT_EXPR,
2382         case POSTDECREMENT_EXPR>): Return the error_mark_node
2383         if either the real or imaginary parts would an
2384         error_mark_node.
2385
2386 2007-05-25  Simon Martin  <simartin@users.sourceforge.net>
2387             Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2388
2389         PR c++/31745
2390         * parser.c (cp_parser_skip_to_closing_brace): Return true if the next
2391         token is a closing brace, false if there are no tokens left.
2392         (cp_parser_namespace_alias_definition): Only consume the next token if
2393         it is a closing brace.
2394
2395         * parser.c (cp_parser_class_specifier): Likewise.
2396
2397 2007-05-25  H.J. Lu  <hongjiu.lu@intel.com>
2398
2399         * semantics.c (finish_member_declaration): Fix a typo in the
2400         last checkin.
2401
2402 2007-05-25  Douglas Gregor <doug.gregor@gmail.com>
2403
2404         PR c++/31431
2405         PR c++/31432
2406         PR c++/31434
2407         PR c++/31435
2408         PR c++/31437
2409         PR c++/31438
2410         PR c++/31442
2411         PR c++/31443
2412         PR c++/31444
2413         PR c++/31445
2414         * error.c (dump_type): Dump TYPE_ARGUMENT_PACK nodes.
2415         * cp-tree.h (check_for_bare_parameter_packs): Returns bool.
2416         * pt.c (check_for_bare_parameter_packs): Return bool indicated
2417         whether everything was okay. Fix indentation.
2418         (push_template_decl_real): Check for bare parameter packs in
2419         function parameters; where errors occur, mark the parameter types
2420         with ERROR_MARK_NODEs to avert ICEs.
2421         (coerce_template_parameter_pack): New.
2422         (coerce_template_parms): Moved parameter pack coercion into
2423         coerce_template_parameter_pack, and permit it anywhere in the
2424         template parameter list (not just at the end). Parameter and
2425         argument indices can vary (somewhat) separately now, so add
2426         PARM_IDX and ARG_IDX.
2427         (fn_type_unification): Don't set an argument pack as incomplete if
2428         no argument pack was deduced.
2429         (type_unification_real): If a type parameter is a parameter pack
2430         and has not otherwise been deduced, it will be deduced to an empty
2431         parameter pack.
2432         (more_specialized_fn): Use the actual lengths of the argument
2433         lists when comparing against expansions.
2434         * semantics.c (finish_member_declaration): If a field's type has
2435         bare parameter packs, error and set its type to ERROR_MARK_NODE.
2436
2437 2007-05-24  Danny Smith  <dannysmith@users.sourceforge.net>
2438
2439         PR target/27067
2440         * mangle.c (mangle_decl): Call targetm.mangle_decl_assembler_name.
2441
2442 2007-05-22  Ollie Wild  <aaw@google.com>
2443
2444         * name-lookup.c (ambiguous_decl): Adds check for hidden types.
2445         (unqualified_namespace_lookup): Adds check for hidden types.
2446
2447 2007-05-22  Ollie Wild  <aaw@google.com>
2448
2449         * decl.c (duplicate_decls): Verify namespace names are unique.
2450
2451 2007-05-21  Mark Mitchell  <mark@codesourcery.com>
2452
2453         * decl.c (cxx_maybe_build_cleanup): Handle
2454         __attribute__((cleanup)).
2455
2456 2007-05-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2457
2458         * cvt.c (cp_convert_and_check): Don't check warnings if the
2459         conversion failed.
2460
2461 2007-05-18  Geoffrey Keating  <geoffk@apple.com>
2462
2463         * mangle.c (write_real_cst): Use 'unsigned long' for %lx.
2464
2465 2007-05-14  Paolo Carlini  <pcarlini@suse.de>
2466
2467         PR c++/29928
2468         * rtti.c (get_tinfo_decl_dynamic, get_typeid): Try to complete the
2469         type only if is a class type (5.2.8/4).
2470
2471 2007-05-14  Rafael Avila de Espindola  <espindola@google.com>
2472
2473         * cp-objcp-common.h (LANG_HOOKS_UNSIGNED_TYPE): Remove.
2474         * decl.c (grokdeclarator): Use unsigned_type_for instead of
2475         c_common_unsigned_type.
2476
2477 2007-05-11  Silvius Rus  <rus@google.com>
2478
2479         * cp/typeck.c (build_indirect_ref): Add call to
2480         strict_aliasing_warning.
2481         (build_reinterpret_cast_1): Condition call to
2482         strict_aliasing_warning.
2483
2484 2007-05-11  Jan Hubicka  <jh@suse.cz>
2485
2486         * semantics.c (expand_or_defer_fn): Do not call c_record_cdtor_fn.
2487         * decl2.c (start_objects): ctors and dtors are no longer public.
2488         (cp_write_global_declarations): Do not call c_build_cdtor_fns.
2489
2490 2007-05-07  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2491
2492         * typeck.c (build_unary_op): Remove code that used to
2493         handle non lvalue increments/decrements.
2494
2495 2007-05-07  Mike Stump  <mrs@apple.com>
2496
2497         * parser.c (check_empty_body): Add.
2498         (cp_parser_iteration_statement): Add call to check_empty_body.
2499
2500 2007-05-05  Geoffrey Keating  <geoffk@apple.com>
2501
2502         PR 31775
2503         * mangle.c (write_mangled_name): Mangle static variable names.
2504         (write_unqualified_name): Use local-source-name for
2505         namespace-scope static variables.
2506
2507 2007-05-04  Dirk Mueller  <dmueller@suse.de>
2508
2509         * cp-tree.h (DECL_MAIN_P): only if -ffreestanding is
2510         not in effect.
2511
2512 2007-05-02  Seongbae Park  <seongbae.park@gmail.com>
2513
2514         PR c++/31663
2515         * decl2.c (constrain_class_visibility):
2516         Use strip_pointer_or_array_types instead of strip_array_types.
2517
2518 2007-04-28  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2519
2520         PR C++/30221
2521         * decl.c (reshape_init_r): Don't reshape the first element if it
2522         is a pointer to member function.
2523
2524 2007-04-27  Simon Baldwin  <simonb@google.com>
2525
2526         * decl.c (grokparms): Changed message format from %qD to %qE.
2527
2528 2007-04-27  Douglas Gregor  <doug.gregor@gmail.com>
2529
2530         * error.c (maybe_warn_variadic_templates): Variadic templates are
2531        now in C++0x, so only warn about them in C++98 mode.
2532
2533 2007-04-26  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2534
2535         PR C++/30016
2536         * typeck.c (build_reinterpret_cast_1): Only allow conversion to
2537         integeral types from vectors types.
2538
2539 2007-04-26  Jakub Jelinek  <jakub@redhat.com>
2540
2541         PR c++/31598
2542         * semantics.c (finish_omp_clauses): Don't create CP_OMP_CLAUSE_INFO
2543         for type dependent OMP_CLAUSE_DECLs.
2544
2545 2007-04-24  Mark Mitchell  <mark@codesourcery.com>
2546
2547         PR c++/31338
2548         * cp-tree.h (ARITHMETIC_TYPE): Include COMPLEX_TYPE.
2549         * typeck.c (type_after_usual_arithmetic_conversions): Adjust, as
2550         COMPLEX_TYPE is now an ARITHMETIC_TYPE.
2551         * init.c (build_zero_init): Adjust, as
2552         COMPLEX_TYPE is now a SCALAR_TYPE.
2553         * typeck2.c (digest_init): Allow brace-enclosed initializers for
2554         COMPLEX_TYPE, even though that is now a SCALAR_TYPE.
2555
2556 2007-04-25  Paolo Carlini  <pcarlini@suse.de>
2557
2558         * semantics.c (classtype_has_nothrow_copy_or_assign_p): Adjust
2559         per N2255; rename as classtype_has_nothrow_assign_or_copy_p.
2560         (trait_expr_value): Adjust.
2561
2562 2007-04-23  Simon Baldwin  <simonb@google.com>
2563
2564         * decl.c (grokparms): Added new error for duplicate function
2565         parameters names in function prototypes, to match gcc behavior.
2566
2567 2007-04-23  Jan Hubicka  <jh@suse.cz>
2568
2569         * cp/decl2.c (finish_objects): Do not call target constructor/destructor
2570         bits dirrectly.
2571
2572 2007-04-21  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2573
2574         * cp-tree.h (lang_tree_node): Use GENERIC_NEXT
2575         instead of checking GIMPLE_STMT_P in chain_next.
2576
2577 2007-04-17  Mark Mitchell  <mark@codesourcery.com>
2578
2579         PR c++/31513
2580         * call.c (convert_for_arg_passing): Convert bitfields to their
2581         declared types.
2582
2583 2007-04-17  Simon Martin  <simartin@users.sourceforge.net>
2584
2585         PR c++/31517
2586         * pt.c (value_dependent_expression_p): Handle MODOP_EXPRs.
2587
2588 2007-04-16  Seongbae Park <seongbae.park@gmail.com>
2589
2590         PR c++/29365
2591         * cp/decl2.c (constrain_class_visibility):
2592         Do not warn about the use of anonymous namespace in the main input file.
2593
2594 2007-04-15  Mark Mitchell  <mark@codesourcery.com>
2595
2596         * cp-tree.h (current_template_parms): Fix typo in comment.
2597
2598 2007-04-15  Kazu Hirata  <kazu@codesourcery.com>
2599
2600         * cp-tree.h, error.c: Fix comment typos.
2601
2602 2007-04-13  Jason Merrill  <jason@redhat.com>
2603
2604         PR c++/31074
2605         * call.c (reference_binding): Add c_cast_p parm.  If true,
2606         add quals to TO as needed to make it reference-compatible.
2607
2608 2007-04-11  Jan Hubicka  <jh@suse.cz>
2609
2610         * cp/class.c (convert_to_base_statically): Fold produced tree; verify
2611         that we are not processing template_decl.
2612
2613 2007-04-09  Mark Mitchell  <mark@codesourcery.com>
2614
2615         PR c++/31449
2616         * class.c (build_base_path): Ensure that the converted pointer has
2617         the same cv-qualification as the input.
2618
2619 2007-04-09  Paolo Carlini  <pcarlini@suse.de>
2620
2621         * tree.c (cp_tree_equal): Deal with TRAIT_EXPR.
2622
2623 2007-04-08  Steven Bosscher  <steven@gcc.gnu.org>
2624
2625         * cp-objcp-common.h (LANG_HOOKS_TREE_INLINING_ADD_PENDING_FN_DECLS):
2626         Do not set it.
2627         (LANG_HOOKS_TREE_INLINING_ANON_AGGR_TYPE_P): Do not set it.
2628         * tree.c (cp_add_pending_fn_decls): Remove.
2629         * cp-tree.h (cp_add_pending_fn_decls): Remove prototype.
2630
2631 2007-04-07  Daniel Berlin  <dberlin@dberlin.org>
2632
2633         Revert change removing staticp.
2634
2635 2007-04-06  Daniel Berlin  <dberlin@dberlin.org>
2636
2637         * cp-objcp-common.c (cxx_staticp): Remove.
2638         * cp-objcp-common.h (LANG_HOOKS_STATICP): Remove.
2639         * cp-tree.h (cxx_staticp):
2640
2641 2007-04-04  Danny Smith  <dannysmith.users.sourceforge.net>
2642
2643         * class.c (check_for_override): Don't remove dllmport attribute
2644         of virtual methods.
2645
2646 2007-04-03  Jakub Jelinek  <jakub@redhat.com>
2647
2648         PR c++/30847
2649         * typeck.c (build_modify_expr): For COND_EXPR on LHS, if RHS has void
2650         type issue error and return early.
2651
2652 2007-03-30  Jason Merrill  <jason@redhat.com>
2653
2654         PR c++/31187
2655         * typeck.c (cp_type_readonly): New fn.
2656         * cp-tree.h: Declare it.
2657         * decl.c (start_decl): Set implicit DECL_THIS_STATIC here.
2658         (cp_finish_decl): Not here.
2659
2660 2007-03-31  Richard Guenther  <rguenther@suse.de>
2661
2662         * optimize.c (maybe_clone_body): Replace splay-tree usage by
2663         pointer-map.
2664
2665 2007-03-31  Douglas Gregor  <doug.gregor@gmail.com>
2666
2667         PR c++/31138
2668         PR c++/31140
2669         PR c++/31141
2670         * parser.c (declarator_can_be_parameter_pack): New.
2671         (cp_parser_template_parameter): Only parse the `...' if the
2672         declarator can be a parameter pack.
2673         (cp_parser_parameter_declaration): Ditto. Also, handle when TYPE
2674         is NULL.
2675         * pt.c (find_parameter_packs_r): Look into the bounds on integer
2676         types (they could be used as array bounds).
2677         (check_for_bare_parameter_packs): Deal with TEMPLATE_PARM_INDEX.
2678         (tsubst_pack_expansion): Handle failure to expand parameter
2679         packs.
2680
2681 2007-03-30  Paolo Carlini  <pcarlini@suse.de>
2682
2683         PR c++/26099
2684         * cp-tree.h (enum cp_trait_kind, struct tree_trait_expr,
2685         TRAIT_EXPR_TYPE1, TRAIT_EXPR_TYPE2, TRAIT_EXPR_KIND): Add.
2686         (enum cp_tree_node_structure_enum, union lang_tree_node): Update.
2687         (CLASS_TYPE_NON_UNION_P): Add.
2688         (struct lang_type_class): Add has_complex_dflt.
2689         (TYPE_HAS_COMPLEX_DFLT, TYPE_HAS_TRIVIAL_DFLT): Add.
2690         (locate_copy, locate_ctor, locate_dtor, finish_trait_expr): Declare.
2691         * cp-tree.def: Add TRAIT_EXPR.
2692         * cp-objcp-common.c (cp_tree_size): Add TRAIT_EXPR case.
2693         * lex.c (struct resword): Add __has_nothrow_assign,
2694         __has_nothrow_constructor, __has_nothrow_copy, __has_trivial_assign,
2695         __has_trivial_constructor, __has_trivial_copy,
2696         __has_trivial_destructor, __has_virtual_destructor, __is_abstract,
2697         __is_base_of, __is_class, __is_convertible_to, __is_empty, __is_enum,
2698         __is_pod, __is_polymorphic, __is_union.
2699         * parser.c (cp_parser_primary_expression): Deal with the new RIDs.
2700         (cp_parser_trait_expr): New.
2701         * semantics.c (finish_trait_expr, trait_expr_value
2702         classtype_has_nothrow_copy_or_assign_p): New.
2703         * method.c (locate_copy, locate_ctor, locate_dtor): Do not define
2704         as static.
2705         * decl.c (cp_tree_node_structure): Add TRAIT_EXPR.
2706         * class.c (check_bases, check_field_decl, check_bases_and_members):
2707         Deal with TYPE_HAS_COMPLEX_DFLT (t) too.
2708         * pt.c (uses_template_parms, tsubst_copy_and_build,
2709         value_dependent_expression_p, type_dependent_expression_p): Deal with
2710         TRAIT_EXPR.
2711         * tree.c (cp_walk_subtrees): Deal with TRAIT_EXPR.
2712
2713 2007-03-29  Richard Guenther  <rguenther@suse.de>
2714
2715         * tree.c (cp_walk_subtrees): Do not set input_location.
2716
2717 2007-03-28  Simon Martin  <simartin@users.sourceforge.net>
2718
2719         PR c++/29077
2720         * decl.c (grokfndecl): Properly setup decl if it is a constructor or a
2721         destructor.
2722
2723 2007-03-28 Douglas Gregor <doug.gregor@gmail.com>
2724
2725         * parser.c (struct cp_parser): Update comment for
2726         greater_than_is_operator_p.
2727         (cp_parser_primary_expression): In C++0x mode, a cast operator can
2728         be terminated with a `>>' token when !GREATER_THAN_IS_OPERATOR_P.
2729         (TOKEN_PRECEDENCE): In C++0x mode, `>>' is treated like `>' when
2730         !GREATER_THAN_IS_OPERATOR_P.
2731         (cp_parser_binary_expression): When -Wc++0x-compat, warn about
2732         `>>' operators that will become two `>' tokens in C++0x.
2733         (cp_parser_parameter_declaration): Treat `>>' like `>' in C++0x
2734         mode, allowing it to terminate default arguments.
2735         (cp_parser_enclosed_template_argument_list): In C++0x mode, treat
2736         `>>' like two consecutive `>' tokens.
2737         (cp_parser_skip_to_end_of_template_parameter_list): Ditto.
2738         (cp_parser_next_token_ends_template_argument_p): In C++0x, `>>'
2739         ends a template argument.
2740
2741 2007-03-28  Douglas Gregor  <doug.gregor@gmail.com>
2742
2743         * decl.c (redeclaration_error_message): Complain when redeclaring
2744         a friend function with default template arguments (C++0x mode only).
2745         * cp-tree.h (check_default_tmpl_args): Declare.
2746         * pt.c (check_default_tmpl_args): In C++0x mode, permit default
2747         template arguments in function templates. Add support for checking
2748         the default template arguments of friend templates.
2749         (push_template_decl_real): Fix call to check_default_tmpl_args.
2750         (type_unification_real): If a template parameter has not been
2751         deduced but provides a default template argument, substitute into
2752         that default template argument.
2753         * parser.c (cp_parser_init_declarator): When declaring (but not
2754         defining!) a function template in C++0x mode, check for default
2755         template arguments.
2756
2757 2007-03-28 Douglas Gregor <doug.gregor@gmail.com>
2758
2759         PR c++/29993
2760         * decl.c (grokdeclarator): Deal with cv-qualified function type
2761         typedefs in the same way for member and non-member functions.
2762
2763 2007-03-26  Dirk Mueller  <dmueller@suse.de>
2764
2765         * parser.c (cp_parser_member_declaration): Pedwarn
2766         about stray semicolons after member declarations.
2767
2768 2007-03-26  Paolo Carlini  <pcarlini@suse.de>
2769
2770         PR c++/30500
2771         * pt.c (instantiate_decl): Set in_system_header.
2772
2773 2007-03-22  Mark Mitchell  <mark@codesourcery.com>
2774
2775         * cp-tree.h (current_tempalte_parms): Improve documentation.
2776         * pt.c (current_template_args): Likewise.
2777
2778         PR c++/30863
2779         * parser.c (cp_parser_parse_and_diagnose_invalid_type_name): Do
2780         not consume tokens when failing.
2781
2782 2007-03-22  Jim Wilson  <wilson@specifix.com>
2783             Mark Mitchell  <mark@codesourcery.com>
2784
2785         PR c++/31273
2786         * call.c (standard_conversion): Use type_decays_to.  Keep FCODE
2787         consistent with FROM.
2788
2789 2007-03-22  Gabriel Dos Reis  <gdr@integrable-solutions.net>
2790
2791         * error.c (dump_expr): Handle dependent names that designate types.
2792         * cxx-pretty-print.c (pp_cxx_unqualified_id): Handle TYPENAME_TYPE.
2793
2794 2007-03-17  Kazu Hirata  <kazu@codesourcery.com>
2795
2796         * cp-tree.def, parser.c, pt.c: Fix comment typos.
2797
2798 2007-03-16  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2799
2800         * cvt.c (cp_convert_and_check) : Define.
2801         * cp-tree.h (cp_convert_and_check): Declare.
2802         * call.c (convert_conversion_warnings): Rename to
2803         conversion_null_warnings.  The warning for floating-point to
2804         integer is handled by convert_and_check in convert_like_real.
2805         (convert_like_real): convert_conversion_warnings was renamed as
2806         conversion_null_warnings.
2807         * typeck.c (build_binary_op): Use cp_convert_and_check to warn for
2808         overflow and changes of value during conversion.
2809
2810 2007-03-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2811
2812         PR c++/30891
2813         * parser.c (cp_parser_statement): If 'namespace' is found, this
2814         only can be a namespace alias definition, so parse it now.
2815         (cp_parser_namespace_alias_definition): if we find an open brace
2816         instead of '=', then this is actually a misplaced namespace
2817         definition.
2818
2819 2007-03-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2820
2821         PR c++/24924
2822         * decl.c (cxx_init_decl_processing): Move command-line options
2823         processing to c-opts.c.
2824
2825 2007-03-15  Douglas Gregor  <doug.gregor@gmail.com>
2826
2827         * ptree.c (cxx_print_type): Use formatting markup for integers
2828         when printing template parameter index/level/orig level.
2829         (cxx_print_xnode): Ditto.
2830         * cp-tree.h (TEMPLATE_PARM_PARAMETER_PACK): Use TREE_LANG_FLAG_0.
2831         (struct template_parm_index_s): Remove the PARAMETER_PACK member.
2832         Make INDEX, LEVEL, and ORIG_LEVEL integers instead of
2833         HOST_WIDE_INTs.
2834         (struct saved_scope): Make X_PROCESSING_TEMPLATE_DECL an int,
2835         rather than a HOST_WIDE_INT.
2836         Turn X_PROCESSING_EXPLICIT_INSTANTIATION, SKIP_EVALUATION, and
2837         NEED_POP_FUNCTION_CONTEXT into bool bitfields; reorder fields for
2838         better bit-packing.
2839         (struct language_function): Make RETURNS_VALUE, RETURNS_NULL,
2840         RETURNS_ABNORMALLY, IN_FUNCTION_TRY_HANDLER, and
2841         IN_BASE_INITIALIZER bool bitfields.
2842         (struct cp_declarator): Make KIND a 4-bit field. Make
2843         PARAMETER_PACK_P a bool bitfield just after KIND.
2844         * pt.c (uses_parameter_packs): Destroy the pointer set.
2845         (make_pack_expansion): Ditto.
2846         (check_for_bare_parameter_packs): Ditto.
2847         * name-lookup.c (push_to_top_level): Make need_pop a bool value.
2848
2849 2007-03-14  Andrew Pinski  <andrew_pinski@playstation.sony.com>
2850
2851         PR c++/31165
2852         * call.c  (convert_default_arg): Instead of copying the node,
2853         unshare it.
2854
2855 2007-03-15  Dirk Mueller  <dmueller@suse.de>
2856
2857         PR c++/30860
2858         * call.c (convert_conversion_warnings): New..
2859         (convert_like_real): .. factored out from here.
2860         (convert_conversion_warnings): Add warning about
2861         false being converted to NULL in argument passing.
2862
2863 2007-03-14  Dirk Mueller  <dmueller@suse.de>
2864
2865         * cp/semantics.c (c_finish_if_stmt): Call empty_if_body_warning.
2866         (finish_do_body): Warn about empty body in do/while statement.
2867
2868 2007-03-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2869
2870         * class.c (warn_hidden): Add OPT_Woverloaded_virtual to warning.
2871
2872 2007-03-14  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
2873
2874         PR c/21438
2875         * typeck.c (build_binary_op): Call warn_for_div_zero instead of
2876         warning.
2877
2878 2007-03-13  Alexandre Oliva  <aoliva@redhat.com>
2879
2880         * cp/repo.c (init_repo): Initialize random_seed saved options.
2881         (finish_repo): Adjust.
2882
2883 2007-03-13  Mark Mitchell  <mark@codesourcery.com>
2884
2885         PR bootstrap/30899
2886         * Make-lang.in (doc/g++.1): Use $< to specify the location from
2887         which to copy.
2888
2889 2007-03-12  Seongbae Park <seongbae.park@gmail.com>
2890
2891         * decl.c (compute_array_index_type): New warning flag warn_vla.
2892
2893 2007-03-12  Mark Mitchell  <mark@codesourcery.com>
2894
2895         PR c++/30108
2896         * call.c (convert_default_arg): Copy non-constant arguments.
2897
2898 2007-03-11  Mark Mitchell  <mark@codesourcery.com>
2899
2900         PR c++/31038
2901         * parser.c (cp_parser_postfix_expression): Disallow compound
2902         literals in constant expressions.
2903
2904         PR c++/30328
2905         * semantics.c (finish_typeof): Use unlowered_expr_type.
2906
2907 2007-03-10  Mark Mitchell  <mark@codesourcery.com>
2908
2909         PR c++/30274
2910         * cp-tree.h (unlowered_expr_type): New function.
2911         * typeck.c (is_bitfield_expr_with_lowered_type): Handle
2912         COMPOUND_EXPR, MODIFY_EXPR, and SAVE_EXPR.
2913         (unlowered_expr_type): New function.
2914         (build_unary_op): Disallow predecrements of bool bitfields.
2915         * call.c (build_conditional_expr): Use unlowered_expr_type.
2916         * pt.c (type_unification_real): Likewise.
2917
2918 2007-03-09  Douglas Gregor  <doug.gregor@gmail.com>
2919
2920         PR c++/20599
2921         * typeck.c (check_return_expr): Check for bare parameter packs.
2922         (comptypes): Compare template parameter packs and
2923         type pack expansions.
2924         * decl.c (grokdeclarator): Deal with the declaration of function
2925         parameter packs.
2926         (grokparms): Verify that the (optional) function parameter pack is
2927         at the end of the parameter list.
2928         (xref_basetypes): Handle pack expansions in the base class.
2929         (cp_tree_node_structure): Handle ARGUMENT_PACK_SELECT.
2930         * cp-tree.def (TYPE_ARGUMENT_PACK): New.
2931         (NONTYPE_ARGUMENT_PACK): New.
2932         (TYPE_PACK_EXPANSION): New.
2933         (EXPR_PACK_EXPANSION): New.
2934         (ARGUMENT_PACK_SELECT): New.
2935         * cp-objcp-common.c (cp_tree_size): Compute size of
2936         (NON)TYPE_ARGUMENT_PACK, (TYPE|EXPR)_PACK_EXPANSION, and
2937         ARGUMENT_PACK_SELECT.
2938         * error.c (dump_template_argument): Print template argument packs.
2939         (dump_template_argument_list): Ditto.
2940         (dump_template_parameter): Dump `...' for template type parameter
2941         packs.
2942         (dump_type): Dump TYPE_PACK_EXPANSION nodes.
2943         (dump_parameters): Print function parameter packs.
2944         (dump_template_parms): Print template argument packs.
2945         (dump_expr): Dump EXPR_PACK_EXPANSION nodes.
2946         (maybe_warn_variadic_templates): New.
2947         * operators.def: Add ellipsis operator for EXPR_PACK_EXPANSION.
2948         * tree.c (cp_walk_subtrees): Walk BASELINK, TYPE_ARGUMENT_PACK,
2949         NONTYPE_ARGUMENT_PACK, TYPE_PACK_EXPANSION, EXPR_PACK_EXPANSION,
2950         CAST_EXPR.
2951         * mangle.c (write_type): Mangle TYPE_PACK_EXPANSION.
2952         (write_template_arg): Write argument packs as separate arguments.
2953         * cp-tree.h (struct template_parm_index_s): Add flag that
2954         indicates that the template parameter is actually a parameter
2955         pack.
2956         (struct tree_argument_pack_select): New.
2957         (enum cp_tree_node_structure_enum): Add TS_CP_ARGUMENT_PACK_SELECT.
2958         (union lang_tree_node): Add argument_pack_select.
2959         (FUNCTION_PARAMETER_PACK_P): New.
2960         (PACK_EXPANSION_P): New.
2961         (PACK_EXPANSION_PATTERN): New.
2962         (SET_PACK_EXPANSION_PATTERN): New.
2963         (PACK_EXPANSION_PARAMETER_PACKS): New.
2964         (ARGUMENT_PACK_P): New.
2965         (ARGUMENT_PACK_ARGS): New.
2966         (SET_ARGUMENT_PACK_ARGS): New.
2967         (ARGUMENT_PACK_INCOMPLETE_P): New.
2968         (ARGUMENT_PACK_EXPLICIT_ARGS): New.
2969         (TEMPLATE_PARM_PARAMETER_PACK): New.
2970         (TEMPLATE_TYPE_PARAMETER_PACK): New.
2971         (ARGUMENT_PACK_SELECT_FROM_PACK): New.
2972         (ARGUMENT_PACK_SELECT_INDEX): New.
2973         (ARGUMENT_PACK_SELECT_ARG): New.
2974         (struct cp_declarator): Add parameter_pack_p flag.
2975         (maybe_warn_variadic_templates): Declare.
2976         (process_template_parm): Add bool parameter IS_PARAMETER_PACK, to
2977         indicate a template parameter pack.
2978         (uses_parameter_packs): Declare.
2979         (template_parameter_pack_p): Declare.
2980         (template_parms_variadic_p): Declare.
2981         (make_pack_expansion): Declare.
2982         (check_for_bare_parameter_packs): Declare.
2983         * cxx-pretty-print.c (pp_cxx_unary_expression): Print
2984         sizeof... expressions.
2985         (pp_cxx_expression): Print pack expansions and non-type argument
2986         packs.
2987         (pp_cxx_exception_specification): Print pack expansions.
2988         (pp_cxx_direct_declarator): Print ellipsis for parameter packs.
2989         (pp_cxx_ctor_initializer): Print pack expansions.
2990         (pp_cxx_type_id): Print pack expansions.
2991         (pp_cxx_template_argument_list): Print argument packs.
2992         (pp_cxx_template_parameter): Print ellipsis for template parameter
2993         packs.
2994         * pt.c (comp_template_parms): Compare template parameter packs.
2995         (template_parameter_pack_p): New.
2996         (template_parms_variadic_p): New.
2997         (template_args_variadic_p): New.
2998         (make_ith_pack_parameter_name): New.
2999         (struct find_parameter_pack_data): New.
3000         (find_parameter_packs_r): New.
3001         (uses_parameter_packs): New.
3002         (make_pack_expansion): New.
3003         (check_for_bare_parameter_packs): New.
3004         (expand_template_argument_pack): New.
3005         (reduce_template_parm_level): Propagate parameter pack flag.
3006         (process_template_parm): Add is_parameter_pack parameter to state
3007         when the parameter is actually a parameter pack. Create template
3008         parameter packs when is_parameter_pack is true.
3009         (current_template_args): The argument for a template parameter
3010         pack is an argument pack containing a single pack expansion.
3011         (process_partial_specialization): When checking that non-type
3012         argument expressions do not involve template parameters, loop over
3013         the arguments in argument packs separately.
3014         (push_template_decl_real): Check that the type of the declaration
3015         does not have any bare parameter packs. Check that primary
3016         templates have no more than one parameter pack, and that it comes
3017         at the end of the template parameter list.
3018         (convert_template_argument): Handle coercions for pack expansion
3019         expressions by coercing the pattern then rebuilding the expansion.
3020         (coerce_template_parms): When coercing the arguments for a
3021         variadic template, pack "extra" arguments into an argument pack.
3022         (coerce_template_template_parms): Cannot coerce between parameter
3023         packs and non-pack parameters.
3024         (template_args_equal): Compare PACK_EXPANSION_P expressions.
3025         (comp_template_args): Expand all template arguments packs before
3026         comparing template argument lists.
3027         (mangle_class_name_for_template): Make argument packs as separate
3028         template arguments.
3029         (for_each_template_parm_r): No need to handle BASELINK.
3030         (instantiate_class_template): Handle pack expansions in the base
3031         class list.
3032         (tsubst_pack_expansion): New.
3033         (tsubst_template_args): Handle substitutions of argument packs and
3034         pack expansion into template argument lists.
3035         (tsubst_decl): Expand function parameter packs into separate
3036         function parameters.
3037         (tsubst_arg_types): Expand a type pack expansion into separate
3038         argument types.
3039         (tsubst_exception_specification): Handle pack expansions in
3040         exception specifiers.
3041         (tsubst): See through ARGUMENT_PACK_SELECT arguments when
3042         replacing a template parameter with its argument. If we encounter
3043         a substitution for an argument pack, just return the parameter
3044         itself.
3045         (tsubst_copy): sizeof(X...) returns the number of elements in
3046         parameter pack X.  See through ARGUMENT_PACK_SELECT when the
3047         PARM_DECL is a parameter pack.
3048         (tsubst_expr): Expression pack expansions and argument packs
3049         cannot show up here; they will all be handled through function
3050         calls, sizeof, and template argument lists.
3051         (tsubst_copy_and_build): sizeof(X...) returns the number of
3052         elements in parameter pack X.  Handle pack expansions in TREE_LIST
3053         and CONSTRUCTOR nodes.
3054         (fn_type_unification): Handle "incomplete" explicit template
3055         argument lists that specify some of the arguments for a template
3056         parameter pack.
3057         (type_unification_real): Unify arguments against pack expansions.
3058         (template_parm_level_and_index): New, helper function.
3059         (unify_pack_expansion): New.
3060         (unify): Unify argument packs on an argument-by-argument basis,
3061         handling variadic argument packs as well.
3062         (more_specialized_fn): Handle unification of function parameter
3063         packs. All things being equal, prefer non-variadic function
3064         templates to variadic function templates.
3065         (more_specialized_class): Prefer the variadic class template
3066         partial specialization that binds fewer arguments to a parameter
3067         pack.
3068         (regenerate_decl_from_template): Expand function parameter packs
3069         into separate parameters.
3070         (instantiate_decl): Ditto.
3071         (tsubst_initializer_list): Handle pack expansions for base-class
3072         initializers.
3073         (dependent_type_p_r): Determine dependent types in argument packs
3074         and pack expansions.
3075         (value_dependent_expression_p): Determine value-dependence of
3076         non-type argument packs.
3077         (dependent_template_arg_p): Handle argument packs.
3078         * semantics.c (finish_cond): Check for bare parameter packs.
3079         (finish_expr_stmt): Ditto.
3080         (finish_for_expr): Ditto.
3081         (finish_switch_cond): Ditto.
3082         (finish_mem_initializers): Ditto.
3083         * name-lookup.c (arg_assoc_type): Handle pack expansions and
3084         argument packs.
3085         * decl2.c (cp_build_parm_decl): Mark function parameter packs.
3086         * parser.c (make_declarator): Declarator is not an expansion.
3087         (make_pointer_declarator): Transfer parameter pack flag to outer
3088         declarator.
3089         (make_reference_declarator): Ditto.
3090         (make_ptrmem_declarator): Ditto.
3091         (make_call_declarator): Ditto.
3092         (make_array_declarator): Ditto.
3093         (cp_parser_postfix_expression): Allow pack expansion expressions
3094         in the argument list for a call expression.
3095         (cp_parser_parenthesized_expression_list): Add new parameter
3096         ALLOW_EXPANSION_P. When true, parse the ellipsis to mean "expand
3097         into separate arguments."
3098         (cp_parser_new_placement): Allow pack expansion expressions.
3099         (cp_parser_new_initializer): Ditto.
3100         (cp_parser_mem_initializer_list): Allow ellipsis to create a
3101         base-class initializer expansion.
3102         (cp_parser_mem_initializer): Ditto.
3103         (cp_parser_template_parameter_list): Keep track of whether the
3104         template parameter is a template parameter pack.
3105         (cp_parser_template_parameter): Parse the ellipsis to indicate a
3106         template parameter pack.
3107         (cp_parser_type_parameter): Ditto.
3108         (cp_parser_template_argument_list): Parse the ellipsis to indicate
3109         a pack expansion.
3110         (cp_parser_direct_declarator): Parse the ellipsis to indicate that
3111         this declarator is a parameter pack.
3112         (cp_parser_parameter_declaration): The ellipsis does not end the
3113         parameter declaration, because it might be a parameter pack. Parse
3114         the ellipsis to indicate a parameter pack.
3115         (cp_parser_initializer): Allow pack expansions.
3116         (cp_parser_initializer_list): Allow ellipsis to create an
3117         initializer expansion.
3118         (cp_parser_base_clause): Allow ellipsis to create a base specifier
3119         expansion.
3120         (cp_parser_type_id_list): Allow ellipsis to create an exception
3121         specifier expansion.
3122         (cp_parser_attribute_list): Don't allow pack expansions.
3123         (cp_parser_functional_cast): Allow pack expansions.
3124         (cp_parser_sizeof_operand): Allow ellipsis following "sizeof" to
3125         compute the length of a parameter pack.
3126         (cp_parser_next_token_ends_template_argument_p): An ellipsis can
3127         end a template argument.
3128         * tree.c (cp_walk_subtrees): Walk BASELINK, TYPE_ARGUMENT_PACK,
3129         NONTYPE_ARGUMENT_PACK, TYPE_PACK_EXPANSION, EXPR_PACK_EXPANSION,
3130         CAST_EXPR.
3131
3132 2007-03-09  Dirk Mueller  <dmueller@suse.de>
3133
3134         * cp/call.c (build_new_op): Call warn_logical_operator.
3135
3136 2007-03-08  Volker Reichelt  <reichelt@netcologne.de>
3137
3138         PR c++/30852
3139         * semantics.c (finish_offsetof): Handle COMPOUND_EXPR.
3140
3141         PR c++/30534
3142         * pt.c (any_template_arguments_need_structural_equality_p):
3143         Robustify.
3144
3145 2007-03-08  Alexandre Oliva  <aoliva@redhat.com>
3146
3147         * decl.c (grokdeclarator): Disable warnings for anonymous
3148         bitfields.
3149
3150 2007-03-05  Volker Reichelt  <reichelt@netcologne.de>
3151
3152         * typeck2.c (readonly_error): Always emit a hard error.
3153         Remove last argument.
3154         * cp-tree.h (readonly_error): Adjust prototype.
3155         * semantics.c (finish_asm_stmt): Adjust call to readonly_error.
3156         * typeck.c (build_unary_op): Likewise.
3157         (build_modify_expr): Likewise.
3158
3159 2007-03-04  Simon Martin  <simartin@users.sourceforge.net>
3160
3161         PR c++/30895
3162         * tree.c (cp_tree_equal): Properly handle COMPLEX_CST trees.
3163
3164 2007-03-03  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3165
3166         PR c++/15787
3167         * parser.c (struct cp_parser): New IN_IF_STMT.
3168         (cp_parser_statement_seq_opt): Handle an unexpected 'else',
3169         returning if parsing the body of an 'if' statement or issuing an
3170         error and continuing.
3171         (cp_parser_selection_statement): Set IN_IF_STMT bit when parsing
3172         body of 'if'.
3173         (cp_parser_jump_statement): Mask new IN_IF_STMT bit.
3174
3175 2007-03-02  Simon Martin  <simartin@users.sourceforge.net>
3176
3177         PR c++/28253
3178         * class.c (update_vtable_entry_for_fn): Properly handle invalid overriders
3179         for thunks.
3180
3181 2007-03-02  Geoffrey Keating  <geoffk@apple.com>
3182
3183         * g++spec.c (lang_specific_driver): Add -lstdc++ when compiling
3184         Objective-C++.  Don't exit early if -shared-libgcc needs to be
3185         added.
3186
3187 2007-03-02  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3188
3189         * typeck.c (common_base_type): Delete unused function.
3190
3191 2007-03-01  Brooks Moses  <brooks.moses@codesourcery.com>
3192
3193         * Make-lang.in: Add dummy lang.install-pdf target.
3194
3195 2007-03-01  Simon Baldwin <simonb@google.com>
3196
3197         PR c++/23689
3198         * decl.c (check_tag_decl): Added new warning for typedef ignored
3199         when it precedes an otherwise valid non-typedef declaration.
3200
3201 2007-02-28  Sandra Loosemore  <sandra@codesourcery.com>
3202
3203         * typeck.c (build_function_call): Store converted arguments
3204         in a stack-allocated array instead of building a list.
3205         (convert_arguments): Store arguments in the array passed in as an
3206         argument, and return the actual number of arguments.
3207         * call.c (build_call): Delete, and replace with...
3208         (build_call_n, build_call_a): New.
3209         (build_op_delete_call): Rewrite to avoid constructing argument lists.
3210         (build_over_call): Store converted arguments in a stack-allocated
3211         array instead of building a list.
3212         (build_cxx_call): Pass arguments in an array instead of as a list.
3213         (build_java_interface_fn_ref): Rewrite to avoid constructing
3214         argument lists.
3215         * tree.h: Update declarations to reflect above changes.
3216         * method.c (use_thunk): Use a stack-allocated array to hold
3217         the arguments instead of a list.
3218         * rtti.c (throw_bad_cast): Update call to cxx_call.
3219         (throw_bad_typeid): Likewise.
3220         (build_dynamic_cast_1): Likewise.
3221         * init.c (build_builtin_delete_call): Use build_call_n.
3222         * decl.c (expand_static_init): Likewise.
3223         * except.c (cp_protect_cleanup_actions): Likewise.
3224         * cp-gimplify.c (genericize_eh_spec_block): Likewise.
3225         (gimplify_must_not_throw_expr): Likewise.
3226         (cxx_omp_apply_fn): Use build_call_a.
3227
3228 2007-02-26  Mark Mitchell  <mark@codesourcery.com>
3229
3230         * semantics.c (expand_or_defer_fn): Call c_record_cdtor_fn.
3231         * decl2.c (cp_write_gloabl_declarations): Call c_build_cdtor_fns.
3232
3233 2007-02-25  Mark Mitchell  <mark@codesourcery.com>
3234
3235         * cp-tree.h (static_ctors): Remove.
3236         * cp-tree.h (static_dtors): Likewise.
3237         * cp-objcp-common.c (decl_shadowed_for_var_lookup): Adjust for
3238         refactoring of tree_map hierarchy.
3239         (decl_shadowed_for_var_insert): Likewise.
3240         * semantics.c (expand_body): Use c_expand_body.
3241         (expand_or_defer_fn): Don't update static_ctors or static_dtors.
3242         * decl2.c (static_ctors): Remove.
3243         (static_dtors): Likewise.
3244         (generate_ctor_or_dtor_function): Pass NULL_TREE to
3245         objc_generate_static_init_call.  Do not call static_[cd]tors.
3246         (generate_ctor_and_dtor_functions_for_priority): Do not check for
3247         static_[cd]tors.
3248         (cp_write_global_declarations): Likewise.
3249
3250 2007-02-23  Richard Guenther  <rguenther@suse.de>
3251
3252         * class.c (note_name_declared_in_class): Make declaration
3253         changes meaning a pedwarn.
3254
3255 2007-02-22  Michael Matz  <matz@suse.de>
3256
3257         PR c++/29433
3258         * cp-tree.h (TFF_UNQUALIFIED_NAME): New formatting flag.
3259         * error.c (dump_aggr_type, dump_simple_decl, dump_decl,
3260         dump_function_decl): Guard emitting outer scopes by new flag.
3261         * cp-lang.c (cxx_dwarf_name): New function.
3262         (LANG_HOOKS_DWARF_NAME): Define to cxx_dwarf_name.
3263         * pt.c (classtype_mangled_name, mangle_class_name_for_template):
3264         Remove functions.
3265         (push_template_decl_real, lookup_template_class): Remove calls
3266         to above functions.
3267
3268 2007-02-19  Mark Mitchell  <mark@codesourcery.com>
3269
3270         * call.c (build_new_method_call): Ensure that explicit calls of
3271         destructors have type "void".
3272
3273 2007-02-19  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3274
3275         * typeck.c (build_binary_op): Replace -Wstring-literal-comparison
3276         and -Walways-true with -Waddress.
3277         * cvt.c (convert_to_void): Replace unconditional warning with
3278         -Waddress.
3279
3280 2007-02-18  Kazu Hirata  <kazu@codesourcery.com>
3281
3282         * decl.c, tree.c: Fix comment typos.
3283
3284 2007-02-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
3285
3286         PR C++/30158
3287         * semantics.c (finish_stmt_expr_expr): Set TREE_TYPE of the
3288         statement expression if we had an error mark node.
3289
3290 2007-02-15  Sandra Loosemore  <sandra@codesourcery.com>
3291             Brooks Moses  <brooks.moses@codesourcery.com>
3292             Lee Millward  <lee.millward@codesourcery.com>
3293
3294         * cp-tree.def (AGGR_INIT_EXPR): Adjust documentation.
3295         Change class to tcc_vl_exp.
3296
3297         * call.c (build_call): Use build_call_list instead
3298         of build3.
3299         (build_over_call): Likewise.
3300         (build_new_method_call): Use build_min_non_dep_call_list
3301         instead of build_min_non_dep.
3302
3303         * error.c (dump_call_expr_args): New function.
3304         (dump_aggr_init_expr_args): New function.
3305         (dump_expr) <AGGR_INIT_EXPR, CALL_EXPR, INDIRECT_REF>: Use them.
3306         Update to use new CALL_EXPR and AGGR_INIT_EXPR accessor macros.
3307
3308         * cvt.c (convert_to_void): Use build_call_array instead
3309         of build3; use new AGGR_INIT_EXPR accessor macros.
3310
3311         * mangle.c (write_expression): Use TREE_OPERAND_LENGTH
3312         instead of TREE_CODE_LENGTH.
3313
3314         * dump.c (cp_dump_tree) <AGGR_INIT_EXPR>: Update to use new
3315         AGGR_INIT_EXPR accessor macros.
3316
3317         * cp-gimplify.c (cp_gimplify_init_expr): Use
3318         AGGR_INIT_EXPR_SLOT to set the slot operand.
3319
3320         * cp-tree.h (AGGR_INIT_EXPR_FN): New macro.
3321         (AGGR_INIT_EXPR_SLOT): New macro.
3322         (AGGR_INIT_EXPR_ARG): New macro.
3323         (aggr_init_expr_nargs): New macro.
3324         (AGGR_INIT_EXPR_ARGP): New macro.
3325         (aggr_init_expr_arg_iterator): New.
3326         (init_aggr_init_expr_arg_iterator): New.
3327         (next_aggr_init_expr_arg): New.
3328         (first_aggr_init_expr_arg): New.
3329         (more_aggr_init_expr_args_p): New.
3330         (FOR_EACH_AGGR_INIT_EXPR_ARG): New.
3331         (stabilize_aggr_init): New declaration.
3332         (build_min_non_dep_call_list): Likewise.
3333
3334         * tree.c (process_aggr_init_operands): New function.
3335         (build_aggr_init_array) New function.
3336         (build_cplus_new): Update to use new CALL_EXPR and
3337         AGGR_INIT_EXPR accessor macros. Replace use of build3 with
3338         build_aggr_init_array.
3339         (build_min_non_dep_call_list) New function.
3340         (build_min_nt): Assert input code parameter is not a variable
3341         length expression class.
3342         (build_min, build_min_non_dep): Likewise.
3343         (cp_tree_equal) <CALL_EXPR>: Iterate through the arguments
3344         to check for equality instead of recursing. Handle tcc_vl_exp
3345         tree code classes.
3346         (stabilize_call): Update to only handle CALL_EXPRs, not
3347         AGGR_INIT_EXPRs; use new CALL_EXPR accessor macros.
3348         (stabilize_aggr_init): New function.
3349         (stabilize_init): Use it.
3350
3351         * cxx-pretty-print.c (pp_cxx_postfix_expression)
3352         <AGGR_INIT_EXPR, CALL_EXPR>: Update to use new CALL_EXPR and
3353         AGGR_INIT_EXPR accessor macros and argument iterators.
3354
3355         * pt.c (tsubst_copy) <CALL_EXPR>: Replace build_nt with
3356         build_vl_exp. Iterate through the operands, recursively
3357         processing each one.
3358         (tsubst_copy_and_build) <CALL_EXPR>: Update to use new
3359         CALL_EXPR accessor macros.
3360         (value_dependent_expression_p) <default>: Handle tcc_vl_exp
3361         tree code classes. Use TREE_OPERAND_LENGTH instead of
3362         TREE_CODE_LENGTH.
3363
3364         * semantics.c (finish_call_expr): Use build_nt_call_list
3365         instead of build_nt.
3366         (simplify_aggr_init_expr): Update to use new AGGR_INIT_EXPR
3367         accessor macros. Use build_call_array to construct the
3368         CALL_EXPR node instead of build3
3369
3370         * decl2.c (build_offset_ref_call_from_tree): Use
3371         build_nt_call_list and build_min_non_dep_call_list instead
3372         of build_min_nt and build_min_non_dep.
3373
3374         * parser.c (cp_parser_postfix_expression) <CPP_OPEN_PAREN>:
3375         Use build_nt_call_list instead of build_min_nt.
3376
3377 2007-02-15  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3378
3379         PR c++/28943
3380         * call.c (build_conditional_expr): Improve error message.
3381
3382 2007-02-13  Dirk Mueller  <dmueller@suse.de>
3383
3384         * friend.c (do_friend): Annotate warning about friend
3385         declarations in templates with OPT_Wnon_template_friend.
3386         Convert informal message from warning() to inform().
3387
3388 2007-02-12  Simon Martin  <simartin@users.sourceforge.net>
3389             Mark Mitchell  <mark@codesourcery.com>
3390
3391         PR c++/14622
3392         * pt.c (do_decl_instantiation): Detect type mismatches in explicit
3393         instantiations for variables.
3394
3395 2007-02-12  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3396
3397         PR middle-end/7651
3398         * cp-gimplify.c (gimplify_expr_stmt): Don't check extra_warnings.
3399         Check warn_unused_value just once.
3400
3401 2007-02-11  Mark Mitchell  <mark@codesourcery.com>
3402
3403         PR c++/26988
3404         * pt.c (determine_specialization): Use skip_artificial_parms_for.
3405         (fn_type_unificiation): Likewise.
3406         (get_bindings): Likewise.
3407
3408 o2007-02-06  Mark Mitchell  <mark@codesourcery.com>
3409
3410         PR target/29487
3411         * decl.c (finish_function): Use DECL_REPLACEABLE.
3412         * tree.c (cp_cannot_inline_tree_fn): Likewise.
3413
3414 2007-02-10  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3415
3416         * parser.c (cp_parser_primary_expression): Reformat overly long lines.
3417
3418 2007-02-10  Richard Henderson  <rth@redhat.com>, Jakub Jelinek  <jakub@redhat.com>
3419
3420         * decl.c (grokvardecl): Don't error if !have_tls.
3421         (grokdeclarator): Likewise.
3422         * parser.c (cp_parser_omp_threadprivate): Likewise.
3423
3424 2007-02-07  Jakub Jelinek  <jakub@redhat.com>
3425
3426         PR c++/30703
3427         * cp-gimplify.c (cp_genericize_r): Don't dereference invisiref
3428         parameters and result decls in omp clauses.
3429         (cxx_omp_privatize_by_reference): Pass also invisiref PARM_DECLs
3430         by reference.
3431
3432 2007-02-05  Dirk Mueller  <dmueller@suse.de>
3433
3434         PR bootstrap/30510
3435         * parser.c (cp_parser_class_specifier): Always initialize bases.
3436
3437 2007-02-05  Paolo Bonzini  <bonzini@gnu.org>
3438
3439         * cp-tree.h (OMP_ATOMIC_CODE): Delete.
3440         (OMP_ATOMIC_DEPENDENT_P): Rewrite.
3441         * pt.c (tsubst_expr): Adjust for new format of dependent OMP_ATOMIC
3442         expressions.
3443         * semantics.c (finish_omp_atomic): Store a whole expression node
3444         in operand 1, and integer_zero_node in operand 0, for dependent
3445         OMP_ATOMIC.  Rewrite to make flow easier to understand.
3446
3447 2007-02-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3448
3449         * decl.c (grokdeclarator): Use OPT_Wreturn_type instead of 0.
3450
3451 2007-02-04  Kazu Hirata  <kazu@codesourcery.com>
3452
3453         * class.c, cp-tree.h, decl.c, decl2.c, g++spec.c, init.c,
3454         parser.c, pt.c, tree.c, typeck.c: Follow spelling conventions.
3455
3456 2007-02-03  Douglas Gregor  <doug.gregor@gmail.com>
3457
3458        * parser.c (cp_lexer_get_preprocessor_token): Attach the C++0x
3459        keyword warning to -Wc++0x-compat.
3460
3461 2007-02-03  Gabriel Dos Reis  <gdr@integrable-solutions.net>
3462
3463         * decl.c (grokdeclarator): Update documentation.
3464
3465 2007-02-02  Jakub Jelinek  <jakub@redhat.com>
3466
3467         PR c++/30536
3468         * decl.c (grokdeclarator): If __thread is used together with
3469         a storage class other than extern and static, clear thread_p
3470         after issuing diagnostics and fall through to checking the
3471         storage class.
3472
3473 2007-01-30  Roger Sayle  <roger@eyesopen.com>
3474
3475         * error.c (dump_type_suffix): Avoid use of cp_build_binary_op when
3476         calculating the size of an array (to avoid recursive errors).
3477
3478 2007-01-30  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3479
3480         PR c++/24745
3481         * typeck.c (build_binary_op): Fix logic for warning. Move warning
3482         to -Wpointer-arith.
3483         * call.c (convert_like_real): Don't warn when converting to
3484         boolean type.
3485
3486 2007-01-29  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3487
3488         * decl.c (pop_label): Replace warning with call to
3489         warn_for_unused_label.
3490
3491 2007-01-28  Andrew Pinski  <pinskia@gmail.com>
3492
3493         PR C++/28988
3494         * semantics.c (finish_pseudo_destructor_expr): Check the
3495         destrutor name by calling check_dtor_name.
3496
3497 2007-01-24  Douglas Gregor  <dgregor@osl.iu.edu>
3498
3499         * lex.c (D_CPP0X): Rename.
3500         (D_CXX0X): To this.
3501         (reswords): D_CPP0X -> D_CXX0X.
3502         (init_reswords): Ditto.
3503         * parser.c (cp_lexer_get_preprocessor_token): Warn about the use
3504         of C++0x keywords as identifiers.
3505
3506 2007-01-23  Simon Martin  <simartin@users.sourceforge.net>
3507
3508         PR c++/27492
3509         * decl.c (duplicate_decls): Don't reset DECL_INVALID_OVERRIDER_P for
3510         function decls.
3511
3512 2007-01-23  Ian Lance Taylor  <iant@google.com>
3513
3514         * typeck.c (convert_for_assignment): Only warn about a = b = c
3515         when converting to bool.
3516
3517 2007-01-23  Roger Sayle  <roger@eyesopen.com>
3518
3519         * call.c (null_ptr_cst_p): Replace use of TREE_CONSTANT_OVERFLOW with
3520         TREE_OVERFLOW.
3521         * typeck.c (ignore_overflows): Remove the remaining uses of
3522         TREE_CONSTANT_OVERFLOW.
3523
3524 2007-01-20  Jan Hubicka  <jh@suse.cz>
3525
3526         * decl2.c (start_objects, start_static_storage_duration_function):
3527         Do not make the functions uninlinable.
3528
3529 2007-01-17  Ian Lance Taylor  <iant@google.com>
3530
3531         * class.c (add_method): Call VEC_reserve_exact rather than passing
3532         a negative size to VEC_reserve.
3533
3534 2007-01-11  Simon Martin  <simartin@users.sourceforge.net>
3535
3536         PR c++/29573
3537         * tree.c (cp_tree_equal): Properly handle MODOP_EXPR trees.
3538
3539 2007-01-10  Mark Mitchell  <mark@codesourcery.com>
3540
3541         PR c++/28999
3542         * decl.c (make_typename_type): If the qualified name is not a
3543         type, issue an error.
3544         * parser.c (cp_parser_elaborated_type_specifier): Fix comment
3545         formatting.
3546
3547 2007-01-08  Geoffrey Keating  <geoffk@apple.com>
3548
3549         * rtti.c: Include target.h.
3550         (emit_support_tinfos): If ! targetm.cxx.library_rtti_comdat (),
3551         don't emit typeinfo for fundamental types as weak.
3552         * Make-lang.in (cp/rtti.o): Update and correct dependencies.
3553
3554 2007-01-08  Richard Guenther  <rguenther@suse.de>
3555
3556         * cvt.c (cp_convert_to_pointer): Use build_int_cst_type.
3557
3558 2007-01-08  Mark Shinwell  <shinwell@codesourcery.com>
3559
3560         * call.c (standard_conversion): Pass flag to
3561         vector_types_convertible_p to disallow emission of note.
3562         * typeck.c (convert_for_assignment): Pass flag to
3563         vector_types_convertible_p to allow emission of note.
3564         (ptr_reasonably_similar): Pass flag to vector_types_convertible_p
3565         to disallow emission of note.
3566
3567 2007-01-07  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3568
3569         PR c++/28986
3570         * typeck.c (build_binary_op): Call overflow_warning if
3571         TREE_OVERFLOW_P is true for the result and not for any of the
3572         operands.
3573
3574 2007-01-06  Lee Millward  <lee.millward@codesourcery.com>
3575
3576        PR c++/19439
3577        * class.c (add_method): Don't wait until template
3578        instantiation time to complain about duplicate methods.
3579
3580 2007-01-05  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
3581
3582         PR c/19978
3583         * semantics.c (finish_unary_op_expr): Warn only if result
3584         overflowed and operands did not.
3585
3586 2007-01-05  Ian Lance Taylor  <iant@google.com>
3587
3588         * typeck.c (build_binary_op): Warn about comparing a non-weak
3589         address to NULL.
3590
3591 2007-01-05  Douglas Gregor  <doug.gregor@gmail.com>
3592
3593         * pt.c (tsubst): Propagate the need for structural equality checks
3594         when reducing the level of template parameters.
3595
3596 2007-01-03  Kazu Hirata  <kazu@codesourcery.com>
3597
3598         * pt.c: Fix a comment typo.
3599
3600 2007-01-02  Ian Lance Taylor  <iant@google.com>
3601
3602         * semantics.c (maybe_convert_cond): Optionally warn when using an
3603         assignment as a condition.
3604         * typeck.c (convert_for_assignment): Optionally warn about
3605         assigning the result of an assignment to a bool.
3606
3607 2007-01-02  Douglas Gregor  <doug.gregor@gmail.com>
3608
3609         * pt.c (canonical_template_parms): Correct typo in comment.
3610
3611 2007-01-02  Douglas Gregor  <doug.gregor@gmail.com>
3612
3613         * typeck.c (structural_comptypes): Renamed from "comptypes".
3614         (comptypes): Use canonical type information to perform fast type
3615         comparison. When VERIFY_CANONICAL_TYPES, verify that the
3616         canonical type comparison returns the same results as we would see
3617         from the current, structural check. Support COMPARE_STRUCTURAL
3618         when we need structural checks.
3619         * decl.c (typename_compare): Fix comment.
3620         (build_typename_type): TYPENAME_TYPE nodes require structural
3621         equality checks, because they resolve different based on the
3622         current class type.
3623         (make_unbound_class_template): UNBOUND_CLASS_TEMPLATE nodes
3624         require structural equality checks (for now).
3625         (build_ptrmemfunc_type): Build the canonical pointer to member
3626         function type.
3627         (compute_array_index_type): Whenever we build a new index type
3628         to represent the size of an array in a template, we need to mark
3629         this index type as requiring structural equality. This goes for
3630         arrays with value-dependent sizes with the current ABI, or all
3631         arrays with ABI-1.
3632         * tree.c (cplus_array_hash): New.
3633         (struct cplus_array_info): New.
3634         (cplus_array_compare): New.
3635         (cplus_array_htab): New.
3636         (build_cplus_array_type_1): Use a hash table to cache the array
3637         types we build. Build the canonical array type for each array
3638         type.
3639         (cp_build_qualified_type_real): When building a cv-qualified array
3640         type, use the hash table of array types and build canonical array
3641         types as necessary.
3642         (bind_template_template_parm): BOUND_TEMPLATE_TEMPLATE_PARM nodes
3643         use structural equality (for now).
3644         * cp-tree.h (COMPARE_STRUCTURAL): New.
3645         * pt.c (canonical_template_parms): New.
3646         (canonical_type_parameter): New.
3647         (process_template_parm): Find the canonical type parameter.
3648         (lookup_template_class): When we have named the primary template
3649         type, set the canonical type for our template class to the primary
3650         template type. If any of the template arguments need structural
3651         equality checks, the template class needs structural equality
3652         checks.
3653         (tsubst): When reducing the level of a template template
3654         parameter, we require structural equality tests for the resulting
3655         parameter because its template parameters have not had their types
3656         canonicalized. When reducing a template type parameter, find the
3657         canonical reduced type parameter.
3658         (any_template_arguments_need_structural_equality_p): New.
3659