gcc/cp/ChangeLog

   1 2011-05-20  Jason Merrill  <jason@redhat.com>
   2
   3         PR c++/49066
   4         * decl.c (duplicate_decls): Preserve DECL_DELETED_FN.
   5
   6         PR c++/48873
   7         * tree.c (stabilize_expr): Fix typo.
   8
   9         DR 1073
  10         PR c++/49082
  11         * typeck.c (comp_except_specs): noexcept(false) is not compatible
  12         with throw(type-list).
  13         * typeck2.c (merge_exception_specifiers): noexcept(false)
  14         beats any more limited specification.
  15
  16         PR c++/24163
  17         PR c++/29131
  18         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Avoid repeating
  19         unqualified lookup.
  20         * semantics.c (perform_koenig_lookup): Add complain parm.
  21         * cp-tree.h: Adjust.
  22         * parser.c (cp_parser_postfix_expression): Adjust.
  23         (cp_parser_perform_range_for_lookup): Adjust.
  24
  25 2011-05-20  Jason Merrill  <jason@redhat.com>
  26
  27         * semantics.c (finish_call_expr): SET_EXPR_LOCATION.
  28
  29 2011-05-20  Joseph Myers  <joseph@codesourcery.com>
  30
  31         * Make-lang.in (GXX_OBJS): Remove intl.o and version.o.
  32
  33 2011-05-19  Jakub Jelinek  <jakub@redhat.com>
  34
  35         PR c++/49043
  36         * decl.c (check_omp_return): Stop searching on sk_function_parms.
  37
  38         PR c++/48869
  39         * method.c (get_dtor, get_copy_ctor): Add COMPLAIN argument,
  40         pass it down to locate_fn_flags.
  41         * cp-tree.h (get_dtor, get_copy_ctor): Adjust prototypes.
  42         * semantics.c (cxx_omp_create_clause_info): Adjust callers.
  43         * cp-gimplify.c: Include splay-tree.h.
  44         (splay_tree_compare_decl_uid, omp_var_to_track,
  45         omp_cxx_notice_variable): New functions.
  46         (struct cp_genericize_omp_taskreg): New type.
  47         (struct cp_genericize_data): Add omp_ctx field.
  48         (cp_genericize_r): Attempt to determine implicitly determined
  49         firstprivate class type variables.
  50         (cp_genericize): Clear omp_ctx.
  51         * Make-lang.in (cp/cp-gimplify.o): Depend on $(SPLAY_TREE_H).
  52
  53 2011-05-18  Jason Merrill  <jason@redhat.com>
  54
  55         PR c++/48948
  56         PR c++/49015
  57         * class.c (finalize_literal_type_property): Do check
  58         for constexpr member functions of non-literal class.
  59         (finish_struct): Don't call check_deferred_constexpr_decls.
  60         * cp-tree.h: Don't declare it.
  61         (DECL_DEFERRED_CONSTEXPR_CHECK): Remove.
  62         * decl.c (grok_special_member_properties): Don't check it
  63         (grokfnedcl): Don't call validate_constexpr_fundecl.
  64         (start_preparsed_function): Do call it.
  65         * pt.c (tsubst_decl): Don't call it.
  66         (instantiate_class_template_1): Don't call
  67         check_deferred_constexpr_decls.
  68         * semantics.c (literal_type_p): Check for any incompleteness.
  69         (ensure_literal_type_for_constexpr_object): Likewise.
  70         (is_valid_constexpr_fn): Revert deferral changes.
  71         (validate_constexpr_fundecl): Likewise.
  72         (register_constexpr_fundef): Likewise.
  73         (check_deferred_constexpr_decls): Remove.
  74
  75 2011-05-16  Jason Merrill  <jason@redhat.com>
  76
  77         PR c++/48969
  78         * pt.c (deduction_tsubst_fntype): Use a VEC initially.
  79
  80 2011-05-15  Paolo Carlini  <paolo.carlini@oracle.com>
  81
  82         * cxx-pretty-print.c: Update comment.
  83         * semantics.c (trait_expr_value, finish_trait_expr):
  84         Reorder the cases.
  85         * parser.c (cp_parser_primary_expression): Likewise.
  86
  87 2011-05-15  Jonathan Wakely  <jwakely.gcc@gmail.com>
  88
  89         PR c++/48994
  90         * parser.c (cp_parser_perform_range_for_lookup): Call complete_type.
  91
  92 2011-05-13  Ville Voutilainen  <ville.voutilainen@gmail.com>
  93
  94         Implement final on class.
  95         * class.c (check_bases): Diagnose derivation from a final class.
  96         * cp-tree.h (lang_type_class): Add is_final and adjust dummy.
  97         (CLASSTYPE_FINAL): New.
  98         * parser.c (cp_parser_class_head): Parse class-virt-specifier, set
  99         CLASSTYPE_FINAL.
 100         * pt.c (instantiate_class_template_1): Copy CLASSTYPE_FINAL.
 101
 102 2011-05-13  Jason Merrill  <jason@redhat.com>
 103
 104         PR c++/48969
 105         * pt.c (deduction_tsubst_fntype): New.
 106         (fn_type_unification): Use it.
 107         (init_template_processing): Initialize hash table.
 108         (print_template_statistics): Print hash table stats.
 109
 110         * call.c (build_op_call): Use timevar_cond_start/stop.
 111         (build_user_type_conversion): Likewise.
 112
 113 2011-05-12  Jason Merrill  <jason@redhat.com>
 114
 115         * cp-tree.h (DECL_DEFERRED_CONSTEXPR_CHECK): New.
 116         * semantics.c (validate_constexpr_fundecl): Set it.
 117         (check_deferred_constexpr_decls): Clear it.
 118         (register_constexpr_fundef): Make sure it isn't set.
 119         * decl.c (grok_special_member_properties): Check it.
 120
 121 2011-05-11  Jason Merrill  <jason@redhat.com>
 122
 123         PR c++/48948
 124         * semantics.c (validate_constexpr_fundecl): Defer checking if
 125         an argument type is being defined.
 126         (is_valid_constexpr_fn): Add defer_ok parm.
 127         (cxx_eval_call_expression): Adjust.
 128         (check_deferred_constexpr_decls): New.
 129         (literal_type_p): Make sure type isn't being defined.
 130         (ensure_literal_type_for_constexpr_object): Handle type being defined.
 131         * cp-tree.h: Declare check_deferred_constexpr_decls.
 132         * decl.c (grokfndecl): Call validate_constexpr_fundecl here.
 133         (start_preparsed_function, cp_finish_decl): Not here.
 134         * class.c (finalize_literal_type_property): Don't call
 135         validate_constexpr_fundecl.
 136         (finish_struct): Call check_deferred_constexpr_decls.
 137         * pt.c (tsubst_decl): Call validate_constexpr_fundecl.
 138         (instantiate_class_template): Call check_deferred_constexpr_decls.
 139
 140         * semantics.c (validate_constexpr_fundecl): Check DECL_TEMPLATE_INFO
 141         rather than DECL_TEMPLATE_INSTANTIATION.
 142         (cxx_eval_call_expression): Likewise.
 143
 144         * semantics.c (register_constexpr_fundef): Add to hash table here.
 145         (validate_constexpr_fundecl): Not here.
 146
 147         * decl.c (grokdeclarator): Only set DECL_DECLARED_CONSTEXPR_P once.
 148
 149         * pt.c (build_non_dependent_expr): Don't check null_ptr_cst_p,
 150         do call maybe_constant_value in C++0x mode.
 151         * semantics.c (cxx_eval_constant_expression): Handle TEMPLATE_DECL.
 152
 153         PR c++/48745
 154         * pt.c (value_dependent_expr_p): Handle CONSTRUCTOR.
 155
 156 2011-05-11  Nathan Froyd  <froydnj@codesourcery.com>
 157
 158         * cp-tree.h (TYPENAME_TYPE_FULLNAME, TYPEOF_TYPE_EXPR): Use
 159         TYPE_VALUES_RAW.
 160         (UNDERLYING_TYPE_TYPE, DECLTYPE_TYPE_EXPR): Likewise.
 161         (DECLTYPE_TYPE_ID_EXPR_OR_MEMBER_ACCESS_P): Likewise.
 162         (TEMPLATE_TYPE_PARM_INDEX): Likewise.
 163
 164 2011-05-10  Jason Merrill  <jason@redhat.com>
 165
 166         PR c++/48930
 167         * class.c (type_build_ctor_call): New.
 168         * cp-tree.h: Declare it.
 169         * decl.c (check_initializer): Use it instead of
 170         TYPE_NEEDS_CONSTRUCTING.
 171         * init.c (build_value_init, build_value_init_noctor): Likewise.
 172         (perform_member_init, expand_aggr_init_1, build_new_1): Likewise.
 173         (build_vec_init): Likewise.
 174         * typeck2.c (process_init_constructor_array): Likewise.
 175         (process_init_constructor_record): Likewise.
 176
 177         PR c++/48736
 178         * pt.c (tsubst_copy_and_build): Handle substitution of a pack
 179         expansion producing another expansion.
 180
 181 2011-05-10  Ville Voutilainen  <ville.voutilainen@gmail.com>
 182
 183         Fixes for override/final.
 184         * class.c (check_for_override): Diagnose final on a nonvirtual
 185         member function, diagnose override for a virtual with no matching
 186         override. Don't fiddle around with DECL_VINDEX.
 187
 188 2011-05-10  Nathan Froyd  <froydnj@codesourcery.com>
 189
 190         * cp-tree.def (EXPR_PACK_EXPANSION): Add an operand.
 191         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
 192         * cp-tree.h (PACK_EXPANSION_PARAMETER_PACKS): Use the new
 193         operand of EXPR_PACK_EXPANSION.
 194         (cp_tree_operand_length): Declare.
 195         * tree.c (cp_tree_operand_length): Define.
 196         (cp_tree_equal): Call it.
 197         * pt.c (value_dependent_expr_P): Likewise.
 198         * mangle.c (write_expression): Likewise.
 199
 200 2011-05-09  Paolo Carlini  <paolo.carlini@oracle.com>
 201
 202         PR c++/48737
 203         PR c++/48744
 204         * decl.c (reshape_init): Take a complain parameter and do
 205         not call error if tf_error is not set.
 206         (check_initializer, reshape_init_r, reshape_init_array,
 207         reshape_init_array_1, reshape_init_vector, reshape_init_class):
 208         Adjust.
 209         * typeck2.c (digest_init_r): Take a complain parameter and
 210         pass it to convert_for_initialization.
 211         (digest_init, digest_init_flags, process_init_constructor_array,
 212         process_init_constructor_record, process_init_constructor_union,
 213         process_init_constructor, digest_init_r): Adjust.
 214         * init.c (expand_default_init, build_new_1): Likewise.
 215         * typeck.c (cp_build_modify_expr): Likewise.
 216         * decl2.c (grokfield): Likewise.
 217         * call.c (convert_like_real, convert_default_arg): Likewise.
 218         * semantics.c (finish_compound_literal): Pass complain to
 219         reshape_init and digest_init.
 220         * cp-tree.h: Adjust declarations.
 221
 222 2011-05-07  Fabien Chêne  <fabien@gcc.gnu.org>
 223
 224         PR c++/48859
 225         * init.c (diagnose_uninitialized_cst_or_ref_member_1): stop the
 226         recursion if there is user defined constructor.
 227
 228 2011-05-09  Jason Merrill  <jason@redhat.com>
 229
 230         PR c++/34772
 231         * decl.c (initialize_local_var): Use DECL_INITIAL for simple
 232         initialization.
 233
 234 2011-05-08  Ville Voutilainen  <ville.voutilainen@gmail.com>
 235
 236         Implement final/override for member functions.
 237         * class.c (check_for_override): Check for DECL_OVERRIDE_P.
 238         * cp-tree.h (DECL_OVERRIDE_P, DECL_FINAL_P): New.
 239         (cp_virt_specifiers, enum virt_specifier): New.
 240         * decl.c (set_virt_specifiers): New.
 241         (grokdeclarator): Use them. Diagnose virt-specifiers on non-fields.
 242         * parser.c (make_call_declarator): add virt-specifiers parameter.
 243         (cp_parser_lambda_declarator_opt): Adjust.
 244         (cp_parser_direct_declarator): Likewise.
 245         (cp_parser_virt_specifier_seq_opt): New.
 246         * search.c (check_final_overrider): Diagnose attempts to override
 247         a final member function.
 248
 249 2011-05-09  Dodji Seketeli  <dodji@redhat.com>
 250
 251         PR c++/48574
 252         * class.c (fixed_type_or_null): Use type_dependent_p_push to test
 253         if the instance has a dependent initializer.
 254
 255 2011-05-08  Paolo Carlini  <paolo.carlini@oracle.com>
 256
 257         PR c++/48816
 258         * cxx-pretty-print.c (pp_cxx_template_declaration): Remove
 259         effectively unused variable.
 260
 261 2011-05-07  Eric Botcazou  <ebotcazou@adacore.com>
 262
 263         * name-lookup.h (global_bindings_p): Adjust prototype.
 264         * name-lookup.c (global_bindings_p): Return bool.
 265
 266 2011-05-06  Jason Merrill  <jason@redhat.com>
 267
 268         * decl.c (stabilize_save_expr_r): Set *walk_subtrees as
 269         appropriate.
 270
 271         PR c++/48909
 272         * semantics.c (cxx_eval_conditional_expression): Check
 273         integer_zerop instead.
 274         (potential_constant_expression_1): Likewise.
 275
 276         PR c++/48911
 277         * semantics.c (cxx_eval_array_reference): Handle implicit
 278         initializers.
 279
 280 2011-05-06  Nathan Froyd  <froydnj@codesourcery.com>
 281
 282         * cp-tree.h (type_of_this_parm, class_of_this_parm): New functions.
 283         * call.c (standard_conversion): Call class_of_this_parm.
 284         * cxx-pretty-print.c (pp_cxx_implicit_parameter_type): Likewise.
 285         (pp_cxx_direct_abstract_declarator): Likewise.
 286         * decl2.c (change_return_type): Likewise.
 287         (cp_reconstruct_complex_type): Likewise.
 288         * error.c (dump_type_suffix, dump_function_decl): Likewise.
 289         * mangle.c (write_function_type): Likewise.
 290         * pt.c (unify): Likewise.
 291         * typeck.c (merge_types, type_memfn_quals): Likewise.
 292         * decl.c (build_this_parm): Call type_of_this_parm.
 293
 294 2011-05-06  Dodji Seketeli  <dodji@redhat.com>
 295
 296         PR c++/48838
 297         * cp-tree.h (non_static_member_function_p): Declare new function.
 298         * tree.c (non_static_member_function_p): Define it.
 299         * semantics.c (finish_call_expr): Use it.
 300
 301 2011-05-05  Nathan Froyd  <froydnj@codesourcery.com>
 302
 303         * decl.c (finish_case_label): Omit the loc argument to
 304         build_case_label.
 305
 306 2011-05-05  Jason Merrill  <jason@redhat.com>
 307
 308         * cp-tree.h (REFERENCE_REF_P): Just check the type.
 309         * cvt.c (convert_from_reference): Adjust.
 310         * pt.c (build_non_dependent_expr): Adjust.
 311         * semantics.c (finish_offsetof): Adjust.
 312         * tree.c (lvalue_kind): Use it.
 313
 314         PR c++/48873
 315         * tree.c (stabilize_expr): Don't make gratuitous copies of classes.
 316
 317 2011-05-05  Eric Botcazou  <ebotcazou@adacore.com>
 318
 319         * decl.c (start_preparsed_function): Do not set
 320         dont_save_pending_sizes_p.
 321
 322 2011-05-05  Joseph Myers  <joseph@codesourcery.com>
 323
 324         * parser.c (cp_parser_objc_method_definition_list): Update call to
 325         objc_start_method_definition.
 326
 327 2011-05-04  Jason Merrill  <jason@redhat.com>
 328
 329         PR c++/48749
 330         * class.c (resolves_to_fixed_type_p): Don't look closely
 331         in templates.
 332
 333 2011-05-03  Paolo Carlini  <paolo.carlini@oracle.com>
 334
 335         PR c++/28501
 336         * call.c (add_builtin_candidate): Handle REALPART_EXPR and
 337         IMAGPART_EXPR.
 338
 339 2011-05-02  Lawrence Crowl  <crowl@google.com>
 340
 341         * decl.c: (push_local_name): Change TV_NAME_LOOKUP to start/stop.
 342         (poplevel): Refactor POP_TIMEVAR_AND_RETURN to plain code.
 343         Change TV_NAME_LOOKUP to start/stop.
 344         (define_label): Refactor timevar calls out to a wrapper function.
 345         Change TV_NAME_LOOKUP to start/stop.
 346         (xref_tag): Likewise.
 347         (lookup_label): Refactor timevar calls out to a wrapper function.
 348         Change TV_NAME_LOOKUP to start_cond/stop_cond.
 349
 350         * pt.c: (instantiate_class_template): Add a wrapper to push/pop new
 351         TV_TEMPLATE_INST.
 352         (instantiate_template): Add a wrapper to push/pop new TV_TEMPLATE_INST.
 353         (lookup_template_class): Refactor timevar calls out to a wrapper
 354         function.  Change use of TV_NAME_LOOKUP to TV_TEMPLATE_INST.
 355         (instantiate_decl): Change TV_PARSE to TV_TEMPLATE_INST.
 356
 357         * name-lookup.c: (store_bindings): Change TV_NAME_LOOKUP to start/stop.
 358         (poplevel_class): Change TV_NAME_LOOKUP to start_cond/stop_cond.
 359         (push_namespace): Likewise.
 360         (pop_nested_namespace): Likewise.
 361         (pushdecl_namespace_level): Likewise.
 362         (store_class_bindings): Likewise.
 363         (push_to_top_level): Likewise.
 364         (identifier_type_value): Refactor timevar calls out to a wrapper
 365         function.  Change TV_NAME_LOOKUP to start/stop.
 366         (find_binding): Likewise.
 367         (push_using_decl): Likewise.
 368         (lookup_arg_dependent): Likewise.
 369         (push_using_directive): Likewise.
 370         (qualified_lookup_using_namespace): Refactor POP_TIMEVAR_AND_RETURN
 371         to plain code.  Change TV_NAME_LOOKUP to start/stop.
 372         (lookup_type_current_level): Likewise.  Refactor inner return to
 373         break.
 374         (pushdecl_class_level): Refactor POP_TIMEVAR_AND_RETURN to plain
 375         code.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
 376         (pushdecl_top_level_1): Likewise.
 377         (lookup_using_namespace): Likewise.
 378         (pushdecl_with_scope): Refactor timevar calls out to a wrapper
 379         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.
 380         (push_overloaded_decl): Likewise.
 381         (push_class_level_binding): Likewise.
 382         (namespace_binding): Likewise.
 383         (set_namespace_binding): Likewise.
 384         (supplement_binding): Likewise.
 385         (unqualified_namespace_lookup): Likewise.
 386         (lookup_name_real): Likewise.
 387         (lookup_type_scope): Likewise.
 388         (namespace_ancestor): Likewise.
 389         (lookup_name_innermost_nonclass_level): Likewise.
 390         (pushtag): Likewise.
 391         (pop_from_top_level): Likewise.
 392         (pushdecl_maybe_friend): Refactor timevar calls out to a wrapper
 393         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Wrap long
 394         lines.
 395         (add_using_namespace): Refactor timevar calls out to a wrapper
 396         function.  Change TV_NAME_LOOKUP to start_cond/stop_cond.  Bypass
 397         wrapper on call to self.
 398
 399         * decl2.c: (cp_write_global_declarations):  Add start/stop of
 400         new TV_PHASE_DEFERRED, TV_PHASE_CGRAPH, TV_PHASE_CHECK_DBGINFO.
 401         Remove push/pop calls to TV_VARCONST.
 402
 403         * parser.c: Add include of "timevar.h".
 404         (cp_parser_explicit_instantiation): Add push/pop calls to
 405         TV_TEMPLATE_INST.
 406         (cp_parser_enum_specifier): Add push/pop calls to new TV_PARSE_ENUM.
 407         (cp_parser_class_specifier): Add wrapper to add push/pop calls to
 408         TV_PARSE_STRUCT.
 409         (cp_parser_function_definition_from_specifiers_and_declarator): Add
 410         push/pop calls to new TV_PARSE_FUNC or TV_PARSE_INLINE.
 411         (cp_parser_late_parsing_for_member):  Add push/pop calls to
 412         new TV_PARSE_INMETH.
 413
 414         * call.c: Add include of "timevar.h".
 415         (convert_class_to_reference): Wrap and add push/pop calls to
 416         TV_OVERLOAD.
 417         (build_op_call): Likewise.
 418         (build_conditional_expr): Likewise.
 419         (build_new_op): Likewise.
 420         (build_new_method_call): Likewise.
 421         (build_user_type_conversion): Reorganize to single return and add
 422         push/pop calls to TV_OVERLOAD.
 423         (perform_overload_resolution): Likewise.
 424
 425         * Make-lang.in: Add dependence of call.o and parser.o on $(TIMEVAR_H).
 426
 427 2011-05-02  Jason Merrill  <jason@redhat.com>
 428
 429         * tree.c (build_vec_init_expr): Take complain parm.
 430         (build_vec_init_elt): Likewise.  Free arg vector.
 431         (diagnose_non_constexpr_vec_init, build_array_copy): Adjust.
 432         * cp-tree.h (VEC_INIT_EXPR_SLOT): Use VEC_INIT_EXPR_CHECK.
 433         (VEC_INIT_EXPR_INIT): Likewise.
 434         Adjust build_vec_init_expr declaration.
 435         * init.c (perform_member_init): Adjust.
 436
 437         Revert:
 438         PR c++/40975
 439         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
 440         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
 441         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
 442         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
 443         (build_vec_init_elt): Don't expect an array type.
 444         (build_array_copy): Adjust.
 445         * init.c (perform_member_init): Adjust.
 446         (build_new_1): Use build_vec_init_expr.
 447
 448         PR c++/48834
 449         * tree.c (build_vec_init_expr): Set TREE_SIDE_EFFECTS.
 450         Protect an explicit target.
 451
 452         PR c++/48446
 453         * decl.c (stabilize_save_expr_r, stabilize_vla_size): New.
 454         (compute_array_index_type): Revert earlier 48446 changes.
 455         (grokdeclarator): Use stabilize_vla_size.
 456
 457 2011-05-02  Dmitry Gorbachev  <d.g.gorbachev@gmail.com>
 458             Eric Botcazou <ebotcazou@adacore.com>
 459
 460         * parser.c (cp_parser_init_declarator): Set pushed_scope to NULL_TREE
 461         instead of inappropriate zero values.
 462
 463 2011-05-02  Paolo Carlini  <paolo.carlini@oracle.com>
 464
 465         PR c++/47969
 466         * decl.c (compute_array_index_type): Check build_expr_type_conversion
 467         return value for NULL_TREE.
 468
 469 2011-04-29  Paolo Carlini  <paolo.carlini@oracle.com>
 470
 471         PR c++/48606
 472         * init.c (perform_member_init): Check build_value_init return
 473         value for error_mark_node.
 474
 475 2011-04-29  Diego Novillo  <dnovillo@google.com>
 476             Le-Chun Wu  <lcwu@google.com>
 477
 478         * call.c (conversion_null_warnings): Also handle assignments
 479         when warning about NULL conversions.
 480
 481 2011-04-29  Le-Chun Wu  <lcwu@google.com>
 482
 483         * cp-tree.h (LOOKUP_EXPLICIT_TMPL_ARGS): Define.
 484         * call.c (build_new_function_call): Set it for TEMPLATE_ID_EXPRs.
 485         (build_over_call): Use it to determine whether to emit a NULL
 486         warning for template function instantiations.
 487         (build_new_method_call): Set LOOKUP_EXPLICIT_TMPL_ARGS if
 488         EXPLICIT_TARGS is set.
 489
 490 2011-04-29  Nicola Pero  <nicola.pero@meta-innovation.com>,
 491             Mike Stump <mikestump@comcast.net>
 492
 493         * Make-lang.in ($(srcdir)/cp/cfns.h): Enable the dependency only
 494         in maintainer mode.  Use the --output-file option of gperf instead
 495         of > to prevent creating an empty cp/cfns.h when gperf is not
 496         available.
 497
 498 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
 499
 500         PR c++/48798
 501         * semantics.c (finish_base_specifier): cv-qualified base class
 502         is fine, per DR 484.
 503
 504 2011-04-28  Dodji Seketeli  <dodji@redhat.com>
 505
 506         PR c++/48656
 507         * semantics.c (finish_call_expr): Don't forget BASELINK nodes when
 508         considering call expressions involving a member function.
 509
 510 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
 511
 512         PR c++/48530
 513         * tree.c (build_cplus_new): Check build_target_expr return
 514         value for error_mark_node.
 515
 516 2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
 517
 518         PR c++/48771
 519         * semantics.c (literal_type_p): Reference types are literal types,
 520         per the FDIS.
 521         (valid_type_in_constexpr_fundecl_p): Remove.
 522         (is_valid_constexpr_fn): Adjust.
 523
 524 2011-04-27  Jason Merrill  <jason@redhat.com>
 525
 526         PR libstdc++/48760
 527         Implement list-initialization of _Complex.
 528         * decl.c (reshape_init_r): Allow {real,imag} for _Complex.
 529         (check_initializer): Likewise.
 530         * call.c (build_complex_conv): New.
 531         (implicit_conversion): Call it.
 532         (convert_like_real): Handle it.
 533         * typeck2.c (check_narrowing): Handle it.
 534
 535         * init.c (build_vec_delete_1): Look for sfk_deleting_destructor to
 536         decide whether to delete.
 537         (build_vec_init): Pass sfk_complete_destructor.
 538
 539         PR c++/40975
 540         * cp-tree.def (VEC_INIT_EXPR): Add third operand.
 541         * cp-tree.h (VEC_INIT_EXPR_NELTS): New.
 542         * cp-gimplify.c (cp_gimplify_expr) [VEC_INIT_EXPR]: Handle it.
 543         * tree.c (build_vec_init_expr): Handle getting pointer/nelts.
 544         (build_vec_init_elt): Don't expect an array type.
 545         (build_array_copy): Adjust.
 546         * init.c (perform_member_init): Adjust.
 547         (build_new_1): Use build_vec_init_expr.
 548
 549         * class.c (resolve_address_of_overloaded_function): Don't
 550         change OVERLOAD to TREE_LIST.
 551         * pt.c (print_candidates_1): Remove nonsensical assert.
 552
 553         PR c++/48046
 554         * parser.c (cp_parser_diagnose_invalid_type_name): Commit
 555         to tentative parse sooner.
 556
 557 2011-04-26  Jason Merrill  <jason@redhat.com>
 558
 559         PR c++/42687
 560         * parser.c (cp_parser_primary_expression): Set *idk to
 561         CP_ID_KIND_NONE for a parenthesized identifier.
 562
 563         * ptree.c (cxx_print_type) [TYPENAME_TYPE]: Dump fullname.
 564         (cxx_print_identifier): Correct indentation.
 565
 566         PR c++/48530
 567         * decl.c (cxx_maybe_build_cleanup): Add complain parm.
 568         * tree.c (force_target_expr): Add complain parm.
 569         (build_target_expr_with_type): Likewise.
 570         (get_target_expr_sfinae): Split out.
 571         (build_vec_init_expr, bot_manip): Adjust.
 572         * init.c (build_vec_delete, build_vec_delete_1): Add complain parm.
 573         (build_delete, build_dtor_call): Likewise.
 574         (perform_direct_initialization_if_possible): Adjust.
 575         (build_vec_init): Handle error return.
 576         * cvt.c (force_rvalue): Add complain parm.
 577         Call build_special_member_call directly.
 578         * decl2.c (delete_sanity): Add complain parm.
 579         (build_cleanup): Adjust.
 580         * pt.c (tsubst_copy_and_build, tsubst_expr): Adjust.
 581         * semantics.c (finish_stmt_expr_expr): Adjust.
 582         (finish_compound_literal): Adjust.
 583         * parser.c (cp_parser_delete_expression): Adjust.
 584         * typeck2.c (build_functional_cast): Adjust.
 585         * cp-tree.h: Adjust.
 586
 587 2011-04-26  Martin Jambor  <mjambor@suse.cz>
 588
 589         * class.c (cp_fold_obj_type_ref): Remove.
 590         * cp-tree.h (cp_fold_obj_type_ref): Remove declaration.
 591
 592 2011-04-25  Paolo Carlini  <paolo.carlini@oracle.com>
 593
 594         * cp-tree.def: Add a new UNDERLYING_TYPE tree code.
 595         * cp-tree.h (enum cp_trait_kind): Add CPTK_UNDERLYING_TYPE, tidy.
 596         (UNDERLYING_TYPE_TYPE): Add.
 597         * cp-objcp-common.c (cp_common_init_ts): Mark UNDERLYING_TYPE
 598         as TS_COMMON.
 599         * parser.c (cp_lexer_next_token_is_decl_specifier_keyword,
 600         cp_parser_simple_type_specifier): Handle UNDERLYING_TYPE.
 601         (cp_parser_trait_expr): Deal with RID_UNDERLYING_TYPE; tidy.
 602         * semantics.c (finish_underlying_type): New.
 603         * typeck.c (structural_comptypes): Handle UNDERLYING_TYPE.
 604         * error.c (dump_type, dump_type_prefix, dump_type_suffix): Likewise.
 605         * cxx-pretty-print.c (p_cxx_type_id): Likewise.
 606         * tree.c (cp_walk_subtrees): Likewise.
 607         * pt.c (for_each_template_parm_r, tsubst, unify,
 608         dependent_type_p_r): Likewise.
 609         * mangle.c (write_type): Sorry for __underlying_type.
 610
 611 2011-04-25  Jason Merrill  <jason@redhat.com>
 612
 613         PR c++/48707
 614         * decl.c (type_dependent_init_p): New.
 615         (cp_finish_decl): Check it.
 616         * pt.c (any_type_dependent_elements_p): New.
 617         * cp-tree.h: Declare it.
 618
 619 2011-04-20  Jason Merrill  <jason@redhat.com>
 620
 621         * semantics.c (finish_compound_literal): Don't put an array
 622         with a dtor in a static variable.
 623
 624         * call.c (build_over_call): Handle trivial dtor.
 625
 626         * search.c (lookup_fnfields_slot): Call complete_type.
 627
 628         PR c++/48594
 629         * decl2.c (build_offset_ref_call_from_tree): Move
 630         non-dependency of object outside condition.
 631
 632         PR c++/48657
 633         * decl.c (cp_finish_decl): Simplify template handling.
 634
 635 2011-04-20  Jim Meyering  <meyering@redhat.com>
 636
 637         * tree.c (cxx_printable_name_internal): Remove useless if-before-free.
 638
 639 2011-04-19  Jason Merrill  <jason@redhat.com>
 640
 641         PR c++/46304
 642         * typeck.c (cp_build_binary_op): Fold COMPLEX_EXPR.
 643
 644         PR c++/45267
 645         * decl.c (duplicate_decls): Keep always_inline attribute
 646         in sync with DECL_DISREGARD_INLINE_LIMITS.
 647
 648 2011-04-18  Jason Merrill  <jason@redhat.com>
 649
 650         PR c++/48569
 651         * typeck2.c (build_functional_cast): Handle VOID_TYPE.
 652
 653         PR c++/48537
 654         * init.c (build_value_init): Handle UNION_TYPE the same.
 655
 656 2011-04-18  Jakub Jelinek  <jakub@redhat.com>
 657
 658         PR c++/48632
 659         * parser.c (cp_parser_omp_for_loop): Don't use cp_parser_omp_for_incr
 660         for type dependent pointers.
 661
 662 2011-04-18  Jim Meyering  <meyering@redhat.com>
 663
 664         * pt.c (type_unification_real): Fix typo in comment: s/in in/in/.
 665
 666 2011-04-17  Jan Hubicka  <jh@suse.cz>
 667
 668         * semantics.c (finish_goto_stmt): Do set UNINLINABLE flag on computed
 669         gotos.
 670
 671 2011-04-17  Jason Merrill  <jason@redhat.com>
 672
 673         PR c++/48531
 674         * typeck2.c (build_functional_cast): Disallow array type.
 675
 676         * tree.c (get_target_expr): Handle VEC_INIT_EXPR.
 677
 678 2011-04-17  Jan Hubicka  <jh@suse.cz>
 679
 680         * class.c (cp_fold_obj_type_ref): Drop vtable_method.
 681
 682 2011-04-15  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
 683
 684         Implement N3271
 685         * parser.c (cp_convert_range_for): Split into
 686         cp_parser_perform_range_for_lookup.
 687         (cp_parser_perform_range_for_lookup): New.
 688         (cp_parser_range_for_member_function): New.
 689         (cp_parser_for_init_statement): Correct error message.
 690         * semantics.c (finish_call_expr): Accept COMPONENT_REF.
 691
 692 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
 693
 694         * parser.c (cp_parser_objc_protocol_declaration): Updated for
 695         change from objc_declare_protocols() to objc_declare_protocol().
 696
 697 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
 698
 699         PR objc++/48479
 700         * typeck.c (cxx_mark_addressable) [CONST_DECL]: Mark addressable
 701         and return immediately.
 702
 703 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
 704
 705         * cp-tree.def (SWITCH_STMT): Add an extra operand.
 706         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
 707         * cp-tree.h (SWITCH_STMT_SCOPE): Define.
 708         * semantics.c (begin_switch__stmt): Pass scope to build_stmt.
 709         (finish_switch_stmt): Use SWITCH_STMT_SCOPE instead of TREE_CHAIN.
 710
 711 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
 712
 713         * cp-tree.def (IF_STMT): Add an extra operand.
 714         * cp-objcp-common.c (cp_common_init_ts): Mark it as TS_TYPED.
 715         * cp-tree.h (IF_SCOPE): Define.
 716         * semantics.c (begin_if_stmt): Pass scope to build_stmt.
 717         (finish_if_stmt): Use IF_SCOPE instead of TREE_CHAIN.
 718
 719 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
 720
 721         * cp-tree.def (FOR_STMT, RANGE_FOR_STMT): Add an extra operand.
 722         * cp-objcp-common.c (cp_common_init_ts): Mark them as TS_TYPED.
 723         * cp-tree.h (FOR_SCOPE, RANGE_FOR_SCOPE): Define.
 724         * semantics.c (begin_for_stmt): Pass an extra arg to build_stmt.
 725         Use FOR_SCOPE instead of TREE_CHAIN.
 726         (begin_range_for_stmt): Likewise, with RANGE_FOR_SCOPE.
 727         (finish_for_stmt): Likewise.
 728
 729 2011-04-14  Jason Merrill  <jason@redhat.com>
 730
 731         * parser.c (cp_parser_postfix_expression): Fix flags passed to
 732         build_new_method_call.
 733         * semantics.c (finish_call_expr): Likewise.
 734
 735         PR c++/48531
 736         * init.c (build_value_init_noctor): Check complain consistently.
 737
 738         PR c++/48557
 739         * typeck.c (cp_build_binary_op): Don't decay void operands.
 740
 741         PR c++/48446
 742         * decl.c (compute_array_index_type): Use get_temp_regvar instead
 743         of variable_size.
 744         * init.c (get_temp_regvar): No longer static.
 745         * cp-tree.h: Declare it.
 746
 747 2011-04-14  Nicola Pero  <nicola.pero@meta-innovation.com>
 748
 749         * parser.c (cp_parser_objc_class_declaration): Updated for change
 750         in objc_declare_class().
 751
 752 2011-04-14  Nathan Froyd  <froydnj@codesourcery.com>
 753
 754         * decl.c (poplevel): Use block_chainon.
 755
 756 2011-04-13  Jason Merrill  <jason@redhat.com>
 757
 758         PR c++/48594
 759         * decl2.c (build_offset_ref_call_from_tree): Fix calling a functor
 760         or pointer to (non-member) function.
 761
 762 2011-04-13  Jakub Jelinek  <jakub@redhat.com>
 763
 764         PR c++/48570
 765         * semantics.c (cxx_eval_array_reference): Handle reading from
 766         wchar_t, char16_t and char32_t STRING_CST.
 767
 768 2011-04-13  Dodji Seketeli  <dodji@redhat.com>
 769
 770         PR c++/48574
 771         * class.c (fixed_type_or_null): We cannot determine the dynamic
 772         type of a reference variable if its initializer is dependent.
 773
 774 2011-04-13  Jason Merrill  <jason@redhat.com>
 775
 776         PR c++/48581
 777         * pt.c (tsubst_copy_and_build) [CALL_EXPR]: Don't complain about
 778         unqualified lookup failing if we're still in a template.
 779
 780 2011-04-12  Nathan Froyd  <froydnj@codesourcery.com>
 781
 782         * cp-lang.c (cp_init_ts): Call cp_common_init_ts.  Move
 783         tree_contains_struct initialization to...
 784         * cp-objcp-common.c (cp_common_init_ts): ...here.  Use MARK_*
 785         macros.
 786         * cp-objcp-common.h (cp_common_init_ts): Declare.
 787         * cp-tree.h (union lang_tree_node): Check for TS_COMMON before
 788         calling TREE_CHAIN.
 789
 790 2011-04-12  Nicola Pero  <nicola.pero@meta-innovation.com>
 791
 792         * parser.c (cp_parser_objc_message_expression): Updated call
 793         to objc_build_message_expr.
 794
 795 2011-04-12  Martin Jambor  <mjambor@suse.cz>
 796
 797         * class.c (cp_fold_obj_type_ref): Call cgraph_get_node instead of
 798         cgraph_get_create_node.
 799         * decl2.c (cp_write_global_declarations): Call cgraph_get_node
 800         instead of cgraph_get_create_node.
 801         * method.c (make_alias_for_thunk): Call cgraph_get_node
 802         instead of cgraph_get_create_node, assert it returns non-NULL.
 803         (use_thunk): Likewise.
 804         * optimize.c (maybe_clone_body): Call cgraph_same_body_alias only
 805         when flag_syntax_only is not set.  Call cgraph_get_node instead of
 806         cgraph_get_create_node.
 807         (maybe_clone_body): Call cgraph_get_node instead of
 808         cgraph_get_create_node.
 809
 810 2011-04-12  Martin Jambor  <mjambor@suse.cz>
 811
 812         * class.c (cp_fold_obj_type_ref): Call cgraph_get_create_node
 813         instead of cgraph_node.
 814         * decl2.c (cxx_callgraph_analyze_expr): Likewise.
 815         (cp_write_global_declarations): Likewise.
 816         * optimize.c (maybe_clone_body): Likewise.
 817         * semantics.c (maybe_add_lambda_conv_op): Likewise.
 818         * mangle.c (mangle_decl): Likewise.
 819         * method.c (make_alias_for_thunk): Likewise.
 820         (use_thunk): Likewise.
 821
 822 2011-04-11  Jason Merrill  <jason@redhat.com>
 823
 824         PR c++/48535
 825         * decl.c (cp_complete_array_type_or_error): New.
 826         * semantics.c (finish_compound_literal): Use it.
 827         * cp-tree.h: Declare it.
 828
 829         PR c++/48535
 830         * semantics.c (finish_compound_literal): Handle references.
 831
 832         PR c++/48535
 833         * semantics.c (finish_compound_literal): Take complain parm.
 834         (build_lambda_object): Adjust.
 835         * cp-tree.h: Adjust.
 836         * call.c (convert_like_real): Adjust.
 837         * decl.c (check_initializer): Adjust.
 838         * parser.c (cp_parser_postfix_expression): Adjust.
 839         (cp_parser_functional_cast): Adjust.
 840         * pt.c (tsubst_copy_and_build): Adjust.
 841         * typeck2.c (process_init_constructor_record): Adjust.
 842
 843         PR c++/48534
 844         * cvt.c (ocp_convert): Use build_nop to convert to underlying type
 845         of scoped enum.
 846
 847         PR c++/48523
 848         * tree.c (maybe_dummy_object): Use build_x_indirect_ref rather
 849         than cp_build_indirect_ref.
 850
 851         PR c++/48457, Core 1238
 852         * call.c (reference_binding): Allow rvalue reference to bind to
 853         function lvalue.
 854         * tree.c (lvalue_kind): Functions are always lvalues.
 855
 856 2011-04-07  Jason Merrill  <jason@redhat.com>
 857
 858         PR c++/48500
 859         * semantics.c (potential_constant_expression_1) [CALL_EXPR]: Check
 860         arguments even if we don't know the function.
 861
 862         PR c++/48481
 863         * tree.c (build_overload): Allow an unwrapped FUNCTION_DECL
 864         at the end of the chain.
 865         * pt.c (dependent_template_p): Use OVL_CURRENT/NEXT.
 866         (iterative_hash_template_arg): Likewise.
 867
 868         PR c++/48481
 869         * cp-tree.h (OVL_ARG_DEPENDENT): New.
 870         * name-lookup.c (add_function): Set it.
 871         * semantics.c (finish_call_expr): Free OVERLOADs if it's set.
 872
 873         PR c++/48481
 874         * call.c (build_user_type_conversion_1): Use lookup_fnfields_slot.
 875         Release unused vector.
 876
 877         PR c++/48451
 878         * pt.c (fn_type_unification): Don't clear incomplete pack flag.
 879         (type_unification_real): Clear it here instead.
 880
 881         PR c++/48468
 882         * except.c (build_noexcept_spec): Propagate error_mark_node.
 883         (finish_noexcept_expr): Likewise.
 884
 885         PR c++/48452
 886         * typeck.c (build_x_compound_expr_from_list): Return error_mark_node
 887         in SFINAE context.
 888
 889         PR c++/48450
 890         * call.c (resolve_args): Take complain.
 891         (build_new_function_call, build_operator_new_call): Pass it.
 892         (build_op_call, build_new_op, build_new_method_call): Pass it.
 893
 894         PR c++/48450
 895         * typeck.c (check_for_casting_away_constness): Take complain.
 896         (build_static_cast_1, build_reinterpret_cast_1): Pass it.
 897         (build_const_cast_1): Pass it.  Take full complain parm.
 898         (build_const_cast, cp_build_c_cast): Adjust.
 899
 900         * tree.c (build_aggr_init_expr): Always return error_mark_node
 901         on abstract violation.
 902
 903         PR c++/48450
 904         * tree.c (build_cplus_new, build_aggr_init_expr): Take complain.
 905         (bot_manip): Adjust.
 906         * cp-tree.h: Adjust.
 907         * call.c (convert_like_real, build_cxx_call): Adjust.
 908         (perform_direct_initialization_if_possible): Adjust.
 909         * cvt.c (ocp_convert): Adjust.
 910         * init.c (build_value_init): Adjust.
 911         * semantics.c (maybe_add_lambda_conv_op): Adjust.
 912         * typeck.c (unary_complex_lvalue, cp_build_modify_expr): Adjust.
 913         * typeck2.c (build_functional_cast): Adjust.
 914
 915         * init.c (build_value_init_noctor): Handle REFERENCE_TYPE at top
 916         level.
 917         (perform_member_init): Not here.
 918         * typeck2.c (build_functional_cast): Limit REFERENCE_TYPE special
 919         case to templates.
 920         (abstract_virtuals_error_sfinae): Remove RESULT_DECL special case.
 921
 922         PR c++/48449
 923         * typeck2.c (build_functional_cast): Check complain consistently.
 924         Use build_value_init and abstract_virtuals_error_sfinae.
 925         (abstract_virtuals_error_sfinae): Split out.
 926         * cp-tree.h: Declare it.
 927         * init.c (build_new_1): Use it.
 928         (build_value_init_noctor): Handle FUNCTION_TYPE.
 929
 930         * semantics.c (finish_decltype_type): Simplify handling of unknown
 931         type.
 932
 933         * semantics.c (finish_decltype_type): Add complain parm.
 934         * cp-tree.h: Adjust.
 935         * parser.c (cp_parser_decltype): Adjust.
 936         * pt.c (tsubst): Adjust.
 937
 938         PR c++/48450
 939         * cvt.c (ocp_convert): Handle converting scoped enum to bool.
 940
 941 2011-03-31  Jason Merrill  <jason@redhat.com>
 942
 943         PR c++/48277
 944         * semantics.c (finish_call_expr): Remove assert.
 945
 946         PR c++/48280
 947         * method.c (defaultable_fn_check): Templates are not defaultable.
 948
 949         * parser.c (cp_parser_init_declarator): Avoid redundant
 950         cp_finish_decl for member declarations.
 951
 952 2011-03-30  Jason Merrill  <jason@redhat.com>
 953
 954         PR c++/48212
 955         * semantics.c (non_const_var_error): Just return if DECL_INITIAL
 956         is error_mark_node.
 957
 958 2011-03-30  Jason Merrill  <jason@redhat.com>
 959
 960         PR c++/48369
 961         * semantics.c (potential_constant_expression_1): Handle
 962         UNORDERED_EXPR and ORDERED_EXPR.
 963
 964         PR c++/48281
 965         * semantics.c (finish_compound_literal): Do put static/constant
 966         arrays in static variables.
 967
 968         * call.c (convert_like_real) [ck_list]: Build up the
 969         initializer_list object directly.
 970         * decl.c (build_init_list_var_init): Adjust.
 971
 972         * call.c (convert_like_real): Correct TREE_CONSTANT on CONSTRUCTOR.
 973         * decl.c (reshape_init_array_1): Likewise.
 974
 975 2011-03-29  Jason Merrill  <jason@redhat.com>
 976
 977         PR c++/48265
 978         * pt.c (value_dependent_expression_p) [VAR_DECL]: Make sure
 979         the variable is constant before looking at its initializer.
 980
 981         PR c++/48319
 982         * pt.c (value_dependent_expression_p): Handle TEMPLATE_ID_EXPR.
 983
 984         PR c++/48089
 985         * semantics.c (potential_constant_expression_1): Change error about
 986         use of *this in constructor into sorry.
 987
 988         PR c++/48296
 989         * decl.c (cp_finish_decl): Defer validation of constexpr member
 990         functions.
 991         * class.c (finalize_literal_type_property): Validate them here.
 992         * semantics.c (is_valid_constexpr_fn): Don't check completeness.
 993
 994         * semantics.c (is_valid_constexpr_fn): Specify input location.
 995
 996 2011-03-28  Jason Merrill  <jason@redhat.com>
 997
 998         PR c++/48313
 999         * pt.c (maybe_adjust_types_for_deduction): Handle T&& deduction
1000         from overloaded function.
1001
1002         Core 1232
1003         * call.c (build_array_conv): New.
1004         (implicit_conversion): Use it.
1005
1006         * call.c (reference_binding): Allow direct binding to an array
1007         rvalue.
1008
1009         Core 898
1010         * parser.c (cp_parser_compound_statement): Add function_body parm.
1011         Complain about non-body compound-stmt in constexpr fn.
1012         (cp_parser_primary_expression, cp_parser_statement): Adjust.
1013         (cp_parser_implicitly_scoped_statement): Adjust.
1014         (cp_parser_function_body, cp_parser_try_block): Adjust.
1015         (cp_parser_handler, cp_parser_objc_synchronized_statement): Adjust.
1016         (cp_parser_objc_try_catch_finally_statement): Adjust.
1017
1018         Core 898
1019         * semantics.c (constexpr_fn_retval): New.  Allow using-declaration
1020         and using-definition.
1021         (register_constexpr_fundef): Call it.
1022
1023         * except.c (build_noexcept_spec): Call cxx_constant_value after
1024         converting to bool.
1025
1026 2011-03-25  Kai Tietz  <ktietz@redhat.com>
1027
1028         * lex.c (interface_strcmp): Handle dos-paths.
1029         (handle_pragma_implementation): Use filename_cmp instead of
1030         strcmp.
1031         (in_main_input_context): Likewise.
1032
1033 2011-03-25  Jason Merrill  <jason@redhat.com>
1034
1035         Core 1135
1036         * method.c (defaulted_late_check): Check for exception spec mismatch.
1037         (defaultable_fn_check): Allow exception spec and virtual.
1038         * class.c (check_for_override): A virtual dtor is non-trivial.
1039
1040         PR c++/48289
1041         * pt.c (build_non_dependent_expr): Keep dereferences outside the
1042         NON_DEPENDENT_EXPR.
1043
1044 2011-03-25  Kai Tietz  <ktietz@redhat.com>
1045
1046         * decl.c (decls_match): Replace target hook
1047         call of comp_type_attributes by version in tree.c file.
1048         * search.c (check_final_overrider): Likewise.
1049         * typeck.c (structural_comptypes): Likewise.
1050
1051 2011-03-21  Kai Tietz  <ktietz@redhat.com>
1052
1053         PR target/12171
1054         * cxx-pretty-print.c (pp_cxx_ptr_operator):
1055         Display allowed attributes for function pointer types.
1056         * error.c (dump_type_prefix): Likewise.
1057
1058         * tree.c (cxx_attribute_table): Adjust table.
1059
1060 2011-03-18  Jason Merrill  <jason@redhat.com>
1061
1062         PR c++/48162
1063         * semantics.c (finish_call_expr): Allow TARGET_EXPR for now.
1064
1065         PR c++/48118
1066         * call.c (build_over_call): Don't skip ck_rvalue.
1067
1068 2011-03-17  Jason Merrill  <jason@redhat.com>
1069
1070         PR c++/47504
1071         * semantics.c (cxx_eval_constant_expression) [NOP_EXPR]: Don't let
1072         the conversion set TREE_OVERFLOW.
1073
1074         Core 1212
1075         * semantics.c (finish_decltype_type): Return T&& for xvalue.
1076         * typeck.c (unlowered_expr_type): Preserve cv-quals.
1077
1078         PR c++/48166
1079         * decl.c (revert_static_member_fn): Strip function-cv-quals.
1080
1081 2011-03-16  Jason Merrill  <jason@redhat.com>
1082
1083         PR c++/48089
1084         * semantics.c (potential_constant_expression_1): Don't allow *this
1085         in a constructor.
1086         (register_constexpr_fundef): Use potential_rvalue_constant_expression.
1087
1088         PR c++/47301
1089         * decl.c (compute_array_index_type): Don't bother trying to deal
1090         with literal classes in ABI v1.
1091
1092         PR c++/46336
1093         * decl.c (duplicate_decls): Return NULL_TREE for clashing
1094         C functions.
1095
1096         PR c++/47570
1097         * semantics.c (cxx_eval_constant_expression) [COMPOUND_EXPR]: Don't
1098         use the generic binary expression handling.
1099
1100 2011-03-16  Diego Novillo  <dnovillo@google.com>
1101
1102         * Make-lang.in (CXX_PARSER_H): New.
1103         (cp/parser.o): Add dependency on CXX_PARSER_H.
1104         Add dependency on tree-pretty-print.h
1105         (cp/cp-lang.o): Add dependency on CXX_PARSER_H.
1106         * cp-lang.c: Include parser.h.
1107         * parser.c: Include parser.h.
1108         (struct cp_token): Add bitfield purged_p.
1109         Update all users.
1110         Move to parser.h.
1111         (CPP_PURGED): Remove.  Update all users.
1112         (struct cp_lexer): Change field buffer to be a VEC of cp_token.
1113         Remove field buffer_length.
1114         Update all users.
1115         Move to parser.h.
1116         (struct tree_check): Move to parser.h.
1117         (cp_token_position): Likewise.
1118         (struct cp_token_cache): Likewise.
1119         (CPP_KEYWORD): Likewise.
1120         (CPP_TEMPLATE_ID): Likewise.
1121         (CPP_NESTED_NAME_SPECIFIER): Likewise.
1122         (N_CP_TTYPES): Likewise.
1123         (enum cp_parser_status_kind): Likewise.
1124         (struct cp_parser_context): Likewise.
1125         (struct cp_default_arg_entry_d): Likewise.
1126         (struct cp_unparsed_functions_entry_d): Likewise.
1127         (struct cp_parser): Likewise.
1128         (cp_lexer_dump_tokens): New.
1129         (cp_lexer_debug_tokens): New.
1130         (cp_lexer_finished_p): New.
1131         (cp_lexer_alloc): Factor out of cp_lexer_new_main.
1132         (cp_lexer_new_main): Re-write main lexing loop to push
1133         tokens into the new VEC buffer.
1134         (cp_lexer_print_token): Improve printing of CPP_NUMBER tokens.
1135         Do not abort if the token type is not recognized, just print
1136         its code.
1137         * parser.h: New file.
1138         * config-lang.in (gtfiles): Add cp/parser.h.
1139
1140 2011-03-16  Jason Merrill  <jason@redhat.com>
1141
1142         Core 1148
1143         * typeck.c (check_return_expr): Fix conditions for setting
1144         LOOKUP_PREFER_RVALUE.
1145
1146         * call.c (build_over_call): Remove require_complete_type_sfinae call.
1147
1148         PR c++/48132
1149         * decl.c (check_array_designated_initializer): Allow integer index.
1150         (reshape_init_array_1): Set index on the elements.
1151
1152 2011-03-16  Jason Merrill  <jason@redhat.com>
1153
1154         PR c++/48113
1155         * typeck.c (convert_for_initialization): Use
1156         perform_implicit_conversion_flags.
1157         * call.c (standard_conversion): If LOOKUP_PREFER_RVALUE, set
1158         rvaluedness_matches_p on ck_rvalue.
1159         (convert_like_real) [ck_rvalue]: And restore it here.
1160
1161         PR c++/48115
1162         * call.c (convert_arg_to_ellipsis): Handle incomplete type.
1163
1164 2011-03-16  Jason Merrill  <jason@redhat.com>
1165
1166         * parser.c (cp_parser_abort_tentative_parse): Make sure we haven't
1167         committed to this tentative parse.
1168
1169         PR c++/47999
1170         * semantics.c (finish_call_expr): Preserve reference semantics
1171         in templates.
1172
1173         * call.c (convert_default_arg): Use LOOKUP_IMPLICIT.
1174
1175 2011-03-16  Jakub Jelinek  <jakub@redhat.com>
1176
1177         * cp-objcp-common.c (cp_function_decl_explicit_p): Don't crash if
1178         DECL_LANG_SPECIFIC is NULL.
1179
1180 2011-03-15  Jason Merrill  <jason@redhat.com>
1181
1182         Core 1074
1183         * pt.c (value_dependent_expression_p) [NOEXCEPT_EXPR]: Don't
1184         check value_dependent_expression_p on the operand.
1185
1186         * semantics.c (push_cx_call_context): Return bool.
1187         (cxx_eval_call_expression): Handle excess depth.
1188
1189         Core 1191
1190         * method.c (synthesized_method_walk): Cleanups don't affect the
1191         triviality of a constructor, but do affect deletion and exception
1192         specification.
1193
1194 2011-03-15  Rodrigo Rivas Costa  <rodrigorivascosta@gmail.com>
1195
1196         * decl2.c (cp_check_const_attributes): New.
1197         (cplus_decl_attributes): Call cp_check_const_attributes.
1198
1199 2011-03-15  Jason Merrill  <jason@redhat.com>
1200
1201         PR c++/34758
1202         * call.c (convert_default_arg): Use DECL_ORIGIN of fn.  Check for
1203         recursion first.
1204         (push_defarg_context, pop_defarg_context): New.
1205         * parser.c (cp_parser_late_parsing_default_args): Use them.
1206         * cp-tree.h: Declare them.
1207
1208 2011-03-11  Dodji Seketeli  <dodji@redhat.com>
1209
1210         * call.c (add_builtin_candidate)<case INDIRECT_REF>: The type of
1211         the argument of the indirection operator should not be dependent.
1212         Fix the comment.
1213
1214 2011-03-11  Jason Merrill  <jason@redhat.com>
1215
1216         PR c++/47125
1217         * pt.c (tsubst) [TYPENAME_TYPE]: Only give errors if tf_error.
1218
1219         PR c++/47144
1220         * parser.c (cp_parser_template_type_arg): Set
1221         type_definition_forbidden_message.
1222
1223         PR c++/47808
1224         * decl.c (compute_array_index_type): Discard folding
1225         if it didn't produce a constant.
1226
1227 2011-03-11  Jakub Jelinek  <jakub@redhat.com>
1228
1229         PR c++/48035
1230         * init.c (build_zero_init_1): Extracted from build_zero_init.
1231         Add FIELD_SIZE argument, if non-NULL and field bit_position
1232         as not smaller than that, don't add that field's initializer.
1233         Pass DECL_SIZE as last argument to build_zero_init_1
1234         for DECL_FIELD_IS_BASE fields.
1235         (build_zero_init): Use build_zero_init_1.
1236
1237 2011-03-10  Jason Merrill  <jason@redhat.com>
1238
1239         PR c++/48029
1240         * pt.c (iterative_hash_template_arg): Remove special case for
1241         ARRAY_TYPE.
1242
1243         PR c++/47198
1244         * parser.c (cp_parser_single_declaration): Just return if
1245         cp_parser_parse_and_diagnose_invalid_type_name complained.
1246
1247 2011-03-09  Jason Merrill  <jason@redhat.com>
1248
1249         PR c++/44629
1250         * pt.c (unify): An unresolved overload is a nondeduced context.
1251
1252 2011-03-09  Martin Jambor  <mjambor@suse.cz>
1253
1254         PR tree-optimization/47714
1255         * method.c (use_thunk): Clear addressable flag of thunk arguments.
1256
1257 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
1258
1259         PR c++/47705
1260         * pt.c (convert_nontype_argument): Only call decay_conversion on
1261         arrays.
1262
1263 2011-03-08  Jason Merrill  <jason@redhat.com>
1264
1265         PR c++/47488
1266         * mangle.c (write_template_arg_literal) [STRING_CST]: Sorry.
1267
1268         PR c++/47705
1269         * pt.c (convert_nontype_argument): Don't crash on non-pointer
1270         argument to pointer parameter.
1271
1272         PR c++/45651
1273         * pt.c (instantiate_decl): Don't clear DECL_INTERFACE_KNOWN on
1274         !TREE_PUBLIC decls.
1275
1276 2011-03-08  Dodji Seketeli  <dodji@redhat.com>
1277
1278         PR c++/47957
1279         * name-lookup.c (binding_to_template_parms_of_scope_p): Only
1280         consider scopes of primary template definitions.  Adjust comments.
1281
1282 2011-03-07  Jason Merrill  <jason@redhat.com>
1283
1284         PR c++/48003
1285         * pt.c (convert_nontype_argument): Fix -fpermissive allowing
1286         integer overflow.
1287         * semantics.c (potential_constant_expression_1): Check TREE_OVERFLOW.
1288
1289         PR c++/48015
1290         * init.c (constant_value_1): Always require init to be TREE_CONSTANT.
1291
1292         PR c++/48008
1293         * mangle.c (write_type): Strip cv-quals from FUNCTION_TYPE here.
1294         (write_CV_qualifiers_for_type): Not here.
1295
1296 2011-03-06  Joseph Myers  <joseph@codesourcery.com>
1297
1298         * lang-specs.h: Match -save-temps* instead of -save-temps.
1299
1300 2011-03-05  Jason Merrill  <jason@redhat.com>
1301
1302         * mangle.c (write_expression): Change ABI v6 to v5.
1303         (write_type): Likewise.
1304
1305 2011-03-04  Jan Hubicka  <jh@suse.cz>
1306
1307         PR lto/47497
1308         * optimize.c (maybe_clone_body): Update call of cgraph_same_body_alias
1309         and cgraph_add_thunk.
1310         * method.c (make_alias_for_thunk, use_thunk): Likewise.
1311         * mangle.c (mangle_decl): Likewise.
1312
1313 2011-03-04  Jason Merrill  <jason@redhat.com>
1314
1315         PR c++/47971
1316         * pt.c (tsubst_copy_and_build) [PSEUDO_DTOR_EXPR]: Use tsubst for type.
1317         (tsubst_copy) [default]: Just return t if !ENABLE_CHECKING.
1318
1319         PR c++/46220
1320         * search.c (check_final_overrider): Allow pointer to same incomplete
1321         class type with different cv-quals.
1322
1323 2011-03-03  Paolo Carlini  <paolo.carlini@oracle.com>
1324
1325         PR c++/47974
1326         * pt.c (tsubst_template_args): Check argument t for error_mark_node.
1327
1328 2011-03-03  Jason Merrill  <jason@redhat.com>
1329
1330         PR c++/47950
1331         * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Retain TREE_CONSTANT.
1332
1333 2011-03-02  Jason Merrill  <jason@redhat.com>
1334
1335         PR c++/47950
1336         * parser.c (cp_parser_condition): Don't fold_non_dependent_expr here.
1337
1338         PR c++/47774
1339         * tree.c (build_vec_init_elt): Split out from...
1340         (build_vec_init_expr): ...here.
1341         (diagnose_non_constexpr_vec_init): New fn.
1342         * semantics.c (potential_constant_expression_1): Use it.
1343         * cp-tree.h: Declare it.
1344
1345 2011-03-01  Jason Merrill  <jason@redhat.com>
1346
1347         PR c++/46159
1348         * parser.c (cp_parser_primary_expression): Don't warn about a
1349         failed tentative parse.
1350
1351         PR c++/47200
1352         * semantics.c (cxx_bind_parameters_in_call): Don't call
1353         adjust_temp_type on non-constant args.
1354
1355         PR c++/47851
1356         * call.c (standard_conversion): Provide requested cv-quals on
1357         class rvalue conversion.
1358
1359         PR c++/46282
1360         * decl2.c (grokbitfield): Handle type-dependent width.
1361
1362 2011-02-28  Jason Merrill  <jason@redhat.com>
1363
1364         PR c++/47873
1365         * class.c (update_vtable_entry_for_fn): Check BINFO_LOST_PRIMARY_P
1366         after checking for a non-thunk.
1367
1368 2011-02-26  Jason Merrill  <jason@redhat.com>
1369
1370         PR c++/47904
1371         * tree.c (cp_tree_equal): Compare DECL_PARM_LEVEL.
1372         * pt.c (iterative_hash_template_arg): And hash it.
1373
1374         PR c++/47897
1375         * semantics.c (non_const_var_error): Split out from...
1376         (cxx_eval_constant_expression): ...here.
1377         (potential_constant_expression_1) [VAR_DECL]: Use it.
1378         Allow dependent variables.
1379
1380 2011-02-24  Jason Merrill  <jason@redhat.com>
1381
1382         * parser.c (cp_parser_constant_expression): Set
1383         non_integral_constant_expression correctly for C++0x too.
1384         (cp_parser_static_assert): Allow non-constant expression.
1385         (cp_parser_direct_declarator): Expect non_constant_p to be set
1386         properly for C++0x.
1387         * pt.c (value_dependent_expression_p): Handle TYPEID_EXPR.
1388         * semantics.c (maybe_constant_value): Check type_unknown_p too.
1389         (potential_rvalue_constant_expression): New.
1390         (require_potential_rvalue_constant_expression): New.
1391
1392 2011-02-23  Jason Merrill  <jason@redhat.com>
1393
1394         * cp-tree.h (DECL_PARM_LEVEL): New.
1395         (struct lang_decl_parm): Add level field.
1396         * name-lookup.c (function_parm_depth): New fn.
1397         * name-lookup.h: Declare it.
1398         * parser.c (cp_parser_parameter_declaration_list): Use it.
1399         * mangle.c (struct globals): Add parm_depth field.
1400         (write_bare_function_type): Adjust it.
1401         (write_expression): Include the level delta in PARM_DECL mangling
1402         for abi >= 6.
1403
1404         * semantics.c (finish_decltype_type): Remove shortcut for decltype
1405         of id-expression.
1406         * mangle.c (write_type) [DECLTYPE_TYPE]: Strip it here for abi < 6.
1407
1408 2011-02-23  Nathan Froyd  <froydnj@codesourcery.com>
1409
1410         PR c++/46868
1411         * parser.c (cp_parser_class_specifier): Require a closing brace
1412         to attempt error recovery.
1413
1414 2011-02-23  Jakub Jelinek  <jakub@redhat.com>
1415
1416         PR c++/47833
1417         * pt.c (struct pending_template): Add chain_next GTY option.
1418         * decl.c (struct named_label_use_entry): Likewise.
1419
1420 2011-02-22  Paolo Carlini  <paolo.carlini@oracle.com>
1421
1422         PR c++/47242
1423         * semantics.c (build_lambda_object): Bail out if a field is
1424         error_mark_node.
1425
1426 2011-02-22  Dodji Seketeli  <dodji@redhat.com>
1427
1428         PR c++/47666
1429         * class.c (dfs_declare_virt_assop_and_dtor)
1430         (declare_virt_assop_and_dtor): New static functions.
1431         (add_implicitly_declared_members): Use
1432         declare_virt_assop_and_dtor.
1433
1434 2011-02-21  Jason Merrill  <jason@redhat.com>
1435
1436         PR c++/47207
1437         * decl2.c (decl_constant_var_p): A constexpr var needs an
1438         initializer to be constant.
1439         * semantics.c (cxx_eval_constant_expression): Complain about
1440         constexpr var used in its own initializer.
1441         * call.c (set_up_extended_ref_temp): Set
1442         DECL_INITIALIZED_BY_CONSTANT_EXPRESSION_P too.
1443
1444 2011-02-20  Jason Merrill  <jason@redhat.com>
1445
1446         PR c++/47199
1447         * semantics.c (cxx_eval_call_expression): Call
1448         cxx_eval_constant_expression in trivial shortcut.
1449
1450         PR c++/46831
1451         * call.c (convert_class_to_reference): Don't try to set up a
1452         second conv sequence for non-viable candidates.
1453
1454         PR c++/47703
1455         * error.c (location_of): Handle non-tagged types.
1456
1457         PR c++/46472
1458         * method.c (process_subob_fn): Instantiate constexpr templates.
1459         * optimize.c (maybe_clone_body): Propagate DECL_DECLARED_CONSTEXPR_P.
1460
1461 2011-02-20  Dodji Seketeli  <dodji@redhat.com>
1462
1463         PR c++/46394
1464         * pt.c (tsubst_pack_expansion): do not use
1465         cp_tree_equal/same_type_p to detect an expansion of a parameter
1466         pack.
1467
1468 2011-02-19  Jason Merrill  <jason@redhat.com>
1469
1470         PR c++/47503
1471         * semantics.c (cxx_eval_call_expression): Shortcut trivial copy.
1472
1473 2011-02-18  Paolo Carlini  <paolo.carlini@oracle.com>
1474
1475         PR c++/47795
1476         * semantics.c (finish_non_static_data_member): Early return if
1477         object is error_mark_node.
1478
1479 2011-02-18  Dodji Seketeli  <dodji@redhat.com>
1480
1481         PR c++/47208
1482         * pt.c (do_auto_deduction): Do not mention error_mark_node in
1483         diagnostics.
1484         * semantics.c (finish_id_expression): Do not pass erroneous decl
1485         to decl_constant_var_p.
1486
1487 2011-02-17  Jakub Jelinek  <jakub@redhat.com>
1488
1489         PR c++/47783
1490         * cvt.c (convert_from_reference): Call mark_exp_read.
1491
1492 2011-02-11  Dodji Seketeli  <dodji@redhat.com>
1493
1494         PR c++/47172
1495         * pt.c (finish_call_expr): Consider a call expression that has a
1496         dependent "this" pointer as being dependent.  Add comments.
1497         (dependent_type_p, type_dependent_expression_p): Update comments.
1498
1499 2011-02-16  Dodji Seketeli  <dodji@redhat.com>
1500
1501         PR c++/47326
1502         * pt.c (tsubst_copy)<case SIZEOF_EXPR>: Ensure that even pack
1503         expansion arguments are not evaluated.
1504
1505 2011-02-16  Jakub Jelinek  <jakub@redhat.com>
1506
1507         PR c++/47704
1508         * cp-tree.h (ENUM_FIXED_UNDERLYING_TYPE_P): Use TYPE_LANG_FLAG_5
1509         instead of TYPE_LANG_FLAG_3.
1510         * pt.c (lookup_template_class): Copy over
1511         ENUM_FIXED_UNDERLYING_TYPE_P.
1512
1513 2011-02-15  Jason Merrill  <jason@redhat.com>
1514
1515         PR c++/46807
1516         * method.c (synthesized_method_walk): Always exit early for
1517         trivial fn in C++98 mode.
1518
1519 2011-02-14  Jason Merrill  <jason@redhat.com>
1520
1521         PR c++/47482
1522         * parser.c (cp_parser_enumerator_definition): Call
1523         fold_non_dependent_expr.
1524
1525 2011-02-09  Jason Merrill  <jason@redhat.com>
1526
1527         * decl.c (cp_make_fname_decl): Set DECL_THIS_STATIC at toplevel.
1528         * semantics.c (finish_fname): Only return the name if we're in
1529         a function.
1530
1531         * decl.c (build_enumerator): Don't perform integral promotions on
1532         non-integral constants.
1533
1534         * cvt.c (convert_to_void): Handle null op1.
1535
1536         * class.c (type_has_constexpr_default_constructor): Make sure the
1537         caller stripped an enclosing array.
1538         * init.c (perform_member_init): Strip arrays before calling it.
1539
1540         PR c++/47511
1541         * semantics.c (potential_constant_expression_1): Handle TEMPLATE_DECL.
1542
1543 2011-02-03  Dodji Seketeli  <dodji@redhat.com>
1544
1545         PR c++/47398
1546         * tree.c (cp_tree_equal)<TEMPLATE_PARM_INDEX>: Take the number of
1547         template parameters in account.
1548
1549 2011-02-03  Nathan Froyd  <froydnj@codesourcery.com>
1550
1551         PR c++/46890
1552         * parser.c (cp_parser_class_specifier): Fix setting of
1553         want_semicolon.
1554
1555 2011-01-31  Jakub Jelinek  <jakub@redhat.com>
1556
1557         PR c++/47416
1558         * semantics.c (build_data_member_initialization): Handle
1559         STATEMENT_LIST always instead of just for CLEANUP_BODY.
1560
1561 2011-01-31  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1562
1563         * g++spec.c (lang_specific_driver) [HAVE_LD_STATIC_DYNAMIC] Use
1564         LD_STATIC_OPTION, LD_DYNAMIC_OPTION.
1565
1566 2011-01-29  Dodji Seketeli  <dodji@redhat.com>
1567
1568         PR c++/47311
1569         * cp-tree.h (fixup_template_parms): Declare.
1570         * pt.c (end_template_parm_list): Do not fixup template parms here.
1571         (fixup_template_parms): Remove static. Fix typo in the
1572         comments. Remove useless code statement.
1573         (fixup_template_parm): For a template template parameter, fixup
1574         its attributes before fixing up its type.
1575         * parser.c
1576         (cp_parser_template_declaration_after_export): After parsing
1577         template parameters fixup their types.
1578
1579 2011-01-26  Jakub Jelinek  <jakub@redhat.com>
1580
1581         PR c++/47476
1582         * semantics.c (potential_constant_expression_1): Handle
1583         TRUTH_XOR_EXPR.
1584
1585 2011-01-26  Dave Korn  <dave.korn.cygwin@gmail.com>
1586
1587         PR c++/43601
1588         * semantics.c (expand_or_defer_fn_1): Handle it.
1589         * decl2.c (decl_needed_p): Likewise.
1590
1591 2011-01-21  Jason Merrill  <jason@redhat.com>
1592
1593         PR c++/47041
1594         * semantics.c (build_constexpr_constructor_member_initializers):
1595         Handle trivial copy.
1596
1597 2011-01-21  Jakub Jelinek  <jakub@redhat.com>
1598
1599         PR c++/47388
1600         * semantics.c (begin_for_stmt): If -fno-for-scope, don't
1601         assume init must be NULL if scope is NULL.
1602         (begin_range_for_stmt): Likewise.
1603
1604 2011-01-21  Jason Merrill  <jason@redhat.com>
1605
1606         PR c++/46552
1607         * semantics.c (cxx_eval_constant_expression): Handle OFFSET_REF.
1608
1609         PR c++/46977
1610         * semantics.c (potential_constant_expression_1): Split out from
1611         potential_constant_expression.  Add want_rval parm.  Handle
1612         template expression forms.  Don't enforce restriction on address
1613         of automatic variable here.  Add a couple of diagnostics that
1614         had been missing.
1615         (require_potential_constant_expression): New entry point.
1616         (build_data_member_initialization, register_constexpr_fundef): Adjust.
1617         (maybe_constant_value): Check potential_constant_expression.
1618         * pt.c (fold_non_dependent_expr_sfinae): Likewise.
1619         * tree.c (build_vec_init_expr): Adjust.
1620
1621 2011-01-19  Jakub Jelinek  <jakub@redhat.com>
1622
1623         PR c++/47303
1624         * decl2.c (finish_anon_union): Only call mangle_decl if TREE_STATIC
1625         or DECL_EXTERNAL.
1626
1627 2011-01-17  Jason Merrill  <jason@redhat.com>
1628
1629         PR c++/47067
1630         * semantics.c (base_field_constructor_elt): New fn.
1631         (cxx_eval_bare_aggregate): Use it.
1632         (build_data_member_initialization): Leave COMPONENT_REF for
1633         vfield inits.
1634
1635 2011-01-14  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
1636
1637         * parser.c (cp_parser_range_for): Remove the "unused variable" warning
1638         workaround.
1639
1640 2011-01-15  Giovanni Funchal  <gafunchal@gmail.com>
1641             Jonathan Wakely  <jwakely.gcc@gmail.com>
1642
1643         PR c++/33558
1644         * decl.c (grokdeclarator): Reject mutable reference members.
1645
1646 2011-01-14  Jason Merrill  <jason@redhat.com>
1647
1648         PR c++/47289
1649         * pt.c (coerce_template_parms): Fix error recovery.
1650
1651         PR c++/46903
1652         * typeck2.c (check_narrowing): Only check arithmetic types.
1653
1654         PR c++/46688
1655         * tree.c (build_vec_init_expr): Handle flexible array
1656         properly.
1657
1658 2011-01-13  Kai Tietz  <kai.tietz@onevision.com>
1659
1660         PR c++/47213
1661         * cp-tree.h (CLASSTYPE_VISIBILITY): Use
1662         TYPE_MAIN_DECL instead of TYPE_NAME.
1663         (CLASSTYPE_VISIBILITY_SPECIFIED): Likewise.
1664         * decl2.c (determine_visibility): Add check
1665         of CLASS_TYPE_P for underlying_type.
1666
1667 2011-01-12  Rodrigo Rivas Costa <rodrigorivascosta@gmail.com>
1668
1669         * cp-tree.h (begin_for_scope): New prototype.
1670         (begin_for_stmt): Update prototype.
1671         (begin_range_for_stmt): Update prototype.
1672         * init.c (build_vec_init): Update call to begin_for_stmt.
1673         * parser.c (cp_parser_for): New.
1674         (cp_parser_c_for): Add three new parameters.
1675         (cp_parser_range_for): Likewise. Most parsing code removed.
1676         (cp_parser_iteration_statement): Call cp_parser_for instead of
1677         cp_parser_c_for and cp_parser_range_for.
1678         (cp_parser_for_init_statement): Add new parameter and return type.
1679         (cp_parser_block_declaration): Update call to
1680         cp_parser_simple_declaration.
1681         (cp_parser_simple_declaration): Add new parameter.
1682         Update call to cp_parser_init_declarator.
1683         (cp_parser_init_declarator): Add new parameter.
1684         * pt.c (tsubst_expr): Update call to begin_for_stmt.
1685         * semantics.c (begin_for_scope): New.
1686         (begin_for_stmt): Add two new parameters.
1687         (begin_range_for_stmt): Likewise.
1688
1689 2011-01-12  Nicola Pero  <nicola.pero@meta-innovation.com>
1690
1691         * parser.c (cp_parser_objc_at_property_declaration): Improved
1692         error message.
1693
1694 2011-01-11  Dodji Seketeli  <dodji@redhat.com>
1695
1696         PR debug/46955
1697         * cp-lang.c (get_template_innermost_arguments_folded)
1698         (get_template_argument_pack_elems_folded)
1699         (template_arg_needs_folding, fold_cplus_constants): New static
1700         functions.
1701         (LANG_HOOKS_GET_INNERMOST_GENERIC_ARGS): Set this hook to
1702         get_template_innermost_arguments_folded.
1703         (LANG_HOOKS_GET_ARGUMENT_PACK_ELEMS): Set this hook to
1704         get_template_argument_pack_elems_folded.
1705
1706 2011-01-11  Jason Merrill  <jason@redhat.com>
1707
1708         PR c++/46658
1709         * init.c (build_new_1): Handle value-init in templates differently.
1710
1711         PR c++/45520
1712         * tree.c (maybe_dummy_object): Check current_class_ref against
1713         context, not current_class_type.
1714
1715 2011-01-08  Nicola Pero  <nicola.pero@meta-innovation.com>
1716
1717         PR objc/47078
1718         * parser.c (cp_parser_objc_typename): If the type is unknown, for
1719         error recovery purposes behave as if it was not specified so that
1720         the default type is used.
1721
1722 2011-01-07  Jakub Jelinek  <jakub@redhat.com>
1723
1724         PR c++/47022
1725         * pt.c (tsubst_copy_and_build): Use tsubst instead of tsubst_copy
1726         for the second build_x_va_arg argument.
1727
1728 2011-01-05  Tom Tromey  <tromey@redhat.com>
1729
1730         * typeck.c (cp_build_addr_expr_1): Update call to lvalue_error.
1731         (lvalue_or_else): Likewise.
1732
1733 2011-01-01  Kai Tietz  <kai.tietz@onevision.com>
1734
1735         PR target/38662
1736         * tree.c (cxx_type_hash_eq):
1737         Allow METHOD_TYPE, too.
1738
1739 \f
1740 Copyright (C) 2011 Free Software Foundation, Inc.
1741
1742 Copying and distribution of this file, with or without modification,
1743 are permitted in any medium without royalty provided the copyright
1744 notice and this notice are preserved.