gcc/cp/ChangeLog

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