[Bug c++/30847] New: [4.1/4.2/4.3 regression] ICE with invalid statement expression

[Bug c++/30847] New: [4.1/4.2/4.3 regression] ICE with invalid statement expression

[reichelt at gcc dot gnu dot org]

The follwoing code snippet triggers an ICE since GCC 4.0.0:

=====================================
void foo(int i)
{
  (i ? 1 : 2) = ({ int X; });
}
=====================================

bug.cc: In function 'void foo(int)':
bug.cc:3: internal compiler error: in build_target_expr_with_type, at
cp/tree.c:382
Please submit a full bug report, [etc.]

The problem is similar to PR 30158, but alas not fixed with Andrew's patch.
It's even worse because it's not an error-recovery bug.


-- 
           Summary: [4.1/4.2/4.3 regression] ICE with invalid statement
                    expression
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code, monitored
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: reichelt at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30847

[Bug c++/30847] [4.1/4.2/4.3 regression] ICE with invalid statement expression

[reichelt at gcc dot gnu dot org]

-- 

reichelt at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.3


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30847

[Bug c++/30847] [4.1/4.2/4.3 regression] ICE with invalid statement expression

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30847

[Bug c++/30847] [4.1/4.2/4.3 regression] ICE with invalid statement expression

[bangerth at dealii dot org]

------- Comment #1 from bangerth at dealii dot org  2007-03-09 04:16 -------
Confirmed.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-03-09 04:16:46
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30847

[Bug c++/30847] [4.1/4.2/4.3 regression] ICE with invalid statement expression

[jakub at gcc dot gnu dot org]

-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jakub at gcc dot gnu dot org
                   |dot org                     |
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2007-
                   |                            |03/msg01264.html
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-03-09 04:16:46         |2007-03-20 09:12:23
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30847

[Bug c++/30847] [4.1/4.2/4.3 regression] ICE with invalid statement expression

[jakub at gcc dot gnu dot org]

------- Comment #2 from jakub at gcc dot gnu dot org  2007-04-03 10:08 -------
Subject: Bug 30847

Author: jakub
Date: Tue Apr  3 10:08:00 2007
New Revision: 123456

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123456
Log:
        PR c++/30847
        * typeck.c (build_modify_expr): For COND_EXPR on LHS, if RHS has void
        type issue error and return early.

        * g++.dg/parse/cond3.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/parse/cond3.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/typeck.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30847

[Bug c++/30847] [4.1/4.2/4.3 regression] ICE with invalid statement expression

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2007-04-03 10:25 -------
Subject: Bug 30847

Author: jakub
Date: Tue Apr  3 10:25:31 2007
New Revision: 123461

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123461
Log:
        PR c++/30847
        * typeck.c (build_modify_expr): For COND_EXPR on LHS, if RHS has void
        type issue error and return early.

        * g++.dg/parse/cond3.C: New test.

Added:
    branches/gcc-4_2-branch/gcc/testsuite/g++.dg/parse/cond3.C
Modified:
    branches/gcc-4_2-branch/gcc/cp/ChangeLog
    branches/gcc-4_2-branch/gcc/cp/typeck.c
    branches/gcc-4_2-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30847

[Bug c++/30847] [4.1/4.2/4.3 regression] ICE with invalid statement expression

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2007-04-03 10:28 -------
Subject: Bug 30847

Author: jakub
Date: Tue Apr  3 10:28:35 2007
New Revision: 123462

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123462
Log:
        PR c++/30847
        * typeck.c (build_modify_expr): For COND_EXPR on LHS, if RHS has void
        type issue error and return early.

        * g++.dg/parse/cond3.C: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/parse/cond3.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/cp/typeck.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30847

[Bug c++/30847] [4.1/4.2/4.3 regression] ICE with invalid statement expression

[jakub at gcc dot gnu dot org]

------- Comment #5 from jakub at gcc dot gnu dot org  2007-04-03 12:34 -------
Fixed.


-- 

jakub at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30847