gcc/cp/ChangeLog

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