gcc/cp/ChangeLog

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