1 2014-02-21 Jason Merrill <jason@redhat.com>
4 * mangle.c (mangle_decl): Don't make an alias for a TYPE_DECL.
6 2014-02-20 Kai Tietz <ktietz@redhat.com>
9 * parser.c (cp_parser_functional_cast): Treat NULL_TREE
10 valued type argument as error_mark_node.
13 * semantics.c (finish_fname): Handle error_mark_node.
15 2014-02-19 Jason Merrill <jason@redhat.com>
18 * pt.c (maybe_instantiate_noexcept): Don't instantiate exception
19 spec from template context.
21 2014-01-31 Jason Merrill <jason@redhat.com>
24 * pt.c (fn_type_unification): Don't do DEDUCE_EXACT check
25 during partial ordering.
27 2014-01-27 Jason Merrill <jason@redhat.com>
30 * decl.c (duplicate_decls): Always use oldtype for TYPE_DECL.
33 * call.c (build_aggr_conv): Reject value-initialization of reference.
35 2013-10-25 Tom de Vries <tom@codesourcery.com>
38 * except.c (build_must_not_throw_expr): Handle
41 2013-10-16 Paolo Carlini <paolo.carlini@oracle.com>
44 * parser.c (cp_parser_pseudo_destructor_name): Revert r174385 changes.
46 2013-09-13 Jason Merrill <jason@redhat.com>
49 * pt.c (any_type_dependent_elements_p): Actually check for
50 type-dependence, not value-dependence.
52 2013-08-20 Jason Merrill <jason@redhat.com>
55 * cp-tree.h (WILDCARD_TYPE_P): Split out from...
56 (MAYBE_CLASS_TYPE_P): ...here.
57 * cvt.c (build_expr_type_conversion): Don't complain about a
58 template that can't match the desired type category.
60 2012-12-03 Paolo Carlini <paolo.carlini@oracle.com>
63 * cvt.c (cp_convert_to_pointer): Don't discard side-effects from
64 expressions of nullptr_t.
65 * typeck.c (build_ptrmemfunc): Likewise.
67 2013-07-09 Jason Merrill <jason@redhat.com>
70 * typeck.c (check_return_expr): Lambda proxies aren't eligible
71 for nrv or return by move.
74 * pt.c (convert_nontype_argument) [INTEGER_CST]: Force the
75 argument to have the exact type of the parameter.
78 * semantics.c (cxx_eval_indirect_ref): Don't try to look through
79 a POINTER_PLUS_EXPR for type punning diagnostic.
82 * pt.c (tsubst_copy): Handle USING_DECL.
84 2013-05-20 Jason Merrill <jason@redhat.com>
87 * tree.c (build_cplus_array_type): Copy layout info if element
90 2013-05-09 Jason Merrill <jason@redhat.com>
93 * semantics.c (cxx_fold_indirect_ref): Fix thinko.
95 2013-04-21 Eric Botcazou <ebotcazou@adacore.com>
97 * parser.c (cp_parser_late_return_type_opt): Fix C++ism.
99 2013-04-15 Jason Merrill <jason@redhat.com>
102 * semantics.c (insert_capture_proxy): Just use index 1 in the
105 2013-04-11 Release Manager
107 * GCC 4.7.3 released.
109 2013-04-03 Jakub Jelinek <jakub@redhat.com>
112 * tree.c (strip_typedefs): Copy NON_DEFAULT_TEMPLATE_ARGS_COUNT
113 from args to new_args.
114 (strip_typedefs_expr): Copy NON_DEFAULT_TEMPLATE_ARGS_COUNT from t to
115 r instead of doing {S,G}ET_NON_DEFAULT_TEMPLATE_ARGS_COUNT.
117 2013-04-01 Jason Merrill <jason@redhat.com>
120 * parser.c (cp_parser_range_for): Don't try to do auto deduction
121 in a template if the type of the range is incomplete.
123 2013-03-29 Jason Merrill <jason@redhat.com>
127 * pt.c (unify_pack_expansion): Fix indexing.
129 2013-03-23 Jason Merrill <jason@redhat.com>
132 * semantics.c (lambda_capture_field_type): Don't build a
133 magic decltype for pointer types.
134 (lambda_proxy_type): Likewise.
135 (finish_non_static_data_member): Get the quals from
138 2013-03-20 Jason Merrill <jason@redhat.com>
141 * parser.c (cp_parser_late_return_type_opt): Save and restore
142 current_class_ptr/ref.
144 2013-03-14 Jason Merrill <jason@redhat.com>
147 * decl.c (local_variable_p_walkfn): Check DECL_ARTIFICIAL again.
149 2013-03-14 Jakub Jelinek <jakub@redhat.com>
152 * init.c (build_zero_init_1): Use RECORD_OR_UNION_CODE_P instead
155 2013-03-09 Paolo Carlini <paolo.carlini@oracle.com>
158 * parser.c (cp_parser_elaborated_type_specifier): Don't call
159 check_elaborated_type_specifier when TREE_CODE (decl) != TYPE_DECL.
160 * decl.c (check_elaborated_type_specifier): Tidy.
162 2013-03-06 Jakub Jelinek <jakub@redhat.com>
165 * tree.c (strip_typedefs): Don't copy args if they are NULL.
167 2013-02-22 Jason Merrill <jason@redhat.com>
170 * pt.c (push_template_decl_real): Set DECL_INTERFACE_KNOWN
171 if we got the wrong number of template parms.
174 * tree.c (strip_typedefs): Strip typedefs from TYPENAME_TYPE template
177 2013-02-19 Jakub Jelinek <jakub@redhat.com>
179 Backported from mainline
180 2013-02-07 Jakub Jelinek <jakub@redhat.com>
183 * init.c (build_vec_init): Don't append NULL values into new_vec.
184 (build_zero_init_1): Don't push anything into v if recursive call
186 (build_value_init_noctor): Don't push anything into v if
187 build_value_init call returned NULL_TREE.
190 * parser.c (cp_parser_token_starts_cast_expression): Renamed to...
191 (cp_parser_tokens_start_cast_expression): ... this. Change parameter
192 to cp_parser *, call cp_lexer_peek_token first. For CPP_OPEN_PAREN,
193 return true only if 2nd token isn't CPP_CLOSE_PAREN.
194 (cp_parser_cast_expression): Adjust caller.
197 * decl.c (push_local_name): Look at DECL_DISCRIMINATOR (t)
198 only if DECL_DISCRIMINATOR_SET_P (t) rather than just
199 DECL_LANG_SPECIFIC (t).
201 2013-02-15 Jason Merrill <jason@redhat.com>
204 * semantics.c (finish_id_expression): Also return the identifier
205 for an outer local static.
208 * semantics.c (finish_id_expression): In a template, return
209 the identifier for a constant variable.
212 * semantics.c (maybe_add_lambda_conv_op): Mark static thunk
216 * pt.c (tsubst_copy_and_build): Don't forget any new
217 captures that arose from use of dependent names.
219 2013-02-12 Jason Merrill <jason@redhat.com>
222 * semantics.c (sort_constexpr_mem_initializers): Handle
225 2013-02-11 Jason Merrill <jason@redhat.com>
228 * semantics.c (classtype_has_nothrow_assign_or_copy_p): Call
229 maybe_instantiate_noexcept.
231 2013-02-09 Jason Merrill <jason@redhat.com>
234 * pt.c (eq_specializations): Set comparing_specializations.
235 * tree.c (cp_tree_equal): Check it.
236 * cp-tree.h: Declare it.
238 2013-02-05 Jason Merrill <jason@redhat.com>
241 * tree.c (lvalue_kind) [INDIRECT_REF]: Don't check for
244 2013-02-01 Jakub Jelinek <jakub@redhat.com>
246 Backported from mainline
247 2012-12-13 Jakub Jelinek <jakub@redhat.com>
250 * typeck2.c (merge_exception_specifiers): Don't call operand_equal_p
253 2012-12-06 Jakub Jelinek <jakub@redhat.com>
256 * except.c (build_noexcept_spec): Avoid direct comparison
257 with boolean_true_node or boolean_false_node, instead use
258 operand_equal_p and/or INTEGER_CST check.
259 * pt.c (tsubst_exception_specification): Likewise.
260 * typeck2.c (merge_exception_specifiers): Likewise.
262 2012-12-01 Jakub Jelinek <jakub@redhat.com>
265 * pt.c (make_ith_pack_parameter_name): Return NULL if
267 (tsubst_decl): Call make_ith_pack_parameter_name even if
270 2012-11-23 Jakub Jelinek <jakub@redhat.com>
273 * cp-objcp-common.h (LANG_HOOKS_BLOCK_MAY_FALLTHRU): Redefine.
274 * cp-objcp-common.c (cxx_block_may_fallthru): New function.
275 * cp-tree.h (cxx_block_may_fallthru): New prototype.
277 2013-01-25 Jason Merrill <jason@redhat.com>
280 * typeck.c (get_member_function_from_ptrfunc): Don't fold
283 2013-01-22 Jason Merrill <jason@redhat.com>
285 * call.c (type_has_extended_temps): Fix C++ism.
288 * call.c (type_has_extended_temps): New.
289 * cp-tree.h: Declare it.
290 * decl.c (check_initializer): Use build_aggr_init for arrays
292 * init.c (build_vec_init): Avoid mixed signed/unsigned arithmetic.
295 * pt.c (maybe_instantiate_noexcept): Don't defer access checks.
297 2013-01-21 Jason Merrill <jason@redhat.com>
300 * tree.c (strip_typedefs_expr) [TREE_VEC]: Preserve non-default
303 2013-01-09 Jason Merrill <jason@redhat.com>
306 * decl.c (cp_finish_decl): Clear TREE_READONLY if the variable
309 2013-01-08 Joel Brobecker <brobecker@adacore.com>
311 * parser.c (cp_parser_initializer_list): Move declaration
312 of variable non_const to start of lexical block.
314 2013-01-04 Jason Merrill <jason@redhat.com>
317 * decl.c (reset_type_linkage, bt_reset_linkage): New.
318 (grokdeclarator): Use reset_type_linkage.
319 * name-lookup.c (binding_table_foreach): Handle null table.
320 * tree.c (decl_anon_ns_mem_p): Check TYPE_MAIN_DECL, not TYPE_NAME.
322 2013-01-03 Jason Merrill <jason@redhat.com>
326 * pt.c (tsubst_copy_and_build) [TARGET_EXPR]: Don't touch
330 * semantics.c (trait_expr_value): Call maybe_instantiate_noexcept.
333 * semantics.c (build_data_member_initialization): Handle DECL_EXPR.
335 2013-01-02 Jason Merrill <jason@redhat.com>
338 * call.c (build_new_method_call_1): Don't use build_value_init for
339 user-provided default constructors.
343 * tree.c (build_cplus_array_type): Copy layout information
344 to main variant if necessary.
346 2012-12-19 Jason Merrill <jason@redhat.com>
349 * pt.c (type_unification_real): Re-combine post-deduction loops.
351 2012-12-11 Jason Merrill <jason@redhat.com>
354 * decl2.c (min_vis_r): Handle anon visibility for enums.
356 2012-12-11 Jakub Jelinek <jakub@redhat.com>
359 * expr.c (mark_exp_read): Handle FLOAT_EXPR similarly to NOP_EXPR.
361 2012-12-07 Jason Merrill <jason@redhat.com>
364 * tree.c (build_target_expr): Don't set TREE_CONSTANT.
366 2012-12-07 Matthias Klose <doko@ubuntu.com>
368 * tree.c (build_aggr_init_expr): Add parameter name, mark as unused.
370 2012-12-06 Jason Merrill <jason@redhat.com>
373 * tree.c (build_aggr_init_expr): Don't check for abstract class.
374 (build_cplus_new): Check here instead.
377 * pt.c (tsubst): Keep the quals when looking through a typedef.
380 * tree.c (build_vec_init_elt): Use the type of the initializer.
383 * pt.c (resolve_typename_type): Check TYPENAME_IS_RESOLVING_P on scope.
386 * parser.c (cp_parser_initializer_list): Don't require an
387 expression in [] to be constant until we know it's a C99
392 * semantics.c (maybe_add_lambda_conv_op): Revert earlier change.
393 * decl.c (start_preparsed_function): Make local class methods comdat
396 2012-11-29 Jason Merrill <jason@redhat.com>
399 * pt.c (tsubst_expr) [DECL_EXPR]: Set LAMBDA_EXPR_THIS_CAPTURE here.
400 (tsubst_copy_and_build) [LAMBDA_EXPR]: And clear it here.
401 (instantiate_class_template_1): Not here.
404 * pt.c (tsubst_arg_types): Add "end" parameter.
405 (check_undeduced_parms): Use it.
408 * pt.c (arg_from_parm_pack_p): Go back to using same_type_p or
411 * cp-tree.h (TEMPLATE_PARM_NUM_SIBLINGS): Remove.
412 (struct template_parm_index_s): Remove num_siblings.
413 * pt.c (fixup_template_parms, fixup_template_parm_index): Remove.
414 (fixup_template_type_parm_type): Remove.
415 (build_template_parm_index): Remove num_siblings parm.
416 (process_template_parm): Likewise.
417 * parser.c (cp_parser_template_parameter_list): Adjust.
418 * tree.c (cp_tree_equal): Don't compare num_siblings.
419 * typeck.c (comp_template_parms_position): Likewise.
423 * tree.c (strip_typedefs_expr): New.
424 * cp-tree.h: Declare it.
425 * pt.c (convert_template_argument, unify): Use it.
426 * parser.c (cp_parser_template_declaration_after_export): Don't call
427 fixup_template_parms.
429 2012-11-29 Kai Tietz <ktietz@redhat.com>
432 * class.c (dump_class_hierarchy_r): Cast from pointer via uintptr_t.
433 (dump_vtable): Likewise.
435 2012-11-24 Paolo Carlini <paolo.carlini@oracle.com>
438 * init.c (build_vec_init): Do not early return error_mark_mode
439 when integer_all_onesp (maxindex).
441 2012-11-05 Jakub Jelinek <jakub@redhat.com>
443 Backported from mainline
444 2012-10-23 Jakub Jelinek <jakub@redhat.com>
447 * decl2.c (cplus_decl_attributes): Don't return early
448 if attributes is NULL.
450 2012-10-26 Paolo Carlini <paolo.carlini@oracle.com>
453 * init.c (build_new): Don't turn a null *init into a pointer to
454 empty vector orig_init.
456 2012-10-08 Jakub Jelinek <jakub@redhat.com>
459 * tree.c (cp_tree_equal): Handle FIELD_DECL.
461 2012-10-03 Jakub Jelinek <jakub@redhat.com>
464 * semantics.c (cxx_eval_constant_expression) <case COMPOUND_EXPR>: If
465 not ignoring the second operand, pass the original second operand
466 and not one with stripped nops to cxx_eval_constant_expression.
468 2012-09-20 Release Manager
470 * GCC 4.7.2 released.
472 2012-09-14 Jason Merrill <jason@redhat.com>
475 * typeck2.c (check_narrowing): Avoid false positives on conversion
478 2012-09-13 Jason Merrill <jason@redhat.com>
481 * semantics.c (cxx_eval_indirect_ref): If we aren't looking for an
482 address, make sure the value is constant.
484 2012-09-13 Jason Merrill <jason@redhat.com>
487 * pt.c (tsubst_decl) [VAR_DECL]: Handle DECL_ANON_UNION_VAR_P.
489 2012-09-13 Jason Merrill <jason@redhat.com>
492 * pt.c (value_dependent_expression_p): A TREE_LIST initializer must
495 2012-09-10 Jason Merrill <jason@redhat.com>
498 * decl.c (move_signature_fn_p): Split out from move_fn_p.
499 * method.c (process_subob_fn): Use it.
500 * cp-tree.h: Declare it.
504 * semantics.c (sort_constexpr_mem_initializers): New.
505 (build_constexpr_constructor_member_initializers): Use it.
506 (cx_check_missing_mem_inits): Skip artificial fields.
507 * init.c (expand_aggr_init_1): Don't zero out a class
511 * decl.c (grokdeclarator): Allow const and constexpr together.
513 2012-08-31 Ollie Wild <aaw@google.com>
516 * call.c (extend_ref_init_temps_1): Handle COMPOUND_EXPR trees.
518 2012-07-20 Jason Merrill <jason@redhat.com>
521 * tree.c (build_cplus_array_type): Use build_cplus_array_type to build
522 canonical array type rather than mess with its TYPE_*_VARIANT.
524 2012-07-19 Jason Merrill <jason@redhat.com>
527 * typeck.c (cp_apply_type_quals_to_decl): Check COMPLETE_TYPE_P.
529 2012-07-18 Jason Merrill <jason@redhat.com>
531 * method.c (process_subob_fn): Make sure no_implicit_p is non-null
532 before trying to store through it.
534 2012-07-17 Jason Merrill <jason@redhat.com>
537 * decl.c (finish_enum_value_list): Only call
538 insert_late_enum_def_into_classtype_sorted_fields in class scope.
540 2012-07-17 Jason Merrill <jason@redhat.com>
543 * tree.c (build_cplus_array_type): Also add TYPE_CANONICAL
544 to the list of variants.
546 2012-07-17 Jason Merrill <jason@redhat.com>
549 * parser.c (cp_parser_class_head): Call xref_basetypes here.
550 (cp_parser_class_specifier_1): Not here.
551 * pt.c (tsubst_decl) [USING_DECL]: Check uses_template_parms
552 as well as DECL_DEPENDENT_P.
554 2012-07-13 Jason Merrill <jason@redhat.com>
557 * method.c (synthesized_method_walk): Initialize no_implicit_p sooner.
559 2012-07-10 Jason Merrill <jason@redhat.com>
563 * cp-tree.h (FNDECL_SUPPRESS_IMPLICIT_DECL): New.
564 (struct lang_decl_fn): Add suppress_implicit_decl field.
565 * method.c (implicitly_declare_fn): Check it.
566 (process_subob_fn): Add no_implicit_p parm.
567 (walk_field_subobs, synthesized_method_walk): Likewise.
568 (maybe_explain_implicit_delete): Adjust.
569 (explain_implicit_non_constexpr): Adjust.
571 * method.c (synthesized_method_walk): Cleanups don't affect the EH
574 2012-07-02 Jason Merrill <jason@redhat.com>
577 * class.c (resolves_to_fixed_type_p): Check uses_template_parms
578 (current_function_decl) instead of processing_template_decl.
581 * semantics.c (maybe_add_lambda_conv_op): Don't set
582 DECL_INTERFACE_KNOWN.
584 2012-06-27 Fabien ChĂȘne <fabien@gcc.gnu.org>
587 * cp-tree.h (insert_late_enum_def_into_classtype_sorted_fields):
589 * class.c (insert_into_classtype_sorted_fields): New.
590 (add_enum_fields_to_record_type): New.
591 (count_fields): Adjust the comment.
592 (add_fields_to_record_type): Likewise.
593 (finish_struct_1): Move the code that inserts the fields for the
594 sorted case, into insert_into_classtype_sorted_fields, and call
596 (insert_late_enum_def_into_classtype_sorted_fields): Define.
597 * decl.c (finish_enum_value_list): Call
598 insert_late_enum_def_into_classtype_sorted_fields if a late enum
599 definition is encountered.
601 2012-06-25 Jason Merrill <jason@redhat.com>
605 * pt.c (tsubst_pack_expansion): Copy before dummy tsubst.
608 * typeck.c (decay_conversion): Don't discard side-effects from
609 expressions of nullptr_t.
612 * semantics.c (build_data_member_initialization): Always keep
613 initializer for empty base.
614 (cxx_eval_bare_aggregate): Discard it here.
616 2012-06-25 Jakub Jelinek <jakub@redhat.com>
619 * class.c (check_bases_and_members): Avoid -Wuninitialized
620 diagnostics for non-static const members or references if they
623 2012-06-19 Jason Merrill <jason@redhat.com>
626 * name-lookup.c (constructor_name_p): Don't try to look at the
627 name of a DECLTYPE_TYPE.
631 * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
632 (instantiate_decl): Don't push_to_top_level for local class methods.
633 (instantiate_class_template_1): Or for local classes.
636 * pt.c (lookup_template_class_1): Use ts_global.
638 2012-06-14 Richard Guenther <rguenther@suse.de>
640 Backport from mainline
641 2012-06-11 Richard Guenther <rguenther@suse.de>
644 * mangle.c (write_array_type): Use double-ints for array domain
647 2012-06-14 Richard Guenther <rguenther@suse.de>
649 Backport from mainline
650 2012-06-06 Fabien ChĂȘne <fabien@gcc.gnu.org>
653 * parser.c (cp_parser_alias_declaration): Return earlier
656 2012-06-14 Release Manager
658 * GCC 4.7.1 released.
660 2012-06-12 Jason Merrill <jason@redhat.com>
665 * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
666 (instantiate_decl): Don't push_to_top_level for local class methods.
667 (instantiate_class_template_1): Or for local classes.
669 2012-06-04 Paolo Carlini <paolo.carlini@oracle.com>
672 * call.c (build_conditional_expr_1): Use OPT_Wenum_compare
673 to control enumeral mismatch in conditional expression too.
675 2012-06-01 Jason Merrill <jason@redhat.com>
678 * parser.c (cp_parser_class_head): Apply attributes here.
679 * semantics.c (begin_class_definition): Not here.
683 * parser.c (cp_parser_binary_expression): Bail early if we're parsing
684 tentatively and the LHS has a parse error.
686 2012-06-01 Jason Merrill <jason@redhat.com>
689 * pt.c (instantiate_class_template_1): Set LAMBDA_EXPR_THIS_CAPTURE.
690 (instantiate_decl): Don't push_to_top_level for local class methods.
691 (instantiate_class_template_1): Or for local classes.
694 * pt.c (do_auto_deduction): Don't try to deduce from a
695 type-dependent initializer.
697 2012-05-31 Jason Merrill <jason@redhat.com>
701 * call.c (joust): Handle comparing list and non-list ctors.
703 2012-05-30 Jason Merrill <jason@redhat.com>
706 * tree.c (stabilize_init): Side effects make the init unstable.
708 2012-05-30 Jason Merrill <jason@redhat.com>
711 * call.c (convert_like_real) [ck_list]: Take array address directly.
712 * typeck.c (decay_conversion): Reject decay of an array compound
715 2012-05-29 Paolo Carlini <paolo.carlini@oracle.com>
718 * tree.c (stabilize_expr): Handle exp of void type.
720 2012-05-28 Paolo Carlini <paolo.carlini@oracle.com>
723 * semantics.c (potential_constant_expression_1): Handle LTGT_EXPR.
725 2012-05-15 Alexandre Oliva <aoliva@redhat.com>
728 * pt.c (tsubst_decl): Bail out if argvec is error_mark_node.
730 2012-05-10 Paolo Carlini <paolo.carlini@oracle.com>
733 * decl.c (check_default_argument): Fix typo (POINTER_TYPE_P
734 instead of TYPE_PTR_P) in zero-as-null-pointer-constant warning.
736 2012-05-03 Paolo Carlini <paolo.carlini@oracle.com>
739 * call.c (build_over_call): Handle final member functions
741 (build_new_method_call_1): Do not handle here.
743 2012-04-17 Paolo Carlini <paolo.carlini@oracle.com>
746 * parser.c (cp_parser_member_declaration): Check that
747 initializer_token_start is non null before dereferencing it.
749 2012-04-16 Jason Merrill <jason@redhat.com>
752 * pt.c (determine_specialization): Instead of comparing the number
753 of parms, check that tsubst gives the right answer.
756 * pt.c (convert_template_argument): Handle template template
760 * pt.c (tsubst_pack_expansion): Use tsubst_expr for template
763 2012-04-15 Jason Merrill <jason@redhat.com>
767 * pt.c (coerce_template_parms): Even if we aren't converting we
768 want to expand argument packs.
770 2012-04-15 Fabien ChĂȘne <fabien@gcc.gnu.org>
773 * parser.c (cp_parser_class_name): Call strip_using_decl and
774 return the target decl.
775 * name-lookup.c (strip_using_decl): Returns NULL_TREE if the decl
776 to be stripped is NULL_TREE.
777 (qualify_lookup): Call strip_using_decl and perform some checks on
780 2012-04-13 Jason Merrill <jason@redhat.com>
783 * pt.c (any_pack_expanson_args_p): New.
784 (coerce_template_parms): Use it.
786 2012-04-11 Jason Merrill <jason@redhat.com>
789 * decl.c (check_tag_decl): Don't complain about attributes if we
790 don't even have a type.
792 2012-04-05 Jason Merrill <jason@redhat.com>
795 * tree.c (lvalue_kind): Treat a deferred access control SCOPE_REF
798 2012-04-03 Jason Merrill <jason@redhat.com>
801 * pt.c (tsubst_initializer_list): A pack expansion with no elements
802 means value-initialization.
804 2012-03-29 Meador Inge <meadori@codesourcery.com>
807 * semantics.c (cxx_fold_indirect_ref): Don't attempt to fold
808 stripped child trees that are not pointer types.
810 2012-03-29 Paolo Carlini <paolo.carlini@oracle.com>
813 * decl.c (check_default_argument): With -Wzero-as-null-pointer-constant
814 warn for a zero as null pointer constant default argument.
816 2012-03-29 Jason Merrill <jason@redhat.com>
819 * tree.c (copy_binfo): Handle BINFO_DEPENDENT_BASE_P.
821 2012-03-29 Jakub Jelinek <jakub@redhat.com>
824 * decl.c (start_decl): Don't call maybe_apply_pragma_weak
825 if processing_template_decl.
827 2012-03-29 Jason Merrill <jason@redhat.com>
830 * call.c (compare_ics): Handle ck_aggr like ck_list.
832 2012-03-28 Jason Merrill <jason@redhat.com>
835 * typeck.c (lookup_destructor): Clear BASELINK_QUALIFIED_P if
836 we didn't get an explicit scope.
837 * pt.c (tsubst_baselink): Likewise.
839 2012-03-22 Paolo Carlini <paolo.carlini@oracle.com>
842 * class.c (check_field_decls): Call literal_type_p only
845 2012-03-22 Jakub Jelinek <jakub@redhat.com>
848 * decl.c (check_tag_decl): Only use CLASSTYPE_TEMPLATE_INSTANTIATION
849 on CLASS_TYPE_P types.
851 2012-03-22 Jason Merrill <jason@redhat.com>
854 * method.c (implicitly_declare_fn): Set DECL_EXTERNAL.
856 2012-03-22 Jakub Jelinek <jakub@redhat.com>
858 Backported from mainline
859 2012-03-14 Jakub Jelinek <jakub@redhat.com>
862 * parser.c (lookup_literal_operator): Return fn only if
863 processed all arguments from args vector and argtypes is
866 2012-03-22 Release Manager
868 * GCC 4.7.0 released.
870 2012-03-20 Jason Merrill <jason@redhat.com>
872 * mangle.c (write_type): Handle 'auto'.
873 * init.c (build_new): Don't do auto deduction where it might
874 affect template mangling.
876 2012-03-07 Jason Merrill <jason@redhat.com>
879 * mangle.c (write_literal_operator_name): The length comes after the
882 2012-02-29 Jason Merrill <jason@redhat.com>
885 * decl.c (check_tag_decl): Move warning for misplaced attributes here.
886 (shadow_tag): From here.
887 * parser.c (cp_parser_explicit_instantiation): Don't warn here.
889 2012-02-21 Jakub Jelinek <jakub@redhat.com>
892 * typeck.c (check_literal_operator_args): Initialize *long_double_p
893 and *long_long_unsigned_p even if processing_template_decl.
895 2012-02-16 Jason Merrill <jason@redhat.com>
898 * decl.c (define_label): Use timevar_cond_start/stop.
900 2012-02-16 Fabien ChĂȘne <fabien@gcc.gnu.org>
903 * decl.c (xref_basetypes): call dependent_scope_p instead of
906 2012-02-16 Jason Merrill <jason@redhat.com>
909 * error.c (dump_expr): Handle lambda closures specifically.
911 2012-02-14 Jason Merrill <jason@redhat.com>
913 * parser.c (cp_parser_explicit_instantiation): Give a warning
914 for ignored attributes on explicit class instantiation.
916 2012-02-14 Jakub Jelinek <jakub@redhat.com>
919 * pt.c (tsubst_copy_asm_operands): For LABEL_DECL values call
920 lookup_label on label's name and set TREE_USED.
922 2012-02-14 Jason Merrill <jason@redhat.com>
925 * decl.c (local_variable_p_walkfn): Don't check DECL_ARTIFICIAL.
927 2012-02-14 Jakub Jelinek <jakub@redhat.com>
930 * decl.c (duplicate_decls): If olddecl has bigger DECL_ALIGN than
931 newdecl, copy DECL_ALIGN to newdecl and or DECL_USER_ALIGN bits.
933 2012-02-07 Jason Merrill <jason@redhat.com>
936 * semantics.c (cx_check_missing_mem_inits): Handle unions.
937 Fix constexpr default constructor logic.
940 * pt.c (tsubst): Strip uninstantiated typedef.
942 2012-02-06 Jason Merrill <jason@redhat.com>
945 * cvt.c (build_expr_type_conversion): Check for template conversion.
947 2012-01-31 Jason Merrill <jason@redhat.com>
950 * cp-tree.h (PACK_EXPANSION_LOCAL_P): New.
951 * pt.c (make_pack_expansion, tsubst_initializer_list): Set it.
952 (tsubst_pack_expansion): Check it.
954 2012-01-29 Paolo Carlini <paolo.carlini@oracle.com>
957 * class.c (explain_non_literal_class): Correctly handle implicitly
958 deleted constructors.
960 2012-01-27 Jakub Jelinek <jakub@redhat.com>
963 * pt.c (tsubst_pack_expansion): Delete and restore
964 local_specialization whenever need_local_specialization, not just
965 when saved_local_specializations is non-NULL.
967 2012-01-26 Paolo Carlini <paolo.carlini@oracle.com>
970 * error.c (dump_decl, [TEMPLATE_ID_EXPR]): Handle error_mark_node
971 as TREE_OPERAND (t, 1).
973 2012-01-24 Jason Merrill <jason@redhat.com>
976 * decl.c (xref_basetypes): Check VEC_length instead of VEC_space.
979 * tree.c (called_fns_equal): Check template args.
980 (cp_tree_equal): Call it.
982 2012-01-24 Aldy Hernandez <aldyh@redhat.com>
983 Patrick Marlier <patrick.marlier@gmail.com>
986 * class.c (set_method_tm_attributes): Use TARGET_THUNK instead of
987 thunk for set_one_vmethod_tm_attributes.
989 2012-01-24 Paolo Carlini <paolo.carlini@oracle.com>
992 * call.c (build_over_call): Check for error_mark_node as
993 TREE_VALUE when default arguments are processed.
995 2012-01-23 Jason Merrill <jason@redhat.com>
998 * decl2.c (determine_visibility): Check for visibility attribute
999 on template specialization.
1001 2012-01-23 Paolo Carlini <paolo.carlini@oracle.com>
1004 * pt.c (parameter_of_template_p): Skip error_mark_node parameters.
1006 2012-01-23 Jason Merrill <jason@redhat.com>
1009 * class.c (add_method): Set OVL_USED for using-decls.
1010 * tree.c (ovl_scope): New.
1011 * cp-tree.h: Declare it.
1012 * parser.c (cp_parser_template_name): Use it.
1013 * semantics.c (baselink_for_fns): Likewise.
1014 * name-lookup.c (set_inherited_value_binding_p): Likewise.
1016 2012-01-20 Paolo Carlini <paolo.carlini@oracle.com>
1019 * pt.c (lookup_template_class_1): Check context returned by
1020 tsubst for error_mark_node.
1022 2012-01-19 Kai Tietz <ktietz@redhat.com>
1025 * decl2.c (save_template_attributes): Use merge_attributes
1026 instead of chaining up via TREE_CHAIN.
1028 2012-01-19 Jason Merrill <jason@redhat.com>
1031 * class.c (finish_struct): Call add_method here for function usings.
1032 * semantics.c (finish_member_declaration): Not here.
1034 2012-01-18 Paolo Carlini <paolo.carlini@oracle.com>
1037 * typeck2.c (store_init_value): Within a template guard
1038 cxx_constant_value with require_potential_constant_expression.
1039 * pt.c (convert_nontype_argument): Likewise.
1041 2012-01-16 Jakub Jelinek <jakub@redhat.com>
1044 * mangle.c (write_template_arg_literal): Handle complex.
1046 2012-01-16 Jason Merrill <jason@redhat.com>
1049 * mangle.c (mangle_decl): Don't mangle uninstantiated templates.
1052 * typeck.c (build_static_cast_1): Handle bit-fields properly.
1054 2012-01-13 Ian Lance Taylor <iant@google.com>
1057 * typeck.c (enum_cast_to_int): New static function.
1058 (cp_build_binary_op): When handling warn_sign_compare, don't test
1059 for TREE_NO_WARNING. Do call enum_cast_to_int.
1060 * call.c (avoid_sign_compare_warnings): Remove static function.
1061 (build_new_op_1): Don't call avoid_sign_compare_warnings.
1063 2012-01-13 Steven Bosscher <steven@gcc.gnu.org>
1065 * decl2.c: Do not include tree-mudflap.h
1066 * semantics.c: Likewise.
1068 2012-01-13 Jason Merrill <jason@redhat.com>
1071 * semantics.c (finish_break_stmt): Avoid adding an unreachable
1075 * decl2.c (constrain_visibility): Clear DECL_VISIBILITY_SPECIFIED
1076 when reducing the visibility.
1079 * class.c (build_vtbl_initializer): Use __cxa_deleted_virtual.
1081 2012-01-12 Jason Merrill <jason@redhat.com>
1084 * pt.c (value_dependent_expression_p): Treat STMT_EXPR as
1087 2012-01-13 Dodji Seketeli <dodji@redhat.com>
1090 * semantics.c (cp_parser_ctor_initializer_opt_and_function_body):
1091 Set the pointer to the last block of the constructor to the
1093 (build_constexpr_constructor_member_initializers): Get
1094 build_data_member_initialization a chance to deal with more
1095 statements before we choke.
1097 2012-01-12 Jason Merrill <jason@redhat.com>
1100 * mangle.c (write_expression): Mangle BASELINK scope if
1101 BASELINK_QUALIFIED_P.
1102 * search.c (adjust_result_of_qualified_name_lookup): Set
1103 BASELINK_QUALIFIED_P.
1104 * tree.c (cp_tree_equal) [BASELINK]: Compare BASELINK_QUALIFIED_P.
1105 * parser.c (cp_parser_postfix_dot_deref_expression): Don't call
1106 adjust_result_of_qualified_name_lookup for non-qualified names.
1109 * pt.c (unify): Handle error_mark_node.
1111 2012-01-11 Jason Merrill <jason@redhat.com>
1114 * call.c (standard_conversion): For ptrmemfuncs, compare the
1118 * mangle.c (find_substitution): A type is only a substitution
1119 match if we're looking for a type.
1120 (write_nested_name): Use decl_mangling_context.
1122 * decl.c (decls_match): Assert that the arguments are decls.
1125 * pt.c (resolve_overloaded_unification): Compare types with
1126 same_type_p, not decls_match.
1128 2012-01-10 Jason Merrill <jason@redhat.com>
1131 * class.c (build_base_path): Diagnose ambiguous base.
1134 * semantics.c (cxx_eval_call_expression): Always retry previously
1135 non-constant expressions.
1137 2012-01-06 Jason Merrill <jason@redhat.com>
1141 * parser.c (cp_parser_new_expression): Set
1142 type_definition_forbidden_message.
1148 * mangle.c (write_expression): Support NEW_EXPR, DELETE_EXPR,
1149 THROW_EXPR, CONSTRUCTOR, OVERLOAD. Fix PREINCREMENT_EXPR and
1151 (write_template_arg): Fix mangling of class-scope functions and
1153 (mangle_decl): Update suggested -fabi-version argument.
1154 * operators.def: Add DOTSTAR_EXPR, REINTERPRET_CAST_EXPR,
1155 DYNAMIC_CAST_EXPR; correct CONST_CAST_EXPR, STATIC_CAST_EXPR.
1156 * tree.c (dependent_name): No longer static.
1157 * cp-tree.h: Declare it.
1158 * pt.c (unify): Defer handling of unconverted functions.
1160 * mangle.c (mangle_decl): Don't generate mangling aliases
1161 for maybe-in-charge [cd]tors.
1163 * error.c (dump_expr): Print type of CONSTRUCTOR.
1165 2012-01-05 Dodji Seketeli <dodji@redhat.com>
1168 * parser.c (cp_parser_alias_declaration): Get out early upon
1169 errors in the identifier or the attributes.
1171 2012-01-04 Paolo Carlini <paolo.carlini@oracle.com>
1174 * pt.c (tsubst_copy_and_build): Maybe set TREE_NO_WARNING on
1175 the tree returned by build_x_binary_op.
1177 2012-01-03 Paolo Carlini <paolo.carlini@oracle.com>
1180 * parser.c (cp_parser_postfix_open_square_expression): Handle
1181 postfix-expression [ braced-init-list ].
1183 2012-01-03 Paolo Carlini <paolo.carlini@oracle.com>
1186 * rtti.c (build_dynamic_cast_1): In case of T a pointer type,
1187 call decay_conversion on v.
1189 2012-01-03 Paolo Carlini <paolo.carlini@oracle.com>
1192 * decl.c (duplicate_decls): With -Wredundant-decls don't warn for
1193 declaration followed by specialization.
1195 2012-01-03 Jakub Jelinek <jakub@redhat.com>
1198 * semantics.c (finish_omp_clauses): Call fold_build_cleanup_point_expr
1199 on OMP_CLAUSE_{IF,FINAL,NUM_THREADS,SCHEDULE_CHUNK}_EXPR.
1201 2012-01-02 Jason Merrill <jason@redhat.com>
1205 * method.c (walk_field_subobs): Don't check for uninitialized
1207 (synthesized_method_walk): Check here.
1211 * parser.c (cp_parser_cache_defarg): Split out...
1212 (cp_parser_parameter_declaration): ...from here.
1213 (cp_parser_save_nsdmi): Use it.
1214 (cp_parser_cache_group): Remove CPP_COMMA support.
1216 2012-01-02 Dodji Seketeli <dodji@redhat.com>
1219 * semantics.c (cx_check_missing_mem_inits): Don't assert in case
1222 2012-01-02 Paolo Carlini <paolo.carlini@oracle.com>
1225 * typeck2.c (digest_init_r): Use copy_init when initializing
1228 2012-01-01 Paolo Carlini <paolo.carlini@oracle.com>
1231 * decl.c (build_enumerator): Don't call perform_integral_promotions
1234 2012-01-01 Paolo Carlini <paolo.carlini@oracle.com>
1237 * typeck.c (build_reinterpret_cast_1): Implement resolution of
1240 2012-01-01 Fabien ChĂȘne <fabien@gcc.gnu.org>
1242 * parser.c (cp_parser_using_declaration): Add a warning about
1243 deprecated access declarations when no errors were encountered
1244 while parsing the access declaration. Save the first token in
1245 order to emit the warning at the right place.
1247 Copyright (C) 2012 Free Software Foundation, Inc.
1249 Copying and distribution of this file, with or without modification,
1250 are permitted in any medium without royalty provided the copyright
1251 notice and this notice are preserved.