[Bug fortran/50129] New: ICE on where statement

[Bug fortran/50129] New: ICE on where statement

[Joost.VandeVondele at pci dot uzh.ch]

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

             Bug #: 50129
           Summary: ICE on where statement
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: Joost.VandeVondele@pci.uzh.ch


The following (invalid) testcase triggers and ICE:

INTEGER :: I(3)
WHERE (I>2)
ELSEWHERE
ELSEWHERE (I<1)
END WHERE
END

Error: ELSEWHERE statement at (1) follows previous unmasked ELSEWHERE
f951: internal compiler error: in gfc_enforce_clean_symbol_state, at
fortran/symbol.c:3426

[Bug fortran/50129] [4.6/4.7 Regression] ICE on where statement

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-08-19
            Summary|ICE on where statement      |[4.6/4.7 Regression] ICE on
                   |                            |where statement
     Ever Confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2011-08-19 18:16:58 UTC ---
I don't get the ICE for gcc 4.4.6, 4.5.3, and 4.6.0 up to revision 162456. I
get the ICE on 4.6.0 at revision 163718 and above, and on trunk.

[Bug fortran/50129] [4.6/4.7 Regression] ICE on where statement

[mikael at gcc dot gnu.org]

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

Mikael Morin <mikael at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |mikael at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Mikael Morin <mikael at gcc dot gnu.org> 2011-08-19 18:26:34 UTC ---
I'm going to test this:

diff --git a/parse.c b/parse.c
index aab711c..9b11086 100644
--- a/parse.c
+++ b/parse.c
@@ -2778,6 +2778,7 @@ parse_where_block (void)
         {
           gfc_error ("ELSEWHERE statement at %C follows previous "
              "unmasked ELSEWHERE");
+          reject_statement ();
           break;
         }

[Bug fortran/50129] [4.6/4.7 Regression] ICE on where statement

[mikael at gcc dot gnu.org]

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

--- Comment #3 from Mikael Morin <mikael at gcc dot gnu.org> 2011-08-19 23:20:35 UTC ---
Author: mikael
Date: Fri Aug 19 23:20:30 2011
New Revision: 177918

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177918
Log:
2011-08-19  Mikael Morin  <mikael.morin@sfr.fr>

    PR fortran/50129
    * parse.c (parse_where): Undo changes after emitting an error. 

2011-08-19  Mikael Morin  <mikael.morin@sfr.fr>

    PR fortran/50129
    * gfortran.dg/where_3.f90: New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/where_3.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/parse.c
    trunk/gcc/testsuite/ChangeLog

[Bug fortran/50129] [4.6/4.7 Regression] ICE on where statement

[mikael at gcc dot gnu.org]

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

Mikael Morin <mikael at gcc dot gnu.org> changed:

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

--- Comment #5 from Mikael Morin <mikael at gcc dot gnu.org> 2011-08-20 14:48:39 UTC ---
Fixed on trunk (4.7.0) and 4.6 branch (4.6.2).

[Bug fortran/50129] [4.6/4.7 Regression] ICE on where statement

[mikael at gcc dot gnu.org]

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

--- Comment #4 from Mikael Morin <mikael at gcc dot gnu.org> 2011-08-20 14:22:26 UTC ---
Author: mikael
Date: Sat Aug 20 14:22:22 2011
New Revision: 177929

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177929
Log:
2011-08-20  Mikael Morin  <mikael.morin@sfr.fr>

    PR fortran/50129
    * parse.c (parse_where): Undo changes after emitting an error. 

2011-08-20  Mikael Morin  <mikael.morin@sfr.fr>

    PR fortran/50129
    * gfortran.dg/where_3.f90: New test.


Added:
    branches/gcc-4_6-branch/gcc/testsuite/gfortran.dg/where_3.f90
Modified:
    branches/gcc-4_6-branch/gcc/fortran/ChangeLog
    branches/gcc-4_6-branch/gcc/fortran/parse.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog