[Bug c++/63455] New: decltype of statement expression internal compiler error: in cp_parser_abort_tentative_parse, at cp/parser.c:25062

[Bug c++/63455] New: decltype of statement expression internal compiler error: in cp_parser_abort_tentative_parse, at cp/parser.c:25062

[b.r.longbons at gmail dot com]

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

            Bug ID: 63455
           Summary: decltype of statement expression  internal compiler
                    error: in cp_parser_abort_tentative_parse, at
                    cp/parser.c:25062
           Product: gcc
           Version: 4.9.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: b.r.longbons at gmail dot com

good: Debian 4.6.4-7
bad: Debian 4.7.4-3
bad: Debian 4.8.3-11
bad: Debian 4.9.1-15


int main()
{
    int x = 0;

    // without '+0', gcc 4.6 gives a different error (no ICE though)
    decltype(({ int y = x; y; })+0) v1 = 0;
}

[Bug c++/63455] [4.8/4.9/5 Regression] decltype of statement expression internal compiler error: in cp_parser_abort_tentative_parse, at cp/parser.c:25062

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2014-10-04
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |4.8.4
            Summary|decltype of statement       |[4.8/4.9/5 Regression]
                   |expression  internal        |decltype of statement
                   |compiler error: in          |expression  internal
                   |cp_parser_abort_tentative_p |compiler error: in
                   |arse, at cp/parser.c:25062  |cp_parser_abort_tentative_p
                   |                            |arse, at cp/parser.c:25062
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

[Bug c++/63455] [4.8/4.9/5 Regression] decltype of statement expression internal compiler error: in cp_parser_abort_tentative_parse, at cp/parser.c:25062

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |jason at gcc dot gnu.org

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This started with r171054 .

[Bug c++/63455] [4.8/4.9/5 Regression] decltype of statement expression internal compiler error: in cp_parser_abort_tentative_parse, at cp/parser.c:25062

[jason at gcc dot gnu.org]

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

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Oct 15 14:12:24 2014
New Revision: 216260

URL: https://gcc.gnu.org/viewcvs?rev=216260&root=gcc&view=rev
Log:
    PR c++/63455
c-family/
    * c-common.h (CPP_PREPARSED_EXPR): New.
    (N_CP_TTYPES): Adjust.
cp/
    * parser.c (struct saved_token_sentinel): New.
    (cp_parser_statement): Use it.
    (cp_parser_start_tentative_firewall): New.
    (cp_parser_end_tentative_firewall): New.
    (cp_parser_lambda_expression): Use them.
    (cp_parser_statement_expr): New.
    (cp_parser_primary_expression): Use it.

Added:
    trunk/gcc/testsuite/g++.dg/ext/stmtexpr16.C
Modified:
    trunk/gcc/c-family/ChangeLog
    trunk/gcc/c-family/c-common.h
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/parser.c
    trunk/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-sfinae1.C

[Bug c++/63455] [4.8/4.9/5 Regression] decltype of statement expression internal compiler error: in cp_parser_abort_tentative_parse, at cp/parser.c:25062

[jason at gcc dot gnu.org]

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

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Oct 15 14:18:54 2014
New Revision: 216261

URL: https://gcc.gnu.org/viewcvs?rev=216261&root=gcc&view=rev
Log:
    PR c++/63455
    Revert:
    * parser.c (cp_parser_abort_tentative_parse): Make sure we haven't
    committed to this tentative parse.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/g++.dg/ext/stmtexpr16.C
Modified:
    branches/gcc-4_9-branch/gcc/cp/ChangeLog
    branches/gcc-4_9-branch/gcc/cp/parser.c

[Bug c++/63455] [4.8/4.9/5 Regression] decltype of statement expression internal compiler error: in cp_parser_abort_tentative_parse, at cp/parser.c:25062

[jason at gcc dot gnu.org]

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

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Oct 15 16:46:35 2014
New Revision: 216277

URL: https://gcc.gnu.org/viewcvs?rev=216277&root=gcc&view=rev
Log:
    PR c++/63455
    Revert:
    * parser.c (cp_parser_abort_tentative_parse): Make sure we haven't
    committed to this tentative parse.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/ext/stmtexpr16.C
Modified:
    branches/gcc-4_8-branch/gcc/cp/ChangeLog
    branches/gcc-4_8-branch/gcc/cp/parser.c

[Bug c++/63455] [4.8/4.9/5 Regression] decltype of statement expression internal compiler error: in cp_parser_abort_tentative_parse, at cp/parser.c:25062

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org

--- Comment #6 from Jason Merrill <jason at gcc dot gnu.org> ---
Fixed properly for GCC 5, just removed the assert for 4.8/4.9.