gcc/cp/ChangeLog

   1 2011-03-08  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/47705
   4         * pt.c (convert_nontype_argument): Don't crash on non-pointer
   5         argument to pointer parameter.
   6
   7         PR c++/45651
   8         * pt.c (instantiate_decl): Don't clear DECL_INTERFACE_KNOWN on
   9         !TREE_PUBLIC decls.
  10
  11 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
  12
  13         PR c++/47957
  14         * name-lookup.c (binding_to_template_parms_of_scope_p): Only
  15         consider scopes of primary template definitions.  Adjust comments.
  16
  17 2011-03-07  Jason Merrill  <jason@redhat.com>
  18
  19         PR c++/48003
  20         * pt.c (convert_nontype_argument): Fix -fpermissive allowing
  21         integer overflow.
  22         * semantics.c (potential_constant_expression_1): Check TREE_OVERFLOW.
  23
  24         PR c++/48015
  25         * init.c (constant_value_1): Always require init to be TREE_CONSTANT.
  26
  27         PR c++/48008
  28         * mangle.c (write_type): Strip cv-quals from FUNCTION_TYPE here.
  29         (write_CV_qualifiers_for_type): Not here.
  30
  31 2011-03-06  Joseph Myers  <joseph@codesourcery.com>
  32
  33         * lang-specs.h: Match -save-temps* instead of -save-temps.
  34
  35 2011-03-05  Jason Merrill  <jason@redhat.com>
  36
  37         * mangle.c (write_expression): Change ABI v6 to v5.
  38         (write_type): Likewise.
  39
  40 2011-03-04  Jan Hubicka  <jh@suse.cz>
  41
  42         PR lto/47497
  43         * optimize.c (maybe_clone_body): Update call of cgraph_same_body_alias
  44         and cgraph_add_thunk.
  45         * method.c (make_alias_for_thunk, use_thunk): Likewise.
  46         * mangle.c (mangle_decl): Likewise.
  47
  48 2011-03-04  Jason Merrill  <jason@redhat.com>
  49
  50         PR c++/47971
  51         * pt.c (tsubst_copy_and_build) [PSEUDO_DTOR_EXPR]: Use tsubst for type.
  52         (tsubst_copy) [default]: Just return t if !ENABLE_CHECKING.
  53
  54         PR c++/46220
  55         * search.c (check_final_overrider): Allow pointer to same incomplete
  56         class type with different cv-quals.
  57
  58 2011-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
  59
  60         PR c++/47974
  61         * pt.c (tsubst_template_args): Check argument t for error_mark_node.
  62
  63 2011-03-03  Jason Merrill  <jason@redhat.com>
  64
  65         PR c++/47950
  66         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Retain TREE_CONSTANT.
  67
  68 2011-03-02  Jason Merrill  <jason@redhat.com>
  69
  70         PR c++/47950
  71         * parser.c (cp_parser_condition): Don't fold_non_dependent_expr here.
  72
  73         PR c++/47774
  74         * tree.c (build_vec_init_elt): Split out from...
  75         (build_vec_init_expr): ...here.
  76         (diagnose_non_constexpr_vec_init): New fn.
  77         * semantics.c (potential_constant_expression_1): Use it.
  78         * cp-tree.h: Declare it.
  79
  80 2011-03-01  Jason Merrill  <jason@redhat.com>
  81
  82         PR c++/46159
  83         * parser.c (cp_parser_primary_expression): Don't warn about a
  84         failed tentative parse.
  85
  86         PR c++/47200
  87         * semantics.c (cxx_bind_parameters_in_call): Don't call
  88         adjust_temp_type on non-constant args.
  89
  90         PR c++/47851
  91         * call.c (standard_conversion): Provide requested cv-quals on
  92         class rvalue conversion.
  93
  94         PR c++/46282
  95         * decl2.c (grokbitfield): Handle type-dependent width.
  96
  97 2011-02-28  Jason Merrill  <jason@redhat.com>
  98
  99         PR c++/47873
 100         * class.c (update_vtable_entry_for_fn): Check BINFO_LOST_PRIMARY_P
 101         after checking for a non-thunk.
 102
 103 2011-02-26  Jason Merrill  <jason@redhat.com>
 104
 105         PR c++/47904
 106         * tree.c (cp_tree_equal): Compare DECL_PARM_LEVEL.
 107         * pt.c (iterative_hash_template_arg): And hash it.
 108
 109         PR c++/47897
 110         * semantics.c (non_const_var_error): Split out from...
 111         (cxx_eval_constant_expression): ...here.
 112         (potential_constant_expression_1) [VAR_DECL]: Use it.
 113         Allow dependent variables.
 114
 115 2011-02-24  Jason Merrill  <jason@redhat.com>
 116
 117         * parser.c (cp_parser_constant_expression): Set
 118         non_integral_constant_expression correctly for C++0x too.
 119         (cp_parser_static_assert): Allow non-constant expression.
 120         (cp_parser_direct_declarator): Expect non_constant_p to be set
 121         properly for C++0x.
 122         * pt.c (value_dependent_expression_p): Handle TYPEID_EXPR.
 123         * semantics.c (maybe_constant_value): Check type_unknown_p too.
 124         (potential_rvalue_constant_expression): New.
 125         (require_potential_rvalue_constant_expression): New.
 126
 127 2011-02-23  Jason Merrill  <jason@redhat.com>
 128
 129         * cp-tree.h (DECL_PARM_LEVEL): New.
 130         (struct lang_decl_parm): Add level field.
 131         * name-lookup.c (function_parm_depth): New fn.
 132         * name-lookup.h: Declare it.
 133         * parser.c (cp_parser_parameter_declaration_list): Use it.
 134         * mangle.c (struct globals): Add parm_depth field.
 135         (write_bare_function_type): Adjust it.
 136         (write_expression): Include the level delta in PARM_DECL mangling
 137         for abi >= 6.
 138
 139         * semantics.c (finish_decltype_type): Remove shortcut for decltype
 140         of id-expression.
 141         * mangle.c (write_type) [DECLTYPE_TYPE]: Strip it here for abi < 6.
 142
 143 2011-02-23  Nathan Froyd  <froydnj@codesourcery.com>
 144
 145         PR c++/46868
 146         * parser.c (cp_parser_class_specifier): Require a closing brace
 147         to attempt error recovery.
 148
 149 2011-02-23  Jakub Jelinek  <jakub@redhat.com>
 150
 151         PR c++/47833
 152         * pt.c (struct pending_template): Add chain_next GTY option.
 153         * decl.c (struct named_label_use_entry): Likewise.
 154
 155 2011-02-22  Paolo Carlini  <paolo.carlini@oracle.com>
 156
 157         PR c++/47242
 158         * semantics.c (build_lambda_object): Bail out if a field is
 159         error_mark_node.
 160
 161 2011-02-22  Dodji Seketeli  <dodji@redhat.com>
 162
 163         PR c++/47666
 164         * class.c (dfs_declare_virt_assop_and_dtor)
 165         (declare_virt_assop_and_dtor): New static functions.
 166         (add_implicitly_declared_members): Use
 167         declare_virt_assop_and_dtor.
 168
 169 2011-02-21  Jason Merrill  <jason@redhat.com>
 170
 171         PR c++/47207
 172         * decl2.c (decl_constant_var_p): A constexpr var needs an
 173         initializer to be constant.
 174         * semantics.c (cxx_eval_constant_expression): Complain about
 175         constexpr var used in its own initializer.
 176         * call.c (set_up_extended_ref_temp): Set
 177         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P too.
 178
 179 2011-02-20  Jason Merrill  <jason@redhat.com>
 180
 181         PR c++/47199
 182         * semantics.c (cxx_eval_call_expression): Call
 183         cxx_eval_constant_expression in trivial shortcut.
 184
 185         PR c++/46831
 186         * call.c (convert_class_to_reference): Don't try to set up a
 187         second conv sequence for non-viable candidates.
 188
 189         PR c++/47703
 190         * error.c (location_of): Handle non-tagged types.
 191
 192         PR c++/46472
 193         * method.c (process_subob_fn): Instantiate constexpr templates.
 194         * optimize.c (maybe_clone_body): Propagate DECL_DECLARED_CONSTEXPR_P.
 195
 196 2011-02-20  Dodji Seketeli  <dodji@redhat.com>
 197
 198         PR c++/46394
 199         * pt.c (tsubst_pack_expansion): do not use
 200         cp_tree_equal/same_type_p to detect an expansion of a parameter
 201         pack.
 202
 203 2011-02-19  Jason Merrill  <jason@redhat.com>
 204
 205         PR c++/47503
 206         * semantics.c (cxx_eval_call_expression): Shortcut trivial copy.
 207
 208 2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
 209
 210         PR c++/47795
 211         * semantics.c (finish_non_static_data_member): Early return if
 212         object is error_mark_node.
 213
 214 2011-02-18  Dodji Seketeli  <dodji@redhat.com>
 215
 216         PR c++/47208
 217         * pt.c (do_auto_deduction): Do not mention error_mark_node in
 218         diagnostics.
 219         * semantics.c (finish_id_expression): Do not pass erroneous decl
 220         to decl_constant_var_p.
 221
 222 2011-02-17  Jakub Jelinek  <jakub@redhat.com>
 223
 224         PR c++/47783
 225         * cvt.c (convert_from_reference): Call mark_exp_read.
 226
 227 2011-02-11  Dodji Seketeli  <dodji@redhat.com>
 228
 229         PR c++/47172
 230         * pt.c (finish_call_expr): Consider a call expression that has a
 231         dependent "this" pointer as being dependent.  Add comments.
 232         (dependent_type_p, type_dependent_expression_p): Update comments.
 233
 234 2011-02-16  Dodji Seketeli  <dodji@redhat.com>
 235
 236         PR c++/47326
 237         * pt.c (tsubst_copy)<case SIZEOF_EXPR>: Ensure that even pack
 238         expansion arguments are not evaluated.
 239
 240 2011-02-16  Jakub Jelinek  <jakub@redhat.com>
 241
 242         PR c++/47704
 243         * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P): Use TYPE_LANG_FLAG_5
 244         instead of TYPE_LANG_FLAG_3.
 245         * pt.c (lookup_template_class): Copy over
 246         ENUM_FIXED_UNDERLYING_TYPE_P.
 247
 248 2011-02-15  Jason Merrill  <jason@redhat.com>
 249
 250         PR c++/46807
 251         * method.c (synthesized_method_walk): Always exit early for
 252         trivial fn in C++98 mode.
 253
 254 2011-02-14  Jason Merrill  <jason@redhat.com>
 255
 256         PR c++/47482
 257         * parser.c (cp_parser_enumerator_definition): Call
 258         fold_non_dependent_expr.
 259
 260 2011-02-09  Jason Merrill  <jason@redhat.com>
 261
 262         * decl.c (cp_make_fname_decl): Set DECL_THIS_STATIC at toplevel.
 263         * semantics.c (finish_fname): Only return the name if we're in
 264         a function.
 265
 266         * decl.c (build_enumerator): Don't perform integral promotions on
 267         non-integral constants.
 268
 269         * cvt.c (convert_to_void): Handle null op1.
 270
 271         * class.c (type_has_constexpr_default_constructor): Make sure the
 272         caller stripped an enclosing array.
 273         * init.c (perform_member_init): Strip arrays before calling it.
 274
 275         PR c++/47511
 276         * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.
 277
 278 2011-02-03  Dodji Seketeli  <dodji@redhat.com>
 279
 280         PR c++/47398
 281         * tree.c (cp_tree_equal)<TEMPLATE_PARM_INDEX>: Take the number of
 282         template parameters in account.
 283
 284 2011-02-03  Nathan Froyd  <froydnj@codesourcery.com>
 285
 286         PR c++/46890
 287         * parser.c (cp_parser_class_specifier): Fix setting of
 288         want_semicolon.
 289
 290 2011-01-31  Jakub Jelinek  <jakub@redhat.com>
 291
 292         PR c++/47416
 293         * semantics.c (build_data_member_initialization): Handle
 294         STATEMENT_LIST always instead of just for CLEANUP_BODY.
 295
 296 2011-01-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 297
 298         * g++spec.c (lang_specific_driver) [HAVE_LD_STATIC_DYNAMIC] Use
 299         LD_STATIC_OPTION, LD_DYNAMIC_OPTION.
 300
 301 2011-01-29  Dodji Seketeli  <dodji@redhat.com>
 302
 303         PR c++/47311
 304         * cp-tree.h (fixup_template_parms): Declare.
 305         * pt.c (end_template_parm_list): Do not fixup template parms here.
 306         (fixup_template_parms): Remove static. Fix typo in the
 307         comments. Remove useless code statement.
 308         (fixup_template_parm): For a template template parameter, fixup
 309         its attributes before fixing up its type.
 310         * parser.c
 311         (cp_parser_template_declaration_after_export): After parsing
 312         template parameters fixup their types.
 313
 314 2011-01-26  Jakub Jelinek  <jakub@redhat.com>
 315
 316         PR c++/47476
 317         * semantics.c (potential_constant_expression_1): Handle
 318         TRUTH_XOR_EXPR.
 319
 320 2011-01-26  Dave Korn  <dave.korn.cygwin@gmail.com>
 321
 322         PR c++/43601
 323         * semantics.c (expand_or_defer_fn_1): Handle it.
 324         * decl2.c (decl_needed_p): Likewise.
 325
 326 2011-01-21  Jason Merrill  <jason@redhat.com>
 327
 328         PR c++/47041
 329         * semantics.c (build_constexpr_constructor_member_initializers):
 330         Handle trivial copy.
 331
 332 2011-01-21  Jakub Jelinek  <jakub@redhat.com>
 333
 334         PR c++/47388
 335         * semantics.c (begin_for_stmt): If -fno-for-scope, don't
 336         assume init must be NULL if scope is NULL.
 337         (begin_range_for_stmt): Likewise.
 338
 339 2011-01-21  Jason Merrill  <jason@redhat.com>
 340
 341         PR c++/46552
 342         * semantics.c (cxx_eval_constant_expression): Handle OFFSET_REF.
 343
 344         PR c++/46977
 345         * semantics.c (potential_constant_expression_1): Split out from
 346         potential_constant_expression.  Add want_rval parm.  Handle
 347         template expression forms.  Don't enforce restriction on address
 348         of automatic variable here.  Add a couple of diagnostics that
 349         had been missing.
 350         (require_potential_constant_expression): New entry point.
 351         (build_data_member_initialization, register_constexpr_fundef): Adjust.
 352         (maybe_constant_value): Check potential_constant_expression.
 353         * pt.c (fold_non_dependent_expr_sfinae): Likewise.
 354         * tree.c (build_vec_init_expr): Adjust.
 355
 356 2011-01-19  Jakub Jelinek  <jakub@redhat.com>
 357
 358         PR c++/47303
 359         * decl2.c (finish_anon_union): Only call mangle_decl if TREE_STATIC
 360         or DECL_EXTERNAL.
 361
 362 2011-01-17  Jason Merrill  <jason@redhat.com>
 363
 364         PR c++/47067
 365         * semantics.c (base_field_constructor_elt): New fn.
 366         (cxx_eval_bare_aggregate): Use it.
 367         (build_data_member_initialization): Leave COMPONENT_REF for
 368         vfield inits.
 369
 370 2011-01-14  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 371
 372         * parser.c (cp_parser_range_for): Remove the "unused variable" warning
 373         workaround.
 374
 375 2011-01-15  Giovanni Funchal  <gafunchal@gmail.com>
 376             Jonathan Wakely  <jwakely.gcc@gmail.com>
 377
 378         PR c++/33558
 379         * decl.c (grokdeclarator): Reject mutable reference members.
 380
 381 2011-01-14  Jason Merrill  <jason@redhat.com>
 382
 383         PR c++/47289
 384         * pt.c (coerce_template_parms): Fix error recovery.
 385
 386         PR c++/46903
 387         * typeck2.c (check_narrowing): Only check arithmetic types.
 388
 389         PR c++/46688
 390         * tree.c (build_vec_init_expr): Handle flexible array
 391         properly.
 392
 393 2011-01-13  Kai Tietz  <kai.tietz@onevision.com>
 394
 395         PR c++/47213
 396         * cp-tree.h (CLASSTYPE_VISIBILITY): Use
 397         TYPE_MAIN_DECL instead of TYPE_NAME.
 398         (CLASSTYPE_VISIBILITY_SPECIFIED): Likewise.
 399         * decl2.c (determine_visibility): Add check
 400         of CLASS_TYPE_P for underlying_type.
 401
 402 2011-01-12  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 403
 404         * cp-tree.h (begin_for_scope): New prototype.
 405         (begin_for_stmt): Update prototype.
 406         (begin_range_for_stmt): Update prototype.
 407         * init.c (build_vec_init): Update call to begin_for_stmt.
 408         * parser.c (cp_parser_for): New.
 409         (cp_parser_c_for): Add three new parameters.
 410         (cp_parser_range_for): Likewise. Most parsing code removed.
 411         (cp_parser_iteration_statement): Call cp_parser_for instead of
 412         cp_parser_c_for and cp_parser_range_for.
 413         (cp_parser_for_init_statement): Add new parameter and return type.
 414         (cp_parser_block_declaration): Update call to
 415         cp_parser_simple_declaration.
 416         (cp_parser_simple_declaration): Add new parameter.
 417         Update call to cp_parser_init_declarator.
 418         (cp_parser_init_declarator): Add new parameter.
 419         * pt.c (tsubst_expr): Update call to begin_for_stmt.
 420         * semantics.c (begin_for_scope): New.
 421         (begin_for_stmt): Add two new parameters.
 422         (begin_range_for_stmt): Likewise.
 423
 424 2011-01-12  Nicola Pero  <nicola.pero@meta-innovation.com>
 425
 426         * parser.c (cp_parser_objc_at_property_declaration): Improved
 427         error message.
 428
 429 2011-01-11  Dodji Seketeli  <dodji@redhat.com>
 430
 431         PR debug/46955
 432         * cp-lang.c (get_template_innermost_arguments_folded)
 433         (get_template_argument_pack_elems_folded)
 434         (template_arg_needs_folding, fold_cplus_constants): New static
 435         functions.
 436         (LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS): Set this hook to
 437         get_template_innermost_arguments_folded.
 438         (LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS): Set this hook to
 439         get_template_argument_pack_elems_folded.
 440
 441 2011-01-11  Jason Merrill  <jason@redhat.com>
 442
 443         PR c++/46658
 444         * init.c (build_new_1): Handle value-init in templates differently.
 445
 446         PR c++/45520
 447         * tree.c (maybe_dummy_object): Check current_class_ref against
 448         context, not current_class_type.
 449
 450 2011-01-08  Nicola Pero  <nicola.pero@meta-innovation.com>
 451
 452         PR objc/47078
 453         * parser.c (cp_parser_objc_typename): If the type is unknown, for
 454         error recovery purposes behave as if it was not specified so that
 455         the default type is used.
 456
 457 2011-01-07  Jakub Jelinek  <jakub@redhat.com>
 458
 459         PR c++/47022
 460         * pt.c (tsubst_copy_and_build): Use tsubst instead of tsubst_copy
 461         for the second build_x_va_arg argument.
 462
 463 2011-01-05  Tom Tromey  <tromey@redhat.com>
 464
 465         * typeck.c (cp_build_addr_expr_1): Update call to lvalue_error.
 466         (lvalue_or_else): Likewise.
 467
 468 2011-01-01  Kai Tietz  <kai.tietz@onevision.com>
 469
 470         PR target/38662
 471         * tree.c (cxx_type_hash_eq):
 472         Allow METHOD_TYPE, too.
 473
 474 \f
 475 Copyright (C) 2011 Free Software Foundation, Inc.
 476
 477 Copying and distribution of this file, with or without modification,
 478 are permitted in any medium without royalty provided the copyright
 479 notice and this notice are preserved.