gcc/cp/ChangeLog

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