1 2012-07-10 Jason Merrill <jason@redhat.com>
5 * cp-tree.h (FNDECL_SUPPRESS_IMPLICIT_DECL): New.
6 (struct lang_decl_fn): Add suppress_implicit_decl field.
7 * method.c (implicitly_declare_fn): Check it.
8 (process_subob_fn): Add no_implicit_p parm.
9 (walk_field_subobs, synthesized_method_walk): Likewise.
10 (maybe_explain_implicit_delete): Adjust.
11 (explain_implicit_non_constexpr): Adjust.
13 * method.c (synthesized_method_walk): Cleanups don't affect the EH
16 2012-07-02 Jason Merrill <jason@redhat.com>
19 * class.c (resolves_to_fixed_type_p): Check uses_template_parms
20 (current_function_decl) instead of processing_template_decl.
23 * semantics.c (maybe_add_lambda_conv_op): Don't set
26 2012-06-27 Fabien Chêne <fabien@gcc.gnu.org>
29 * cp-tree.h (insert_late_enum_def_into_classtype_sorted_fields):
31 * class.c (insert_into_classtype_sorted_fields): New.
32 (add_enum_fields_to_record_type): New.
33 (count_fields): Adjust the comment.
34 (add_fields_to_record_type): Likewise.
35 (finish_struct_1): Move the code that inserts the fields for the
36 sorted case, into insert_into_classtype_sorted_fields, and call
38 (insert_late_enum_def_into_classtype_sorted_fields): Define.
39 * decl.c (finish_enum_value_list): Call
40 insert_late_enum_def_into_classtype_sorted_fields if a late enum
41 definition is encountered.
43 2012-06-25 Jason Merrill <jason@redhat.com>
47 * pt.c (tsubst_pack_expansion): Copy before dummy tsubst.
50 * typeck.c (decay_conversion): Don't discard side-effects from
51 expressions of nullptr_t.
54 * semantics.c (build_data_member_initialization): Always keep
55 initializer for empty base.
56 (cxx_eval_bare_aggregate): Discard it here.
58 2012-06-25 Jakub Jelinek <jakub@redhat.com>
61 * class.c (check_bases_and_members): Avoid -Wuninitialized
62 diagnostics for non-static const members or references if they
65 2012-06-19 Jason Merrill <jason@redhat.com>
68 * name-lookup.c (constructor_name_p): Don't try to look at the
69 name of a DECLTYPE_TYPE.
73 * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
74 (instantiate_decl): Don't push_to_top_level for local class methods.
75 (instantiate_class_template_1): Or for local classes.
78 * pt.c (lookup_template_class_1): Use ts_global.
80 2012-06-14 Richard Guenther <rguenther@suse.de>
82 Backport from mainline
83 2012-06-11 Richard Guenther <rguenther@suse.de>
86 * mangle.c (write_array_type): Use double-ints for array domain
89 2012-06-14 Richard Guenther <rguenther@suse.de>
91 Backport from mainline
92 2012-06-06 Fabien Chêne <fabien@gcc.gnu.org>
95 * parser.c (cp_parser_alias_declaration): Return earlier
98 2012-06-14 Release Manager
100 * GCC 4.7.1 released.
102 2012-06-12 Jason Merrill <jason@redhat.com>
107 * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
108 (instantiate_decl): Don't push_to_top_level for local class methods.
109 (instantiate_class_template_1): Or for local classes.
111 2012-06-04 Paolo Carlini <paolo.carlini@oracle.com>
114 * call.c (build_conditional_expr_1): Use OPT_Wenum_compare
115 to control enumeral mismatch in conditional expression too.
117 2012-06-01 Jason Merrill <jason@redhat.com>
120 * parser.c (cp_parser_class_head): Apply attributes here.
121 * semantics.c (begin_class_definition): Not here.
125 * parser.c (cp_parser_binary_expression): Bail early if we're parsing
126 tentatively and the LHS has a parse error.
128 2012-06-01 Jason Merrill <jason@redhat.com>
131 * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
132 (instantiate_decl): Don't push_to_top_level for local class methods.
133 (instantiate_class_template_1): Or for local classes.
136 * pt.c (do_auto_deduction): Don't try to deduce from a
137 type-dependent initializer.
139 2012-05-31 Jason Merrill <jason@redhat.com>
143 * call.c (joust): Handle comparing list and non-list ctors.
145 2012-05-30 Jason Merrill <jason@redhat.com>
148 * tree.c (stabilize_init): Side effects make the init unstable.
150 2012-05-30 Jason Merrill <jason@redhat.com>
153 * call.c (convert_like_real) [ck_list]: Take array address directly.
154 * typeck.c (decay_conversion): Reject decay of an array compound
157 2012-05-29 Paolo Carlini <paolo.carlini@oracle.com>
160 * tree.c (stabilize_expr): Handle exp of void type.
162 2012-05-28 Paolo Carlini <paolo.carlini@oracle.com>
165 * semantics.c (potential_constant_expression_1): Handle LTGT_EXPR.
167 2012-05-15 Alexandre Oliva <aoliva@redhat.com>
170 * pt.c (tsubst_decl): Bail out if argvec is error_mark_node.
172 2012-05-10 Paolo Carlini <paolo.carlini@oracle.com>
175 * decl.c (check_default_argument): Fix typo (POINTER_TYPE_P
176 instead of TYPE_PTR_P) in zero-as-null-pointer-constant warning.
178 2012-05-03 Paolo Carlini <paolo.carlini@oracle.com>
181 * call.c (build_over_call): Handle final member functions
183 (build_new_method_call_1): Do not handle here.
185 2012-04-17 Paolo Carlini <paolo.carlini@oracle.com>
188 * parser.c (cp_parser_member_declaration): Check that
189 initializer_token_start is non null before dereferencing it.
191 2012-04-16 Jason Merrill <jason@redhat.com>
194 * pt.c (determine_specialization): Instead of comparing the number
195 of parms, check that tsubst gives the right answer.
198 * pt.c (convert_template_argument): Handle template template
202 * pt.c (tsubst_pack_expansion): Use tsubst_expr for template
205 2012-04-15 Jason Merrill <jason@redhat.com>
209 * pt.c (coerce_template_parms): Even if we aren't converting we
210 want to expand argument packs.
212 2012-04-15 Fabien Chêne <fabien@gcc.gnu.org>
215 * parser.c (cp_parser_class_name): Call strip_using_decl and
216 return the target decl.
217 * name-lookup.c (strip_using_decl): Returns NULL_TREE if the decl
218 to be stripped is NULL_TREE.
219 (qualify_lookup): Call strip_using_decl and perform some checks on
222 2012-04-13 Jason Merrill <jason@redhat.com>
225 * pt.c (any_pack_expanson_args_p): New.
226 (coerce_template_parms): Use it.
228 2012-04-11 Jason Merrill <jason@redhat.com>
231 * decl.c (check_tag_decl): Don't complain about attributes if we
232 don't even have a type.
234 2012-04-05 Jason Merrill <jason@redhat.com>
237 * tree.c (lvalue_kind): Treat a deferred access control SCOPE_REF
240 2012-04-03 Jason Merrill <jason@redhat.com>
243 * pt.c (tsubst_initializer_list): A pack expansion with no elements
244 means value-initialization.
246 2012-03-29 Meador Inge <meadori@codesourcery.com>
249 * semantics.c (cxx_fold_indirect_ref): Don't attempt to fold
250 stripped child trees that are not pointer types.
252 2012-03-29 Paolo Carlini <paolo.carlini@oracle.com>
255 * decl.c (check_default_argument): With -Wzero-as-null-pointer-constant
256 warn for a zero as null pointer constant default argument.
258 2012-03-29 Jason Merrill <jason@redhat.com>
261 * tree.c (copy_binfo): Handle BINFO_DEPENDENT_BASE_P.
263 2012-03-29 Jakub Jelinek <jakub@redhat.com>
266 * decl.c (start_decl): Don't call maybe_apply_pragma_weak
267 if processing_template_decl.
269 2012-03-29 Jason Merrill <jason@redhat.com>
272 * call.c (compare_ics): Handle ck_aggr like ck_list.
274 2012-03-28 Jason Merrill <jason@redhat.com>
277 * typeck.c (lookup_destructor): Clear BASELINK_QUALIFIED_P if
278 we didn't get an explicit scope.
279 * pt.c (tsubst_baselink): Likewise.
281 2012-03-22 Paolo Carlini <paolo.carlini@oracle.com>
284 * class.c (check_field_decls): Call literal_type_p only
287 2012-03-22 Jakub Jelinek <jakub@redhat.com>
290 * decl.c (check_tag_decl): Only use CLASSTYPE_TEMPLATE_INSTANTIATION
291 on CLASS_TYPE_P types.
293 2012-03-22 Jason Merrill <jason@redhat.com>
296 * method.c (implicitly_declare_fn): Set DECL_EXTERNAL.
298 2012-03-22 Jakub Jelinek <jakub@redhat.com>
300 Backported from mainline
301 2012-03-14 Jakub Jelinek <jakub@redhat.com>
304 * parser.c (lookup_literal_operator): Return fn only if
305 processed all arguments from args vector and argtypes is
308 2012-03-22 Release Manager
310 * GCC 4.7.0 released.
312 2012-03-20 Jason Merrill <jason@redhat.com>
314 * mangle.c (write_type): Handle 'auto'.
315 * init.c (build_new): Don't do auto deduction where it might
316 affect template mangling.
318 2012-03-07 Jason Merrill <jason@redhat.com>
321 * mangle.c (write_literal_operator_name): The length comes after the
324 2012-02-29 Jason Merrill <jason@redhat.com>
327 * decl.c (check_tag_decl): Move warning for misplaced attributes here.
328 (shadow_tag): From here.
329 * parser.c (cp_parser_explicit_instantiation): Don't warn here.
331 2012-02-21 Jakub Jelinek <jakub@redhat.com>
334 * typeck.c (check_literal_operator_args): Initialize *long_double_p
335 and *long_long_unsigned_p even if processing_template_decl.
337 2012-02-16 Jason Merrill <jason@redhat.com>
340 * decl.c (define_label): Use timevar_cond_start/stop.
342 2012-02-16 Fabien Chêne <fabien@gcc.gnu.org>
345 * decl.c (xref_basetypes): call dependent_scope_p instead of
348 2012-02-16 Jason Merrill <jason@redhat.com>
351 * error.c (dump_expr): Handle lambda closures specifically.
353 2012-02-14 Jason Merrill <jason@redhat.com>
355 * parser.c (cp_parser_explicit_instantiation): Give a warning
356 for ignored attributes on explicit class instantiation.
358 2012-02-14 Jakub Jelinek <jakub@redhat.com>
361 * pt.c (tsubst_copy_asm_operands): For LABEL_DECL values call
362 lookup_label on label's name and set TREE_USED.
364 2012-02-14 Jason Merrill <jason@redhat.com>
367 * decl.c (local_variable_p_walkfn): Don't check DECL_ARTIFICIAL.
369 2012-02-14 Jakub Jelinek <jakub@redhat.com>
372 * decl.c (duplicate_decls): If olddecl has bigger DECL_ALIGN than
373 newdecl, copy DECL_ALIGN to newdecl and or DECL_USER_ALIGN bits.
375 2012-02-07 Jason Merrill <jason@redhat.com>
378 * semantics.c (cx_check_missing_mem_inits): Handle unions.
379 Fix constexpr default constructor logic.
382 * pt.c (tsubst): Strip uninstantiated typedef.
384 2012-02-06 Jason Merrill <jason@redhat.com>
387 * cvt.c (build_expr_type_conversion): Check for template conversion.
389 2012-01-31 Jason Merrill <jason@redhat.com>
392 * cp-tree.h (PACK_EXPANSION_LOCAL_P): New.
393 * pt.c (make_pack_expansion, tsubst_initializer_list): Set it.
394 (tsubst_pack_expansion): Check it.
396 2012-01-29 Paolo Carlini <paolo.carlini@oracle.com>
399 * class.c (explain_non_literal_class): Correctly handle implicitly
400 deleted constructors.
402 2012-01-27 Jakub Jelinek <jakub@redhat.com>
405 * pt.c (tsubst_pack_expansion): Delete and restore
406 local_specialization whenever need_local_specialization, not just
407 when saved_local_specializations is non-NULL.
409 2012-01-26 Paolo Carlini <paolo.carlini@oracle.com>
412 * error.c (dump_decl, [TEMPLATE_ID_EXPR]): Handle error_mark_node
413 as TREE_OPERAND (t, 1).
415 2012-01-24 Jason Merrill <jason@redhat.com>
418 * decl.c (xref_basetypes): Check VEC_length instead of VEC_space.
421 * tree.c (called_fns_equal): Check template args.
422 (cp_tree_equal): Call it.
424 2012-01-24 Aldy Hernandez <aldyh@redhat.com>
425 Patrick Marlier <patrick.marlier@gmail.com>
428 * class.c (set_method_tm_attributes): Use TARGET_THUNK instead of
429 thunk for set_one_vmethod_tm_attributes.
431 2012-01-24 Paolo Carlini <paolo.carlini@oracle.com>
434 * call.c (build_over_call): Check for error_mark_node as
435 TREE_VALUE when default arguments are processed.
437 2012-01-23 Jason Merrill <jason@redhat.com>
440 * decl2.c (determine_visibility): Check for visibility attribute
441 on template specialization.
443 2012-01-23 Paolo Carlini <paolo.carlini@oracle.com>
446 * pt.c (parameter_of_template_p): Skip error_mark_node parameters.
448 2012-01-23 Jason Merrill <jason@redhat.com>
451 * class.c (add_method): Set OVL_USED for using-decls.
452 * tree.c (ovl_scope): New.
453 * cp-tree.h: Declare it.
454 * parser.c (cp_parser_template_name): Use it.
455 * semantics.c (baselink_for_fns): Likewise.
456 * name-lookup.c (set_inherited_value_binding_p): Likewise.
458 2012-01-20 Paolo Carlini <paolo.carlini@oracle.com>
461 * pt.c (lookup_template_class_1): Check context returned by
462 tsubst for error_mark_node.
464 2012-01-19 Kai Tietz <ktietz@redhat.com>
467 * decl2.c (save_template_attributes): Use merge_attributes
468 instead of chaining up via TREE_CHAIN.
470 2012-01-19 Jason Merrill <jason@redhat.com>
473 * class.c (finish_struct): Call add_method here for function usings.
474 * semantics.c (finish_member_declaration): Not here.
476 2012-01-18 Paolo Carlini <paolo.carlini@oracle.com>
479 * typeck2.c (store_init_value): Within a template guard
480 cxx_constant_value with require_potential_constant_expression.
481 * pt.c (convert_nontype_argument): Likewise.
483 2012-01-16 Jakub Jelinek <jakub@redhat.com>
486 * mangle.c (write_template_arg_literal): Handle complex.
488 2012-01-16 Jason Merrill <jason@redhat.com>
491 * mangle.c (mangle_decl): Don't mangle uninstantiated templates.
494 * typeck.c (build_static_cast_1): Handle bit-fields properly.
496 2012-01-13 Ian Lance Taylor <iant@google.com>
499 * typeck.c (enum_cast_to_int): New static function.
500 (cp_build_binary_op): When handling warn_sign_compare, don't test
501 for TREE_NO_WARNING. Do call enum_cast_to_int.
502 * call.c (avoid_sign_compare_warnings): Remove static function.
503 (build_new_op_1): Don't call avoid_sign_compare_warnings.
505 2012-01-13 Steven Bosscher <steven@gcc.gnu.org>
507 * decl2.c: Do not include tree-mudflap.h
508 * semantics.c: Likewise.
510 2012-01-13 Jason Merrill <jason@redhat.com>
513 * semantics.c (finish_break_stmt): Avoid adding an unreachable
517 * decl2.c (constrain_visibility): Clear DECL_VISIBILITY_SPECIFIED
518 when reducing the visibility.
521 * class.c (build_vtbl_initializer): Use __cxa_deleted_virtual.
523 2012-01-12 Jason Merrill <jason@redhat.com>
526 * pt.c (value_dependent_expression_p): Treat STMT_EXPR as
529 2012-01-13 Dodji Seketeli <dodji@redhat.com>
532 * semantics.c (cp_parser_ctor_initializer_opt_and_function_body):
533 Set the pointer to the last block of the constructor to the
535 (build_constexpr_constructor_member_initializers): Get
536 build_data_member_initialization a chance to deal with more
537 statements before we choke.
539 2012-01-12 Jason Merrill <jason@redhat.com>
542 * mangle.c (write_expression): Mangle BASELINK scope if
543 BASELINK_QUALIFIED_P.
544 * search.c (adjust_result_of_qualified_name_lookup): Set
545 BASELINK_QUALIFIED_P.
546 * tree.c (cp_tree_equal) [BASELINK]: Compare BASELINK_QUALIFIED_P.
547 * parser.c (cp_parser_postfix_dot_deref_expression): Don't call
548 adjust_result_of_qualified_name_lookup for non-qualified names.
551 * pt.c (unify): Handle error_mark_node.
553 2012-01-11 Jason Merrill <jason@redhat.com>
556 * call.c (standard_conversion): For ptrmemfuncs, compare the
560 * mangle.c (find_substitution): A type is only a substitution
561 match if we're looking for a type.
562 (write_nested_name): Use decl_mangling_context.
564 * decl.c (decls_match): Assert that the arguments are decls.
567 * pt.c (resolve_overloaded_unification): Compare types with
568 same_type_p, not decls_match.
570 2012-01-10 Jason Merrill <jason@redhat.com>
573 * class.c (build_base_path): Diagnose ambiguous base.
576 * semantics.c (cxx_eval_call_expression): Always retry previously
577 non-constant expressions.
579 2012-01-06 Jason Merrill <jason@redhat.com>
583 * parser.c (cp_parser_new_expression): Set
584 type_definition_forbidden_message.
590 * mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
591 THROW_EXPR, CONSTRUCTOR, OVERLOAD. Fix PREINCREMENT_EXPR and
593 (write_template_arg): Fix mangling of class-scope functions and
595 (mangle_decl): Update suggested -fabi-version argument.
596 * operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
597 DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
598 * tree.c (dependent_name): No longer static.
599 * cp-tree.h: Declare it.
600 * pt.c (unify): Defer handling of unconverted functions.
602 * mangle.c (mangle_decl): Don't generate mangling aliases
603 for maybe-in-charge [cd]tors.
605 * error.c (dump_expr): Print type of CONSTRUCTOR.
607 2012-01-05 Dodji Seketeli <dodji@redhat.com>
610 * parser.c (cp_parser_alias_declaration): Get out early upon
611 errors in the identifier or the attributes.
613 2012-01-04 Paolo Carlini <paolo.carlini@oracle.com>
616 * pt.c (tsubst_copy_and_build): Maybe set TREE_NO_WARNING on
617 the tree returned by build_x_binary_op.
619 2012-01-03 Paolo Carlini <paolo.carlini@oracle.com>
622 * parser.c (cp_parser_postfix_open_square_expression): Handle
623 postfix-expression [ braced-init-list ].
625 2012-01-03 Paolo Carlini <paolo.carlini@oracle.com>
628 * rtti.c (build_dynamic_cast_1): In case of T a pointer type,
629 call decay_conversion on v.
631 2012-01-03 Paolo Carlini <paolo.carlini@oracle.com>
634 * decl.c (duplicate_decls): With -Wredundant-decls don't warn for
635 declaration followed by specialization.
637 2012-01-03 Jakub Jelinek <jakub@redhat.com>
640 * semantics.c (finish_omp_clauses): Call fold_build_cleanup_point_expr
641 on OMP_CLAUSE_{IF,FINAL,NUM_THREADS,SCHEDULE_CHUNK}_EXPR.
643 2012-01-02 Jason Merrill <jason@redhat.com>
647 * method.c (walk_field_subobs): Don't check for uninitialized
649 (synthesized_method_walk): Check here.
653 * parser.c (cp_parser_cache_defarg): Split out...
654 (cp_parser_parameter_declaration): ...from here.
655 (cp_parser_save_nsdmi): Use it.
656 (cp_parser_cache_group): Remove CPP_COMMA support.
658 2012-01-02 Dodji Seketeli <dodji@redhat.com>
661 * semantics.c (cx_check_missing_mem_inits): Don't assert in case
664 2012-01-02 Paolo Carlini <paolo.carlini@oracle.com>
667 * typeck2.c (digest_init_r): Use copy_init when initializing
670 2012-01-01 Paolo Carlini <paolo.carlini@oracle.com>
673 * decl.c (build_enumerator): Don't call perform_integral_promotions
676 2012-01-01 Paolo Carlini <paolo.carlini@oracle.com>
679 * typeck.c (build_reinterpret_cast_1): Implement resolution of
682 2012-01-01 Fabien Chêne <fabien@gcc.gnu.org>
684 * parser.c (cp_parser_using_declaration): Add a warning about
685 deprecated access declarations when no errors were encountered
686 while parsing the access declaration. Save the first token in
687 order to emit the warning at the right place.
689 Copyright (C) 2012 Free Software Foundation, Inc.
691 Copying and distribution of this file, with or without modification,
692 are permitted in any medium without royalty provided the copyright
693 notice and this notice are preserved.