[Bug c/17810] New: internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[Bug c/17810] New: internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[pisa at cmp dot felk dot cvut dot cz]

The internal compiler bug on legal code similar to bug 15342.
This bug manifest itself on specific combination of two functions
accessing structure fields and containing more return paths.
If one of the functions is moved into separate file, error seems
to disappear.

arm-linux-gcc --pipe -B/opt/rtems/arm-rtems/csb336/lib/  \
-mcpu=arm920 -mstructure-size-boundary=8 -msoft-float \
-g -Wall  -O3 -g \
-o icetest1.o \
-c icetest1.c

icetest1.c: In function `sui_get_event':
icetest1.c:172: internal compiler error: in verify_local_live_at_start, at
flow.c:546
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


Experienced on next x86 to ARM GCC builds

GCC 3.4.1 and GCC 3.4.2
./configure --target=arm-rtems --prefix=/usr --with-cpu=arm9 \
  --enable-languages=c,c++ --with-gnu-ld --with-float=soft \
  --enable-threads=rtems --enable-target-optspace --verbose  \
  --disable-nls --host=i586-pc-linux-gnu --with-newlib
Thread model: rtems
gcc version 3.4.2

GCC 3.4.1
./configure --target=arm-linux --prefix=/usr --with-cpu=arm9 \
--enable-languages=c,c++ --with-gnu-ld --enable-shared --enable-symvers=gnu \
--with-float=soft --enable-threads=posix --enable-__cxa_atexit \
--enable-target-optspace --verbose --disable-nls --host=i586-pc-linux-gnu \
--with-headers=/usr/src/linux-2.6.8-rc1-arm/include
Thread model: posix
gcc version 3.4.1

Attached reprocessed sources length reduced form original 3150 lines
to 173 lines. More attempt to simplify code even more lead to compilation
without errors.

-- 
           Summary: internal compiler error: in verify_local_live_at_start
                    for arm-rtems, arm-linux
           Product: gcc
           Version: 3.4.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pisa at cmp dot felk dot cvut dot cz
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i586-pc-linux-gnu
  GCC host triplet: i586-pc-linux-gnu
GCC target triplet: arm-linux


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

[Bug c/17810] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[pisa at cmp dot felk dot cvut dot cz]

------- Additional Comments From pisa at cmp dot felk dot cvut dot cz  2004-10-03 13:59 -------
Created an attachment (id=7270)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7270&action=view)
partially simplified test case

arm-linux-gcc -mcpu=arm920 -msoft-float -g -Wall  -O3 -g -o icetest1.o -c
icetest1.c

or 

arm-rtems-gcc -mcpu=arm920 -msoft-float -g -Wall  -O3 -g -o icetest1.o -c
icetest1.c


-- 


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

[Bug rtl-optimization/17810] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |rtl-optimization


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

[Bug rtl-optimization/17810] [3.4 Regression] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[belyshev at lubercy dot com]

------- Additional Comments From belyshev at lubercy dot com  2004-12-06 23:53 -------
/* slightly reduced testcase, use '-mcpu=arm920 -O3' */

struct sui_event;

typedef struct sui_event
{
  unsigned short what;
  int abrakadabra [3];
} sui_event_t;

static sui_event_t sui_event_buf;
static sui_event_t sui_global_event_buf;

short draw_request;

int
sui_get_uid_event ()
{
  int rc;

  if (rc < 0)
      return rc;
  return 0;
}

int
sui_get_event (sui_event_t *event, int k)
{

  if (k != 0)
    {
      *event = sui_event_buf;
      sui_event_buf.what = 0;
      return 0;
    }
  
  if (sui_global_event_buf.what != 0)
    {
      *event = sui_global_event_buf;
      return 0;
    }

  memset (event, 0, sizeof (sui_event_t));
  
  if (sui_get_uid_event () > 0)
    return 1;

  if (draw_request)
    {
      draw_request = 0;
      return 1;
    }

  return 0;
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
  GCC build triplet|i586-pc-linux-gnu           |
   GCC host triplet|i586-pc-linux-gnu           |
      Known to fail|                            |3.4.2 3.4.4
      Known to work|                            |3.3.4
   Last reconfirmed|0000-00-00 00:00:00         |2004-12-06 23:53:41
               date|                            |
            Summary|internal compiler error: in |[3.4 Regression] internal
                   |verify_local_live_at_start  |compiler error: in
                   |for arm-rtems, arm-linux    |verify_local_live_at_start
                   |                            |for arm-rtems, arm-linux
   Target Milestone|---                         |3.4.4


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

[Bug rtl-optimization/17810] [3.4 Regression] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[joel at gcc dot gnu dot org]

------- Additional Comments From joel at gcc dot gnu dot org  2005-02-01 19:13 -------
Neither icetest1 nor the reduced test case fails with gcc 4.0.0 20050124 when
targeting arm-rtems4.7.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |joel at oarcorp dot com
      Known to work|3.3.4                       |3.3.4 4.0.0


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

[Bug rtl-optimization/17810] [3.4 Regression] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[buytenh at wantstofly dot org]

------- Additional Comments From buytenh at wantstofly dot org  2005-03-11 12:44 -------
Seeing the same bug with gcc 3.4.2 on armv4b when compiling x.org 6.8.1.
This does not happen with gcc 3.3.4.

slicer.cc: In function `void triangulateRect(Arc*, Backend&, int, int, int)':
slicer.cc:382: internal compiler error: in verify_local_live_at_start, at flow.c:546



-- 


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

[Bug rtl-optimization/17810] [3.4 Regression] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[mmitchel at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4.4                       |3.4.5


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

[Bug rtl-optimization/17810] [3.4 Regression] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[dank at kegel dot com]

------- Additional Comments From dank at kegel dot com  2005-05-20 18:05 -------
http://sources.redhat.com/ml/crossgcc/2005-05/msg00154.html
is a report of a similar problem with
gcc-3.4.3.  xfree86-4.5.0's fontutils.c causes an ICE when 
compiled with -O3 -fno-strict-aliasing.  Backing down to xfree86-4.4.0,
or using -O2, or not using -no-strict-aliasing, or using gcc-4.0.0,
makes the problem go away.  I'll attach a reduced testcase.
To reproduce, do
$ arm-unknown-linux-gnu-gcc -O3 -fno-strict-aliasing   -c fontutils.i
Error is
fontutils.i:44: internal compiler error: in verify_local_live_at_start, at
flow.c:546

Is this the same problem, or should I file a new report?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dank at kegel dot com,
                   |                            |nagaraja at ncoretech dot
                   |                            |com


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

[Bug rtl-optimization/17810] [3.4 Regression] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-01 13:09 -------
Subject: Bug 17810

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	rearnsha@gcc.gnu.org	2005-09-01 13:09:08

Modified files:
	gcc            : ChangeLog regrename.c 

Log message:
	PR rtl-optimization/17810
	Backport
	2004-11-04  Richard Sandiford  <rsandifo@redhat.com>
	PR target/15342
	* regrename.c (scan_rtx): Treat the destinations of SETs and CLOBBERs
	as OP_INOUT if the instruction is predicated.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=2.2326.2.910&r2=2.2326.2.911
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/regrename.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.73.2.1&r2=1.73.2.2



-- 


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

[Bug rtl-optimization/17810] [3.4 Regression] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[rearnsha at gcc dot gnu dot org]

------- Additional Comments From rearnsha at gcc dot gnu dot org  2005-09-01 13:13 -------
Really a dup of 15342.  Fixed for 3.4.5

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

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
      Known to work|3.2.3 3.3.4 4.0.0           |3.2.3 3.3.4 4.0.0 3.4.5
         Resolution|                            |DUPLICATE


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

[Bug rtl-optimization/17810] [3.4 Regression] internal compiler error: in verify_local_live_at_start for arm-rtems, arm-linux

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-01 14:54 -------
Subject: Bug 17810

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-3_4-branch
Changes by:	rearnsha@gcc.gnu.org	2005-09-01 14:54:24

Modified files:
	gcc            : ChangeLog regrename.c 

Log message:
	PR rtl-optimization/17810 target/15342
	* regrename.c: Fix polluted patch in previous change.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=2.2326.2.911&r2=2.2326.2.912
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/regrename.c.diff?cvsroot=gcc&only_with_tag=gcc-3_4-branch&r1=1.73.2.2&r2=1.73.2.3



-- 


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