gcc/cp/ChangeLog

   1 2009-04-21  Taras Glek <tglek@mozilla.com>
   2
   3         * cp-tree.h: Update GTY annotations to new syntax.
   4         * decl.c: Likewise.
   5         * mangle.c: Likewise.
   6         * name-lookup.c: Likewise.
   7         * name-lookup.h: Likewise.
   8         * parser.c: Likewise.
   9         * pt.c: Likewise.
  10         * rtti.c: Likewise.
  11         * semantics.c: Likewise.
  12         * typeck2.c: Likewise.
  13
  14 2009-04-22  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
  15
  16         PR c++/14875
  17         * parser.c (cp_parser_error): Pass token->flags to c_parse_error.
  18
  19 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
  20
  21         PR c++/35711
  22         * typeck.c (check_for_casting_away_constness): We diagnose casting
  23         away any qualifiers not just constness.
  24         (casts_away_constness): Mention that it handles more than just
  25         constness.
  26
  27 2009-04-21  Joseph Myers  <joseph@codesourcery.com>
  28
  29         * ChangeLog, ChangeLog-1993, ChangeLog-1994, ChangeLog-1995,
  30         ChangeLog-1996, ChangeLog-1997, ChangeLog-1998, ChangeLog-1999,
  31         ChangeLog-2000, ChangeLog-2001, ChangeLog-2002, ChangeLog-2003,
  32         ChangeLog-2004, ChangeLog-2005, ChangeLog-2006, ChangeLog-2007,
  33         ChangeLog-2008, ChangeLog.ptr, ChangeLog.tree-ssa, NEWS,
  34         cfns.gperf: Add copyright and license notices.
  35         * cfns.h: Regenerate.
  36         * ChangeLog, ChangeLog-2004: Correct dates.
  37
  38 2009-04-21  Manuel López-Ibáñez  <manu@gcc.gnu.org>
  39
  40         PR 16202
  41         * tree.c (lvalue_p_1): Use const_tree.
  42         Use CONST_CAST_TREE to avoid warning.
  43         (lvalue_p): Returns bool, receives const_tree.
  44
  45 2009-04-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
  46
  47         PR c++/13358
  48         * parser.c (cp_parser_check_decl_spec): Drop redundant flags.
  49         * error.c (pedwarn_cxx98): New.
  50         * cp-tree.h (pedwarn_cxx98): Declare.
  51
  52 2009-04-20  Le-Chun Wu  <lcwu@google.com>
  53
  54         PR c++/39803
  55         * init.c (build_vec_init): Set TREE_NO_WARNING on the
  56         compiler-generated INDIRECT_REF expression.
  57
  58 2009-04-20  Ian Lance Taylor  <iant@google.com>
  59
  60         * typeck.c (build_function_call_vec): New function.
  61         (cp_build_function_call): Only pass first parameter to
  62         objc_rewrite_function_call.
  63         (build_modify_expr): Add rhs_origtype parameter.  Change all
  64         callers.
  65         * decl.c (finish_decl): Add origtype parameter.  Change all
  66         callers.
  67         * semantics.c (finish_call_expr): Pass VEC to
  68         resolve_overloaded_builtin.
  69
  70 2009-04-20  Ian Lance Taylor  <iant@google.com>
  71
  72         * cp-tree.h (base_access): Change typedef to int.
  73         * parser.c (cp_parser_omp_flush): Change 0 to OMP_CLAUSE_ERROR.
  74         (cp_parser_omp_threadprivate): Likewise.
  75         * pt.c (unify_pack_expansion): Add casts to enum type.
  76
  77 2009-04-19  Manuel López-Ibáñez  <manu@gcc.gnu.org>
  78
  79         PR c/32061
  80         PR c++/36954
  81         * call.c (build_new_op): Save the original codes of operands
  82         before folding.
  83
  84 2009-04-18  Kazu Hirata  <kazu@codesourcery.com>
  85
  86         * cp-tree.h: Remove the prototype for insert_block.
  87         * decl.c (insert_block): Remove.
  88
  89 2009-04-16  Ian Lance Taylor  <iant@google.com>
  90
  91         * cp-tree.h (enum tsubst_flags): Rename from enum tsubst_flags_t.
  92         (tsubst_flags_t): Change typedef from enum type to int.
  93
  94 2009-04-16  Paolo Bonzini  <bonzini@gnu.org>
  95
  96         * decl.c (check_initializer): Use TYPE_VECTOR_OPAQUE
  97         instead of targetm.vector_opaque_p.
  98
  99 2009-04-15  Le-Chun Wu  <lcwu@google.com>
 100
 101         PR c++/39551
 102         * call.c (build_over_call): Set TREE_NO_WARNING on the
 103         compiler-generated INDIRECT_REF expression.
 104         * cvt.c (convert_to_void): Emit warning when stripping off
 105         INDIRECT_REF.
 106
 107 2009-04-14  Diego Novillo  <dnovillo@google.com>
 108
 109         * parser.c (cp_parser_type_specifier_seq): Move call to
 110         invoke_plugin_callbacks ...
 111         (cp_parser_type_specifier_seq): ... here.
 112
 113 2009-04-14  Le-Chun Wu  <lcwu@google.com>
 114
 115         * Make-lang.in: Modify dependencies of files including plugin.h.
 116         * decl.c (finish_function): Call invoke_plugin_callbacks.
 117         * parser.c (cp_parser_type_specifier): Call invoke_plugin_callbacks.
 118
 119 2009-04-14  Jason Merrill  <jason@redhat.com>
 120
 121         PR c++/39763
 122         * name-lookup.c (pushdecl_maybe_friend): Avoid all warnings
 123         about shadowing by tentative parms.
 124
 125 2009-04-13  Jason Merrill  <jason@redhat.com>
 126
 127         PR c++/39480
 128         * call.c (build_over_call): Don't call memcpy if the target is
 129         the same as the source.
 130
 131 2009-04-13  Jason Merrill  <jason@redhat.com>
 132
 133         PR c++/39750
 134         * pt.c (uses_template_parms): Handle CONSTRUCTOR.
 135
 136 2009-04-12  Jason Merrill  <jason@redhat.com>
 137
 138         PR c++/39742
 139         * call.c (joust): Don't crash on variadic fn.
 140
 141 2009-04-10  Jason Merrill  <jason@redhat.com>
 142
 143         PR c++/28301
 144         * parser.c (cp_parser_skip_to_end_of_block_or_statement): Return
 145         if we see a close brace without an open brace.
 146
 147 2009-04-10  H.J. Lu  <hongjiu.lu@intel.com>
 148
 149         * parser.c (cp_parser_class_specifier): Remove the unused
 150         has_trailing_semicolon.
 151
 152 2009-04-10  Manuel López-Ibáñez  <manu@gcc.gnu.org>
 153
 154         PR  c++/20118
 155         * parser.c (cp_parser_check_template_parameters): Take a
 156         cp_declarator parameter.
 157         (cp_parser_elaborated_type_specifier): Update to
 158         cp_parser_check_template_parameters.
 159         (cp_parser_class_head): Likewise.
 160         (cp_parser_check_declarator_template_parameters): Likewise.
 161         (cp_parser_check_template_parameters): Handle first the non-error
 162         conditions. Give more accurate diagnostics if a declarator is
 163         given.
 164
 165 2009-04-08  Jason Merrill  <jason@redhat.com>
 166
 167         PR c++/25185
 168         * error.c (dump_aggr_type): Chase template typedefs if
 169         -fno-pretty-templates.
 170
 171 2009-04-08  Dodji Seketeli  <dodji@redhat.com>
 172
 173         PR c++/39637
 174         * parser.c (cp_parser_enumerator_definition): Make sure the
 175         initializer of the enumerator doesn't contain any bare parameter pack.
 176
 177 2009-04-07  Jason Merrill  <jason@redhat.com>
 178
 179         PR c++/34691
 180         * name-lookup.c (merge_functions): Keep multiple extern "C" functions.
 181         * call.c (joust): Complain about mismatched default arguments
 182         in extern "C" functions.
 183         * class.c (resolve_address_of_overloaded_function): Handle multiple
 184         extern "C" functions.
 185         * pt.c (resolve_overloaded_unification): Likewise.
 186
 187 2009-04-07  Jason Merrill  <jason@redhat.com>
 188
 189         PR c++/25185
 190         * error.c (dump_function_decl): Don't pretty-print templates
 191         if -fno-pretty-templates.
 192         (count_non_default_template_args): Print all args if
 193         -fno-pretty-templates.
 194
 195 2009-04-06  Jason Merrill  <jason@redhat.com>
 196
 197         PR c++/35146
 198         * pt.c (fn_type_unification): For DEDUCE_EXACT check that
 199         the deduced template arguments give us the parameter types
 200         we're looking for.
 201
 202 2009-04-05  Giovanni Bajo <giovannibajo@libero.it>
 203             Jason Merrill  <jason@redhat.com>
 204
 205         PR c++/14912
 206         * error.c (count_non_default_template_args): New fn.
 207         (dump_template_parms): Call it.
 208         (dump_template_argument_list): Call it.  Add parms parm.
 209         (dump_template_argument): Adjust call to dump_template_argument_list.
 210         (dump_type, dump_decl): Likewise.
 211         (dump_template_bindings): Refactor logic.
 212
 213 2009-04-03  Jason Merrill  <jason@redhat.com>
 214
 215         PR c++/25185
 216         * error.c (dump_template_bindings): Look through typedefs in
 217         typename results.
 218         (dump_type) [TYPENAME_TYPE]: Print the typedef name if any.
 219         (find_typenames_r): Also collect typedefs.
 220         * pt.c (unify): Strip typedefs.
 221
 222         PR c++/39608
 223         * semantics.c (finish_id_expression): Don't assume a dependent
 224         member of the current instantiation isn't a valid integral
 225         constant expression.  Check dependent_scope_p.
 226         * pt.c (dependent_scope_p): Check TYPE_P.
 227         (tsubst_copy): If args is null, just return.
 228
 229 2009-04-02  Jason Merrill  <jason@redhat.com>
 230
 231         PR c++/25185
 232         * error.c (find_typenames, find_typenames_r): New fns.
 233         (dump_function_decl): Call find_typenames.
 234         (dump_template_bindings): Print typenames as well.
 235         * pt.c (tsubst): Non-static.
 236         * cp-tree.h: Declare it.
 237
 238 2009-04-02  Dodji Seketeli  <dodji@redhat.com>
 239
 240         PR c++/26693
 241         * decl2.c (grokfield): when a typedef appears in a
 242         class, create the typedef variant type node for it.
 243         (save_template_attributes): Creating typedef variant type node
 244          here is now useless.
 245         * decl.c (grokdeclarator): If the typedef'ed struct/class was
 246         anonymous, set the proper type name to all its type variants.
 247         (xref_basetypes) : Fixup the variant types after setting
 248         TYPE_BINFO on REF.
 249         * name-lookup.c (pushdecl_maybe_friend): Reuse the
 250         set_underlying_type function to install typedef variant types.
 251         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
 252         macro.
 253         (append_type_to_template_for_access_check): New entry points.
 254         * semantics.c (check_accessibility_of_qualified_id):
 255         When a typedef that is a member of a class appears in a template,
 256         add it to the template. It will be ...
 257         * class.c (finish_struct_bits): Split type variant fixup into ...
 258         (fixup_type_variants): A new entry point.
 259         * pt.c (instantiate_class_template, instantiate_template ): ... access
 260         checked at template instantiation time.
 261         (resolve_type_name_type): The type name should be the name of the
 262         main type variant.
 263         (retrieve_specialization): Specializations of template typedefs aren't
 264         to looked up in DECL_TEMPLATE_INSTANTIATIONS (tmpl).
 265         (append_type_to_template_for_access_check): New entry point.
 266         (tsubst_decl): For typedefs, build the variant type from the correct
 267         original type.
 268         (get_class_bindings): Fix function comment.
 269         (perform_typedefs_access_check): New entry point.
 270
 271 2009-03-31  Jason Merrill  <jason@redhat.com>
 272
 273         PR c++/34691
 274         * name-lookup.c (pushdecl_maybe_friend): Diagnose mismatched
 275         extern "C" declarations.
 276
 277         C++ DR 613
 278         * semantics.c (finish_non_static_data_member): Allow such references
 279         without an associated object in sizeof/decltype/alignof.
 280
 281         * ptree.c (cxx_print_decl): Pretty-print full name of
 282         function/template.
 283         (cxx_print_type): Pretty-print full name of class.
 284
 285         * decl.c (grokdeclarator): Reject pointer to qualified function
 286         type.
 287
 288         PR c++/37806, core issue 547
 289         * typeck.c (cp_apply_type_quals_to_decl): Don't apply any quals
 290         to a typedef.
 291         * tree.c (cp_build_qualified_type_real): Don't apply restrict to a
 292         function type.
 293         * decl.h (enum decl_context): Add TEMPLATE_TYPE_ARG.
 294         * decl.c (groktypename): Add is_template_arg parameter.
 295         (grokdeclarator): Allow function cv-quals on a template type arg.
 296         * parser.c (cp_parser_new_type_id, cp_parser_type_id): Add
 297         is_template_arg argument in calls to groktypename.
 298         * cp-tree.h: Adjust prototype.
 299         * error.c (dump_type_prefix, dump_type_suffix): Fix plain
 300         FUNCTION_TYPE printing.
 301
 302         * mangle.c (write_expression): Mangle dependent name as
 303         source-name.
 304
 305         PR c++/38030, 38850, 39070
 306         * pt.c (type_dependent_expression_p_push): New fn.
 307         (tsubst_copy_and_build) [CALL_EXPR]: Only do arg-dep lookup when the
 308         substitution makes the call non-dependent.  Preserve koenig_p.
 309         * parser.c (cp_parser_postfix_expression): Only do arg-dep lookup
 310         for non-dependent calls.
 311         * semantics.c (finish_call_expr): Revert earlier changes.
 312         * cp-tree.h: Revert change to finish_call_expr prototype.
 313
 314 2009-03-29  Joseph Myers  <joseph@codesourcery.com>
 315
 316         PR preprocessor/34695
 317         * cp-tree.h (cp_cpp_error): Remove.
 318         * error.c (cp_cpp_error): Remove.
 319         * parser.c (cp_lexer_new_main): Set done_lexing instead of
 320         client_diagnostic and error callback.
 321
 322 2009-03-28  Paolo Bonzini  <bonzini@gnu.org>
 323
 324         * cp/cp-objcp-common.h (LANG_HOOKS_STATICP): Remove.
 325         * cp/cp-objcp-common.c (cxx_staticp): Remove.
 326         * cp/cp-tree.h (cxx_staticp): Remove.
 327
 328 2009-03-28  Jakub Jelinek  <jakub@redhat.com>
 329
 330         PR c++/39554
 331         * parser.c (cp_parser_postfix_expression): Don't call
 332         warning_if_disallowed_function_p.
 333
 334 2009-03-27  Jan Hubicka  <jh@suse.cz>
 335
 336         * except.c (choose_personality_routine): Set terminate_node to abort
 337         for java exceptions.
 338
 339 2009-03-27  Dodji Seketeli  <dodji@redhat.com>
 340             Jakub Jelinek  <jakub@redhat.com>
 341
 342         PR debug/37959
 343         * cp-objcp-common.h (LANG_HOOKS_FUNCTION_DECL_EXPLICIT_P): Define.
 344         (cp_function_decl_explicit_p): New prototype.
 345         * cp-objcp-common.c (cp_function_decl_explicit_p): New function.
 346
 347 2009-03-27  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 348
 349         PR c++/38638
 350         * parser.c (cp_parser_elaborated_type_specifier): If we have a
 351         typename tag and don't have either a TYPE_DECL or a
 352         TEMPLATE_ID_EXPR, set the type to NULL.
 353
 354 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
 355
 356         PR c++/37647
 357         * decl.c (grokdeclarator): Reject [con|de]stuctors in a non-class
 358         scope.
 359
 360 2009-03-27  Simon Martin  <simartin@users.sourceforge.net>
 361
 362         PR c++/29727
 363         * decl.c (check_array_designated_initializer): Handle error_mark_node.
 364
 365 2009-03-27  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>
 366
 367         PR c++/35652
 368         * typeck.c (cp_pointer_sum): Adjust call to pointer_int_sum.
 369
 370 2009-03-26  Andrew Haley  <aph@redhat.com>
 371
 372         PR C++/39380
 373         * decl2.c (possibly_inlined_p): If java exceptions are in use
 374         don't inline a decl unless it is explicitly marked inline.
 375         * lex.c: (pragma_java_exceptions): New variable.
 376         (handle_pragma_java_exceptions): Set pragma_java_exceptions.
 377         * cp-tree.h (pragma_java_exceptions): Declare new variable.
 378
 379 2009-03-24  Jason Merrill  <jason@redhat.com>
 380
 381         PR c++/28274
 382         * name-lookup.c (pushdecl_maybe_friend): Check default args later.
 383
 384 2009-03-23  Jakub Jelinek  <jakub@redhat.com>
 385
 386         PR c/39495
 387         * semantics.c (handle_omp_for_class_iterator): Swap cond operands and
 388         code if iter is the second operand.
 389         * parser.c (cp_parser_binary_expression): Add no_toplevel_fold_p
 390         argument.  If it is set, don't build the toplevel expression with
 391         build_x_binary_op, but build2.
 392         (cp_parser_assignment_expression,  cp_parser_omp_for_incr): Adjust
 393         callers.
 394         (cp_parser_omp_for_cond): Don't assume the first operand of the
 395         comparison must be decl.
 396
 397 2009-03-23  Jason Merrill  <jason@redhat.com>
 398
 399         PR c++/37729
 400         * pt.c (make_fnparm_pack): Split out from...
 401         (instantiate_decl): ...here.
 402         (tsubst_pack_expansion): Handle being called in a late-specified
 403         return type.
 404
 405         PR c++/39526
 406         * name-lookup.c (pushdecl_maybe_friend): Don't warn about shadowing
 407         a parm with a parm.
 408
 409 2009-03-20  Jason Merrill  <jason@redhat.com>
 410
 411         PR c++/28879
 412         * parser.c (cp_parser_direct_declarator): In a template, wrap
 413         non-constant expression in NOP_EXPR with TREE_SIDE_EFFECTS set.
 414         * pt.c (tsubst): Preserve it in a partial instantiation.
 415         (dependent_type_p_r): Don't check value_dependent_expression_p.
 416         * decl.c (compute_array_index_type): Don't check
 417         value_dependent_expression_p if TREE_SIDE_EFFECTS.
 418
 419         C++ core issue 703
 420         * typeck2.c (check_narrowing): Don't complain about loss of
 421         precision when converting a floating-point constant.
 422
 423 2009-03-19  Jakub Jelinek  <jakub@redhat.com>
 424
 425         PR c/39495
 426         * parser.c (cp_parser_omp_for_cond): Don't check lhs if decl is NULL.
 427         (cp_parser_omp_for_loop): Always use cp_parser_omp_for_cond.
 428
 429 2009-03-18  Jakub Jelinek  <jakub@redhat.com>
 430
 431         * parser.c (struct cp_token): Reorder fields for 64-bit hosts.
 432         (eof_token): Adjust.
 433
 434 2009-03-18  H.J. Lu  <hongjiu.lu@intel.com>
 435
 436         PR c++/39425
 437         * parser.c (cp_parser_explicit_specialization): Don't skip the
 438         rest of the specialization when begin_specialization returns
 439         false.
 440
 441 2009-03-17  Jason Merrill  <jason@redhat.com>
 442
 443         * decl.c (grokfndecl): Set DECL_CONTEXT on parms.
 444         (duplicate_decls): Adjust DECL_CONTEXT of newdecl's parms.
 445         * pt.c (check_explicit_specialization): Likewise.
 446         (tsubst_copy) [PARM_DECL]: Return a dummy parm if we don't have a
 447         local specialization.
 448         * tree.c (cp_tree_equal) [PARM_DECL]: Check type and index, not name.
 449         * decl2.c (parm_index): New fn.
 450         * semantics.c (finish_decltype_type): Don't use describable_type.
 451         * mangle.c (write_expression): Likewise.  Mangle ALIGNOF_EXPR.
 452         Give a sorry for unsupported codes rather than crash.  Mangle
 453         conversions with other than 1 operand.  New mangling for PARM_DECL.
 454         * operators.def (ALIGNOF_EXPR): Mangle as "az".
 455
 456 2009-03-17  Jing Yu  <jingyu@google.com>
 457
 458         PR middle-end/39378
 459         * method.c (use_thunk): Change is_thunk from crtl to cfun.
 460
 461 2009-03-17  Paolo Carlini  <paolo.carlini@oracle.com>
 462
 463         PR c++/39475
 464         * semantics.c (check_trait_type): New.
 465         (finish_trait_expr): Use it.
 466
 467 2009-03-17  Jakub Jelinek  <jakub@redhat.com>
 468
 469         * name-lookup.c (cp_emit_debug_info_for_using): Emit USING_STMTs
 470         instead of calling imported_module_or_decl debug hook if
 471         building_stmt_tree ().
 472         * cp-gimplify.c (cp_gimplify_expr): Don't assert the first operand
 473         is a NAMESPACE_DECL.
 474
 475         PR debug/37890
 476         * name-lookup.c (do_namespace_alias): Don't call global_decl debug
 477         hook at function scope.
 478
 479         PR debug/39471
 480         * cp-gimplify.c (cp_gimplify_expr): Don't set DECL_NAME
 481         on IMPORTED_DECL.
 482
 483 2009-03-09  Jakub Jelinek  <jakub@redhat.com>
 484
 485         PR c++/39371
 486         * semantics.c (finish_switch_cond): Don't call get_unwidened.
 487         * decl.c (finish_case_label): Pass SWITCH_STMT_TYPE as 3rd argument
 488         instead of TREE_TYPE (cond).
 489
 490 2009-03-08  H.J. Lu  <hongjiu.lu@intel.com>
 491
 492         PR c++/39060
 493         * parser.c (cp_parser_late_parsing_default_args): Continue
 494         the loop when cp_parser_assignment_expression returns
 495         error_mark_node.
 496
 497 2009-03-07  Jason Merrill  <jason@redhat.com>
 498
 499         PR c++/39367
 500         * init.c (build_new_1): Don't use a VLA type.
 501         (build_vec_init): Handle getting a pointer for BASE.
 502
 503 2009-03-06  H.J. Lu  <hongjiu.lu@intel.com>
 504
 505         PR c++/37520
 506         * cp-tree.h: Check NO_DOT_IN_LABEL before NO_DOLLAR_IN_LABEL
 507         when mangling symbols.
 508
 509 2009-03-06  Paolo Carlini  <paolo.carlini@oracle.com>
 510
 511         PR c++/33492
 512         * error.c (dump_expr): Don't try to print THROW_EXPRs in full.
 513
 514 2009-03-06  Alexandre Oliva  <aoliva@redhat.com>
 515
 516         * decl.c (record_builtin_java_type): Use canonicalized integer
 517         types.
 518
 519 2009-03-04  Jason Merrill  <jason@redhat.com>
 520
 521         PR c++/38908
 522         * class.c (is_really_empty_class): New fn.
 523         * cp-tree.h: Declare it.
 524         * cp-objcp-common.c (cp_expr_size): Use it.
 525
 526         PR c++/13549
 527         * semantics.c (perform_koenig_lookup): Handle TEMPLATE_ID_EXPR.
 528         * parser.c (cp_parser_postfix_expression): Call it for
 529         TEMPLATE_ID_EXPR.
 530         * tree.c (is_overloaded_fn): Look through TEMPLATE_ID_EXPR.
 531         (get_first_fn): Likewise.
 532
 533         PR c++/9634
 534         PR c++/29469
 535         PR c++/29607
 536         Implement DR 224.
 537         * decl.c (make_typename_type): Do look inside currently open classes.
 538         * parser.c (cp_parser_lookup_name): Likewise.
 539         (cp_parser_template_name): Likewise.
 540         * pt.c (dependent_scope_p): New function.
 541         * cp-tree.h: Declare it.
 542         * class.c (currently_open_class): Return fast if T isn't a class.
 543
 544 2009-02-26  H.J. Lu  <hongjiu.lu@intel.com>
 545
 546         PR c++/37789
 547         * parser.c (cp_parser_mem_initializer): Return error_mark_node
 548         if cp_parser_mem_initializer_id returns error_mark_node.
 549
 550 2009-02-24  Richard Guenther  <rguenther@suse.de>
 551
 552         PR c++/39242
 553         * pt.c (instantiate_decl): Do not instantiate extern, non-inline
 554         declared functions.
 555
 556 2009-02-23  H.J. Lu  <hongjiu.lu@intel.com>
 557
 558         PR c++/36411
 559         * pt.c (coerce_template_template_parms): Return 0 if parameter
 560         is error_mark_node.
 561
 562 2009-02-23  Jason Merrill  <jason@redhat.com>
 563
 564         * pt.c (unify): Call maybe_adjust_types_for_deduction when
 565         deducing from an initializer list.
 566
 567 2009-02-20  Jason Merrill  <jason@redhat.com>
 568
 569         PR c++/39225
 570         * decl.c (grokdeclarator): Handle ~identifier.
 571
 572 2009-02-19  Jakub Jelinek  <jakub@redhat.com>
 573
 574         PR target/39175
 575         * decl2.c (determine_visibility): If visibility changed and
 576         DECL_RTL has been already set, call make_decl_rtl to update symbol
 577         flags.
 578
 579 2009-02-19  H.J. Lu  <hongjiu.lu@intel.com>
 580
 581         PR c++/39188
 582         * cp-tree.h (maybe_commonize_var): New.
 583
 584         * decl.c (maybe_commonize_var): Make it extern.
 585
 586         * decl2.c (finish_anon_union): Call maybe_commonize_var.
 587
 588 2009-02-18  H.J. Lu  <hongjiu.lu@intel.com>
 589
 590         PR c++/39219
 591         * parser.c (cp_parser_enum_specifier): Apply all attributes.
 592
 593 2009-02-18  Jason Merrill  <jason@redhat.com>
 594
 595         * cfns.h: Tweak pathname for cfns.gperf.
 596
 597 2009-02-13  Jason Merrill  <jason@redhat.com>
 598
 599         PR c++/39070
 600         * semantics.c (finish_call_expr): Change koenig_p parm to int.
 601         If -1, don't set KOENIG_LOOKUP_P but do keep hidden candidates.
 602         * cp-tree.h: Adjust prototype.
 603         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Pass -1.
 604
 605 2009-02-12  Jason Merrill  <jason@redhat.com>
 606
 607         PR c++/38950
 608         * pt.c (unify)[TEMPLATE_PARM_INDEX]: Convert to the tsubsted type.
 609
 610 2009-02-11  Jason Merrill  <jason@redhat.com>
 611
 612         PR c++/39153
 613         * decl2.c (cp_write_global_declarations):
 614         Check DECL_DEFAULTED_FN, not DECL_ARTIFICIAL.
 615
 616         PR c++/30111
 617         * init.c (build_value_init_noctor): Split out from...
 618         (build_value_init): ...here.
 619         (expand_aggr_init_1): Handle value-initialization.
 620         * cp-tree.h: Add declaration.
 621         * class.c (type_has_user_provided_constructor):
 622         Handle non-class arguments.
 623
 624 2009-02-10  Jason Merrill  <jason@redhat.com>
 625
 626         PR c++/38649
 627         * class.c (defaultable_fn_p): Handle ... properly.
 628
 629         PR c++/36744
 630         * tree.c (lvalue_p_1): Condition rvalue ref handling on
 631         treat_class_rvalues_as_lvalues, too.
 632
 633 2009-02-10  Paolo Carlini  <paolo.carlini@oracle.com>
 634
 635         PR c++/34397
 636         * typeck.c (build_x_array_ref): New.
 637         * cp-tree.h: Declare it.
 638         * pt.c (tsubst_copy_and_build): Use it for case ARRAY_REF.
 639
 640 2009-02-09  Jason Merrill  <jason@redhat.com>
 641
 642         PR c++/39109
 643         * semantics.c (simplify_aggr_init_expr): Do zero-initialization here.
 644         * init.c (build_value_init): Not here. Don't build a TARGET_EXPR.
 645         * tree.c (get_target_expr): Handle AGGR_INIT_EXPR.
 646         * cp-gimplify.c (cp_gimplify_init_expr): Remove special handling
 647         for build_value_init TARGET_EXPR.
 648         * cp-tree.h (AGGR_INIT_ZERO_FIRST): New macro.
 649
 650 2009-02-06  Paolo Carlini  <paolo.carlini@oracle.com>
 651
 652         PR c++/35147
 653         PR c++/37737
 654         * cp-tree.h (TMPL_ARGS_HAVE_MULTIPLE_LEVELS): Check TREE_VEC_LENGTH.
 655
 656 2009-02-04  Jakub Jelinek  <jakub@redhat.com>
 657
 658         PR c++/39095
 659         * operators.def: Use COMPONENT_REF code for ->/pt operator again,
 660         remove ./dt operator.
 661         * mangle.c (write_expression): Handle COMPONENT_REF after handling
 662         ADDR_EXPR, for COMPONENT_REF without ARROW_EXPR inside of it
 663         write_string ("dt") instead of using operators.def.
 664
 665 2009-02-03  Jason Merrill  <jason@redhat.com>
 666
 667         * typeck.c (cp_build_unary_op): Only complain about taking address
 668         of main if pedantic.
 669
 670 2009-02-03  Jakub Jelinek  <jakub@redhat.com>
 671
 672         PR inline-asm/39059
 673         * parser.c (cp_parser_primary_expression): Reject FIXED_CSTs.
 674
 675         PR c++/39056
 676         * typeck2.c (digest_init_r): Don't call process_init_constructor
 677         for COMPLEX_TYPE.
 678
 679 2009-02-03  Paolo Bonzini  <bonzini@gnu.org>
 680
 681         PR c++/36897
 682         * pt.c (convert_nontype_argument_function): Expect expr to be an
 683         ADDR_EXPR.
 684
 685         PR c++/37314
 686         * typeck.c (merge_types): Call resolve_typename_type if only
 687         one type is a typename.
 688
 689 2009-02-02  Jason Merrill  <jason@redhat.com>
 690
 691         PR c++/39054
 692         * parser.c (cp_parser_unqualified_id): Don't wrap error_mark_node
 693         in BIT_NOT_EXPR.
 694
 695 2009-02-01  Paolo Carlini  <paolo.carlini@oracle.com>
 696
 697         PR c++/39053
 698         * parser.c (cp_parser_pure_specifier): If there are no tokens left
 699         do not call cp_lexer_consume_token.
 700
 701 2009-01-30  Jakub Jelinek  <jakub@redhat.com>
 702
 703         PR c++/39028
 704         * parser.c (cp_parser_already_scoped_statement): Handle __label__
 705         declarations.
 706
 707 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
 708
 709         PR c++/33465
 710         * error.c (dump_expr): Handle FIX_TRUNC_EXPR and FLOAT_EXPR.
 711
 712 2009-01-30  Paolo Carlini  <paolo.carlini@oracle.com>
 713
 714         PR c++/38655
 715         * error.c (dump_type_prefix, dump_type_suffix): Handle FIXED_POINT_TYPE.
 716
 717 2009-01-29  Paolo Carlini  <paolo.carlini@oracle.com>
 718
 719         * typeck.c (invalid_nonstatic_memfn_p): Use
 720         DECL_NONSTATIC_MEMBER_FUNCTION_P.
 721
 722 2009-01-27  Paolo Carlini  <paolo.carlini@oracle.com>
 723
 724         PR c++/37554
 725         * call.c (build_over_call): If convert_for_arg_passing returns
 726         error_mark_node unconditionally return it.
 727
 728 2009-01-22  Adam Nemet  <anemet@caviumnetworks.com>
 729
 730         * class.c (check_field_decls): Also inherit packed for bitfields
 731         regardless of their type.
 732
 733 2009-01-22  Dodji Seketeli  <dodji@redhat.com>
 734
 735         PR c++/38930
 736         * decl2.c (grokfield): Reverting changes of PR c++/26693
 737         (save_template_attributes): Likewise.
 738         * decl.c (grokdeclarator): Likewise.
 739         * name-lookup.c (pushdecl_maybe_friend): Likewise.
 740         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): Likewise.
 741         (append_type_to_template_for_access_check): Likewise.
 742         * semantics.c (check_accessibility_of_qualified_id): Likewise.
 743         * pt.c (instantiate_class_template, instantiate_template ): Likewise.
 744         (tsubst): Likewise.
 745         (resolve_type_name_type): Likewise.
 746         (append_type_to_template_for_access_check): Likewise.
 747
 748 2009-01-21  Dodji Seketeli  <dodji@redhat.com>
 749
 750         PR c++/26693
 751         * decl2.c (grokfield): when a typedef appears in a
 752         class, create the typedef variant type node for it.
 753         (save_template_attributes): Creating typedef variant type node
 754          here is now useless.
 755         * decl.c (grokdeclarator): If the typedef'ed struct/class was
 756         anonymous, set the proper type name to all its type variants.
 757         * name-lookup.c (pushdecl_maybe_friend): Reuse the
 758         set_underlying_type function to install typedef variant types.
 759         * cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
 760         macro.
 761         (append_type_to_template_for_access_check): New entry points.
 762         * semantics.c (check_accessibility_of_qualified_id):
 763         When a typedef that is a member of a class appears in a template,
 764         add it to the template. It will be ...
 765         * pt.c (instantiate_class_template, instantiate_template ): ... access
 766         checked at template instantiation time.
 767         (tsubst): Handle the case of being called with NULL args.
 768         (resolve_type_name_type): The type name should be the name of the
 769         main type variant.
 770         (append_type_to_template_for_access_check): New entry point.
 771
 772 2009-01-19  Jason Merrill  <jason@redhat.com>
 773
 774         PR c++/23287
 775         * parser.c (cp_parser_unqualified_id): In a template,
 776         accept ~identifier.
 777         * typeck.c (lookup_destructor): Handle IDENTIFIER_NODE.
 778
 779 2009-01-16  Jason Merrill  <jason@redhat.com>
 780
 781         PR c++/38877
 782         * tree.c (lvalue_p_1): Allow non-fields in COMPONENT_REF.
 783         * init.c (build_new): Don't call describable_type unless we
 784         have an auto.
 785
 786         PR c++/29470
 787         * pt.c (tsubst_decl) [USING_DECL]: Propagate access flags.
 788
 789         PR c++/38579
 790         * search.c (protected_accessible_p): N doesn't vary.
 791
 792 2009-01-15  Jason Merrill  <jason@redhat.com>
 793
 794         PR c++/38850
 795         * pt.c (tsubst_copy_and_build): Tell finish_call_expr to
 796         accept hidden friends.
 797
 798 2009-01-15  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 799
 800         PR C++/29388
 801         * decl.c (grokdeclarator): Check for a non namespace/class context.
 802
 803 2009-01-15  Jason Merrill  <jason@redhat.com>
 804
 805         PR c++/36334
 806         PR c++/37646
 807         * tree.c (lvalue_p_1): Handle BASELINK.  A COMPONENT_REF to
 808         a function isn't necessarily an lvalue. Take tree, not const_tree.
 809         (lvalue_p, real_lvalue_p): Take tree, not const_tree.
 810         * typeck.c (lvalue_or_else): Likewise.
 811         * cp-tree.h: Adjust prototypes.
 812
 813 2009-01-15  Steve Ellcey  <sje@cup.hp.com>
 814
 815         PR c++/38357
 816         * pt.c (tsubst): Check for NULL args.
 817
 818 2009-01-15  Dodji Seketeli  <dodji@redhat.com>
 819
 820         PR c++/38636
 821         * name-lookup.c (pushtag): Don't create members to types that are not
 822         being created.
 823
 824 2009-01-14  Nick Clifton  <nickc@redhat.com>
 825
 826         PR c++/37862
 827         * parser.c: Pass cp_id_kind computed in
 828         cp_parser_postfix_dot_deref_expression to
 829         cp_parser_primary_expression.
 830
 831 2009-01-13  Jakub Jelinek  <jakub@redhat.com>
 832
 833         PR c++/38795
 834         * tree.c (cp_walk_subtrees): Handle REINTERPRET_CAST_EXPR,
 835         STATIC_CAST_EXPR, CONST_CAST_EXPR and DYNAMIC_CAST_EXPR the same
 836         as CAST_EXPR.
 837
 838 2009-01-12  Jason Merrill  <jason@redhat.com>
 839             Steve Ellcey  <sje@cup.hp.com>
 840
 841         PR c++/35109
 842         * name-lookup.c (lookup_name_real): Keep looking past a hidden
 843         binding.
 844
 845 2009-01-12  Dodji Seketeli  <dodji@redhat.com>
 846
 847         PR c++/36019
 848         * pt.c (parameter_of_template_p): New function.
 849         * cp-tree.h: Declare it.
 850         * name-lookup.c (binding_to_template_parms_of_scope_p): New
 851         function.
 852         (outer_binding): Take template parameters in account when looking for
 853         a name binding.
 854
 855 2009-01-12  Jason Merrill  <jason@redhat.com>
 856
 857         PR c++/31488
 858         * tree.c (pod_type_p): Return 1 for structs created by the back end.
 859
 860 2009-01-12  Jakub Jelinek  <jakub@redhat.com>
 861
 862         PR c/32041
 863         * parser.c (cp_parser_builtin_offsetof): Allow `->' in
 864         offsetof member-designator, handle it as `[0].'.
 865
 866         PR c++/38794
 867         * decl.c (start_function): If grokdeclarator hasn't returned
 868         FUNCTION_DECL nor error_mark_node, issue diagnostics.
 869
 870 2009-01-11  Jakub Jelinek  <jakub@redhat.com>
 871
 872         PR c++/36254
 873         * cp-gimplify.c (genericize_if_stmt): Renamed from ...
 874         (gimplify_if_stmt): ... this.
 875         (cp_gimplify_expr): Don't handle IF_STMT here.
 876         (cp_genericize_r): Call genericize_if_stmt for IF_STMT.
 877
 878 2009-01-10  Andrew Pinski  <pinskia@gmail.com>
 879
 880         PR c++/38648
 881         * typeck.c (cp_build_modify_expr): Check for NULL current_function_decl.
 882
 883         PR c++/36695
 884         * typeck2.c (build_functional_cast): Check for reference type and NULL
 885         PARMS.
 886
 887 2009-01-09  Steve Ellcey  <sje@cup.hp.com>
 888
 889         * typeck.c (cp_build_unary_op): Check for ERROR_MARK.
 890
 891 2009-01-09  Jakub Jelinek  <jakub@redhat.com>
 892
 893         PR c++/35335
 894         * error.c (dump_expr): Handle EXPR_STMT like BIND_EXPR.
 895
 896 2009-01-09  John F. Carr  <jfc@mit.edu>
 897
 898         PR c++/37877
 899         * parser.c (cp_parser_class_specifier): Clear
 900         parser->in_unbraced_linkage_specification_p while parsing class
 901         specifiers.
 902
 903 2009-01-07  Jakub Jelinek  <jakub@redhat.com>
 904
 905         PR c++/38725
 906         * semantics.c (finish_goto_stmt): Convert destination to
 907         void *.
 908
 909 2009-01-06  Jason Merrill  <jason@redhat.com>
 910
 911         PR c++/35297
 912         PR c++/35477
 913         PR c++/35784
 914         PR c++/36846
 915         PR c++/38276
 916         * pt.c (check_default_tmpl_args): Don't complain about
 917         out-of-order parameter packs in the enclosing class
 918         or parameter packs after default args.
 919         (coerce_template_parms): If we have more than one
 920         parameter pack, don't flatten argument packs.
 921         (template_args_equal): Handle argument packs.
 922         (comp_template_args): Don't flatten argument packs.
 923         (check_instantiated_arg): Split out from...
 924         (check_instantiated_args): Here.  Handle arg packs.
 925         (convert_template_argument): Just check that nontype argument
 926         packs have the right type.
 927
 928 2009-01-05  Dodji Seketeli  <dodji@redhat.com>
 929
 930         PR c++/38472
 931         * typeck.c (type_after_usual_arithmetic_conversions): Fix a typo.
 932
 933 2009-01-05  Jason Merrill  <jason@redhat.com>
 934
 935         PR c++/38698
 936         * typeck2.c (process_init_constructor_union): Handle union with
 937         no fields.
 938
 939         * mangle.c (write_expression): Remove mangling for zero-operand
 940         casts.
 941
 942         PR c++/38701
 943         * decl.c (cp_finish_decl): Clear DECL_INITIAL for invalid
 944         defaulting.
 945
 946         PR c++/38702
 947         * class.c (defaultable_fn_p): Only operator== can be a copy
 948         assignment operator.
 949
 950 2009-01-02  Jason Merrill  <jason@redhat.com>
 951
 952         PR c++/38698
 953         * typeck2.c (process_init_constructor_union): Handle excess
 954         initializers.
 955         (process_init_constructor_record): Likewise.
 956
 957         PR c++/38684
 958         * typeck2.c (digest_init_r): Don't use process_init_constructor
 959         for non-aggregate classes.
 960
 961 \f
 962 Copyright (C) 2009 Free Software Foundation, Inc.
 963
 964 Copying and distribution of this file, with or without modification,
 965 are permitted in any medium without royalty provided the copyright
 966 notice and this notice are preserved.