[Bug fortran/32720] New: No coalesce ssa_names

[Bug fortran/32720] New: No coalesce ssa_names

[rosana07a at gmail dot com]

Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc-4.3.0/configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --disable-nls --disable-multilib --disable-werror
--disable-libunwind-exceptions --disable-checking --disable-decimal-float
--enable-shared --enable-tls --enable-threads=posix --enable-bootstrap
--enable-__cxa_atexit --enable-clocale=gnu --enable-languages=fortran
--with-cpu=pentium3 --with-system-zlib
Thread model: posix
gcc version 4.3.0 20070710 (experimental)
 /usr/libexec/gcc/i686-pc-linux-gnu/4.3.0/f951 lexlin.f90 -quiet -dumpbase
lexlin.f90 -mtune=pentium3 -auxbase lexlin -O2 -version
-fintrinsic-modules-path /usr/lib/gcc/i686-pc-linux-gnu/4.3.0/finclude -o
lexlin.s
GNU F95 version 4.3.0 20070710 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.3.0 20070710 (experimental), GMP version
4.2.1, MPFR version 2.2.1-p5.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072

Unable to coalesce ssa_names 1 and 86 which are marked as MUST COALESCE.
ichr_1(ab) and  ichr_86(ab)
lexlin.f90: In function 'lexlin':
lexlin.f90:1: internal compiler error: SSA corruption
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: No coalesce ssa_names
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rosana07a at gmail dot com
 GCC build triplet: i686
  GCC host triplet: i686
GCC target triplet: i686


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

[Bug fortran/32720] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #1 from rosana07a at gmail dot com  2007-07-10 16:07 -------
Created an attachment (id=13877)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13877&action=view)
failing *.f90


-- 


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

[Bug fortran/32720] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #2 from rosana07a at gmail dot com  2007-07-10 16:08 -------
Created an attachment (id=13878)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13878&action=view)
1st req *.mod


-- 


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

[Bug fortran/32720] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #3 from rosana07a at gmail dot com  2007-07-10 16:09 -------
Created an attachment (id=13879)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13879&action=view)
2nd req *.mod


-- 


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

[Bug fortran/32720] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #4 from rosana07a at gmail dot com  2007-07-10 16:10 -------
Created an attachment (id=13880)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13880&action=view)
3rd req *.mod


-- 


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

[Bug fortran/32720] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #5 from rosana07a at gmail dot com  2007-07-10 16:11 -------
Created an attachment (id=13881)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13881&action=view)
4th req *.mod


-- 


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

[Bug fortran/32720] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #6 from rosana07a at gmail dot com  2007-07-10 16:14 -------
Works with -O0

Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc-4.3.0/configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --disable-nls --disable-multilib --disable-werror
--disable-libunwind-exceptions --disable-checking --disable-decimal-float
--enable-shared --enable-tls --enable-threads=posix --enable-bootstrap
--enable-__cxa_atexit --enable-clocale=gnu --enable-languages=fortran
--with-cpu=pentium3 --with-system-zlib
Thread model: posix
gcc version 4.3.0 20070710 (experimental)
 /usr/libexec/gcc/i686-pc-linux-gnu/4.3.0/f951 lexlin.f90 -quiet -dumpbase
lexlin.f90 -mtune=pentium3 -auxbase lexlin -O0 -version
-fintrinsic-modules-path /usr/lib/gcc/i686-pc-linux-gnu/4.3.0/finclude -o
lexlin.s
GNU F95 version 4.3.0 20070710 (experimental) (i686-pc-linux-gnu)
        compiled by GNU C version 4.3.0 20070710 (experimental), GMP version
4.2.1, MPFR version 2.2.1-p5.
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
 /usr/lib/gcc/i686-pc-linux-gnu/4.3.0/../../../../i686-pc-linux-gnu/bin/as -V
-Qy -o lexlin.o lexlin.s
GNU assembler version 2.17.50.0.16 (i686-pc-linux-gnu) using BFD version
(Linux/GNU Binutils) 2.17.50.0.16.20070511


-- 


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

[Bug tree-optimization/32720] No coalesce ssa_names

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2007-07-10 17:03 -------
Even though this is a tree-opt bug, the Fortran front-end implementation  of
select of a string could be improved not to use indirect gotos.


-- 


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

[Bug tree-optimization/32720] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #8 from rosana07a at gmail dot com  2007-07-11 17:32 -------
Works with 4.2.1 ' making this a regression

Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../gcc-4.2.1/configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --host=i686-pc-linux-gnu --build=i686-pc-linux-gnu
--disable-nls --disable-checking --disable-werror --disable-multilib
--disable-libunwind-exceptions --disable-decimal-float --enable-shared
--enable-threads=posix --enable-bootstrap --enable-__cxa_atexit
--enable-libgcc-math --enable-languages=c,c++,fortran --with-cpu=pentium3
--with-system-zlib --enable-clocale=gnu
Thread model: posix
gcc version 4.2.1 20070704 (prerelease)
 /usr/libexec/gcc/i686-pc-linux-gnu/4.2.1/f951 lexlin.f90 -quiet -dumpbase
lexlin.f90 -mtune=pentium3 -auxbase lexlin -O2 -version -I
/usr/lib/gcc/i686-pc-linux-gnu/4.2.1/finclude -o lexlin.s
GNU F95 version 4.2.1 20070704 (prerelease) (i686-pc-linux-gnu)
        compiled by GNU C version 4.2.1 20070704 (prerelease).
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
 /usr/lib/gcc/i686-pc-linux-gnu/4.2.1/../../../../i686-pc-linux-gnu/bin/as -V
-Qy -o lexlin.o lexlin.s
GNU assembler version 2.17.50.0.16 (i686-pc-linux-gnu) using BFD version
(Linux/GNU Binutils) 2.17.50.0.16.20070511


-- 

rosana07a at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|                            |4.3.0
      Known to work|                            |4.2.1


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

[Bug tree-optimization/32720] [4.3 Regression] No coalesce ssa_names

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/32720] [4.3 Regression] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #9 from rosana07a at gmail dot com  2007-07-19 03:02 -------
Created an attachment (id=13937)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13937&action=view)
combined testcase; obsoletes all previous

with -"O2 -c" will fail using gcc-4.3 and compile using gcc4.2.x


-- 

rosana07a at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  Attachment #13877|0                           |1
        is obsolete|                            |
  Attachment #13878|0                           |1
        is obsolete|                            |
  Attachment #13879|0                           |1
        is obsolete|                            |
  Attachment #13880|0                           |1
        is obsolete|                            |
  Attachment #13881|0                           |1
        is obsolete|                            |


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

[Bug tree-optimization/32720] [4.3 Regression] No coalesce ssa_names

[bonzini at gnu dot org]

------- Comment #10 from bonzini at gnu dot org  2007-07-20 15:47 -------
Andrew, could you make a C testcase maybe?...


-- 

bonzini at gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bonzini at gnu dot org


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

[Bug tree-optimization/32720] [4.3 Regression] No coalesce ssa_names

[fxcoudert at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1555 bytes --]



------- Comment #11 from fxcoudert at gcc dot gnu dot org  2007-07-27 14:47 -------
Here is the shortest Fortran testcase I could come with:

$ cat a.f90
subroutine foo
  integer :: i
  do
    i = i + 1
    select case (' ')
    case default
      call bar (i + 1, i - 1)
    end select
  enddo
end subroutine foo
$ gfortran -O2 -c a.f90

Unable to coalesce ssa_names 1 and 3 which are marked as MUST COALESCE.
i_1(ab) and  i_3(ab)
a.f90: In function ‘foo’:
a.f90:1: internal compiler error: SSA corruption


I tried to make a C testcase from the original tree dump of this Fortran code,
but couldn't reproduce the ICE. It probably depends on the exact blocks
inserted.

Anyway, please note that starting with rev. 126978, the Fortran front-end emits
different code for this code (due to better translation of SELECT for character
variables, fixing PR32035), and thus the ICE is not triggered by the reporter's
code (nor is it triggered by my reduced testcase).


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fxcoudert at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-07-27 14:47:48
               date|                            |


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

[Bug tree-optimization/32720] [4.3 Regression] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #12 from rosana07a at gmail dot com  2007-07-27 19:56 -------
Thanks gfortran team!


-- 

rosana07a at gmail dot com changed:

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


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

[Bug tree-optimization/32720] [4.3 Regression] No coalesce ssa_names

[fxcoudert at gcc dot gnu dot org]

------- Comment #13 from fxcoudert at gcc dot gnu dot org  2007-07-27 20:51 -------
(In reply to comment #12)
> Thanks gfortran team!

Hum, thanks for the thanks! However, I feel it would be better to keep this
open because the code that the front-end previously generated was OK and
exposed a real bug in the middle-end, which might come and bite us again later.

So, I'm reopening this, unless a middle-end maintainer wants to shut it himself
as INVALID or WONTFIX.

Also, I'm raising this to priority P1, as is appropriate (if I understand
correctly) for a ice-on-valid-code regression.


-- 

fxcoudert at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
  GCC build triplet|i686                        |
   GCC host triplet|i686                        |
 GCC target triplet|i686                        |
           Priority|P3                          |P1
         Resolution|FIXED                       |


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

[Bug tree-optimization/32720] [4.3 Regression] No coalesce ssa_names

[pinskia at gcc dot gnu dot org]

------- Comment #14 from pinskia at gcc dot gnu dot org  2007-07-27 21:06 -------
This is the same bug as PR 32873 so I am going to close it as a dup.

*** This bug has been marked as a duplicate of 32873 ***


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
           Priority|P1                          |P3
         Resolution|                            |DUPLICATE


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

[Bug tree-optimization/32720] [4.3 Regression] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #15 from rosana07a at gmail dot com  2007-07-27 23:33 -------
My problem is solved; the rest is beyond me.


-- 


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

[Bug tree-optimization/32720] [4.3 Regression] No coalesce ssa_names

[rosana07a at gmail dot com]

------- Comment #16 from rosana07a at gmail dot com  2007-07-27 23:36 -------
My problem is solved; the rest is beyond me.


-- 


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