gcc/cp/ChangeLog

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