[Bug tree-optimization/50723] New: [4.7 regression] internal compiler error: verify_ssa failed

[Bug tree-optimization/50723] New: [4.7 regression] internal compiler error: verify_ssa failed

[jojelino at gmail dot com]

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

             Bug #: 50723
           Summary: [4.7 regression] internal compiler error: verify_ssa
                    failed
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jojelino@gmail.com
              Host: i686-pc-cygwin
            Target: i686-pc-cygwin
             Build: i686-pc-cygwin


Created attachment 25492
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25492
preprocessed source

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/i686-pc-cygwin/4.7.0/lto-wrapper.exe
Target: i686-pc-cygwin
Configured with: ./configure --config-cache --prefix=/usr
--disable-win32-registry --enable-threads=win32
--enable-languages=c,c++,fortran,lto --with-win32-nlsapi=unicode --enable-tls
--disable-bootstrap --enable-shared --disable-sjlj-exceptions --enable-gomp
--enable-cloog-backend=isl : (reconfigured)  : (reconfigured) ./configure
--config-cache --prefix=/usr --disable-win32-registry --enable-threads=win32
--with-win32-nlsapi=unicode --enable-tls --disable-bootstrap --enable-shared
--disable-sjlj-exceptions --enable-gomp --enable-cloog-backend=isl
--enable-languages=c,c++,fortran,lto --no-create --no-recursion
Thread model: win32
gcc version 4.7.0 20111011 (experimental) (GCC)
COLLECT_GCC_OPTIONS='-D' '__MINGW32__' '-D' '__MSVCRT__' '-D' 'WIN32' '-D'
'_WIN32' '-D' '__WIN32' '-D' '__WIN32__' '-U' '__CYGWIN__' '-U' 'unix' '-U'
'__unix__' '-U' '__unix' '-U' '__CYGWIN32__' '-B'
'/usr/i686-pc-mingw32/sys-root/mingw/lib/' '-c' '-O4' '-mstackrealign'
'-march=core2' '-g' '-mfpmath=sse' '-Wall' '-fomit-frame-pointer' '-I'
'../../../.././winsup/mingw/mingwex' '-I' '../../../.././winsup/mingw' '-I'
'../../../.././winsup/mingw/include' '-nostdinc' '-iwithprefixbefore' 'include'
'-I' '../../../.././winsup/mingw/../w32api/include' '-v' '-save-temps' '-o'
'wcrtomb.o'
 /usr/libexec/gcc/i686-pc-cygwin/4.7.0/cc1.exe -E -quiet -nostdinc -v -I
../../../.././winsup/mingw/mingwex -I ../../../.././winsup/mingw -I
../../../.././winsup/mingw/include -I
../../../.././winsup/mingw/../w32api/include -D__CYGWIN32__ -D__CYGWIN__ -Dunix
-D__unix__ -D__unix -D __MINGW32__ -D __MSVCRT__ -D WIN32 -D _WIN32 -D __WIN32
-D __WIN32__ -U __CYGWIN__ -U unix -U __unix__ -U __unix -U __CYGWIN32__
-iwithprefixbefore include ../../../.././winsup/mingw/mingwex/wcrtomb.c
-mstackrealign -march=core2 -mfpmath=sse -Wall -fomit-frame-pointer -g
-fworking-directory -O4 -fpch-preprocess -o wcrtomb.i
#include "..." search starts here:
#include <...> search starts here:
 ../../../.././winsup/mingw/mingwex
 ../../../.././winsup/mingw
 ../../../.././winsup/mingw/include
 ../../../.././winsup/mingw/../w32api/include
 /usr/lib/gcc/i686-pc-cygwin/4.7.0/include
End of search list.
COLLECT_GCC_OPTIONS='-D' '__MINGW32__' '-D' '__MSVCRT__' '-D' 'WIN32' '-D'
'_WIN32' '-D' '__WIN32' '-D' '__WIN32__' '-U' '__CYGWIN__' '-U' 'unix' '-U'
'__unix__' '-U' '__unix' '-U' '__CYGWIN32__' '-B'
'/usr/i686-pc-mingw32/sys-root/mingw/lib/' '-c' '-O4' '-mstackrealign'
'-march=core2' '-g' '-mfpmath=sse' '-Wall' '-fomit-frame-pointer' '-I'
'../../../.././winsup/mingw/mingwex' '-I' '../../../.././winsup/mingw' '-I'
'../../../.././winsup/mingw/include' '-nostdinc' '-iwithprefixbefore' 'include'
'-I' '../../../.././winsup/mingw/../w32api/include' '-v' '-save-temps' '-o'
'wcrtomb.o'
 /usr/libexec/gcc/i686-pc-cygwin/4.7.0/cc1.exe -fpreprocessed wcrtomb.i -quiet
-dumpbase wcrtomb.c -mstackrealign -march=core2 -mfpmath=sse -auxbase-strip
wcrtomb.o -g -O4 -Wall -version -fomit-frame-pointer -o wcrtomb.s
GNU C (GCC) version 4.7.0 20111011 (experimental) (i686-pc-cygwin)
        compiled by GNU C version 4.7.0 20111006 (experimental), GMP version
5.0.0, MPFR version 3.0.1-p4, MPC version 0.8.1
warning: MPFR header version 3.0.1-p4 differs from library version 3.2.0-dev.
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C (GCC) version 4.7.0 20111011 (experimental) (i686-pc-cygwin)
        compiled by GNU C version 4.7.0 20111006 (experimental), GMP version
5.0.0, MPFR version 3.0.1-p4, MPC version 0.8.1
warning: MPFR header version 3.0.1-p4 differs from library version 3.2.0-dev.
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: ff55cda5b7745a2de214166d277da77c
../../../.././winsup/mingw/mingwex/wcrtomb.c: In function '__wcrtomb_cp':
../../../.././winsup/mingw/mingwex/wcrtomb.c:94:1: error: definition in block 4
follows the use
for SSA_NAME: D.18798_14 in statement:
# .MEM_19 = VDEF <.MEM_18(D)>
size_16 = __wcrtomb_cp.part.0 (dst_8(D), D.18798_14, cp_2(D), mb_max_10(D));
../../../.././winsup/mingw/mingwex/wcrtomb.c:94:1: internal compiler error:
verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug tree-optimization/50723] [4.7 regression] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-10-14
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-14 09:17:29 UTC ---
Confirmed, reducing.

[Bug tree-optimization/50723] [4.7 regression] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

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

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-14 09:27:22 UTC ---
Reduced testcase:

typedef short unsigned int wchar_t;
typedef unsigned int size_t;
int* _errno(void);
int WideCharToMultiByte (wchar_t *);
int __attribute__ ((__nonnull__ (1)))  
__wcrtomb_cp (char *dst, wchar_t wc, const unsigned int cp, 
              const unsigned int mb_max)
{
  if (cp == 0)     {
      if (wc > 255) 
        (*_errno()) = 42;
      return 1;
  }
  else 
    return WideCharToMultiByte (&wc);
}
void wcsrtombs (char *dst, const wchar_t *pwc, unsigned int cp,
                unsigned int mb_max)
{
  if ((__wcrtomb_cp (dst, *pwc, cp, mb_max)) <= 0)
    return;
  if ((__wcrtomb_cp (dst, *pwc, cp, mb_max)) <= 0)
    return;
}

[Bug tree-optimization/50723] [4.6/4.7 regression] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.0                       |4.6.2
            Summary|[4.7 regression] internal   |[4.6/4.7 regression]
                   |compiler error: verify_ssa  |internal compiler error:
                   |failed                      |verify_ssa failed

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-14 09:43:20 UTC ---
Also fails on the 4.6 branch.

[Bug tree-optimization/50723] [4.6/4.7 regression] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-14 11:03:11 UTC ---
Author: rguenth
Date: Fri Oct 14 11:03:06 2011
New Revision: 179967

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179967
Log:
2011-10-14  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/50723
    * ipa-split.c (split_function): Use GSI_CONTINUE_LINKING.

    * gcc.dg/torture/pr50723.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr50723.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-split.c
    trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/50723] [4.6/4.7 regression] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu.org]

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

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-14 12:17:49 UTC ---
Author: rguenth
Date: Fri Oct 14 12:17:41 2011
New Revision: 179974

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=179974
Log:
2011-10-14  Richard Guenther  <rguenther@suse.de>

    Backport from mainline
    2011-10-14  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/50723
    * ipa-split.c (split_function): Use GSI_CONTINUE_LINKING.

    * gcc.dg/torture/pr50723.c: New testcase.

    2011-10-13  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/50712
    * ipa-split.c (split_function): Always re-gimplify parameters
    when they are not gimple vals before passing them.  Properly
    check for type compatibility.

    * gcc.target/i386/pr50712.c: New testcase.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/gcc.dg/torture/pr50723.c
    branches/gcc-4_6-branch/gcc/testsuite/gcc.target/i386/pr50712.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/ipa-split.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug tree-optimization/50723] [4.6/4.7 regression] internal compiler error: verify_ssa failed

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

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

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-14 12:18:18 UTC ---
Fixed.

[Bug tree-optimization/50723] [4.6/4.7 regression] internal compiler error: verify_ssa failed

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |d.g.gorbachev at gmail dot
                   |                            |com

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-01 09:39:57 UTC ---
*** Bug 50452 has been marked as a duplicate of this bug. ***