gcc/cp/ChangeLog

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