[Bug c/53495] New: segmentation fault

[Bug c/53495] New: segmentation fault

[regehr at cs dot utah.edu]

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

             Bug #: 53495
           Summary: segmentation fault
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: regehr@cs.utah.edu
                CC: chenyang@cs.utah.edu


[regehr@dyson r59]$ current-gcc -O1 small.c -c
small.c: In function 'fn4':
small.c:14:1: internal compiler error: Segmentation fault
 }
 ^
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


[regehr@dyson r59]$ current-gcc -v
Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r187906-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r187906-install
--program-prefix=r187906- --enable-languages=c,c++
Thread model: posix
gcc version 4.8.0 20120526 (experimental) (GCC) 


[regehr@dyson r59]$ cat small.c 
int a, b, c, d, e, g;
static char
fn1 (char p1, int p2)
{
    return p1 || p2 < 0 || p2 >= 1 || 1 >> p2 ? p1 : 0;
}
static long long fn2 (int *, int);
static int fn3 ();
void
fn4 ()
{
    fn3 ();
    fn2 (&a, d);
}
long long
fn2 (int *p1, int p2)
{
    int f = -1L;
    for (; c <= 1; c++)
    {
        *p1 = 0;
        *p1 = fn1 (c, p2 ^ f);
    }
    a = 0;
    e = p2;
    return 0;
}
int
fn3 ()
{
    b = 3;
    for (; b; b--)
        c++;
    g = 0 >= c;
    return 0;
}

[Bug rtl-optimization/53495] [4.8 Regression] segmentation fault

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-05-26
          Component|c                           |rtl-optimization
                 CC|                            |bernds at gcc dot gnu.org
     Ever Confirmed|0                           |1
            Summary|segmentation fault          |[4.8 Regression]
                   |                            |segmentation fault
   Target Milestone|---                         |4.8.0

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2012-05-26 14:27:03 UTC ---
It is caused by revision 186378:

http://gcc.gnu.org/ml/gcc-cvs/2012-04/msg00329.html

[Bug rtl-optimization/53495] [4.8 Regression] segmentation fault

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-08-13 10:36:32 UTC ---
Created attachment 28003
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28003
gcc48-pr53495.patch

The problem is that find_moveable_pseudos creates some extra pseudos/def_insns,
but then trivially_dead_insns is called by ira and deletes them (because they
were feeding trivially dead insns only).  Then move_unallocated_pseudos is
called and expects to be able to tweak all the insns find_moveable_pseudos
created.  The attached untested patch fixes that.

[Bug rtl-optimization/53495] [4.8 Regression] segmentation fault

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-08-13 10:55:39 UTC ---
*** Bug 53411 has been marked as a duplicate of this bug. ***

[Bug rtl-optimization/53495] [4.8 Regression] segmentation fault

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-08-14 07:43:15 UTC ---
Author: jakub
Date: Tue Aug 14 07:43:09 2012
New Revision: 190376

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=190376
Log:
    PR middle-end/53411
    PR rtl-optimization/53495
    * ira.c (ira): Move delete_trivially_dead_insns call before
    find_moveable_pseudos call.

    * gcc.c-torture/compile/pr53411.c: New test.
    * gcc.c-torture/compile/pr53495.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr53411.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr53495.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ira.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/53495] [4.8 Regression] segmentation fault

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-08-14 07:50:35 UTC ---
Fixed.