gcc/cp/ChangeLog

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