[Bug tree-optimization/23048] New: Segfault with -O1 -ftree-vectorize on 4.1.x

[Bug tree-optimization/23048] New: Segfault with -O1 -ftree-vectorize on 4.1.x

[drab at kepler dot fjfi dot cvut dot cz]

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

The example (attached below), when compiled by following gcc

-------------------
$ gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../../../gcc-CVS-20050723/gcc-CVS-20050723/configure
--host=i686-pc-linux-gnu --prefix=/usr/local/opt/gcc-4.1
--exec-prefix=/usr/local/opt/gcc-4.1 --sysconfdir=/etc
--libdir=/usr/local/opt/gcc-4.1/lib --libexecdir=/usr/local/opt/gcc-4.1/libexec
--sharedstatedir=/var --localstatedir=/var --program-suffix=-4.1
--with-x-includes=/usr/X11R6/include --with-x-libraries=/usr/X11R6/lib
--enable-shared --enable-static --with-gnu-as --with-gnu-ld --with-stabs
--enable-threads=posix --enable-version-specific-runtime-libs --disable-coverage
--disable-libgcj --disable-checking --enable-multilib --with-x --enable-cmath
--enable-libstdcxx-debug --enable-fast-character --enable-hash-synchronization
--with-system-zlib --with-libbanshee --with-demangler-in-ld
--with-arch=athlon-xp --enable-libada --enable-languages=c,c++,f95,objc,ada
Thread model: posix
gcc version 4.1.0 20050723 (experimental)
---------------------

with

---------------------
gcc -O1 -ftree-vectorize -c -o envsubst-envsubst.o envsubst-envsubst.c
---------------------

results in this:

---------------------
envsubst.c: In function ‘find_variables’:
envsubst.c:234: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
---------------------

Tested on both i686-pc-linux-gnu and x86_64-pc-linux-gnu with the same result.

gcc version 4.0.1 20050630 (prerelease) seems to take it without problems.

-- 
           Summary: Segfault with -O1 -ftree-vectorize on 4.1.x
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: critical
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: drab at kepler dot fjfi dot cvut dot cz
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug tree-optimization/23048] Segfault with -O1 -ftree-vectorize on 4.1.x

[drab at kepler dot fjfi dot cvut dot cz]

------- Additional Comments From drab at kepler dot fjfi dot cvut dot cz  2005-07-24 14:10 -------
Created an attachment (id=9342)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9342&action=view)
Triggers the bug


-- 


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

[Bug tree-optimization/23048] Segfault with -O1 -ftree-vectorize on 4.1.x

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |normal
 GCC target triplet|                            |i?86-*-*, x86_64-*-*
           Keywords|                            |ice-on-valid-code


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

[Bug tree-optimization/23048] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-24 14:13 -------
Reducing.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
            Summary|Segfault with -O1 -ftree-   |ICE in get_loop_body with -
                   |vectorize on 4.1.x          |O1 -ftree-vectorize on 4.1.x


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-24 14:35 -------
Confirmed, reduced testcase:
void find_variables (const char *string)
{
  char c;
  do c = *++string;
  while ((c >= 'A' && c <= 'Z') || (c >= 'a' && c <= 'z') || c == '_');
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
      Known to fail|                            |4.1.0
      Known to work|                            |4.0.0
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-24 14:35:23
               date|                            |
            Summary|ICE in get_loop_body with - |[4.1 Regression] ICE in
                   |O1 -ftree-vectorize on 4.1.x|get_loop_body with -O1 -
                   |                            |ftree-vectorize on 4.1.x
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[belyshev at depni dot sinp dot msu dot ru]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  2005-07-24 15:06 -------
Introduced between "2005-04-09 00:20 UTC" and "2005-04-10 00:20 UTC"

-- 


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-24 15:09 -------
Looks like it was caused by:
+2005-04-08  Diego Novillo  <dnovillo@redhat.com>
+
+       Merge from tree-cleanup-branch: VRP, store CCP, store
+           copy-prop, incremental SSA updating of FUD chains and
+           newly exposed symbols.
+

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-31 02:24 -------
If I turn off copy prop, this passes.

-- 


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-31 03:49 -------
Testcase from PR 22122:
void f(unsigned char *mem)
{
   int i;

   for(i=0;i<4;i++) {
     while(mem[i]==0) ;
   }
}

-- 


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-31 03:48 -------
*** Bug 22122 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marcus at jet dot franken
                   |                            |dot de


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[dorit at il dot ibm dot com]

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


------- Additional Comments From dorit at il dot ibm dot com  2005-08-07 14:37 -------
Looks like this happens during tree-if-conversion:

#0  internal_error (gmsgid=0x53b138 "in %s, at %s:%d") 
at ../../gcc/gcc/diagnostic.c:535
#1  0x0027a4fc in get_loop_body (loop=0x42105990) at ../../gcc/gcc/cfgloop.c:819
#2  0x0027a4fc in get_loop_body (loop=0x42105990) at ../../gcc/gcc/cfgloop.c:819
#3  0x0044a0d0 in clean_predicate_lists (loop=0x42105990) at ../../gcc/gcc/tree-
if-conv.c:643
#4  0x00448ce4 in tree_if_conversion (loop=0x6b485c, for_vectorizer=220 'Ü') 
at ../../gcc/gcc/tree-if-conv.c:204
#5  0x0044b72c in main_tree_if_conversion () at ../../gcc/gcc/tree-if-
conv.c:1105


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dpatel at apple dot com


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[dpatel at apple dot com]

------- Additional Comments From dpatel at apple dot com  2005-08-09 18:58 -------
Yup. 

This happens when tree-if-conversion pass is given cfg with one loop structure to represent nested loop. 
May be this is happenning because inner loop is infinite loop ? Anyway, please assign this bug to me.

-- 


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-10 00:37 -------
(In reply to comment #10)
> May be this is happenning because inner loop is infinite loop ?

The orginal testcase does not have an infinite loop (or at least as far I can see).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dpatel at apple dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[dpatel at apple dot com]

------- Additional Comments From dpatel at apple dot com  2005-08-11 19:38 -------
Patch:
http://gcc.gnu.org/ml/gcc-patches/2005-08/msg00612.html

-- 


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[drab at kepler dot fjfi dot cvut dot cz]

------- Additional Comments From drab at kepler dot fjfi dot cvut dot cz  2005-08-13 08:09 -------
(In reply to comment #12)
> Patch:
> http://gcc.gnu.org/ml/gcc-patches/2005-08/msg00612.html

Works for me. Tested on both i686-pc-linux-gnu and x86_64-pc-linux-gnu.

-- 


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-19 17:54 -------
Subject: Bug 23048

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dpatel@gcc.gnu.org	2005-08-19 17:54:16

Modified files:
	gcc            : ChangeLog tree-if-conv.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/gcc.dg/tree-ssa: pr23048.c 

Log message:
	PR tree-optimization/23048
	* tree-if-conv.c (if_convertible_bb_p): Supply basic_block as
	third parameter. Check whether latch is dominated by exit
	block or not.
	(if_convertible_loop_p): Supply exit block itself to
	if_convertible_bb_p.
	
	* gcc.dg/tree-ssa/pr23048.c: New test.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9781&r2=2.9782
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-if-conv.c.diff?cvsroot=gcc&r1=2.45&r2=2.46
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.5937&r2=1.5938
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/gcc.dg/tree-ssa/pr23048.c.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug tree-optimization/23048] [4.1 Regression] ICE in get_loop_body with -O1 -ftree-vectorize on 4.1.x

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-19 18:32 -------
Fixed.

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


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