gcc/cp/ChangeLog

   1 2010-10-25  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
   2
   3         Implement opaque-enum-specifiers for C++0x.
   4         * cp-tree.h (SET_OPAQUE_ENUM_P): New.
   5         (OPAQUE_ENUM_P): New.
   6         (ENUM_FIXED_UNDERLYING_TYPE_P): New.
   7         (start_enum): Update prototype.
   8         (finish_enum_value_list): New prototype.
   9         * parser.c (cp_parser_elaborated_type_specifier): Issue a pedwarn if
  10         "enum class" is used in an elaborated-type-specifier.
  11         (cp_parser_enum_specifier): Rewrite to parse opaque-enum-specifiers.
  12         * decl.c (copy_type_enum): New.
  13         (finish_enum_value_list): New, with code from finish_enum.
  14         (finish_enum): A lot of code removed. Added a gcc_assert.
  15         (start_enum): Add parameters enumtype and is_new.
  16         Rewrite to work with opaque-enum-specifiers.
  17         * pt.c (maybe_process_partial_specialization): Allow for template
  18         specialization of enumerations, with a pedwarn.
  19         (lookup_template_class): Update call to start_enum. Call to
  20         SET_OPAQUE_ENUM_P.
  21         (tsubst_enum): Call to begin_scope, finish_scope and
  22         finish_enum_value_list.
  23
  24 2010-10-24  Nicola Pero  <nicola.pero@meta-innovation.com>
  25
  26         Removed Objective-C++ specific replacement of cxx_printable_name.
  27         * cp-objcp-common.h: Added LANG_HOOKS_DECL_PRINTABLE_NAME, set
  28         to cxx_printable_name for both C++ and Objective-C++.
  29         * cp-lang.h: Removed LANG_HOOKS_DECL_PRINTABLE_NAME.
  30
  31         * error.c (dump_decl): For Objective-C++, call
  32         objc_maybe_printable_name here ...
  33         * tree.c (cxx_printable_name_internal): ... instead of here.
  34
  35 2010-10-23  Nicola Pero  <nicola.pero@meta-innovation.com>
  36
  37         * tree.c (cxx_printable_name_internal): In Objective-C++, call
  38         objc_maybe_printable_name.
  39
  40 2010-10-22  Jason Merrill  <jason@redhat.com>
  41
  42         PR c++/46129
  43         * pt.c (instantiate_class_template): Don't instantiate default
  44         arguments.
  45
  46         PR c++/46103
  47         * init.c (build_vec_init): Handle memberwise move.
  48
  49 2010-10-21  Paolo Carlini  <paolo.carlini@oracle.com>
  50
  51         PR c++/46117
  52         * call.c (add_function_candidate): Don't use TREE_VALUE on null
  53         parmnode.
  54
  55 2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>
  56
  57         * parser.c (cp_parser_objc_method_type): Mark inline.  Return a
  58         bool instead of calling objc_set_method_type.
  59         (cp_parser_objc_method_signature): Updated calls to
  60         cp_parser_objc_method_type and to objc_build_method_signature.
  61         (cp_parser_objc_method_prototype_list): Updated calls to
  62         objc_add_method_declaration.  Use token->type to determine if it
  63         is a class method or not.
  64         (cp_parser_objc_method_definition_list): Same change.
  65
  66 2010-10-20  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
  67
  68         PR c++/46056
  69         * parser.c (cp_convert_range_for): Call cp_finish_decl
  70         instead of finish_expr_stmt.
  71
  72 2010-10-20  Nicola Pero  <nicola.pero@meta-innovation.com>
  73
  74         * cp-lang.c (finish_file): Removed.
  75         * decl2.c (cp_write_global_declarations): Call
  76         objc_write_global_declarations when compiling Objective-C++.
  77
  78 2010-10-19  Paolo Carlini  <paolo.carlini@oracle.com>
  79
  80         PR c++/46046
  81         * pt.c (add_to_template_args): Check extra_args for error_mark_node.
  82         (coerce_template_parms): Likewise for args.
  83
  84 2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>
  85
  86         Implemented parsing @synthesize and @dynamic for Objective-C++.
  87         * parser.c (cp_parser_objc_method_definition_list): Recognize
  88         RID_AT_SYNTHESIZE and RID_AT_DYNAMIC.
  89         (cp_parser_objc_at_dynamic_declaration): New.
  90         (cp_parser_objc_at_synthesize_declaration): New.
  91
  92 2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>
  93
  94         * parser.c (cp_parser_objc_identifier_list): Check the return
  95         value of cp_parser_identifier and react if it is error_mark_node.
  96
  97 2010-10-18  Nicola Pero  <nicola.pero@meta-innovation.com>
  98
  99         Merge from apple/trunk branch on FSF servers.
 100
 101         2005-03-01 Fariborz Jahanian <fjahanian@apple.com>
 102
 103         Radar 4451818
 104         * call.c (standard_conversion, implicit_conversion): Ignore
 105         'volatile' attribute of artificially volatized type in objc when
 106         evaluating various conversion weights.
 107
 108         2005-11-08  Fariborz Jahanian <fjahanian@apple.com>
 109
 110         Radar 4330422
 111         * typeck.c (comp_ptr_ttypes_real): Remove the hack. un-volatize the
 112         artiificially 'volatized' type before doing pointer comparison.
 113
 114 2010-10-18  Jakub Jelinek  <jakub@redhat.com>
 115
 116         PR c/46015
 117         * semantics.c (finish_goto_stmt): Call mark_rvalue_use on computed
 118         goto destination.
 119
 120 2010-10-17  Nicola Pero  <nicola.pero@meta-innovation.com>
 121
 122         Merge from apple/trunk branch on FSF servers.
 123
 124         2006-04-19 Fariborz Jahanian <fjahanian@apple.com>
 125
 126         Radar 4516785
 127         * parser.c (cp_parser_simple_type_specifier): Don't lookup for
 128         objc object types if type is scope qualified.
 129
 130 2010-10-17  Nicola Pero  <nicola.pero@meta-innovation.com>
 131
 132         Merge from apple/trunk branch on FSF servers.
 133
 134         2006-03-27 Fariborz Jahanian <fjahanian@apple.com>
 135
 136         Radar 4133425
 137         * lex.c (unqualified_name_lookup_error): Issue diagnostic
 138         for private 'ivar' access.
 139
 140 2010-10-17  Iain Sandoe  <iains@gcc.gnu.org>
 141
 142         * parser.c (cp_parser_objc_visibility_spec): Update to use visibility
 143         enum, and handle @package.
 144
 145 2010-10-15  Jason Merrill  <jason@redhat.com>
 146
 147         PR c++/45983
 148         * tree.c (cp_build_qualified_type_real): Don't reuse a variant
 149         with a different typedef variant of the element type.
 150
 151 2010-10-14  Iain Sandoe  <iains@gcc.gnu.org>
 152
 153         merge from FSF apple 'trunk' branch.
 154         2006 Fariborz Jahanian <fjahanian@apple.com>
 155
 156         Radars 4436866, 4505126, 4506903, 4517826
 157         * typeck.c (finish_class_member_access_expr): Handle CLASS.property
 158         syntax.
 159         (cp_build_modify_expr): Likewise.
 160         * parser.c (cp_parser_objc_method_prototype_list): Handle @property.
 161         (cp_parser_objc_method_definition_list): Likewise.
 162         (cp_parser_objc_property_decl): New.
 163         (cp_parser_objc_property_attrlist): New.
 164         (cp_parser_objc_at_property): New.
 165
 166 2010-10-14  Richard Guenther  <rguenther@suse.de>
 167
 168         PR lto/44561
 169         * cp-tree.h (NULLPTR_TYPE_P): Adjust.
 170         * decl.c (cxx_init_decl_processing): Build a NULLPTR_TYPE node,
 171         use build_int_cst.
 172         * error.c (dump_type): Handle NULLPTR_TYPE.
 173         (dump_type_prefix): Likewise.
 174         (dump_type_suffix): Likewise.
 175         * mangle.c (write_type): Likewise.
 176         * name-lookup.c (arg_assoc_type): Likewise.
 177         * rtti.c (typeinfo_in_lib_p): Likewise.
 178         * pt.c (tsubst): Likewise.
 179
 180 2010-10-13  Jason Merrill  <jason@redhat.com>
 181
 182         PR c++/45984
 183         * class.c (fixup_attribute_variants): New fn.
 184         * cp-tree.h: Declare it.
 185         * pt.c (instantiate_class_template): Call it.
 186         * semantics.c (begin_class_definition): Call it.
 187
 188 2010-10-13  Richard Henderson  <rth@redhat.com>
 189
 190         * cp-lang.c (cp_eh_personality): Update call to
 191         build_personality_function.
 192         * except.c (choose_personality_routine): Update function comment.
 193
 194 2010-10-13  Richard Guenther  <rguenther@suse.de>
 195
 196         * tree.c (cp_free_lang_data): Free DECL_NAMESPACE_USERS and
 197         clear DECL_CHAIN of NAMESPACE_DECLs.
 198
 199 2010-10-11  Martin Jambor  <mjambor@suse.cz>
 200
 201         PR c++/45562
 202         * cp-tree.h (current_class_ref): Check that cp_function_chain is
 203         non-NULL.
 204         * call.c (build_cxx_call): Likewise.
 205
 206 2010-10-10  Jason Merrill  <jason@redhat.com>
 207
 208         * pt.c (tsubst_default_argument): Handle DEFAULT_ARG.
 209         (tsubst_default_arguments): Only do this once for cloned fns.
 210         (tsubst): Use typedef_variant_p.  Handle LANG_TYPE.  Don't
 211         handle expressions.
 212         (tsubst_expr): Avoid calling tsubst_expr for non-expressions.
 213         (tsubst_copy_and_build): Likewise.
 214         (tsubst_initializer_list): Likewise.
 215         (tsubst_copy): Change default to gcc_unreachable.  Handle
 216         OVERLOAD and PTRMEM_CST.
 217
 218 2010-10-10  Jason Merrill  <jason@redhat.com>
 219
 220         PR lto/45959
 221         PR lto/45960
 222         * pt.c (tsubst_copy) [INTEGER_CST]: Instantiate the type.
 223
 224 2010-10-07  Andi Kleen  <ak@linux.intel.com>
 225
 226         * Make-lang.in (c++_OBJS): Remove dummy-checksum.o.
 227         (cc1plus-dummy): Remove.
 228         (cc1plus-checksum): Change to run checksum over object files
 229         and options only.
 230
 231 2010-10-08  Joseph Myers  <joseph@codesourcery.com>
 232
 233         * cp-objcp-common.h (LANG_HOOKS_INIT_OPTIONS_STRUCT): Define.
 234
 235 2010-10-07  Nicola Pero  <nicola.pero@meta-innovation.com>
 236
 237         * cp-tree.def: Changed type of AT_ENCODE_EXPR from tcc_unary to
 238         tcc_expression.
 239         * cxx-pretty-print.c (pp_cxx_unary_expression): Added case for
 240         AT_ENCODE_EXPR.
 241         * error.c (dump_expr): Added case for AT_ENCODE_EXPR.
 242         * pt.c (tsubst_copy): Added case for AT_ENCODE_EXPR.
 243         (value_dependent_expression_p): Added case for AT_ENCODE_EXPR.
 244         (type_dependent_expression_p): Added case for AT_ENCODE_EXPR.
 245         * parser.c (cp_parser_objc_encode_expression): Updated comment.
 246
 247 2010-10-07  Nicola Pero  <nicola@nicola.brainstorm.co.uk>
 248
 249         Merge from apple/trunk branch on FSF servers.
 250
 251         2006-04-26  Fariborz Jahanian <fjahanian@apple.com>
 252
 253         Radar 4508851
 254         * parser.c (cp_parser_objc_interstitial_code): Recognize
 255         and parse RID_NAMESPACE keyword.
 256
 257 2010-10-07  Iain Sandoe  <iains@gcc.gnu.org>
 258
 259         * parser.c (cp_parser_objc_method_tail_params_opt): Peek new token after
 260         finding ellipsis, before checking for attributes.
 261
 262 2010-10-06  Nicola Pero  <nicola.pero@meta-innovation.com>
 263
 264         Merge from apple/trunk branch on FSF servers.
 265         * cp-tree.def: Added AT_ENCODE_EXPR here instead of to the no
 266         longer existing gcc/c-common.def.
 267
 268         2005-12-14  Fariborz Jahanian <fjahanian@apple.com>
 269
 270         Radar 4278774
 271         * pt.c (tsubst_copy_and_build): Instantiate @endcode(T).
 272         * parser.c (cp_parser_objc_encode_expression): Build a templatized
 273         parse tree for @encode(T).
 274
 275         2005-12-14  Fariborz Jahanian <fjahanian@apple.com>
 276
 277         Radar 4278774
 278         * c-common.def: Add new expression code AT_ENCODE_EXPR.
 279
 280 2010-10-06  Eric Botcazou  <ebotcazou@adacore.com>
 281
 282         PR c++/45908
 283         * typeck.c (cp_build_addr_expr_1): Add check for incomplete types in
 284         code folding offsetof-like computations.
 285
 286 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
 287
 288         PR objc++/31125
 289         * parser.c (cp_parser_objc_class_interface): If no identifier
 290         follows an @interface token, stop parsing the interface after
 291         printing an error.
 292         (cp_parser_objc_class_implementation): If no identifier follows an
 293         @implementation token, stop parsing the implementation after
 294         printing an error.
 295
 296 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
 297
 298         PR objc++/23707
 299         * parser.c (cp_parser_objc_method_keyword_params): If the required
 300         colon is not found while parsing parameters, stop parsing them.
 301
 302 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
 303
 304         PR objc++/31126
 305         * parser.c (cp_parser_objc_class_ivars): Do not eat the EOF or
 306         @end after detecting it.  Print an error if @end is found without
 307         a '}'.
 308         (cp_parser_objc_method_prototype_list): Do not eat the EOF after
 309         detecting it.  Fixed reading the next token when continuing
 310         because of an error in a method signature.  Print an error if EOF
 311         is found without an '@end'.
 312         (cp_parser_objc_method_definition_list): Same change.
 313
 314 2010-10-05  Nicola Pero  <nicola.pero@meta-innovation.com>
 315
 316         Merge from apple/trunk branch on FSF servers:
 317
 318         2005-10-17  Fariborz Jahanian <fjahanian@apple.com>
 319
 320         Radar 4290840
 321         * parser.c (cp_parser_objc_method_keyword_params): Check for valid
 322         method parameters and issue error.
 323         (cp_parser_objc_method_definition_list): Check for invalid tokens
 324         which cannot start a function definition.
 325
 326         2005-10-14  Fariborz Jahanian <fjahanian@apple.com>
 327
 328         Radar 4294425
 329         * parser.c (cp_parser_objc_message_args): Check for missing message
 330         arguments and syntax error.
 331
 332         2005-10-13  Fariborz Jahanian <fjahanian@apple.com>
 333
 334         Radar 4261146
 335         * parser.c (cp_parser_objc_class_ivars): Check for @end/eof while
 336         looking for '}'.
 337
 338         2005-08-15  Ziemowit Laski  <zlaski@apple.com>
 339
 340         Radar 4093475
 341         * parser.c (cp_parser_objc_interstitial_code): Catch stray
 342         '{' and '}' tokens and issue appropriate errors.
 343
 344         2005-08-02  Ziemowit Laski  <zlaski@apple.com>
 345
 346         Radar 4185810
 347         (cp_parser_statement_seq_opt): In addition to '}' and
 348         end-of-file, a statement sequence may also be terminated
 349         by a stray '@end'.
 350
 351 2010-10-05  Joseph Myers  <joseph@codesourcery.com>
 352
 353         * cp-tree.h (cxx_print_error_function,
 354         cxx_initialize_diagnostics): Declare using diagnostic_context
 355         typedef.
 356
 357 2010-10-04  Andi Kleen <ak@linux.intel.com>
 358
 359         * Make-lang.in (g++, cc1plus): Add + to build rule.
 360
 361 2010-10-04  Jason Merrill  <jason@redhat.com>
 362
 363         * tree.c (decl_storage_duration): New.
 364         * cp-tree.h: Declare it.
 365         (duration_kind): Return values.
 366
 367 2010-10-03  Jason Merrill  <jason@redhat.com>
 368
 369         * typeck.c (require_complete_type_sfinae): Add complain parm to...
 370         (require_complete_type): ...this function.
 371         (cp_build_array_ref, convert_arguments): Use it.
 372         (convert_for_initialization, cp_build_modify_expr): Likewise.
 373         * cp-tree.h: Declare it.
 374         * call.c (build_over_call): Use it.
 375
 376 2010-09-30  Iain Sandoe  <iains@gcc.gnu.org>
 377
 378         merge from FSF 'apple/trunk' branch.
 379         2006-01-30  Fariborz Jahanian <fjahanian@apple.com>
 380
 381         Radar 4386773
 382         * cp/parser.c (cp_parser_objc_interstitial_code): For
 383         @optional/@required set the optional/required flag.
 384
 385 2010-09-30  Nicola Pero  <nicola.pero@meta-innovation.com>
 386
 387         * parser.c (cp_lexer_get_preprocessor_token): Tidied up comments
 388         and indentation when finding an Objective-C++ CPP_AT_NAME token.
 389
 390 2010-09-29  Richard Guenther  <rguenther@suse.de>
 391
 392         * cp-tree.h (CP_DECL_CONTEXT): Check DECL_FILE_SCOPE_P.
 393         (CP_TYPE_CONTEXT): Similar.
 394         (FROB_CONTEXT): Frob global_namespace to the global
 395         TRANSLATION_UNIT_DECL.
 396         * decl.c (cxx_init_decl_processing): Build a TRANSLATION_UNIT_DECL,
 397         set DECL_CONTEXT of global_namespace to it.
 398         (start_decl): Use CP_DECL_CONTEXT and test TYPE_P
 399         instead of zeroing context.
 400         (cp_finish_decl): Use DECL_FILE_SCOPE_P.
 401         (grokfndecl): Likewise.
 402         (start_preparsed_function): Likewise.
 403         * name-lookup.c (maybe_push_decl): Use DECL_NAMESPACE_SCOPE_P.
 404         (namespace_binding): Use SCOPE_FILE_SCOPE_P.
 405         * pt.c (template_class_depth): Use CP_TYPE_CONTEXT.
 406         (is_specialization_of_friend): Use CP_DECL_CONTEXT.
 407         (push_template_decl_real): Likewise.
 408         (tsubst_friend_class): Likewise.  Adjust context comparisons.
 409         (instantiate_class_template): Use CP_TYPE_CONTEXT.
 410         (tsubst): Do not substitute into TRANSLATION_UNIT_DECL.
 411         * cxx-pretty-print.c (pp_cxx_nested_name_specifier): Use
 412         SCOPE_FILE_SCOPE_P.
 413
 414 2010-09-29  Yao Qi  <yao@codesourcery.com>
 415
 416         * decl.c (get_atexit_node): Fix typo.
 417
 418 2010-09-28  Jason Merrill  <jason@redhat.com>
 419
 420         * tree.c (lvalue_kind): Rename from lvalue_p_1, make nonstatic.
 421         (real_lvalue_p): Take const_tree.
 422         * cp-tree.h: Adjust.
 423         * typeck.c (lvalue_or_else): Make temporary arg a permerror.
 424         (cp_build_addr_expr_1): Likewise.
 425
 426 2010-09-28  Iain Sandoe  <iains@gcc.gnu.org>
 427
 428         Partially merged from apple/trunk branch on FSF servers:
 429         2006-04-26 Fariborz Jahanian <fjahanian@apple.com>
 430         Radar 3803157 (method attributes)
 431
 432         * parser.c (cp_parser_objc_method_keyword_params): Handle attributes.
 433         (cp_parser_objc_method_tail_params_opt): Likewise.
 434         (cp_parser_objc_method_signature): Likewise.
 435         (cp_parser_objc_method_maybe_bad_prefix_attributes): New.
 436         (cp_parser_objc_method_prototype_list): Handle attributes.
 437         (cp_parser_objc_method_definition_list): Likewise.
 438
 439 2010-09-28  Richard Henderson  <rth@redhat.com>
 440
 441         * cp-lang.c: Include "target.h".
 442         (cp_eh_personality): Use targetm.except_unwind_info.
 443         * Make-lang.in (cp-lang.o): Update deps.
 444
 445 2010-09-28  Iain Sandoe  <iains@gcc.gnu.org>
 446
 447         * parser.c (cp_parser_objc_valid_prefix_attributes): New.
 448         (cp_parser_declaration): Parse prefix attributes for ObjC++.
 449         (cp_parser_objc_protocol_declaration): Handle attributes.
 450         (cp_parser_objc_class_interface): Likewise.
 451         (cp_parser_objc_declaration): Likewise.
 452
 453 2010-09-27  Jason Merrill  <jason@redhat.com>
 454
 455         Require lvalues as specified by the standard.
 456         * typeck.c (lvalue_or_else): Use real_lvalue_p.
 457         (cp_build_addr_expr_1): Split out of cp_build_unary_op.
 458         (cp_build_addr_expr, cp_build_addr_expr_strict): Interfaces.
 459         (decay_conversion, get_member_function_from_ptrfunc): Adjust.
 460         (build_x_unary_op, build_reinterpret_cast_1): Adjust.
 461         (build_const_cast_1): Adjust.
 462         * cp-tree.h: Declare new fns.
 463         * call.c (build_this, convert_like_real, build_over_call): Adjust.
 464         (initialize_reference): Adjust.
 465         * class.c (build_base_path, convert_to_base_statically): Adjust.
 466         (build_vfn_ref, resolve_address_of_overloaded_function): Adjust.
 467         * cvt.c (build_up_reference, convert_to_reference): Adjust.
 468         * decl.c (register_dtor_fn): Adjust.
 469         * decl2.c (build_offset_ref_call_from_tree): Adjust.
 470         * except.c (initialize_handler_parm): Adjust.
 471         * init.c (build_offset_ref, build_delete, build_vec_delete): Adjust.
 472         * rtti.c (build_dynamic_cast_1, tinfo_base_init): Adjust.
 473         * tree.c (stabilize_expr): Adjust.
 474
 475 2010-09-27  Nicola Pero  <nicola.pero@meta-innovation.com>
 476
 477         Merge from apple/trunk branch on FSF servers:
 478
 479         2005-12-15  Fariborz Jahanian <fjahanian@apple.com>
 480
 481         Radar 4229905
 482         * typeck.c (composite_pointer_type): Call objc_have_common_type
 483         when comparing two objective-c pointer types.
 484
 485         2005-07-18  Ziemowit Laski  <zlaski@apple.com>
 486
 487         Radar 4175534
 488         * call.c (standard_conversion): Do not issue warnings when
 489         comparing ObjC pointer types.
 490
 491         2005-06-22  Ziemowit Laski  <zlaski@apple.com>
 492
 493         Radar 4154928
 494         * call.c (standard_conversion): Allow for a pointer conversion
 495         between any two ObjC pointer types.
 496         * typeck.c (composite_pointer_type): Determine common type
 497         for two ObjC pointer types.
 498
 499 2010-09-24  Jan Hubicka  <jh@suse.cz>
 500
 501         * decl.c (finish_function): Use decl_replaceable_p
 502         * method.c (make_alias_for_thunk): Update call of
 503         cgraph_same_body_alias.
 504
 505 2010-09-24  Jason Merrill  <jason@redhat.com>
 506
 507         * decl.c (compute_array_index_type): Remember type dependence of
 508         array bound.
 509         * pt.c (dependent_type_p_r): Don't recompute it here.
 510
 511         * error.c (dump_expr) [CASE_CONVERT]: Print conversion between
 512         reference and pointer to the same type as "*" or "&".
 513
 514 2010-09-24  Nicola Pero  <nicola.pero@meta-innovation.com>
 515
 516         * typeck.c (warn_args_num): Use warning 'too many arguments to
 517         method [methodname]' for an Objective-C method instead of the less
 518         satisfactory 'too many arguments to function' (with no method
 519         name).
 520
 521 2010-09-21  Jason Merrill  <jason@redhat.com>
 522
 523         * mangle.c (write_expression) [SCOPE_REF]: Only do -fabi-version=1
 524         special handling if we know the member.
 525
 526 2010-09-18  Jason Merrill  <jason@redhat.com>
 527
 528         * call.c (compare_ics): Do lvalue/rvalue reference binding
 529         comparison for ck_list, too.
 530
 531 2010-09-15  Jason Merrill  <jason@redhat.com>
 532
 533         * semantics.c (finish_id_expression): Diagnose use of function
 534         parms in evaluated context outside function body.
 535
 536         * decl2.c (grokbitfield): Diagnose non-integral width.
 537
 538         * call.c (convert_like_real): Use the underlying type of the
 539         reference for the temporary.
 540
 541 2010-09-15  Jakub Jelinek  <jakub@redhat.com>
 542
 543         PR c++/45635
 544         * class.c (build_vtbl_initializer): Use fn instead of init's operand
 545         as first argument to FDESC_EXPR.
 546
 547 2010-09-15  Paolo Carlini  <paolo.carlini@oracle.com>
 548
 549         PR c++/45665
 550         * decl.c (grokdeclarator): Check build_memfn_type return value
 551         for error_mark_node.
 552
 553 2010-09-13  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 554
 555         * semantics.c (finish_for_stmt): Always test flag_new_for_scope.
 556         (begin_range_for_stmt): Likewise.
 557
 558 2010-09-11  Rodrigo Rivas <rodrigorivascosta@gmail.com>
 559
 560         Implement range-based for-statements.
 561         * cp-tree.def (RANGE_FOR_STMT): New.
 562         * cp-tree.h (RANGE_FOR_DECL, RANGE_FOR_EXPR, RANGE_FOR_BODY): New.
 563         (cp_convert_range_for): Declare.
 564         * pt.c (tsubst_expr): Add RANGE_FOR_STMT.
 565         (tsubst_copy_and_build): perform_koenig_lookup takes extra argument.
 566         * semantics.c (begin_range_for_stmt): New.
 567         (finish_range_for_decl): New.
 568         (finish_for_stmt): Accept also RANGE_FOR_STMT.
 569         (perform_koenig_lookup): Add extra argument include_std.
 570         * parser.c (cp_parser_c_for): New with code from
 571         cp_parser_iteration_statement().
 572         (cp_parser_range_for): New.
 573         (cp_convert_range_for): New.
 574         (cp_parser_iteration_statement): Add range-for support.
 575         (cp_parser_condition): Adjust comment.
 576         (cp_parser_postfix_expression): perform_koenig_lookup takes extra
 577         argument.
 578         * dump.c (cp_dump_tree): Add RANGE_FOR_STMT.
 579         * cxx-pretty-print.c: Likewise.
 580         * lex.c (cxx_init): Likewise.
 581         * name-lookup.c (lookup_function_nonclass): Add extra argument
 582         include_std.
 583         (lookup_arg_dependent): Likewise.
 584         * name-lookup.h: Likewise.
 585
 586 2010-09-10  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 587
 588         PR c++/43824
 589         * error.c (maybe_warn_cpp0x): Add new warning
 590         CPP0X_INLINE_NAMESPACES.
 591         * parser.c (cp_parser_namespace_definition): Likewise.
 592         * cp-tree.h (cpp0x_warn_str): Likewise.
 593
 594 2010-09-10  Richard Guenther  <rguenther@suse.de>
 595
 596         * decl.c (reshape_init_vector): For VECTOR_TYPEs, use
 597         TYPE_VECTOR_SUBPARTS instead of TYPE_DEBUG_REPRESENTATION_TYPE.
 598
 599 2010-09-10  Jan Hubicka  <jh@suse.cz>
 600
 601         PR tree-optimization/45605
 602         * cp/class.c (build_vtbl_initializer): Avoid wrong type conversion in
 603         ADDR_EXPR.
 604
 605 2010-09-08  Jakub Jelinek  <jakub@redhat.com>
 606
 607         PR c++/45588
 608         * pt.c (tsubst) <case INTEGER_TYPE>: Call mark_rvalue_use
 609         before calling fold_decl_constant_value.
 610
 611 2010-09-07  Arnaud Charlet  <charlet@adacore.com>
 612
 613         * cp-tree.h (build_enumerator): Add new location_t parameter.
 614         (build_lang_decl_loc): New function.
 615         * decl.c (build_enumerator): New parameter loc. Use it when calling
 616         build_decl. Replace build_lang_decl with build_lang_decl_loc.
 617         * pt.c (tsubst_enum): Adjust call to build_enumerator.
 618         * parser.c (cp_parser_enumerator_definition): Ditto.
 619         * lex.c (build_lang_decl_loc): New function.
 620
 621 2010-09-06  Dodji Seketeli  <dodji@redhat.com>
 622
 623         PR c++/45200
 624         PR c++/45293
 625         PR c++/45558
 626         * tree.c (strip_typedefs): Strip typedefs from the context of
 627         TYPENAME_TYPEs.
 628
 629 2010-09-06  Mark Mitchell  <mark@codesourcery.com>
 630
 631         * typeck.c (cp_build_binary_op): Call do_warn_double_promotion.
 632         * call.c (build_conditional_expr): Likewise.
 633         (convert_arg_to_ellipsis): Likewise.
 634
 635 2010-09-06  Arnaud Charlet  <charlet@adacore.com>
 636
 637         * parser.c (make_pointer_declarator, make_reference_declarator,
 638         make_call_declarator, make_array_declarator): Set declarator->id_loc.
 639         (cp_parser_init_declarator): Adjust location of decl if appropriate.
 640
 641 2010-09-06  Jason Merrill  <jason@redhat.com>
 642
 643         * call.c (implicit_conversion): Fix value-init of enums.
 644         (convert_like_real): Likewise.
 645
 646         * decl.c (cp_finish_decl): Don't change init for auto deduction.
 647
 648         * pt.c (fold_non_dependent_expr_sfinae): Split out from...
 649         (fold_non_dependent_expr): ...here.
 650         (convert_nontype_argument): Use it.  Take complain parm.
 651         Use perform_implicit_conversion instead of ocp_convert.
 652         Allow cv-qual changes.
 653         (convert_template_argument): Pass complain down.
 654         (tsubst_template_arg): Suppress constant expression warnings.
 655         Don't fold here.
 656
 657         * method.c (synthesized_method_walk): In constructors, also check
 658         subobject destructors.
 659
 660         * semantics.c (finish_compound_literal): Always build a
 661         TARGET_EXPR.
 662
 663 2010-08-30  Paolo Carlini  <paolo.carlini@oracle.com>
 664
 665         PR c++/45043
 666         * decl.c (grokdeclarator): Use MAIN_NAME_P only on IDENTIFIER_NODEs.
 667
 668 2010-08-30  Jakub Jelinek  <jakub@redhat.com>
 669
 670         PR middle-end/45423
 671         * parser.c (cp_parser_omp_atomic): Handle boolean
 672         {PRE,POST}_INCREMENT.
 673
 674 2010-08-29  Jason Merrill  <jason@redhat.com>
 675
 676         PR c++/44991
 677         * parser.c (cp_parser_parameter_declaration): Pop parameter decls
 678         after tentative parsing.
 679
 680 2010-08-22  Joseph Myers  <joseph@codesourcery.com>
 681
 682         * Make-lang.in (g++spec.o): Update dependencies.
 683         * g++spec.c: Include opts.h
 684         (MATH_LIBRARY, LIBSTDCXX): Remove initial "-l".
 685         (lang_specific_driver): Use cl_decoded_option structures.
 686
 687 2010-08-20  Nathan Froyd  <froydnj@codesourcery.com>
 688
 689         * call.c: Use FOR_EACH_VEC_ELT.
 690         * class.c: Likewise.
 691         * decl.c: Likewise.
 692         * decl2.c: Likewise.
 693         * error.c: Likewise.
 694         * except.c: Likewise.
 695         * mangle.c: Likewise.
 696         * method.c: Likewise.
 697         * name-lookup.c: Likewise.
 698         * parser.c: Likewise.
 699         * pt.c: Likewise.
 700         * repo.c: Likewise.
 701         * semantics.c: Likewise.
 702         * typeck2.c: Likewise.
 703
 704 2010-08-19  Jason Merrill  <jason@redhat.com>
 705
 706         * call.c (reference_related_p): Check for error_mark_node.
 707         (add_function_candidate): Check it instead of
 708         same_type_ignoring_top_level_qualifiers_p.
 709
 710         PR c++/45315
 711         * init.c (build_new_1): Don't use build_value_init in a template.
 712         (build_value_init): Make sure we don't.
 713
 714         PR c++/45307
 715         * cp-gimplify.c (cp_gimplify_expr): Also remove assignment
 716         of empty class CONSTRUCTOR.
 717
 718         * except.c (pending_noexcept, pending_noexcept_checks): New.
 719         (perform_deferred_noexcept_checks): New.
 720         (maybe_noexcept_warning): Split from...
 721         (finish_noexcept_expr): ...here.  Adjust.
 722         * decl2.c (cp_write_global_declarations): Call
 723         perform_deferred_noexcept_checks.
 724         * cp-tree.h: And declare it.
 725
 726 2010-08-18  Nathan Froyd  <froydnj@codesourcery.com>
 727
 728         PR c++/45049
 729         * name-lookup.c (push_overloaded_decl): Change DECL_CHAIN to
 730         TREE_CHAIN.
 731
 732 2010-08-17  Kai Tietz  <kai.tietz@onevision.com>
 733
 734         * class.c (note_name_declared_in_class): Make in 'extern "C"' blocks,
 735         or if -fms-extensions is enabled check, check permissive.
 736
 737 2010-08-09  Jason Merrill  <jason@redhat.com>
 738
 739         PR c++/45236
 740         * pt.c (lookup_template_class): Don't re-coerce outer parms.
 741
 742 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
 743
 744         * call.c (add_builtin_candidates): Use VECs for local variable
 745         `types'.  Adjust remainder of function accordingly.
 746
 747 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
 748
 749         * name-lookup.c (is_associated_namespace): Convert local variables
 750         to be VECs instead of TREE_LISTs.
 751
 752 2010-08-09  Nathan Froyd  <froydnj@codesourcery.com>
 753
 754         * tree.c (varargs_function_p): Use stdarg_p.
 755
 756 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
 757
 758         * parser.c (cp_default_arg_entry): Declare.  Declare a VEC of it.
 759         (cp_unparsed_functions_entry): Declare.  Declare a VEC of it.
 760         (cp_parser) [unparsed_functions_queues]: Rename to unparsed_queues.
 761         Change type to a VEC.
 762         (unparsed_funs_with_default_args): Define.
 763         (unparsed_funs_with_definitions): Define.
 764         (push_unparsed_function_queues): New function.
 765         (cp_parser_new): Call it.
 766         (pop_unparsed_function_queues): New function.
 767         (cp_parser_class_specifier): Adjust processing of unparsed functions.
 768         (cp_parser_template_declaration_after_export): Use VEC_safe_push.
 769         (cp_parser_save_member_function_body): Likewise.
 770         (cp_parser_late_parsing_for_member): Call push_unparsed_function_queues
 771         and pop_unparsed_function_queues.
 772         (cp_parser_late_parsing_default_args): Likewise.
 773         (cp_parser_save_default_args): Use VEC_safe_push.
 774
 775 2010-08-07  Nathan Froyd  <froydnj@codesourcery.com>
 776
 777         * name-lookup.h (cp_label_binding): Declare.  Declare a VEC type
 778         containing it.
 779         (cp_binding_level): Convert shadowed_labels and dead_vars_from_for
 780         fields to VECs.
 781         * decl.c (poplevel): Adjust for type changes.
 782         (declare_local_label): Likewise.
 783
 784 2010-08-06  Jason Merrill  <jason@redhat.com>
 785
 786         * typeck.c (complete_type_or_maybe_complain): Split out from...
 787         (complete_type_or_else): Here.
 788         (build_class_member_access_expr): Call it.
 789         (finish_class_member_access_expr): Likewise.
 790         * call.c (build_special_member_call): Likewise.
 791         * cvt.c (build_expr_type_conversion): Likewise.
 792         * init.c (build_new): Likewise.
 793         * typeck2.c (build_functional_cast): Likewise.
 794         * cp-tree.h: Declare it.
 795
 796         * init.c (build_value_init): Add complain parm.
 797         (build_value_init_noctor): Likewise.
 798         (perform_member_init): Pass it.
 799         (expand_aggr_init_1): Likewise.
 800         (build_new_1): Likewise.
 801         (build_vec_init): Likewise.
 802         * pt.c (tsubst_expr): Likewise.
 803         * typeck2.c (build_functional_cast): Likewise.
 804         * cp-tree.h: Adjust.
 805         * tree.c (build_target_expr_with_type): Handle error_mark_node.
 806
 807         * typeck.c (decay_conversion): Any expression with type nullptr_t
 808         decays to nullptr.
 809
 810 2010-07-30  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
 811
 812         PR c++/45112
 813         * decl.c (duplicate_decls): Merge DECL_USER_ALIGN and DECL_PACKED.
 814
 815 2010-07-27  Jason Merrill  <jason@redhat.com>
 816
 817         * pt.c (tsubst_expr) [DECL_EXPR]: Handle getting an AGGR_INIT_EXPR
 818         from build_value_init.
 819         * init.c (build_value_init_noctor): Give error for unknown array
 820         bound.
 821
 822 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
 823
 824         * cp-objcp-common.h (LANG_HOOKS_MISSING_ARGUMENT): Remove.
 825
 826 2010-07-27  Joseph Myers  <joseph@codesourcery.com>
 827
 828         * cp-objcp-common.c (cxx_initialize_diagnostics): First call
 829         c_common_initialize_diagnostics.
 830         * cp-objcp-common.h (LANG_HOOKS_OPTION_LANG_MASK,
 831         LANG_HOOKS_COMPLAIN_WRONG_LANG_P): Define.
 832
 833 2010-07-21  Jason Merrill  <jason@redhat.com>
 834
 835         * tree.c (cp_tree_equal): Fix CONSTRUCTOR handling.
 836
 837         * parser.c (cp_parser_init_declarator): Pass LOOKUP_NORMAL
 838         to cp_finish_decl.
 839
 840 2010-07-20  Jeffrey Yasskin  <jyasskin@google.com>
 841
 842         PR c++/44641
 843         * pt.c (instantiate_class_template): Propagate the template's
 844         location to its instance.
 845
 846 2010-07-20  Jason Merrill  <jason@redhat.com>
 847
 848         PR c++/44967
 849         * pt.c (tsubst_copy_and_build): Rework last change.
 850
 851         PR c++/44967
 852         * pt.c (tsubst_copy_and_build): Handle partial substitution of
 853         CALL_EXPR.
 854
 855 2010-07-19  Jason Merrill  <jason@redhat.com>
 856
 857         PR c++/44996
 858         * semantics.c (finish_decltype_type): Correct decltype
 859         of parenthesized rvalue reference variable.
 860
 861         PR c++/44969
 862         * tree.c (cp_tree_equal): Compare type of *CAST_EXPR.
 863         * pt.c (iterative_hash_template_arg): Hash type of *CAST_EXPR.
 864
 865 2010-07-19  Paolo Carlini  <paolo.carlini@oracle.com>
 866
 867         PR c++/44969
 868         * typeck.c (build_x_compound_expr_from_list): Add tsubst_flags_t
 869         parameter.
 870         * cp-tree.h: Adjust declaration.
 871         * init.c (perform_member_init): Adjust caller.
 872         * decl.c (grok_reference_init, cp_finish_decl): Likewise.
 873         * typeck2.c (store_init_value): Likewise.
 874         (build_functional_cast): Pass complain argument to
 875         build_x_compound_expr_from_list.
 876
 877 2010-07-16  Jason Merrill  <jason@redhat.com>
 878
 879         PR c++/32505
 880         * pt.c (process_partial_specialization): Diagnose partial
 881         specialization after instantiation.
 882         (most_specialized_class): Add complain parm.
 883
 884         * ptree.c (cxx_print_xnode): Handle TEMPLATE_INFO.
 885
 886 2010-07-15  Nathan Froyd  <froydnj@codesourcery.com>
 887
 888         * init.c (build_new_1): Use cp_build_function_call_nary instead of
 889         cp_build_function_call.
 890
 891 2010-07-15  Jason Merrill  <jason@redhat.com>
 892
 893         PR c++/44909
 894         * call.c (add_function_candidate): If we're working on an implicit
 895         declaration, don't consider candidates that won't match.
 896         * typeck.c (same_type_ignoring_top_level_qualifiers_p): Now a fn.
 897         * cp-tree.h (same_type_ignoring_top_level_qualifiers_p): Adjust.
 898
 899         Revert:
 900         * cp-tree.h (struct lang_type_class): Add has_user_opeq.
 901         (TYPE_HAS_USER_OPEQ): New.
 902         * decl.c (grok_special_member_properties): Set it.
 903         * class.c (add_implicitly_declared_members): Don't lazily declare
 904         constructors/operator= if a base or member has a user-declared one.
 905         (check_bases_and_members, check_bases): Adjust.
 906         (check_field_decls, check_field_decl): Adjust.
 907
 908 2010-07-15  Anatoly Sokolov  <aesok@post.ru>
 909
 910         * decl.c (integer_three_node): Remove.
 911         (cxx_init_decl_processing): Do not initialize the integer_three_node.
 912         * cp-tree.h (integer_three_node): Remove.
 913
 914 2010-07-15  Nathan Froyd  <froydnj@codesourcery.com>
 915
 916         * cp-tree.h: Carefully replace TREE_CHAIN with DECL_CHAIN.
 917         * call.c: Likewise.
 918         * class.c: Likewise.
 919         * cp-gimplify.c: Likewise.
 920         * decl.c: Likewise.
 921         * decl2.c: Likewise.
 922         * init.c: Likewise.
 923         * mangle.c: Likewise.
 924         * name-lookup.c: Likewise.
 925         * optimize.c: Likewise.
 926         * parser.c: Likewise.
 927         * pt.c: Likewise.
 928         * rtti.c: Likewise.
 929         * search.c: Likewise.
 930         * semantics.c: Likewise.
 931         * typeck.c: Likewise.
 932         * typeck2.c: Likewise.
 933
 934 2010-07-14  Jason Merrill  <jason@redhat.com>
 935
 936         * init.c (sort_mem_initializers): Rename "field_type" to "ctx".
 937         (build_field_list): Cache field type.
 938
 939         Implement C++0x unrestricted unions (N2544)
 940         * class.c (check_field_decl): Loosen union handling in C++0x.
 941         * method.c (walk_field_subobs): Split out from...
 942         (synthesized_method_walk): ...here.  Set msg before loops.
 943         (process_subob_fn): Check for triviality in union members.
 944         * init.c (sort_mem_initializers): Splice out uninitialized
 945         anonymous unions and union members.
 946         (push_base_cleanups): Don't automatically destroy anonymous unions
 947         and union members.
 948
 949 2010-07-13  Jason Merrill  <jason@redhat.com>
 950
 951         PR c++/44909
 952         * cp-tree.h (struct lang_type_class): Add has_user_opeq.
 953         (TYPE_HAS_USER_OPEQ): New.
 954         * decl.c (grok_special_member_properties): Set it.
 955         * class.c (add_implicitly_declared_members): Don't lazily declare
 956         constructors/operator= if a base or member has a user-declared one.
 957         (check_bases_and_members, check_bases): Adjust.
 958         (check_field_decls, check_field_decl): Adjust.
 959         * method.c (synthesized_method_walk): Initialize check_vdtor.
 960
 961         PR c++/44540
 962         * mangle.c (write_type): Canonicalize.
 963         (canonicalize_for_substitution): Retain cv-quals on FUNCTION_TYPE.
 964         (write_CV_qualifiers_for_type): Ignore them in abi>=5.
 965
 966 2010-07-13  Paolo Carlini  <paolo.carlini@oracle.com>
 967
 968         PR c++/44908
 969         * call.c (convert_like_real): Adjust convert_ptrmem call, pass
 970         complain argument.
 971         * typeck.c (get_delta_difference): Update prototype, add a
 972         tsubst_flags_t parameter; update get_delta_difference_1 calls and
 973         add checks for error_mark_node.
 974         (get_delta_difference_1): Update prototype, add a tsubst_flags_t
 975         parameter; update lookup_base call.
 976         (build_ptrmemfunc): Update prototype, add a tsubst_flags_t
 977         parameter; update get_delta_difference call and add check for
 978         error_mark_node.
 979         (convert_ptrmem): Update prototype, add a tsubst_flags_t
 980         parameter; update get_delta_difference call and add check for
 981         error_mark_node;  update build_ptrmemfunc call.
 982         (build_static_cast_1): Adjust convert_ptrmem call.
 983         (expand_ptrmemfunc_cst): Adjust get_delta_difference call.
 984         (cp_build_unary_op): Adjust build_ptrmemfunc call.
 985         * cvt.c (cp_convert_to_pointer, convert_force): Adjust convert_ptrmem
 986         and build_ptrmemfunc calls.
 987         * cp-tree.h: Update build_ptrmemfunc and convert_ptrmem prototypes.
 988
 989 2010-07-12  Paolo Carlini  <paolo.carlini@oracle.com>
 990
 991         PR c++/44907
 992         * call.c (build_temp): Add tsubst_flags_t complain parameter;
 993         adjust build_special_member_call call, pass complain.
 994         (convert_like_real): Adjust build_temp call, pass complain.
 995
 996 2010-07-09  Jason Merrill  <jason@redhat.com>
 997
 998         PR c++/43120
 999         * cp-tree.h (BV_LOST_PRIMARY): New macro.
1000         * class.c (update_vtable_entry_for_fn): Fix covariant thunk logic.
1001         Set BV_LOST_PRIMARY.
1002         (build_vtbl_initializer): Check BV_LOST_PRIMARY.
1003
1004 2010-07-08  Jason Merrill  <jason@redhat.com>
1005
1006         PR c++/43120
1007         * class.c (update_vtable_entry_for_fn): Fix handling of dummy
1008         virtual bases for covariant thunks.
1009
1010 2010-07-08  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1011
1012         * cp-tree.h: Do not include toplev.h.
1013
1014 2010-07-06  Jason Merrill  <jason@redhat.com>
1015
1016         PR c++/44703
1017         * call.c (is_std_init_list): Look through typedefs.
1018
1019         PR c++/44778
1020         * init.c (build_offset_ref): If scope isn't dependent,
1021         don't exit early.  Look at TYPE_MAIN_VARIANT.
1022         * pt.c (tsubst_copy) [OFFSET_REF]: Do substitution.
1023
1024         * error.c (dump_function_decl): Don't crash on null DECL_NAME.
1025
1026 2010-07-06  Shujing Zhao  <pearly.zhao@oracle.com>
1027
1028         * cp-tree.h (impl_conv_void): New type.
1029         (convert_to_void): Adjust prototype.
1030         * cvt.c (convert_to_void): Use impl_conv_void, emit and adjust the
1031         diagnostic for easy translation. Change caller.
1032         * typeck.c: Update call to convert_to_void.
1033         * semantics.c: Likewise.
1034         * init.c: Likewise.
1035
1036 2010-07-05  Nathan Froyd  <froydnj@codesourcery.com>
1037
1038         * decl.c (cp_finish_decl): Call add_local_decl.
1039         * optimize.c (clone_body): Adjust for new type of cfun->local_decls.
1040
1041 2010-07-05  Paolo Carlini  <paolo.carlini@oracle.com>
1042
1043         * pt.c (tsubst): Early declare code = TREE_CODE (t) and use it
1044         throughout.
1045
1046 2010-07-05  Shujing Zhao  <pearly.zhao@oracle.com>
1047
1048         PR c++/22138
1049         * parser.c (cp_parser_primary_expression): Error if local template is
1050         declared.
1051
1052 2010-07-02  Le-Chun Wu  <lcwu@google.com>
1053
1054         PR/44128
1055         * name-lookup.c (pushdecl_maybe_friend): Warn when a local decl
1056         (variable or type) shadows another type.
1057
1058 2010-07-02  Jakub Jelinek  <jakub@redhat.com>
1059
1060         PR c++/44780
1061         * typeck.c (convert_for_assignment): When converting a convertible
1062         vector type or objc++ types, call mark_rvalue_use.
1063         * typeck2.c (build_m_component_ref): Use return values from
1064         mark_rvalue_use or mark_lvalue_use.
1065         * class.c (build_base_path): Likewise.
1066         * call.c (build_conditional_expr): Likewise.
1067
1068 2010-07-02  Paolo Carlini  <paolo.carlini@oracle.com>
1069
1070         PR c++/44039
1071         * pt.c (tsubst_baselink): Return error_mark_node if lookup_fnfields
1072         returns NULL_TREE.
1073
1074 2010-07-01  Richard Guenther  <rguenther@suse.de>
1075
1076         * cp-gimplify.c (cp_gimplify_expr): Open-code the rhs
1077         predicate we are looking for, allow non-gimplified
1078         INDIRECT_REFs.
1079
1080 2010-06-30  Paolo Carlini  <paolo.carlini@oracle.com>
1081
1082         PR c++/44628
1083         * typeck.c (cp_build_unary_op): Early return error_mark_node when
1084         arg is NULL_TREE too.
1085         * call.c (convert_class_to_reference): Return error_mark_node when
1086         expr is NULL_TREE.
1087
1088 2010-06-30  Michael Matz  <matz@suse.de>
1089
1090         * repo.c (finish_repo): Fix typo.
1091
1092 2010-06-30  Nathan Froyd  <froydnj@codesourcery.com>
1093
1094         * parser.c (cp_parser_omp_for_loop): Use a VEC for for_block.
1095
1096 2010-06-30  Nathan Froyd  <froydnj@codesourcery.com>
1097
1098         * repo.c (pending_repo): Change type to a VEC.
1099         (finish_repo): Adjust for new type of pending_repo.
1100         (repo_emit_p): Likewise.
1101
1102 2010-06-30  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1103
1104         * tree.c: Include gimple.h. Do not include tree-flow.h
1105         * decl.c: Do not include tree-flow.h
1106         * Make-lang.in: Adjust dependencies.
1107
1108 2010-06-29  Nathan Froyd  <froydnj@codesourcery.com>
1109
1110         * decl.c (incomplete_var): Declare.  Declare VECs containing them.
1111         (incomplete_vars): Adjust comment.  Change type to a VEC.
1112         (maybe_register_incomplete_var): Adjust for new type.
1113         (complete_vars): Adjust iteration over incomplete_vars.
1114
1115 2010-06-29  Nathan Froyd  <froydnj@codesourcery.com>
1116
1117         * decl.c (struct named_label_entry): Change type of bad_decls field
1118         to a VEC.
1119         (poplevel_named_label_1): Adjust for new type of bad_decls.
1120         (check_goto): Likewise.
1121
1122 2010-06-29  Jason Merrill  <jason@redhat.com>
1123
1124         Enable implicitly declared move constructor/operator= (N3053).
1125         * class.c (add_implicitly_declared_members): A class with no
1126         explicitly declared copy or move constructor gets both declared
1127         implicitly, and similarly for operator=.
1128         (check_bases): A type with no copy ctor does not inhibit
1129         a const copy ctor in a derived class.  It does mean the derived
1130         one is non-trivial.
1131         (check_field_decl): Likewise.
1132         (check_bases_and_members): A nonexistent copy ctor/op= is non-trivial.
1133         * tree.c (type_has_nontrivial_copy_init): Adjust semantics.
1134         (trivially_copyable_p): Likewise.
1135         * call.c (convert_like_real): Use type_has_nontrivial_copy_init.
1136         * class.c (finish_struct_bits): Likewise.
1137         * tree.c (build_target_expr_with_type): Likewise.
1138         * typeck2.c (store_init_value): Likewise.
1139
1140         Enable implicitly deleted functions (N2346)
1141         * class.c (check_bases_and_members): Adjust lambda flags.
1142         * method.c (implicitly_declare_fn): Set DECL_DELETED_FN if appropriate.
1143
1144         * decl2.c (mark_used): Adjust error for use of deleted function.
1145
1146         Machinery to support implicit delete/move.
1147         * cp-tree.h: (struct lang_type_class): Add lazy_move_assign,
1148         has_complex_move_ctor, has_complex_move_assign bitfields.
1149         (CLASSTYPE_LAZY_MOVE_ASSIGN): New.
1150         (TYPE_HAS_COMPLEX_MOVE_ASSIGN): New.
1151         (TYPE_HAS_COMPLEX_MOVE_CTOR): New.
1152         (enum special_function_kind): Add sfk_move_assignment.
1153         (LOOKUP_SPECULATIVE): New.
1154         * call.c (build_over_call): Return early if it's set.
1155         (build_over_call): Use trivial_fn_p.
1156         * class.c (check_bases): If the base has no default constructor,
1157         the derived one is non-trivial.  Handle move ctor/op=.
1158         (check_field_decl): Likewise.
1159         (check_bases_and_members): Handle move ctor/op=.
1160         (add_implicitly_declared_members): Handle CLASSTYPE_LAZY_MOVE_ASSIGN.
1161         (type_has_move_constructor, type_has_move_assign): New.
1162         * decl.c (grok_special_member_properties): Handle move ctor/op=.
1163         * method.c (type_has_trivial_fn, type_set_nontrivial_flag): New.
1164         (trivial_fn_p): New.
1165         (do_build_copy_constructor): Use it.
1166         (do_build_assign_ref): Likewise.  Handle move assignment.
1167         (build_stub_type, build_stub_object, locate_fn_flags): New.
1168         (locate_ctor): Use locate_fn_flags.
1169         (locate_copy, locate_dtor): Remove.
1170         (get_dtor, get_default_ctor, get_copy_ctor, get_copy_assign): New.
1171         (process_subob_fn, synthesized_method_walk): New.
1172         (maybe_explain_implicit_delete): New.
1173         (implicitly_declare_fn): Use synthesized_method_walk,
1174         type_has_trivial_fn, and type_set_nontrivial_flag.
1175         (defaulted_late_check): Set DECL_DELETED_FN.
1176         (defaultable_fn_check): Handle sfk_move_assignment.
1177         (lazily_declare_fn): Clear CLASSTYPE_LAZY_* early.  Don't declare
1178         implicitly deleted move ctor/op=.
1179         * search.c (lookup_fnfields_1): Handle sfk_move_assignment.
1180         (lookup_fnfields_slot): New.
1181         * semantics.c (omp_clause_info_fndecl): Remove.
1182         (cxx_omp_create_clause_info): Use get_default_ctor, get_copy_ctor,
1183         get_copy_assign, trivial_fn_p.
1184         (trait_expr_value): Adjust call to locate_ctor.
1185         * tree.c (special_function_p): Handle sfk_move_assignment.
1186
1187         * class.c (type_has_virtual_destructor): New.
1188         * cp-tree.h: Declare it.
1189         * semantics.c (trait_expr_value): Use it.
1190
1191         * call.c (build_over_call): Only give warnings with tf_warning.
1192
1193         * name-lookup.c (pop_scope): Handle NULL_TREE.
1194
1195         * cp-tree.h (TYPE_HAS_ASSIGN_REF): Rename to TYPE_HAS_COPY_ASSIGN.
1196         (TYPE_HAS_CONST_ASSIGN_REF): Rename to TYPE_HAS_CONST_COPY_ASSIGN.
1197         (TYPE_HAS_INIT_REF): Rename to TYPE_HAS_COPY_CTOR.
1198         (TYPE_HAS_CONST_INIT_REF): Rename to TYPE_HAS_CONST_COPY_CTOR.
1199         (TYPE_HAS_COMPLEX_ASSIGN_REF): Rename to TYPE_HAS_COMPLEX_COPY_ASSIGN.
1200         (TYPE_HAS_COMPLEX_INIT_REF): Rename to TYPE_HAS_COMPLEX_COPY_CTOR.
1201         (TYPE_HAS_TRIVIAL_ASSIGN_REF): Rename to TYPE_HAS_TRIVIAL_COPY_ASSIGN.
1202         (TYPE_HAS_TRIVIAL_INIT_REF): Rename to TYPE_HAS_TRIVIAL_COPY_CTOR.
1203         (CLASSTYPE_LAZY_ASSIGNMENT_OP): Rename to CLASSTYPE_LAZY_COPY_ASSIGN.
1204         (sfk_assignment_operator): Rename to sfk_copy_assignment.
1205         * decl.c, call.c, class.c, init.c, method.c, pt.c, ptree.c: Adjust.
1206         * search.c, semantics.c, tree.c: Adjust.
1207
1208         * pt.c (dependent_scope_ref_p): Remove.
1209         (value_dependent_expression_p): Don't call it.
1210         (type_dependent_expression_p): Here either.
1211         * init.c (build_offset_ref): Set TREE_TYPE on a qualified-id
1212         if the scope isn't dependent.
1213
1214         * pt.c (convert_nontype_argument): Use mark_lvalue_use if we want
1215         a reference.
1216
1217         PR c++/44587
1218         * pt.c (has_value_dependent_address): New.
1219         (value_dependent_expression_p): Check it.
1220         (convert_nontype_argument): Likewise.  Call decay_conversion before
1221         folding if we want a pointer.
1222         * semantics.c (finish_id_expression): Don't add SCOPE_REF if the
1223         scope is the current instantiation.
1224
1225 2010-06-28  Jakub Jelinek  <jakub@redhat.com>
1226
1227         PR c++/44682
1228         * class.c (build_base_path): If want_pointer, call mark_rvalue_use
1229         on expr.
1230
1231 2010-06-28  Steven Bosscher  <steven@gcc.gnu.org>
1232
1233         * init.c: Do not include except.h.
1234         * decl.c: Likewise.
1235         * expr.c: Likewise.
1236         * cp-lang.c: Likewise.
1237         * pt.c: Likewise.
1238         * semantics.c: Likewise.
1239         * decl2.c: Likewise.
1240         * except.c: Likewise.
1241         (init_exception_processing): Do not set the removed
1242         lang_protect_cleanup_actions here.
1243         (cp_protect_cleanup_actions): Make non-static and remove prototype.
1244         (doing_eh): New, moved from except.c but removed the do_warning flag.
1245         (expand_start_catch_block): Update doing_eh call.
1246         (expand_end_catch_block): Likewise.
1247         (build_throw): Likewise.
1248         * cp-tree.h: Prototype cp_protect_cleanup_actions.
1249         * cp-objcp-common.h: Set LANG_HOOKS_EH_PROTECT_CLEANUP_ACTIONS to
1250         cp_protect_cleanup_actions.
1251         * Make-lang.in: Update dependencies.
1252
1253 2010-06-26  Jason Merrill  <jason@redhat.com>
1254
1255         * call.c (add_function_candidate): Set LOOKUP_COPY_PARM for any
1256         constructor called with a single argument that takes a reference
1257         to the constructor's class.
1258         (BAD_CONVERSION_RANK): New.
1259         (compare_ics): Use it to compare bad ICSes.
1260
1261 2010-06-25  Joseph Myers  <joseph@codesourcery.com>
1262
1263         * lang-specs.h: Remove +e handling.
1264
1265 2010-06-24  Andi Kleen  <ak@linux.intel.com>
1266
1267         * parser.c: (cp_parser_question_colon_clause):
1268         Switch to use cp_lexer_peek_token.
1269         Call warn_for_omitted_condop. Call pedwarn for omitted
1270         middle operand.
1271
1272 2010-06-22  Jakub Jelinek  <jakub@redhat.com>
1273
1274         PR c++/44619
1275         * typeck2.c (build_m_component_ref): Call mark_lvalue_use on
1276         datum and mark_rvalue_use on component.
1277
1278         PR c++/44627
1279         * error.c (dump_expr): Don't look at CALL_EXPR_ARG (t, 0) if
1280         the CALL_EXPR has no arguments.
1281
1282 2010-06-21  Jason Merrill  <jason@redhat.com>
1283
1284         * typeck.c (comp_except_specs): Fix ce_derived with noexcept.
1285
1286         * semantics.c (check_trait_type): Check COMPLETE_TYPE_P for array
1287         element type.
1288
1289 2010-06-17  Nathan Froyd  <froydnj@codesourcery.com>
1290
1291         * name-lookup.c (struct arg_lookup): Convert namespaces and
1292         classes fields to VEC.
1293         (arg_assoc_namespace): Adjust for new type of namespaces.
1294         (arg_assoc_class): Adjust for new type of classes.
1295         (lookup_arg_dependent): Use make_tree_vector and
1296         release_tree_vector.
1297         * typeck2.c (build_x_arrow): Use vec_member.
1298
1299 2010-06-17  Manuel López-Ibáñez  <manu@gcc.gnu.org>
1300
1301         PR c++/44486
1302         * error.c (dump_decl): Better wording for anonymous namespace.
1303
1304 2010-06-16  Nathan Froyd  <froydnj@codesourcery.com>
1305
1306         * class.c (build_vtbl_initializer): Adjust computation of new_position
1307         and which entry to add padding for.
1308
1309 2010-06-16  Jason Merrill  <jason@redhat.com>
1310
1311         * except.c (check_noexcept_r): Return the problematic function.
1312         (finish_noexcept_expr): Give -Wnoexcept warning.  Add complain parm.
1313         * pt.c (tsubst_copy_and_build): Pass it.
1314         * parser.c (cp_parser_unary_expression): Likewise.
1315         * cp-tree.h: Adjust prototype.
1316
1317         * method.c (defaulted_late_check): Give the defaulted method
1318         the same exception specification as the implicit declaration.
1319
1320 2010-06-15  Jason Merrill  <jason@redhat.com>
1321
1322         * class.c (add_implicitly_declared_members): Implicit assignment
1323         operators can also be virtual overriders.
1324         * method.c (lazily_declare_fn): Likewise.
1325
1326         * call.c (convert_like_real): Give "initializing argument of"
1327         information for ambiguous conversion.  Give source position
1328         of function.
1329
1330         * call.c (print_z_candidates): Do print viable deleted candidates.
1331         (joust): Don't choose a deleted function just because its worst
1332         conversion is better than another candidate's worst.
1333
1334         * call.c (convert_like_real): Don't complain about
1335         list-value-initialization from an explicit constructor.
1336
1337         * decl.c (duplicate_decls): Use DECL_IS_BUILTIN rather than test
1338         DECL_SOURCE_LOCATION directly.
1339
1340         * class.c (type_has_user_provided_default_constructor): Use
1341         sufficient_parms_p.
1342
1343         * call.c (is_subseq): Handle ck_aggr, ck_list.
1344         (compare_ics): Treat an aggregate or ambiguous conversion to the
1345         same type as involving the same function.
1346
1347 2010-06-13  Shujing Zhao  <pearly.zhao@oracle.com>
1348
1349         * typeck.c (convert_for_assignment): Fix comment. Change message
1350         format from %d to %qP.
1351         (convert_for_initialization): Fix comment.
1352
1353 2010-06-11  Shujing Zhao  <pearly.zhao@oracle.com>
1354
1355         * cp-tree.h (expr_list_kind): New type.
1356         (impl_conv_rhs): New type.
1357         (build_x_compound_expr_from_list, convert_for_initialization): Adjust
1358         prototype.
1359         (typeck.c (convert_arguments): Use impl_conv_rhs and emit the
1360         diagnostics for easy translation. Change caller.
1361         (convert_for_initialization): Use impl_conv_rhs and change caller.
1362         (build_x_compound_expr_from_list): Use expr_list_kind and emit the
1363         diagnostics for easy translation. Change caller.
1364         * decl.c (bad_spec_place): New enum.
1365         (bad_specifiers): Use it and emit the diagnostics for easy
1366         translation. Change caller.
1367         * pt.c (coerce_template_parms): Put the diagnostics in full sentence.
1368
1369 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
1370
1371         * cp-tree.h (struct saved_scope): Change decl_ns_list field type
1372         to a VEC.
1373         * decl2.c (cp_write_global_declarations): Adjust for new type of
1374         decl_namespace_list.
1375         * name-lookup.c (current_decl_namespace): Likewise.
1376         (push_decl_namespace): Likewise.
1377         (pop_decl_namespace): Likewise.
1378
1379 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
1380
1381         * call.c (build_java_interface_fn_ref): Call build_function_type_list
1382         instead of build_function_type.
1383         * decl.c (cxx_init_decl_processing): Likewise.
1384         (declare_global_var): Likewise.
1385         (get_atexit_node): Likewise.
1386         (expand_static_init): Likewise.
1387         * decl2.c (start_objects): Likewise.
1388         (start_static_storage_duration_function): Likewise.
1389         * except.c (init_exception_processing): Likewise.
1390         (build_exc_ptr): Likewise.
1391         (build_throw): Likewise.
1392         * rtti.c (throw_bad_cast): Likewise.
1393         (throw_bad_typeid): Likewise.
1394         (build_dynamic_cast_1): Likewise.
1395
1396 2010-06-09  Nathan Froyd  <froydnj@codesourcery.com>
1397
1398         * call.c (build_call_n): Call XALLOCAVEC instead of alloca.
1399         (build_op_delete_call): Likewise.
1400         (build_over_call): Likewise.
1401         * cp-gimplify.c (cxx_omp_clause_apply_fn): Likewise.
1402         * pt.c (process_partial_specialization): Likewise.
1403         (tsubst_template_args): Likewise.
1404         * semantics.c (finish_asm_stmt): Likewise.
1405
1406 2010-06-08  Nathan Sidwell  <nathan@codesourcery.com>
1407
1408         * decl.c (record_key_method_defined): New, broken out of ...
1409         (finish_function): ... here.  Call it.
1410         (start_decl): Treat aliases as definitions.
1411
1412 2010-06-08  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
1413
1414         * typeck2.c (abstract_virtuals_error): Use typed GC allocation.
1415
1416         * pt.c (maybe_process_partial_specialization): Likewise.
1417         (register_specialization): Likewise.
1418         (add_pending_template): Likewise.
1419         (lookup_template_class): Likewise.
1420         (push_tinst_level): Likewise.
1421
1422         * parser.c (cp_lexer_new_main): Likewise.
1423         (cp_lexer_new_from_tokens): Likewise.
1424         (cp_token_cache_new): Likewise.
1425         (cp_parser_context_new): Likewise.
1426         (cp_parser_new): Likewise.
1427         (cp_parser_nested_name_specifier_opt): Likewise.
1428         (cp_parser_template_id): Likewise.
1429
1430         * name-lookup.c (binding_entry_make): Likewise.
1431         (binding_table_construct): Likewise.
1432         (binding_table_new): Likewise.
1433         (cxx_binding_make): Likewise.
1434         (pushdecl_maybe_friend): Likewise.
1435         (begin_scope): Likewise.
1436         (push_to_top_level): Likewise.
1437
1438         * lex.c (init_reswords): Likewise.
1439         (retrofit_lang_decl): Likewise.
1440         (cxx_dup_lang_specific_decl): Likewise.
1441         (copy_lang_type): Likewise.
1442         (cxx_make_type): Likewise.
1443
1444         * decl.c (make_label_decl): Likewise.
1445         (check_goto): Likewise.
1446         (start_preparsed_function): Likewise.
1447         (save_function_data): Likewise.
1448
1449         * cp-tree.h (TYPE_SET_PTRMEMFUNC_TYPE): Likewise.
1450
1451         * cp-objcp-common.c (decl_shadowed_for_var_insert): Likewise.
1452
1453         * class.c (finish_struct_1): Likewise.
1454
1455         * cp-tree.h (struct lang_type): Add variable_size GTY option.
1456         (struct lang_decl): Likewise.
1457
1458         * parser.c (cp_parser_new): Update comment to not reference
1459         ggc_alloc.
1460
1461 2010-06-07  Jason Merrill  <jason@redhat.com>
1462
1463         PR c++/44366
1464         * error.c (dump_parameters): Mask out TFF_SCOPE.
1465         (dump_simple_decl): Don't print the scope of a PARM_DECL.
1466         (dump_scope): Remove no-op mask.
1467
1468         PR c++/44401
1469         * parser.c (cp_parser_lookup_name): Fix naming the constructor.
1470
1471         * cp-tree.h (COMPLETE_OR_OPEN_TYPE_P): New macro.
1472         * init.c (build_offset_ref): Use it.
1473         * pt.c (maybe_process_partial_specialization): Use it.
1474         (instantiate_class_template): Use it.
1475         * search.c (lookup_base): Use it.
1476
1477 2010-06-07  Jakub Jelinek  <jakub@redhat.com>
1478
1479         PR c++/44444
1480         * expr.c (mark_exp_read): Handle INDIRECT_REF.
1481         * cvt.c (convert_to_void): Handle INDIRECT_REF like
1482         handled_component_p.
1483
1484         PR c++/44443
1485         * decl.c (initialize_local_var): If TREE_USED is set on the type,
1486         set also DECL_READ_P on the decl.
1487
1488 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
1489
1490         PR c++/44188
1491         * cp-tree.h (typedef_variant_p): Move this declaration to
1492         gcc/tree.h.
1493         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
1494         * decl.c (grokdeclarator): Do not rename debug info of an
1495         anonymous tagged type named by a typedef.
1496
1497 2010-06-05  Fabien Chêne  <fabien@gcc.gnu.org>
1498
1499         PR c++/44086
1500         * class.c (check_field_decls): Move the call to
1501         check_bitfield_decl before trying to set the
1502         CLASSTYPE_READONLY_FIELDS_NEED_INIT flag.
1503
1504 2010-06-05  Steven Bosscher  <steven@gcc.gnu.org>
1505
1506         * typeck.c: Update include path for moved files.
1507         * decl.c: Likewise.
1508         * rtti.c: Likewise.
1509         * cp-gimplify.c: Likewise.
1510         * cp-lang.c: Likewise.
1511         * pt.c: Likewise.
1512         * semantics.c: Likewise.
1513         * cxx-pretty-print.h: Likewise.
1514         * decl2.c: Likewise.
1515         * parser.c: Likewise.
1516         * cp-objcp-common.c: Likewise.
1517         * cp-tree.h: Likewise.
1518         * name-lookup.c: Likewise.
1519         * lex.c: Likewise.
1520         * name-lookup.h: Likewise.
1521         * config-lang.in: Update paths in gtfiles for files in c-family/.
1522         * Make-lang.in: Likewise.
1523
1524 2010-06-04  Magnus Fromreide  <magfr@lysator.liu.se>
1525
1526         * cvt.c (cp_convert_to_pointer): Use null_ptr_cst_p.
1527         * typeck.c (build_ptrmemfunc): Likewise.
1528
1529 2010-06-04  Jason Merrill  <jason@redhat.com>
1530
1531         * typeck2.c (merge_exception_specifiers): Adjust merging of
1532         throw() and noexcept(true).
1533
1534         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Avoid
1535         using an uninitialized variable.
1536
1537         * cxx-pretty-print.c (pp_cxx_unary_expression): Handle NOEXCEPT_EXPR.
1538         (pp_cxx_expression): Likewise.
1539
1540         Implement noexcept-specification (15.4)
1541         * parser.c (cp_parser_exception_specification_opt): Parse it.
1542         Give -Wdeprecated warning about throw() specs.
1543         * pt.c (tsubst_exception_specification): Handle it.
1544         * error.c (dump_exception_spec): Handle it.
1545         (dump_expr): Handle NOEXCEPT_EXPR.
1546         * cxx-pretty-print.c (pp_cxx_exception_specification): Likewise.
1547         * typeck.c (comp_except_specs): Handle compatibility rules.
1548         Change exact parm to take an enum.
1549         * typeck2.c (merge_exception_specifiers): Handle noexcept.
1550         * except.c (nothrow_spec_p, type_noexcept_p): New fns.
1551         (type_throw_all_p, build_noexcept_spec): New fns.
1552         * cp-tree.h (TYPE_NOTHROW_P, TYPE_NOEXCEPT_P): Use them.
1553         (comp_except_specs): Define ce_derived, ce_normal, ce_exact enums.
1554         (cp_tree_index): Add CPTI_NOEXCEPT_TRUE_SPEC, CPTI_NOEXCEPT_FALSE_SPEC.
1555         (noexcept_true_spec, noexcept_false_spec): New macros.
1556         * name-lookup.c (pushdecl_maybe_friend): Adjust.
1557         * search.c (check_final_overrider): Adjust.
1558         * decl.c (check_redeclaration_exception_specification): Adjust.
1559         (use_eh_spec_block): Use type_throw_all_p.
1560         (cxx_init_decl_processing): Set noexcept_false_spec,noexcept_true_spec.
1561         Give operator new a noexcept-specification in C++0x mode.
1562         * tree.c (build_exception_variant, cxx_type_hash_eq): Adjust.
1563         (cp_build_type_attribute_variant): Don't test TYPE_RAISES_EXCEPTIONS.
1564
1565         Implement noexcept operator (5.3.7)
1566         * cp-tree.def (NOEXCEPT_EXPR): New.
1567         * except.c (check_noexcept_r, finish_noexcept_expr): New.
1568         * cp-tree.h: Declare finish_noexcept_expr.
1569         * parser.c (cp_parser_unary_expression): Parse noexcept-expression.
1570         * pt.c (tsubst_copy_and_build): And tsubst it.
1571         (type_dependent_expression_p): Handle it.
1572         (value_dependent_expression_p): Handle it.
1573
1574         * call.c (build_conditional_expr): Never fold in unevaluated context.
1575         * tree.c (build_aggr_init_expr): Propagate TREE_NOTHROW.
1576         * semantics.c (simplify_aggr_init_expr): Likewise.
1577         * typeck.c (merge_types): Call merge_exception_specifiers.
1578         * decl.c (duplicate_decls): Check DECL_SOURCE_LOCATION rather than
1579         DECL_ANTICIPATED for preferring new type.
1580
1581 2010-06-04  Joseph Myers  <joseph@codesourcery.com>
1582
1583         * g++spec.c (lang_specific_driver): Use GCC-specific formats in
1584         diagnostics.
1585
1586 2010-06-04  Jakub Jelinek  <jakub@redhat.com>
1587
1588         PR c++/44412
1589         * typeck.c (build_class_member_access_expr): Call mark_exp_read
1590         on object for static data members.
1591
1592 2010-06-04  Jakub Jelinek  <jakub@redhat.com>
1593             Jason Merrill  <jason@redhat.com>
1594
1595         PR c++/44362
1596         * call.c (build_conditional_expr): If both arg2 and arg3 are lvalues
1597         with the same type, call mark_lvalue_use on both.
1598
1599 2010-06-03  Nathan Froyd  <froydnj@codesourcery.com>
1600
1601         * class.c (struct vtbl_init_data_s): Remove last_init field.
1602         (struct secondary_vptr_vtt_init_data_s): Change type of inits field
1603         to a VEC.
1604         (finish_vtbls): Use a VEC rather than a TREE_LIST for the accumulated
1605         initializers.
1606         (build_vtt): Likewise.
1607         (initialize_vtable): Take a VEC instead of a tree.
1608         (build_vtt_inits): Change return type to void.  Take a VEC **
1609         instead of a tree *; accumulate results into said VEC.
1610         (build_ctor_vtbl_group): Use a VEC rather than a TREE_LIST for the
1611         accumulated initializers.  Pass the vtable to accumulate_vtbl_inits.
1612         (accumulate_vtbl_inits): Add extra vtable tree parameter; take a VEC
1613         instead of a tree.
1614         (dfs_accumulate_vtbl_inits): Likewise.  Change return type to void.
1615         (build_vtbl_initializer): Add VEC parameter; accumulate initializers
1616         into it.
1617         (dfs_build_secondary_vptr_vtt_inits): Use CONSTRUCTOR_APPEND_ELT
1618         rather than tree_cons.
1619         (build_vbase_offset_vtbl_entries): Likewise.
1620         (add_vcall_offset): Likewise.
1621         (build_rtti_vtbl_entries): Likewise.
1622         * cp-tree.h (initialize_artificial_var): Take a VEC instead of a tree.
1623         * decl.c (initialize_artificial_var): Use build_constructor instead
1624         of build_constructor_from_list.
1625
1626 2010-06-03  H.J. Lu  <hongjiu.lu@intel.com>
1627
1628         PR c++/44294
1629         * class.c (layout_class_type): Check MAX_FIXED_MODE_SIZE on
1630         bit-field.
1631
1632 2010-06-02  Jonathan Wakely  <jwakely.gcc@gmail.com>
1633
1634         * parser.c (cp_parser_mem_initializer_list): Change error text.
1635
1636 2010-06-02  Jakub Jelinek  <jakub@redhat.com>
1637
1638         * cp-objcp-common.c (shadowed_var_for_decl): Change into
1639         tree_decl_map hashtab from tree_map.
1640         (decl_shadowed_for_var_lookup, decl_shadowed_for_var_insert): Adjust.
1641         (init_shadowed_var_for_decl): Adjust initialization.
1642
1643         PR c++/44361
1644         * cvt.c (convert_to_void): If implicit is NULL, call mark_rvalue_use
1645         instead of calling mark_exp_read only when not an assignment.
1646
1647         PR debug/44367
1648         * semantics.c (finalize_nrv): Don't copy DECL_ARTIFICIAL, DECL_IGNORED_P,
1649         DECL_SOURCE_LOCATION and DECL_ABSTRACT_ORIGIN from var to result.
1650         Set DECL_VALUE_EXPR on var.
1651
1652 2010-06-02  Jason Merrill  <jason@redhat.com>
1653
1654         * error.c (dump_type): Improve typedef handling.
1655
1656         PR c++/9726
1657         PR c++/23594
1658         PR c++/44333
1659         * name-lookup.c (same_entity_p): New.
1660         (ambiguous_decl): Multiple declarations of the same entity
1661         are not ambiguous.
1662
1663 2010-06-01  Jason Merrill  <jason@redhat.com>
1664
1665         DR 990
1666         * call.c (add_list_candidates): Prefer the default constructor.
1667         (build_aggr_conv): Treat missing initializers like { }.
1668         * typeck2.c (process_init_constructor_record): Likewise.
1669         * init.c (expand_default_init): Use digest_init for
1670         direct aggregate initialization, too.
1671
1672         * call.c (add_list_candidates): Split out...
1673         (build_user_type_conversion_1): ...from here.
1674         (build_new_method_call): And here.
1675         (implicit_conversion): Propagate LOOKUP_NO_NARROWING.
1676
1677         PR c++/44358
1678         * call.c (build_list_conv): Set list-initialization flags properly.
1679
1680 2010-06-01  Nathan Froyd  <froydnj@codesourcery.com>
1681
1682         * typeck2.c (build_x_arrow): Make types_memoized a VEC.
1683
1684 2010-06-01  Arnaud Charlet  <charlet@adacore.com>
1685             Matthew Gingell  <gingell@adacore.com>
1686
1687         * Make-lang.in (CXX_C_OBJS): Add c-ada-spec.o.
1688         * decl2.c: Include langhooks.h and c-ada-spec.h.
1689         (cpp_check, collect_source_refs, collect_ada_namespace,
1690         collect_all_refs): New functions.
1691         (cp_write_global_declarations): Add handling of -fdump-ada-spec.
1692         * lang-specs.h: Ditto.
1693
1694 2010-05-29  Nathan Froyd  <froydnj@codesourcery.com>
1695
1696         * cp-tree.h (cp_build_function_call_nary): Declare.
1697         * typeck.c (cp_build_function_call_nary): Define.
1698         * decl.c (register_dtor_fn): Use it instead of
1699         cp_build_function_call.
1700         (cxx_maybe_build_cleanup): Likewise.
1701         * decl2.c (generate_ctor_or_dtor_function): Likewise.
1702         * except.c (do_get_exception_ptr): Likewise.
1703         (do_begin_catch): Likewise.
1704         (do_allocate_exception): Likewise.
1705         (do_free_exception): Likewise.
1706         (build_throw): Likewise.  Use cp_build_function_call_vec instead
1707         of cp_build_function_call.
1708         (do_end_catch): Likewise.
1709
1710 2010-05-29  Nathan Froyd  <froydnj@codesourcery.com>
1711
1712         * cp-tree.h (struct cp_decl_specifier_seq): Move type_location field up.
1713         (struct cp_declarator): Move id_loc field up.
1714
1715 2010-05-29  Steven Bosscher  <steven@gcc.gnu.org>
1716
1717         * cp-tree.h (ATTRIBUTE_GCC_CXXDIAG): Remove.  Require that
1718         this file is included before c-common.h.  Define GCC_DIAG_STYLE
1719         before including diagnostic-core.h and toplev.h.
1720         (pedwarn_cxx98): Use ATTRIBUTE_GCC_DIAG.
1721         * pt.c: Include cp-tree.h before c-common.h.
1722
1723 2010-05-29  Steven Bosscher  <steven@gcc.gnu.org>
1724
1725         * tree.c (c_register_addr_space): Add stub.
1726
1727 2010-05-28  Joseph Myers  <joseph@codesourcery.com>
1728
1729         * g++spec.c (lang_specific_driver): Use fatal_error instead of
1730         fatal.
1731
1732 2010-05-28  Dodji Seketeli  <dodji@redhat.com>
1733
1734         Revert fix of PR c++/44188
1735         * cp-tree.h (typedef_variant_p): Revert moving this declaration to
1736         gcc/tree.h.
1737         * tree.c (typedef_variant_p): Revert moving this definition to
1738         gcc/tree.c.
1739         * decl.c (grokdeclarator): Revert naming typedef handling.
1740
1741 2010-05-27  Joseph Myers  <joseph@codesourcery.com>
1742
1743         * call.c: Include diagnostic-core.h instead of diagnostic.h.
1744         * cp-lang.c: Don't include diagnostic.h
1745         * name-lookup.c: Include diagnostic-core.h instead of
1746         diagnostic.h.
1747         (cp_emit_debug_info_for_using): Use seen_error.
1748         * optimize.c: Include diagnostic-core.h instead of diagnostic.h.
1749         * parser.c: Include diagnostic-core.h instead of diagnostic.h.
1750         * pt.c (iterative_hash_template_arg): Use seen_error.
1751         * repo.c: Include diagnostic-core.h instead of diagnostic.h.
1752         * typeck2.c: Include diagnostic-core.h instead of diagnostic.h.
1753         * Make-lang.in (cp/cp-lang.o, cp/typeck2.o, cp/call.o, cp/repo.o,
1754         cp/optimize.o, cp/parser.o, cp/name-lookup.o): Update
1755         dependencies.
1756
1757 2010-05-25  Dodji Seketeli  <dodji@redhat.com>
1758
1759         PR c++/44188
1760         * cp-tree.h (typedef_variant_p): Move this declaration to
1761         gcc/tree.h.
1762         * tree.c (typedef_variant_p): Move this definition to gcc/tree.c.
1763         * decl.c (grokdeclarator): Do not rename debug info of an
1764         anonymous tagged type named by a typedef.
1765
1766 2010-05-27  Jason Merrill  <jason@redhat.com>
1767
1768         PR c++/43555
1769         * decl.c (grokdeclarator) [cdk_pointer et al]: Force evaluation of
1770         anonymous VLA size.
1771
1772 2010-05-27  Kai Tietz  <kai.tietz@onevision.com>
1773
1774         PR bootstrap/44287
1775         * rtti.c (emit_support_tinfos): Check for NULL_TREE.
1776         * class.c (layout_class_type): Likewise.
1777         * decl.c (finish_enum): Likewise.
1778         * mangle.c (write_builitin_type): Likewise.
1779
1780 2010-05-26  Kai Tietz  <kai.tietz@onevision.com>
1781
1782         * cp-tree.h (cp_decl_specifier_seq): Add new bifield
1783         explicit_int128_p.
1784         * decl.c (grokdeclarator): Handle __int128.
1785         * parser.c (cp_lexer_next_token_is_decl_specifier_ke): Likewise.
1786         (cp_parser_simple_type_specifier): Likewise.
1787         * rtti.c (emit_support_tinfos): Add int128 nodes for rtti.
1788         * typeck.c (cp_common_type): Handle __int128.
1789         * mangle.c (integer_type_codes): Add itk_int128 and
1790         itk_unsigned_int128.
1791
1792 2010-05-26  Jason Merrill  <jason@redhat.com>
1793
1794         PR c++/43382
1795         * pt.c (tsubst_pack_expansion): Don't get confused by recursive
1796         unification.
1797
1798 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
1799
1800         * cp-lang.c: Do not include expr.h.
1801
1802 2010-05-26  Steven Bosscher  <steven@gcc.gnu.org>
1803
1804         * decl.c: Do not include rtl.h
1805         * semantics.c: Likewise.
1806
1807 2010-05-25  Steven Bosscher  <steven@gcc.gnu.org>
1808
1809         * cp-tree.h: Do not include splay-tree.h.
1810         (struct prtmem_cst): Remove unused field and false comment.
1811         * typeck.c: Do not include rtl.h, expr.h, and tm_p.h.
1812         * optimize.c: Do not inclde rtl.h, insn-config.h, and integrate.h.
1813         * init.c: Do not include rtl.h and expr.h.
1814         * class.c: Do not include rtl.h.  Include splay-tree.h.
1815         (build_clone): Use plain NULL instead of NULL_RTX.
1816         * decl.c: Do not include expr.h.  Explain why rtl.h has to be
1817         included.  Include splay-tree.h.
1818         * method.c: Do not include rtl.h and expr.h.
1819         (use_thunk): Use plain NULL instead of NULL_RTX.
1820         * except.c: Do not include rtl.h, expr.h, and libfuncs.h.
1821         * tree.c: Do not include rtl.h, insn-config.h, integrate.h,
1822         and target.h.  Include splay-tree.h.
1823         * expr.c: Do not include rtl.h and expr.h.
1824         * pt.c: Do not include obstack.h and rtl.h.
1825         (tsubst_friend_function): Use plain NULL instead of NULL_RTX.
1826         (tsubst_decl): Likewise.
1827         (instantiate_decl): Likewise.
1828         * semantics.c: Do not include exprt.h and debug.h.  Explain why
1829         rtl.h has to be included.
1830         * decl2.c: Do not include rtl.h and expr.h.  Include splay-tree.h.
1831         * call.c: Do not include rtl.h and expr.h.
1832         * search.c: Do not include obstack.h and rtl.h.
1833         * friend.c: Do not include rtl.h and expr.h.
1834         * Make-lang.in: Update dependencies.
1835
1836 2010-05-25  Jakub Jelinek  <jakub@redhat.com>
1837
1838         PR c++/18249
1839         * parser.c (non_integral_constant): Add NIC_NONE.
1840         (required_token): Add RT_NONE.
1841         (cp_parser_unary_expression): Initialize non_constant_p
1842         to NIC_NONE.
1843         (cp_parser_asm_definition): Initialize missing to RT_NONE.
1844         (cp_parser_primary_expression, cp_parser_postfix_expression,
1845         cp_parser_cast_expression, cp_parser_binary_expression,
1846         cp_parser_functional_cast): Fix formatting.
1847
1848 2010-05-25  Shujing Zhao  <pearly.zhao@oracle.com>
1849
1850         PR c++/18249
1851         * parser.c: Remove inclusion of dyn-string.h.
1852         (non_integral_constant): New enum.
1853         (name_lookup_error): New enum.
1854         (required_token): New enum.
1855         (cp_parser_required_error): New function.
1856         (cp_parser_require): Change the type of variable token_desc to
1857         required_token and use cp_parser_required_error.
1858         (cp_parser_require_keyword): Likewise.
1859         (cp_parser_error): Use gmsgid as parameter.
1860         (cp_parser_name_lookup_error): Change the type of variable desired to
1861         name_lookup_error and put the diagnostic in the full sentences. Change
1862         caller.
1863         (cp_parser_non_integral_constant_expression): Change the type of the
1864         variable thing to non_integral_constant and put the diagnostics in
1865         full sentences. Change caller.
1866
1867 2010-05-24  Eric Botcazou  <ebotcazou@adacore.com>
1868
1869         PR middle-end/44100
1870         * typeck.c (cp_build_unary_op): Fold offsetof-like computations.
1871
1872 2010-05-24  Joseph Myers  <joseph@codesourcery.com>
1873
1874         * error.c (cp_diagnostic_starter): Update call to
1875         diagnostic_build_prefix.
1876         (cp_print_error_function,
1877         print_instantiation_partial_context_line): Check show_column flag
1878         in context.
1879
1880 2010-05-24  Jason Merrill  <jason@redhat.com>
1881
1882         PR c++/41510
1883         * decl.c (check_initializer): Don't wrap an init-list in a
1884         TREE_LIST.
1885         * init.c (build_aggr_init): Don't assume copy-initialization if
1886         init has CONSTRUCTOR_IS_DIRECT_INIT.
1887         * call.c (build_new_method_call): Sanity check.
1888
1889 2010-05-24  Nathan Froyd  <froydnj@codesourcery.com>
1890
1891         * rtti.c (tinfo_base_init): Use build_constructor instead of
1892         build_constructor_from_list.  Don't cons a tree node for
1893         returning.
1894         (generic_initializer): Use build_constructor_single instead of
1895         build_constructor_from_list.
1896         (ptr_initializer): Use build_constructor instead of
1897         build_constructor_from_list
1898         (ptm_initializer): Likewise.
1899         (class_initializer): Likewise.  Take varargs instead of TRAIL.
1900         (get_pseudo_ti_init): Adjust calls to class_initializer.  Use
1901         build_constructor instead of build_constructor_from_list.
1902
1903 2010-05-22  Steven Bosscher  <steven@gcc.gnu.org>
1904
1905         * semantics.c: Include bitmap.h.
1906         * Make-lang.in: Update dependencies.
1907
1908 2010-05-22  Jan Hubicka  <jh@suse.cz>
1909
1910         * decl2.c (maybe_emit_vtables): Produce same comdat group when outputting
1911         comdat vtables.
1912         (cxx_callgraph_analyze_expr): Remove code marking vtables needed.
1913
1914 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
1915
1916         * cxx-pretty-print.c: Correct merge error.
1917
1918 2010-05-21  Joseph Myers  <joseph@codesourcery.com>
1919
1920         * error.c: Include tree-diagnostic.h and tree-pretty-print.h.
1921         (cp_print_error_function): Use diagnostic_abstract_origin macro.
1922         (cp_printer): Handle %K here using percent_K_format.
1923         * cxx-pretty-print.c: Include tree-pretty-print.h.
1924         * Make-lang.in (cp/error.o, cp/cxx-pretty-print.o): Update
1925         dependencies.
1926
1927 2010-05-21  Steven Bosscher  <steven@gcc.gnu.org>
1928
1929         * error.c, tree.c, typeck2.c, cxx-pretty-print.c, mangle.c:
1930         Clean up redundant includes.
1931
1932 2010-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
1933
1934         PR c++/30298
1935         * decl.c (xref_basetypes): Return false in case of ill-formed
1936         redefinition.
1937
1938 2010-05-19  Jason Merrill  <jason@redhat.com>
1939
1940         * call.c (reference_binding): Use cp_build_qualified_type_real
1941         and cp_type_quals consistently.
1942         (add_function_candidate): Likewise.
1943         (build_conditional_expr): Likewise.
1944         (convert_like_real): Likewise.
1945         (type_passed_as): Likewise.
1946         * class.c (add_method): Likewise.
1947         (same_signature_p): Likewise.
1948         (layout_class_type): Likewise.
1949         * decl.c (cxx_init_decl_processing): Likewise.
1950         (cp_fname_init): Likewise.
1951         (grokdeclarator): Likewise.
1952         * decl2.c (cp_reconstruct_complex_type): Likewise.
1953         * init.c (build_new_1): Likewise.
1954         * method.c (do_build_copy_constructor): Likewise.
1955         (implicitly_declare_fn): Likewise.
1956         * pt.c (tsubst_aggr_type): Likewise.
1957         (tsubst): Likewise.
1958         * rtti.c (init_rtti_processing): Likewise.
1959         (build_headof): Likewise.
1960         (build_dynamic_cast_1): Likewise.
1961         (tinfo_base_init): Likewise.
1962         (emit_support_tinfos): Likewise.
1963         * semantics.c (capture_decltype): Likewise.
1964         * tree.c (cv_unqualified): Likewise.
1965         * typeck.c (composite_pointer_type): Likewise.
1966         (string_conv_p): Likewise.
1967
1968         * mangle.c (write_CV_qualifiers_for_type): Tweak.
1969
1970         * call.c (initialize_reference): Use CP_TYPE_CONST_P.
1971         * decl.c (start_decl): Likewise.
1972         * semantics.c (finish_compound_literal): Likewise.
1973         * typeck.c (check_return_expr): Use CP_TYPE_VOLATILE_P.
1974         (cp_type_readonly): Remove.
1975         * cp-tree.h: Remove declaration.
1976
1977         * typeck.c (merge_types): Preserve memfn quals.
1978
1979         * decl.c (grokdeclarator): Don't check quals on fn type.
1980         * typeck.c (cp_apply_type_quals_to_decl): Likewise.
1981         * tree.c (cp_build_qualified_type_real): Simplify qualifier checking.
1982
1983         PR c++/44193
1984         * typeck.c (type_memfn_quals): New fn.
1985         (apply_memfn_quals): New fn.
1986         (cp_type_quals): Return TYPE_UNQUALIFIED for FUNCTION_TYPE.
1987         (cp_type_readonly): Use cp_type_quals.
1988         * cp-tree.h: Add declarations.
1989         * tree.c (cp_build_qualified_type_real): Don't set, but do
1990         preserve, quals on FUNCTION_TYPE.
1991         (strip_typedefs): Use apply_memfn_quals and type_memfn_quals.
1992         * decl.c (build_ptrmem_type): Likewise.
1993         (grokdeclarator): Likewise.
1994         (static_fn_type): Likewise.
1995         * decl2.c (change_return_type): Likewise.
1996         (cp_reconstruct_complex_type): Likewise.
1997         * pt.c (tsubst_function_type): Likewise.
1998         (unify): Likewise.
1999         (tsubst): Likewise.  Drop special FUNCTION_TYPE substitution code.
2000
2001 2010-05-18  Nathan Froyd  <froydnj@codesourcery.com>
2002
2003         * tree.c (build_min_non_dep_call_vec): Update comment.
2004
2005 2010-05-17  Jason Merrill  <jason@redhat.com>
2006
2007         * call.c (struct z_candidate): Add explicit_targs field.
2008         (add_template_candidate_real): Set it.
2009         (build_over_call): Use it to control init-list warning.
2010
2011         PR c++/44157
2012         * call.c (build_over_call): Limit init-list deduction warning to
2013         cases where the argument is actually an init-list.
2014
2015         PR c++/44158
2016         * call.c (build_over_call): Don't do bitwise copy for move ctor.
2017
2018 2010-05-17  Dodji Seketeli  <dodji@redhat.com>
2019             Jason Merrill  <jason@redhat.com>
2020
2021         PR c++/44108
2022         * decl.c (compute_array_index_type): Call mark_rvalue_use.
2023
2024 2010-05-15  Jason Merrill  <jason@redhat.com>
2025
2026         * cp-tree.h (TYPE_NOEXCEPT_P): New macro.
2027         * except.c (begin_eh_spec_block): Use MUST_NOT_THROW_EXPR if
2028         TYPE_NOEXCEPT_P.
2029         (finish_eh_spec_block): Adjust.
2030
2031 2010-05-15  Jakub Jelinek  <jakub@redhat.com>
2032
2033         PR c++/44148
2034         * pt.c (tsubst): Unshare template argument.
2035
2036 2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>
2037
2038         * decl.c: Include tree-iterator.h, as fixup for tree-inline.h changes.
2039         * Make-lang.in: Fix dependencies accordingly.
2040
2041 2010-05-14  Jason Merrill  <jason@redhat.com>
2042
2043         C++ DR 475
2044         * except.c (build_throw): Simplify, adjust for DR 475.
2045
2046         PR c++/44127
2047         * except.c (dtor_nothrow): Return nonzero for type with
2048         trivial destructor.
2049
2050         PR c++/44127
2051         * cp-gimplify.c (gimplify_must_not_throw_expr): Use
2052         gimple_build_eh_must_not_throw.
2053
2054 2010-05-14  Martin Jambor  <mjambor@suse.cz>
2055
2056         * cp-lang.c (LANG_HOOKS_FOLD_OBJ_TYPE_REF): Remove both its undef
2057         and define.
2058
2059 2010-05-14  Jonathan Wakely  <jwakely.gcc@gmail.com>
2060
2061         * call.c (build_new_method_call): Change warning text.
2062         * typeck2.c (build_functional_cast): Change error text.
2063
2064 2010-05-14  Shujing Zhao  <pearly.zhao@oracle.com>
2065
2066         PR c++/30566
2067         * name-lookup.c (pushdecl_maybe_friend): Avoid the warnings about
2068         shadowing the outer parameter or variables by the declaration of
2069         nested function in nested structure or class. Warn the shadowing by
2070         the declaration of nested lambda expression.
2071
2072 2010-05-13  Jason Merrill  <jason@redhat.com>
2073
2074         * typeck.c (cp_build_array_ref): Factor out from...
2075         (build_array_ref): ...here.  Drop complain parm.
2076         (build_new_op): Adjust.
2077         * class.c (build_vtbl_ref_1): Adjust.
2078         * decl2.c (grok_array_decl): Adjust.
2079         * cp-tree.h: Adjust prototypes.
2080
2081 2010-05-13  Jan Hubicka  <jh@suse.cz>
2082
2083         * decl.c (cp_finish_decl): Do not worry about used attribute.
2084
2085 2010-05-12  Jason Merrill  <jason@redhat.com>
2086
2087         * typeck.c (build_array_ref): Take complain parm.
2088         * cp-tree.h: Add it to prototype.
2089         * call.c (build_new_op): Pass it.
2090         * class.c (build_vtbl_ref): Pass it.
2091         * decl2.c (grok_array_decl): Pass it.
2092
2093         PR bootstrap/44048
2094         PR target/44099
2095         * cp-tree.def (NULLPTR_TYPE): Remove.
2096         * cp-tree.h (NULLPTR_TYPE_P): New.
2097         (SCALAR_TYPE_P): Use it.
2098         (nullptr_type_node): New.
2099         (cp_tree_index): Add CPTI_NULLPTR_TYPE.
2100         * decl.c (cxx_init_decl_processing): Call record_builtin_type on
2101         nullptr_type_node.
2102         * cvt.c (ocp_convert): Use NULLPTR_TYPE_P instead of NULLPTR_TYPE.
2103         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
2104         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
2105         * mangle.c (write_type): Likewise.
2106         * name-lookup.c (arg_assoc_type): Likewise.
2107         * typeck.c (build_reinterpret_cast_1): Likewise.
2108         * rtti.c (typeinfo_in_lib_p): Likewise.
2109         (emit_support_tinfos): Remove local nullptr_type_node.
2110
2111         * cp-tree.h (UNKNOWN_TYPE): Remove.
2112         * decl.c (cxx_init_decl_processing): Use LANG_TYPE instead.
2113         * error.c (dumy_type, dump_type_prefix, dump_type_suffix): Likewise.
2114         * typeck2.c (cxx_incomplete_type_diagnostic): Likewise.
2115         * class.c (instantiate_type): Check unknown_type_node rather than
2116         UNKNOWN_TYPE.
2117         * name-lookup.c (maybe_push_decl): Likewise.
2118         * rtti.c (get_tinfo_decl_dynamic): Likewise.
2119         (get_typeid): Likewise.
2120         * semantics.c (finish_offsetof): Likewise.
2121
2122         PR c++/20669
2123         * call.c (add_template_candidate_real): If deduction fails, still
2124         add the template as a non-viable candidate.
2125         (equal_functions): Handle template candidates.
2126         (print_z_candidate): Likewise.
2127         (print_z_candidates): Likewise.
2128         (build_new_function_call): Likewise.
2129
2130         * cp-tree.h (LOOKUP_LIST_ONLY): New.
2131         * call.c (add_candidates): Enforce it.
2132         (build_new_method_call): Try non-list ctor if no viable list ctor.
2133         (build_user_type_conversion_1): Likewise.
2134
2135         * call.c (add_candidates): Distinguish between type(x) and
2136         x.operator type().
2137         (convert_class_to_reference): Set LOOKUP_NO_CONVERSION.
2138         (build_new_method_call): Give better error for conversion op.
2139
2140         * call.c (add_candidates): Add first_arg and return_type parms.
2141         Add special constructor/conversion op handling.
2142         (convert_class_to_reference): Use it.
2143         (build_user_type_conversion_1): Likewise.
2144         (build_op_call): Likewise.
2145         (build_new_method_call): Likewise.
2146         (build_new_op): Adjust.
2147         (perform_overload_resolution): Adjust.
2148
2149 2010-05-11  Paolo Carlini  <paolo.carlini@oracle.com>
2150
2151         PR c++/34272
2152         PR c++/43630
2153         PR c++/34491
2154         * pt.c (process_partial_specialization): Return error_mark_node
2155         in case of unused template parameters in partial specialization.
2156
2157 2010-05-11  Jakub Jelinek  <jakub@redhat.com>
2158
2159         PR c++/44062
2160         * semantics.c (finish_expr_stmt): Don't call mark_exp_read here...
2161         * cvt.c (convert_to_void): ... but here.  If expr is a COMPOUND_EXPR,
2162         look at its second operand.
2163
2164 2010-05-10  Jason Merrill  <jason@redhat.com>
2165
2166         PR c++/44017
2167         * semantics.c (baselink_for_fns): Revert earlier change.
2168
2169         PR c++/44045
2170         * typeck.c (cp_build_modify_expr): Complain about assignment to
2171         array from init list.
2172
2173 2010-05-10  Fabien Chêne  <fabien.chene@gmail.com>
2174
2175         PR c++/43719
2176         * decl.c (check_initializer): strip array type before checking for
2177         uninitialized const or ref members.
2178
2179 2010-05-07  Fabien Chêne  <fabien.chene@gmail.com>
2180
2181         PR c++/43951
2182         * init.c (diagnose_uninitialized_cst_or_ref_member_1): Returns the
2183         error count. Emit errors only if compain is true.
2184         (build_new_1): Do not return error_mark_node if
2185         diagnose_uninitialized_cst_or_ref_member_1 does not diagnose any
2186         errors. Delay the check for user-provided constructor.
2187         (perform_member_init): Adjust.
2188         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Change the
2189         prototype.
2190
2191 2010-05-06  Magnus Fromreide  <magfr@lysator.liu.se>
2192             Jason Merrill  <jason@redhat.com>
2193
2194         Add support for C++0x nullptr.
2195         * cp-tree.def: Add NULLPTR_TYPE.
2196         * cp-tree.h: Add nullptr_node.
2197         (cp_tree_index): Add CPTI_NULLPTR.
2198         (SCALAR_TYPE_P): Add NULLPTR_TYPE.
2199         * call.c (null_ptr_cst_p): Handle nullptr.
2200         (standard_conversion): Likewise.
2201         (convert_arg_to_ellipsis): Likewise.
2202         * mangle.c (write_type): Likewise.
2203         * name-lookup.c (arg_assoc_type): Likewise.
2204         * parser.c (cp_parser_primary_expression): Likewise.
2205         * typeck.c (cp_build_binary_op): Likewise.
2206         (build_reinterpret_cast_1): Likewise.
2207         * error.c (dump_type): Likewise.
2208         (dump_type_prefix, dump_type_suffix): Likewise.
2209         * decl.c (cxx_init_decl_processing): Likewise.
2210         * cxx-pretty-print.c (pp_cxx_constant): Likewise.
2211         * cvt.c (ocp_convert): Likewise.
2212         * rtti.c (typeinfo_in_lib_p, emit_support_tinfos): Put
2213         nullptr_t tinfo in libsupc++.
2214
2215 2010-05-06  Jason Merrill  <jason@redhat.com>
2216
2217         * semantics.c (simplify_aggr_init_expr): Use INIT_EXPR.
2218
2219 2010-04-22  Jakub Jelinek <jakub@redhat.com>
2220             Dodji Seketeli <dodji@redhat.com>
2221
2222         PR c/18624
2223         * cp-tree.h (mark_exp_read, rvalue_use, lvalue_use, type_use):
2224         Declare ...
2225         * expr.c (mark_exp_read, rvalue_use, lvalue_use, type_use): ... new fns.
2226         * typeck.c (cxx_sizeof_expr, cxx_alignof_expr): Call type_use.
2227         (decay_conversion, perform_integral_promotions): Call rvalue_use.
2228         (cp_build_unary_op): Call lvalue_use.
2229         * decl.c (unused_but_set_errorcount): New variable.
2230         (poplevel): Issue -Wunused-but-set-variable diagnostics.
2231         (duplicate_decls): Merge DECL_READ_P flags.
2232         (start_cleanup_fn): Set DECL_READ_P flag.
2233         (finish_function): Issue -Wunused-but-set-parameter diagnostics.
2234         * tree.c (rvalue): Call rvalue_use.
2235         * pt.c (convert_nontype_argument): Likewise.
2236         * semantics.c (finish_expr_stmt, finish_asm_stmt, finish_typeof,
2237         finish_decltype_type): Likewise.
2238         * call.c (convert_like_real) <ck_identity, ck_user>: Call rvalue use.
2239         (build_x_va_arg, build_new_method_call, build_over_call): Call lvalue_use
2240         or rvalue_use depending on the expr.
2241         * init.c (build_new, build_delete): Likewise.
2242         * rtti.c (build_typeid, build_dynamic_cast_1): Likewise.
2243
2244 2010-05-05  Jason Merrill  <jason@redhat.com>
2245
2246         PR c++/43787
2247         * cp-gimplify.c (cp_gimplify_expr): Remove copies of empty classes.
2248         * call.c (build_over_call): Don't try to avoid INIT_EXPR copies here.
2249
2250 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
2251
2252         PR c++/43028
2253         * pt.c (unify): Check each elt for error_mark_node.
2254
2255 2010-05-04  Jason Merrill  <jason@redhat.com>
2256
2257         PR c++/38064
2258         * typeck.c (cp_build_binary_op): Allow enums for <> as well.
2259
2260 2010-05-04  Paolo Carlini  <paolo.carlini@oracle.com>
2261
2262         PR c++/43705
2263         * call.c (build_new_method_call): Return error_mark_node if fns is
2264         NULL_TREE.
2265
2266 2010-05-03  Dodji Seketeli  <dodji@redhat.com>
2267
2268         PR c++/43953
2269         * pt.c (most_specialized_class): Pretend we are processing
2270         a template decl during the call to coerce_template_parms.
2271
2272 2010-05-03  Jason Merrill  <jason@redhat.com>
2273
2274         PR c++/42810
2275         PR c++/43680
2276         * decl.c (finish_enum): Use the TYPE_MIN_VALUE and TYPE_MAX_VALUE
2277         from the selected underlying type unless -fstrict-enums.  Set
2278         ENUM_UNDERLYING_TYPE to have the restricted range.
2279         * cvt.c (type_promotes_to): Use ENUM_UNDERLYING_TYPE.
2280         * class.c (check_bitfield_decl): Likewise.
2281
2282 2010-05-01  H.J. Lu  <hongjiu.lu@intel.com>
2283
2284         PR c++/43951
2285         * init.c (build_new_1): Revert the accidental checkin in
2286         revision 158918.
2287
2288 2010-04-30  Jason Merrill  <jason@redhat.com>
2289
2290         PR c++/43868
2291         * cxx-pretty-print.c (pp_cxx_decl_specifier_seq): Move pmf handling...
2292         (pp_cxx_type_specifier_seq): ...here.
2293
2294 2010-04-30  Steven Bosscher  <steven@gcc.gnu.org>
2295
2296         * optimize.c, parser.c, mangle.c, cp-tree.h: Do not include varray.h.
2297         * Make-lang.in: Don't include varray.h dependency in CXX_TREE_H.
2298
2299 2010-04-30  Shujing Zhao  <pearly.zhao@oracle.com>
2300
2301         PR c++/43779
2302         * typeck.c (warn_args_num): New function.
2303         (convert_arguments): Use warn_args_num to print the diagnostic
2304         messages.
2305
2306 2010-04-29  Fabien Chêne  <fabien.chene@gmail.com>
2307
2308         PR c++/43890
2309         * init.c (diagnose_uninitialized_cst_or_ref_member): check for
2310         user-provided constructor while recursing.
2311
2312 2010-04-28  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2313
2314         PR c++/9335
2315         * error.c (print_instantiation_partial_context_line): Handle
2316         recursive instantiation.
2317         (print_instantiation_partial_context): Likewise.
2318
2319 2010-04-27  Jason Merrill  <jason@redhat.com>
2320
2321         * init.c (perform_member_init): Check CLASS_TYPE_P.
2322
2323 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
2324
2325         PR c++/29043
2326         * init.c (perform_member_init): check for uninitialized const or
2327         reference members, including array types.
2328
2329 2010-04-24  Jason Merrill  <jason@redhat.com>
2330
2331         * tree.c (get_fns): Split out from get_first_fn.
2332         * cp-tree.h: Declare it.
2333         * search.c (shared_member_p): Use it.
2334         * semantics.c (finish_qualified_id_expr): Simplify.
2335         (finish_id_expression): Simplify.
2336
2337         * semantics.c (finish_non_static_data_member): Call maybe_dummy_object
2338         whenever object is NULL_TREE.  Don't do 'this' capture here.
2339         (finish_qualified_id_expr): Pass NULL_TREE.
2340         (finish_id_expression): Likewise.
2341         (lambda_expr_this_capture): Likewise.
2342
2343         * semantics.c (finish_qualified_id_expr): Use maybe_dummy_object
2344         rather than checking current_class_ref directly.
2345         (finish_call_expr): Likewise.
2346
2347         PR c++/43856
2348         * name-lookup.c (qualify_lookup): Disqualify lambda op().
2349         * class.c (current_nonlambda_class_type): New fn.
2350         * semantics.c (nonlambda_method_basetype): New.
2351         * cp-tree.h: Declare them.
2352         * tree.c (maybe_dummy_object): Handle implicit 'this' capture.
2353
2354         * semantics.c (baselink_for_fns): Correct BASELINK_BINFO.
2355
2356         PR c++/43875
2357         * semantics.c (lambda_return_type): Complain about
2358         braced-init-list.
2359
2360         PR c++/43790
2361         * tree.c (cv_unqualified): Handle error_mark_node.
2362
2363         PR c++/41468
2364         * call.c (convert_like_real) [ck_ambig]: Just return error_mark_node
2365         if we don't want errors.
2366
2367         PR c++/41468
2368         * class.c (convert_to_base): Add complain parameter.  Pass
2369         ba_quiet to lookup_base if we don't want errors.
2370         (build_vfield_ref): Pass complain to convert_to_base.
2371         * call.c (convert_like_real): Likewise.
2372         (initialize_reference): Likewise.
2373         (perform_direct_initialization_if_possible): Pass complain to
2374         convert_like_real.
2375         * cp-tree.h: Adjust.
2376
2377 2010-04-27  Fabien Chêne  <fabien.chene@gmail.com>
2378             Jason Merrill  <jason@redhat.com>
2379
2380         PR c++/42844
2381         * decl.c (check_for_uninitialized_const_var): Handle classes that need
2382         constructing, too.
2383         (check_initializer): Call it for classes that need constructing, too.
2384         * class.c (in_class_defaulted_default_constructor): New.
2385         * cp-tree.h: Declare it.
2386
2387 2010-04-20  Jason Merrill  <jason@redhat.com>
2388
2389         PR c++/9335
2390         * init.c (constant_value_1): Treat error_mark_node as a constant
2391         if DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P is set.
2392         * cvt.c (ocp_convert): Handle getting error_mark_node from
2393         integral_constant_value.
2394         * decl.c (compute_array_index_type): Likewise.
2395
2396 2010-04-20  Dodji Seketeli  <dodji@redhat.com>
2397
2398         PR c++/43800
2399         PR c++/43704
2400         * typeck.c (incompatible_dependent_types_p): If one of the
2401         compared types if not a typedef then honour their main variant
2402         equivalence.
2403
2404 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
2405
2406         * cp-tree.h (TYPE_REF_IS_RVALUE): Remove.
2407
2408 2010-04-19  Dodji Seketeli  <dodji@redhat.com>
2409
2410         PR c++/43704
2411         * typeck.c (structural_comptypes): Test dependent typedefs
2412         incompatibility before testing for their main variant based
2413         equivalence.
2414
2415 2010-04-19  Jakub Jelinek  <jakub@redhat.com>
2416
2417         * cp-tree.h (SCOPED_ENUM_P, UNSCOPED_ENUM_P, SET_SCOPED_ENUM_P): Use
2418         ENUM_IS_SCOPED bit instead of TYPE_LANG_FLAG_5.
2419
2420 2010-04-18  Eric Botcazou  <ebotcazou@adacore.com>
2421
2422         * decl.c (cxx_init_decl_processing): Remove second argument in call to
2423         build_common_tree_nodes.
2424
2425 2010-04-14  Jason Merrill  <jason@redhat.com>
2426
2427         PR c++/36625
2428         * parser.c (cp_parser_parenthesized_expression_list): Change
2429         is_attribute_list parm to int to indicate whether or not to
2430         handle initial identifier specially.
2431         (cp_parser_attribute_list): Use attribute_takes_identifier_p.
2432
2433 2010-04-13  Jason Merrill  <jason@redhat.com>
2434
2435         * call.c (type_decays_to): Check MAYBE_CLASS_TYPE_P instead of
2436         CLASS_TYPE_P.
2437         * parser.c (cp_parser_lambda_expression): Complain about lambda in
2438         unevaluated context.
2439         * pt.c (iterative_hash_template_arg): Don't crash on lambda.
2440
2441 2010-04-12  Jason Merrill  <jason@redhat.com>
2442
2443         PR c++/43641
2444         * semantics.c (maybe_add_lambda_conv_op): Use build_call_a and tweak
2445         return value directly.
2446
2447         * call.c (type_decays_to): Call cv_unqualified for non-class type.
2448
2449 2010-04-12  Fabien Chene  <fabien.chene@gmail.com>
2450
2451         PR c++/25811
2452         * cp-tree.h (diagnose_uninitialized_cst_or_ref_member): Declare.
2453         * init.c (build_new_1): Check for uninitialized const members and
2454         uninitialized reference members, when using new without
2455         new-initializer. Call diagnose_uninitialized_cst_or_ref_member.
2456         (diagnose_uninitialized_cst_or_ref_member): Define, call
2457         diagnose_uninitialized_cst_or_ref_member_1.
2458         (diagnose_uninitialized_cst_or_ref_member_1): New function.
2459
2460 2010-04-12  Richard Guenther  <rguenther@suse.de>
2461
2462         PR c++/43611
2463         * semantics.c (expand_or_defer_fn_1): Do not keep extern
2464         template inline functions.
2465
2466 2010-04-09  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2467
2468         PR c++/28584
2469         * typeck.c (cp_build_c_cast): Warn for casting integer to larger
2470         pointer type.
2471
2472 2010-04-07  Jason Merrill  <jason@redhat.com>
2473
2474         PR c++/43016
2475         * decl.c (start_preparsed_function): Do defer nested functions.
2476
2477         PR c++/11094, DR 408
2478         * cp-tree.h (VAR_HAD_UNKNOWN_BOUND, SET_VAR_HAD_UNKNOWN_BOUND): New.
2479         * decl2.c (finish_static_data_member_decl): Set it.
2480         * decl.c (duplicate_decls): Propagate it.
2481         * pt.c (tsubst_decl): Don't substitute the domain of an array
2482         VAR_DECL if it's set.
2483         (regenerate_decl_from_template): Substitute it here.
2484         (type_dependent_expression_p): Return true if it's set.
2485         * semantics.c (finish_decltype_type): Instantiate such a variable.
2486         * typeck.c (cxx_sizeof_expr): Likewise.
2487         (strip_array_domain): New.
2488
2489         PR c++/43145
2490         * name-lookup.c (current_decl_namespace): Non-static.
2491         (pop_nested_namespace): Sanity check.
2492         * cp-tree.h: Declare current_decl_namespace.
2493         * decl.c (grokvardecl): Use it instead of current_namespace.
2494         (grokfndecl): Likewise.
2495
2496         PR c++/38392
2497         * pt.c (tsubst_friend_function): Instatiate a friend that has already
2498         been used.
2499
2500         * pt.c (print_template_statistics): New.
2501         * cp-tree.h: Declare it.
2502         * tree.c (cxx_print_statistics): Call it.
2503
2504         PR c++/41970
2505         * decl.c (grokvardecl): Tweak warning message.
2506         (grokfndecl): Likewise.
2507
2508 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
2509
2510         PR c++/42697
2511         *pt.c (tsubst_decl): Get the arguments of a specialization from
2512         the specialization template, not from the most general template.
2513
2514 2010-04-07  Dodji Seketeli  <dodji@redhat.com>
2515
2516         PR c++/40239
2517         * typeck2.c (process_init_constructor_record):
2518         value-initialize members that are are not explicitely
2519         initialized.
2520
2521 2010-04-07  Jie Zhang  <jie@codesourcery.com>
2522
2523         PR c++/42556
2524         * typeck2.c (split_nonconstant_init_1): Drop empty CONSTRUCTOR
2525         when all of its elements are non-constant and have been split out.
2526
2527 2010-04-06  Taras Glek  <taras@mozilla.com>
2528             Jason Merrill  <jason@redhat.com>
2529
2530         * parser.c (cp_parser_class_specifier): Set class location to that
2531         of IDENTIFIER_NODE instead of '{' when possible.
2532         * semantics.c (begin_class_definition): Do not overide locations
2533         with less precise ones.
2534
2535 2010-04-06  Jason Merrill  <jason@redhat.com>
2536
2537         PR c++/43648
2538         * name-lookup.c (constructor_name_p): Allow X::~X even for typedefs.
2539
2540         PR c++/43621
2541         * pt.c (maybe_update_decl_type): Check the return value from
2542         push_scope.
2543
2544 2010-04-01  Jason Merrill  <jason@redhat.com>
2545
2546         * decl.c (next_initializable_field): No longer static.
2547         * cp-tree.h: Declare it.
2548         * call.c (build_aggr_conv): Fail if there are more initializers
2549         than initializable fields.
2550
2551         * semantics.c (maybe_add_lambda_conv_op): Use null_pointer_node
2552         instead of void_zero_node.
2553
2554 2010-03-31  Dodji Seketeli  <dodji@redhat.com>
2555
2556         PR c++/43558
2557         * cp-tree.h (TEMPLATE_TYPE_PARM_SIBLING_PARMS): New accessor macro.
2558         * pt.c (end_template_parm_list): Store sibling template parms of
2559         each TEMPLATE_TYPE_PARMs into its TEMPLATE_TYPE_PARM_SIBLING_PARMS.
2560         (push_template_decl_real): Don't store the containing template decl
2561         into the DECL_CONTEXT of TEMPLATE_TYPE_PARMs anymore.
2562         * typeck.c (get_template_parms_of_dependent_type): Get sibling parms
2563         of a TEMPLATE_TYPE_PARM from TEMPLATE_TYPE_PARM_SIBLING_PARMS.
2564         Simplify the logic.
2565
2566 2010-03-30  Jason Merrill  <jason@redhat.com>
2567
2568         PR c++/43076
2569         * pt.c (push_template_decl_real): Deal better with running out of
2570         scopes before running out of template parms.
2571
2572         PR c++/41185
2573         PR c++/41786
2574         * parser.c (cp_parser_direct_declarator): Don't allow VLAs in
2575         function parameter context.  Don't print an error if parsing
2576         tentatively.
2577
2578         PR c++/43559
2579         * pt.c (more_specialized_fn): Don't control cv-qualifier check
2580         with same_type_p.
2581
2582 2010-03-26  Jason Merrill  <jason@redhat.com>
2583
2584         PR c++/43509
2585         * parser.c (cp_parser_qualifying_entity): Do accept enum names in
2586         c++0x mode, but not other type-names.
2587
2588 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
2589
2590         PR c++/43327
2591         * pt.c (add_to_template_args): Support NULL ARGS;
2592         (most_specialized_class): call coerce_template_parms on
2593         template arguments passed to get_class_bindings. Use
2594         add_to_template_args.
2595         (unify): Handle VAR_DECLs.
2596
2597 2010-03-26  Dodji Seketeli  <dodji@redhat.com>
2598
2599         * cp-tree.h (get_template_parms_at_level): Change unsigned parm
2600         into int.
2601         * pt.c (get_template_parms_at_level): Adjust.
2602
2603 2010-03-25  Dodji Seketeli  <dodji@redhat.com>
2604
2605         PR c++/43206
2606         * cp-tree.h (get_template_parms_at_level): Declare ...
2607         * pt.c (get_template_parms_at_level): ... new function.
2608         * typeck.c (get_template_parms_of_dependent_type): If a template
2609         type parm's DECL_CONTEXT isn't yet set, get its siblings from
2610         current_template_parms. Use get_template_parms_at_level. Remove
2611         useless test.
2612         (incompatible_dependent_types_p): If we get empty parms from just one
2613         of the template type parms we are comparing then the template parms are
2614         incompatible.
2615
2616 2010-03-24  Jason Merrill  <jason@redhat.com>
2617
2618         PR c++/43502
2619         * parser.c (make_declarator): Initialize id_loc.
2620         (cp_parser_lambda_declarator_opt): And set it.
2621
2622 2010-03-23  Jason Merrill  <jason@redhat.com>
2623
2624         Make lambda conversion op and op() non-static.
2625         * semantics.c (maybe_add_lambda_conv_op): Make non-static.
2626         Also add the thunk function returned by the conversion op.
2627         Mark the conversion deleted if the op() is variadic.
2628         * decl2.c (mark_used): Give helpful message about deleted conversion.
2629         * parser.c (cp_parser_lambda_declarator_opt): Don't make op() static.
2630         * semantics.c (finish_this_expr): Adjust.
2631         * mangle.c (write_closure_type_name): Adjust.
2632         * decl.c (grok_op_properties): Don't allow it.
2633         * call.c (build_user_type_conversion_1): No static conversion ops.
2634         (build_op_call): Or op().
2635
2636         * decl2.c (change_return_type): Fix 'this' quals.
2637
2638 2010-03-22  Jason Merrill  <jason@redhat.com>
2639
2640         PR c++/43333
2641         * tree.c (pod_type_p): Use old meaning in C++98 mode.
2642
2643         PR c++/43281
2644         * pt.c (contains_auto_r): New fn.
2645         (do_auto_deduction): Use it.
2646         (tsubst): Don't look at TREE_TYPE of a TEMPLATE_TYPE_PARM.
2647
2648 2010-03-20  Simon Martin  <simartin@users.sourceforge.net>
2649
2650         PR c++/43081:
2651         * decl2.c (grokfield): Handle invalid initializers for member
2652         functions.
2653
2654 2010-03-20  Dodji Seketeli  <dodji@redhat.com>
2655
2656         PR c++/43375
2657         * method.c (make_alias_for): Avoid crashing when DECL_LANG_SPECIFIC
2658         is NULL.
2659         * decl2.c (vague_linkage_p): Likewise.
2660
2661 2010-03-18  Paolo Carlini  <paolo.carlini@oracle.com>
2662
2663         PR c++/43418
2664         * parser.c (cp_parser_for_init_statement): Use NULL_TREE, not
2665         false, in the cp_parser_expression_statement call.
2666
2667 2010-03-05  Jason Merrill  <jason@redhat.com>
2668
2669         * mangle.c (mangle_decl): Give name collision error even without
2670         ASM_OUTPUT_DEF.
2671
2672 2010-03-04  Marco Poletti  <poletti.marco@gmail.com>
2673
2674         * pt.c (process_partial_specialization): Use error_n instead of
2675         error.
2676
2677 2010-03-03  Jason Merrill  <jason@redhat.com>
2678
2679         PR c++/12909
2680         * mangle.c (mangle_decl): Handle VAR_DECL, too.
2681
2682 2010-03-03  Jason Merrill  <jason@redhat.com>
2683
2684         PR c++/12909
2685         * mangle.c: Include cgraph.h.
2686         (mangle_decl): If the mangled name will change in a later
2687         ABI version, make the later mangled name an alias.
2688         * method.c (make_alias_for): Copy DECL_ARGUMENTS.
2689         * Make-lang.in (mangle.o): Depend on cgraph.h.
2690         * method.c (make_alias_for): Handle VAR_DECL, too.
2691         * decl2.c (vague_linkage_p): Rename from vague_linkage_fn_p.
2692         * tree.c (no_linkage_check): Adjust.
2693         * decl.c (maybe_commonize_var): Adjust.
2694         * cp-tree.h: Adjust.
2695
2696 2010-03-01  Marco Poletti  <poletti.marco@gmail.com>
2697
2698         * pt.c (redeclare_class_template): Use error_n and inform_n.
2699
2700 2010-02-27  Mark Mitchell  <mark@codesourcery.com>
2701
2702         PR c++/42748
2703         * cp-tree.h (push_tinst_level): Declare.
2704         (pop_tinst_level): Likewise.
2705         * pt.c (push_tinst_level): Give it external linkage.
2706         (pop_tinst_level): Likewise.
2707         * mangle.c (mangle_decl_string): Set the source location to that
2708         of the decl while mangling.
2709
2710 2010-02-27  Simon Martin  <simartin@users.sourceforge.net>
2711
2712         PR c++/42054
2713         * pt.c (redeclare_class_template): Return false if there are erroneous
2714         template parameters.
2715
2716 2010-02-24  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2717
2718         * pt.c (push_tinst_level): Replace -ftemplate-depth- with
2719         -ftemplate-depth=.
2720
2721 2010-02-24  Jason Merrill  <jason@redhat.com>
2722
2723         PR c++/12909
2724         * mangle.c (write_type): Give -Wabi warning for old vector mangling.
2725
2726         * class.c (layout_class_type): Don't give -Wabi warning for a bug
2727         in a previous ABI version.
2728
2729 2010-02-23  Jason Merrill  <jason@redhat.com>
2730
2731         PR c++/43143
2732         * typeck2.c (digest_init_r): Accept value init of array.
2733
2734 2010-02-22  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2735
2736         PR c++/43126
2737         * typeck.c (convert_arguments): Update error message.
2738
2739 2010-02-22  Mike Stump  <mikestump@comcast.net>
2740
2741         PR c++/43125
2742         * decl.c (duplicate_decls): Merge DECL_PRESERVE_P.
2743
2744 2010-02-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2745
2746         PR c++/23510
2747         * error.c (print_instantiation_partial_context_line): New.
2748         (print_instantiation_partial_context): Print at most 12 contexts,
2749         skip the rest with a message.
2750
2751 2010-02-21  Dodji Seketeli  <dodji@redhat.com>
2752
2753         PR c++/42824
2754         * pt.c (lookup_template_class): Better support of specialization
2755         of member of class template implicit instantiation.
2756
2757 2010-02-20  Manuel López-Ibáñez  <manu@gcc.gnu.org>
2758
2759         PR c++/35669
2760         * call.c (conversion_null_warnings): Replace -Wconversion with
2761         -Wconversion-null.
2762         * cvt.c (build_expr_type_conversion): Likewise.
2763
2764 2010-02-18  Jason Merrill  <jason@redhat.com>
2765
2766         PR c++/42837
2767         * class.c (create_vtable_ptr): Set DECL_PACKED if type is packed.
2768
2769         PR c++/43108
2770         * typeck.c (cp_build_binary_op): Adapt mixed complex/non handling from
2771         C build_binary_op.
2772         * cp-tree.h (WANT_VECTOR_OR_COMPLEX): Rename from WANT_VECTOR.
2773         * cvt.c (build_expr_type_conversion): Allow COMPLEX_TYPE.
2774
2775         PR c++/43070
2776         * semantics.c (finish_goto_stmt): Don't call decay_conversion.
2777
2778         PR c++/26261
2779         PR c++/43101
2780         * pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.
2781         (maybe_update_decl_type): New fn.
2782         * parser.c (cp_parser_init_declarator): Use it.
2783
2784         PR c++/43109
2785         * semantics.c (begin_class_definition): Don't crash on unnamed ns.
2786
2787 2010-02-17  Jason Merrill  <jason@redhat.com>
2788
2789         PR c++/43075
2790         * call.c (build_over_call): Don't create zero-sized assignments.
2791         * cp-gimplify.c (cp_genericize_r): Don't remove them here.
2792         * cp-objcp-common.c (cp_expr_size): Remove.
2793         * cp-tree.h: Remove prototype.
2794
2795         PR c++/43069
2796         * name-lookup.c (set_decl_namespace): Don't copy DECL_CONTEXT if the
2797         decl we looked up doesn't match.
2798
2799         PR c++/43093
2800         * cp-gimplify.c (cp_gimplify_expr) [INIT_EXPR]: Return if we don't
2801         have an INIT_EXPR anymore.
2802
2803         PR c++/43079
2804         * pt.c (convert_nontype_argument): Change assert to test.
2805
2806 2010-02-16  Jason Merrill  <jason@redhat.com>
2807
2808         * cp-gimplify.c (cp_gimplify_expr): Fix error recovery.
2809
2810         PR c++/43031
2811         * cp-gimplify.c (cp_gimplify_expr) [MODIFY_EXPR]: Use
2812         VIEW_CONVERT_EXPR for conversions between structural equality types
2813         that the back end can't tell are the same.
2814
2815         PR c++/43036
2816         * tree.c (build_cplus_array_type): Set TYPE_MAIN_VARIANT to strip
2817         cv-quals from element here.
2818         (cp_build_qualified_type_real): Not here.  Preserve typedef name.
2819
2820 2010-02-14  Jason Merrill  <jason@redhat.com>
2821
2822         PR c++/41997
2823         * semantics.c (finish_compound_literal): Use
2824         cp_apply_type_quals_to_decl when creating a static variable.
2825
2826 2010-02-12  Jason Merrill  <jason@redhat.com>
2827
2828         PR c++/43024
2829         * name-lookup.h (current_binding_level): Check for null
2830         cp_function_chain.
2831
2832 2010-02-12  Jason Merrill  <jason@redhat.com>
2833
2834         PR c++/43054
2835         * tree.c (cp_tree_equal): Correct CALL_EXPR logic.
2836
2837 2010-02-12  Jakub Jelinek  <jakub@redhat.com>
2838
2839         PR c++/43033
2840         * name-lookup.c (pushdecl_maybe_friend): Check default args of t
2841         instead of x.
2842
2843 2010-02-10  Jason Merrill  <jason@redhat.com>
2844
2845         PR c++/41896
2846         * semantics.c (outer_lambda_capture_p): Revert.
2847         (add_capture): Only finish_member_declaration if
2848         we're in the lambda class.
2849         (register_capture_members): New.
2850         * cp-tree.h: Declare it.
2851         * parser.c (cp_parser_lambda_expression): Call it.
2852
2853 2010-02-10  Jason Merrill  <jason@redhat.com>
2854
2855         PR c++/41896
2856         * semantics.c (outer_lambda_capture_p): Use current_function_decl
2857         instead of current_class_type.
2858
2859 2010-02-10  Jason Merrill  <jason@redhat.com>
2860
2861         PR c++/42983, core issue 906
2862         * method.c (defaultable_fn_check): Check virtualness.
2863
2864 2010-02-10  Jason Merrill  <jason@redhat.com>
2865
2866         PR c++/43016
2867         * semantics.c (maybe_add_lambda_conv_op): Set DECL_INTERFACE_KNOWN.
2868
2869 2010-02-10  Shujing Zhao  <pearly.zhao@oracle.com>
2870
2871         * Make-lang.in (cp/cvt.o, cp/parser.o, cp/search.o): Depend on intl.h.
2872         * cvt.c (warn_ref_binding): Wrap the messages into G_() for easy
2873         translation.
2874         * parser.c (cp_parser_postfix_expression, cp_parser_new_type_id)
2875         (cp_parser_cast_expression, cp_parser_condition, cp_parser_decltype)
2876         (cp_parser_parameter_declaration)
2877         (cp_parser_exception_specification_opt)
2878         (cp_parser_exception_declaration): Likewise.
2879         * pt.c (check_default_tmpl_args): Likewise.
2880         * search.c (lookup_field_r): Likewise.
2881
2882 2010-02-09  Jason Merrill  <jason@redhat.com>
2883
2884         PR c++/42399
2885         * pt.c (tsubst_copy_and_build): Propagate LAMBDA_EXPR_LOCATION.
2886
2887 2010-02-09  Jason Merrill  <jason@redhat.com>
2888
2889         PR c++/42370
2890         * decl2.c (change_return_type): New fn.
2891         * semantics.c (apply_lambda_return_type): Use it.
2892         * cp-tree.h: Declare it.
2893
2894 2010-02-05  Richard Guenther  <rguenther@suse.de>
2895
2896         * Make-lang.in (cp/cp-lang.o): Depend on gt-cp-cp-lang.h.
2897         * cp-lang.c: Include gt-cp-cp-lang.h.
2898         * config-lang.in (gtfiles): Add cp/cp-lang.c.
2899
2900 2010-02-05  Dodji Seketeli  <dodji@redhat.com>
2901
2902         PR c++/42915
2903         * typeck.c (get_template_parms_of_dependent_type): Try getting
2904         the template parameters fromt the type itself first.
2905
2906 2010-02-03  Jason Merrill  <jason@redhat.com>
2907
2908         PR c++/4926
2909         PR c++/38600
2910         * mangle.c (write_unqualified_id): Split out from write_expression.
2911         (write_unqualified_name): Call it.
2912         (write_member_name): Likewise.
2913         (write_expression): Support TEMPLATE_ID_EXPR.
2914         Disambiguate operator names.
2915
2916         PR c++/12909
2917         * mangle.c (write_type) [VECTOR_TYPE]: Change mangling with
2918         -fabi-version=4.
2919
2920 2010-02-02  Jason Merrill  <jason@redhat.com>
2921
2922         PR c++/41090
2923         * decl.c (cp_finish_decl): Add local statics to cfun->local_decls.
2924         * optimize.c (clone_body): Remap their initializers when making base
2925         variants.
2926         (maybe_clone_body): Complain if multiple clones aren't safe.
2927
2928 2010-01-29  Dodji Seketeli  <dodji@redhat.com>
2929
2930         PR c++/42758
2931         PR c++/42634
2932         PR c++/42336
2933         PR c++/42797
2934         PR c++/42880
2935         * cp-tree.h (NON_DEFAULT_TEMPLATE_ARGS_COUNT,
2936         SET_NON_DEFAULT_TEMPLATE_ARGS_COUNT,
2937         GET_NON_DEFAULT_TEMPLATE_ARGS_COUNT): New accessor macros.
2938         * pt.c (coerce_template_parms, type_unification_real,
2939         expand_template_argument_pack, coerce_template_parameter_pack):
2940         Set the non default template args count.
2941         (current_template_args): Always set non defaulted
2942         template args count when compiled with --enable-checking
2943         (tsubst_template_args, type_unification_real): Propagate the non
2944         defaulted template args count.
2945         * error.c (get_non_default_template_args_count): Renamed
2946         count_non_default_template_args into this. Don't calculate the
2947         non default template argument count anymore. Use the new
2948         accessor macros above to get it.
2949         (dump_template_argument_list, dump_type, dump_decl,
2950         dump_template_parms): Adjust.
2951         * parser.c (cp_parser_template_argument_list): Always set defaulted
2952         template args count when compiled with --enable-checking.
2953
2954 2010-01-29  Shujing Zhao  <pearly.zhao@oracle.com>
2955
2956         * decl.c (redeclaration_error_message): Wrap the return messages into
2957         G_() for easy translation.
2958
2959 2010-01-28  Jason Merrill  <jason@redhat.com>
2960
2961         PR c++/42880
2962         * semantics.c (begin_class_definition): Don't use type_as_string.
2963
2964 2010-01-28  Dodji Seketeli  <dodji@redhat.com>
2965
2966         PR c++/42713
2967         PR c++/42820
2968         * typeck.c (get_template_parms_of_dependent_type): Factorized
2969         this out of incompatible_template_type_parms_p
2970         (incompatible_dependent_types_p): Renamed
2971         incompatible_template_type_parms_p into this. Make it detect
2972         two incompatible dependent typedefs too.
2973         (structural_comptypes): Use incompatible_dependent_types_p.
2974         * pt.c (get_template_info):
2975         Handle BOUND_TEMPLATE_TEMPLATE_PARAM.
2976
2977 2010-01-20  Janis Johnson  <janis187@us.ibm.com>
2978             Jason Merrill  <jason@redhat.com>
2979
2980         * mangle.c (write_type): Mangle transparent record as member type.
2981         * semantics.c (begin_class_definition): Recognize decimal classes
2982         and set TYPE_TRANSPARENT_AGGR.
2983
2984 2010-01-20  Jason Merrill  <jason@redhat.com>
2985
2986         PR c++/42338
2987         * mangle.c (write_expression): Handle tree codes that have extra
2988         arguments in the middle-end.
2989
2990 2010-01-20  Paolo Carlini  <paolo.carlini@oracle.com>
2991
2992         PR c++/42038
2993         * except.c (expand_start_catch_block): Deal correctly with
2994         do_begin_catch returning error_mark_node.
2995
2996 2010-01-20  Jason Merrill  <jason@redhat.com>
2997
2998         PR c++/41788
2999         * class.c (layout_class_type): Set packed_maybe_necessary for packed
3000         non-PODs.
3001
3002         PR c++/41920
3003         * semantics.c (build_lambda_object): Call mark_used on captured
3004         variables.
3005
3006         PR c++/40750
3007         * decl.c (grokdeclarator): Clear type_quals for a member function
3008         declared using a typedef.  Don't complain about adding cv-quals
3009         to a function typedef in C++0x mode.
3010
3011 2010-01-20  Jakub Jelinek  <jakub@redhat.com>
3012
3013         * decl.c (create_array_type_for_decl): Remove set but not used
3014         variable error_msg.  Remove break stmts after return stmts.
3015
3016 2010-01-19  Dodji Seketeli  <dodji@redhat.com>
3017
3018         * error.c (dump_template_parms, count_non_default_template_args):
3019         Revert fix of PR c++/42634.
3020
3021 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
3022
3023         PR c++/42634
3024         * error.c (dump_template_parms): Use innermost template
3025         arguments before calling count_non_default_template_args.
3026         (count_non_default_template_args): We are being called with
3027         template innermost arguments now. There is no need to ensure
3028         that again.
3029
3030 2010-01-18  Dodji Seketeli  <dodji@redhat.com>
3031
3032         PR c++/42766
3033         * cvt.c (build_expr_type_conversion): Look through OVERLOAD.
3034
3035 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
3036
3037         PR c++/42697
3038         *pt.c (tsubst_decl):  Revert commit for PR c++/42697.
3039
3040 2010-01-17  Dodji Seketeli  <dodji@redhat.com>
3041
3042         PR c++/42697
3043         *pt.c (tsubst_decl): Get the arguments of a specialization from
3044         the specialization template, not from the most general template.
3045
3046 2010-01-16  Jason Merrill  <jason@redhat.com>
3047
3048         PR c++/42761
3049         * semantics.c (finish_decltype_type): Within a template, treat
3050         unresolved CALL_EXPR as dependent.
3051
3052 2010-01-15  Dodji Seketeli  <dodji@redhat.com>
3053
3054         * error.c (dump_template_parms,count_non_default_template_args):
3055         Revert changes of PR c++/42634.
3056
3057 2010-01-14  Jakub Jelinek  <jakub@redhat.com>
3058
3059         PR middle-end/42674
3060         * decl.c (finish_function): Don't emit -Wreturn-type warnings in
3061         functions with noreturn attribute.
3062
3063 2010-01-14  Jason Merrill  <jason@redhat.com>
3064
3065         PR c++/42701
3066         * call.c (build_new_method_call): Don't free the vec here.
3067
3068         PR c++/42655
3069         * call.c (convert_like_real): Do full decay_conversion for ck_rvalue.
3070
3071 2010-01-13  Dodji Seketeli  <dodji@redhat.com>
3072
3073         PR c++/42634
3074         * error.c (dump_template_parms): Use innermost template
3075         arguments before calling count_non_default_template_args.
3076         (count_non_default_template_args): We are being called with
3077         template innermost arguments now. There is no need to ensure
3078         that again.
3079
3080 2010-01-07  Dodji Seketeli  <dodji@redhat.com>
3081
3082         c++/40155
3083         * pt.c (unify_pack_expansion): In non-deduced contexts, re-use template
3084         arguments that were previously deduced.
3085
3086 2010-01-05  Jason Merrill  <jason@redhat.com>
3087
3088         * pt.c (unify_pack_expansion): Handle deduction from init-list.
3089         * call.c (build_over_call): Don't complain about it.
3090
3091 2010-01-04  Jason Merrill  <jason@redhat.com>
3092
3093         PR c++/42555
3094         * pt.c (tsubst_decl): Don't apply type attributes in place.
3095
3096         PR c++/42567
3097         * semantics.c (describable_type): Remove decltype comment and
3098         semantics.
3099
3100
3101 \f
3102 Copyright (C) 2010 Free Software Foundation, Inc.
3103
3104 Copying and distribution of this file, with or without modification,
3105 are permitted in any medium without royalty provided the copyright
3106 notice and this notice are preserved.
3107