gcc/cp/ChangeLog

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