[Bug c++/68597] [6 Regression] ice in check_return_expr, at cp/typeck.c:8635

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68597

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Mon Dec  7 04:34:43 2015
New Revision: 231349

URL: https://gcc.gnu.org/viewcvs?rev=231349&root=gcc&view=rev
Log:
        PR c++/68597, fix auto9.C and auto-neg1.C with -std=c++1z.

        * decl.c (check_tag_decl): Use ds_type_spec in auto diagnostic.
        * typeck.c (check_return_expr): Check for inconsistent deduction.
        * parser.c (class type_id_in_expr_sentinel): New.
        (cp_parser_primary_expression) [RID_VA_ARG]: Use it.
        (cp_parser_new_expression): Use it.
        (cp_parser_trait_expr): Use it.
        (cp_parser_type_id_1): Complain about auto if in_type_id_in_expr_p.
        (cp_parser_default_type_template_argument): Check for auto.
        (cp_parser_type_id_list): Likewise.
        (cp_parser_simple_type_specifier): Allow auto parms if flag_concepts.
        * pt.c (do_auto_deduction): Handle erroneous type.

Added:
    trunk/gcc/testsuite/g++.dg/cpp1y/lambda-deduce-mult-neg.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/parser.c
    trunk/gcc/cp/pt.c
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/g++.dg/cpp0x/auto9.C
    trunk/gcc/testsuite/g++.dg/other/anon-union3.C