[Bug tree-optimization/59993] New: ICE: SSA corruption

[Bug tree-optimization/59993] New: ICE: SSA corruption

[rmansfield at qnx dot com]

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

            Bug ID: 59993
           Summary: ICE: SSA corruption
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rmansfield at qnx dot com
            Target: arm-unknown-linux-gnueabi

$ cat ~/ice.i
typedef struct _jmp_buf
{
}
jmp_buf[1];
extern int optind;
jmp_buf jump_buf;
int
main (int argc, char **argv)
{
  int cnt;
  foo (jump_buf, _setjmp(jump_buf));
  argv += optind;
  bar(argv[cnt]);
}
$ ./xgcc -v
Using built-in specs.
COLLECT_GCC=./xgcc
Target: arm-unknown-linux-gnueabi
Configured with: ../configure --target=arm-unknown-linux-gnueabi
--prefix=/home/ryan/x-tools/arm-unknown-linux-gnueabi
--with-sysroot=/home/ryan/x-tools/arm-unknown-linux-gnueabi/arm-unknown-linux-gnueabi//sys-root
--disable-multilib
--with-local-prefix=/home/ryan/x-tools/arm-unknown-linux-gnueabi/arm-unknown-linux-gnueabi/sys-root
--disable-nls --enable-threads=posix --enable-symvers=gnu --enable-c99
--enable-long-long --enable-target-optspace
target_alias=arm-unknown-linux-gnueabi --enable-languages=c++ --disable-shared
--disable-libmudflap --disable-libssp --enable-checking
Thread model: posix
gcc version 4.9.0 20140130 (experimental) [trunk revision 207298] (GCC) 
$ ./xgcc -B. -O1 ~/ice.i

Unable to coalesce ssa_names 2 and 13 which are marked as MUST COALESCE.
argv_2(ab) and  argv_13(ab)
/home/ryan/ice.i: In function 'main':
/home/ryan/ice.i:8:1: internal compiler error: SSA corruption
 main (int argc, char **argv)
 ^
0xa3d6c7 fail_abnormal_edge_coalesce
    ../../gcc/tree-ssa-coalesce.c:910
0xa3d6c7 coalesce_partitions
    ../../gcc/tree-ssa-coalesce.c:1205
0xa3d6c7 coalesce_ssa_name()
    ../../gcc/tree-ssa-coalesce.c:1349
0x9ea359 remove_ssa_form
    ../../gcc/tree-outof-ssa.c:987
0x9ea359 rewrite_out_of_ssa(ssaexpand*)
    ../../gcc/tree-outof-ssa.c:1220
0x61e174 gimple_expand_cfg
    ../../gcc/cfgexpand.c:5532
0x61e174 execute
    ../../gcc/cfgexpand.c:5935
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|tree-optimization           |middle-end
   Target Milestone|---                         |4.9.0
            Summary|ICE: SSA corruption         |[4.9 Regression] ICE: SSA
                   |                            |corruption

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Can't reproduce this unfortunately.

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[rmansfield at qnx dot com]

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

--- Comment #2 from Ryan Mansfield <rmansfield at qnx dot com> ---
Started happening after rev207239

http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=207239

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-01-30
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine then.

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[ramana at gcc dot gnu.org]

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

Ramana Radhakrishnan <ramana at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ramana at gcc dot gnu.org

--- Comment #4 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> ---
I am seeing the same with a cross compiler configured with


$SRCDIR/configure --target=arm-none-linux-gnueabi --with-arch=armv7-a
--with-fpu=vfpv3-d16 --with-float=softfp --enable-checking=release and a number
of other unrelated flags in a gdbserver build. 

Will attach the testcase as I have it and a reduced one in a few minutes.

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[ramana at gcc dot gnu.org]

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

--- Comment #5 from Ramana Radhakrishnan <ramana at gcc dot gnu.org> ---
(In reply to Ramana Radhakrishnan from comment #4)
> I am seeing the same with a cross compiler configured with
> 
> 
> $SRCDIR/configure --target=arm-none-linux-gnueabi --with-arch=armv7-a
> --with-fpu=vfpv3-d16 --with-float=softfp --enable-checking=release and a
> number of other unrelated flags in a gdbserver build. 
> 
> Will attach the testcase as I have it and a reduced one in a few minutes.

reduced testcase looks very similar to what's here but here goes. 

extern struct _IO_FILE *stderr;
struct __jmp_buf_tag
  {
  };
typedef struct __jmp_buf_tag jmp_buf[1];
extern jmp_buf toplevel;
int
main (int argc, char *argv[])
{
  int bad_attach;
  int pid;
  char *arg_end, *port;
  char **next_arg = &argv[1];
  volatile int attach = 0;
  if (_setjmp (toplevel))
    {
    }
  next_arg++;
    {
      gdbserver_usage (stderr);
    }
    {
      next_arg++;
    }
  if (attach
      && (*next_arg == ((void *)0)
   || (pid = strtoul (*next_arg, &arg_end, 0)) == 0
   || next_arg[1] != ((void *)0)))
    bad_attach = 1;
}

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Created attachment 31992
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31992&action=edit
patch

Untested patch.

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[rmansfield at qnx dot com]

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

--- Comment #7 from Ryan Mansfield <rmansfield at qnx dot com> ---
Comment on attachment 31992
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31992
patch

I've confirmed the patch fixes original ICE.

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[rguenth at gcc dot gnu.org]

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

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Thu Jan 30 18:28:19 2014
New Revision: 207316

URL: http://gcc.gnu.org/viewcvs?rev=207316&root=gcc&view=rev
Log:
2014-01-30  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/59993
    * tree-ssa-forwprop.c (associate_pointerplus): Check we
    can propagate form the earlier stmt and avoid the transform
    when the intermediate result is needed.

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

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr59993.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-forwprop.c

[Bug middle-end/59993] [4.9 Regression] ICE: SSA corruption

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gerald at pfeifer dot com

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
*** Bug 59998 has been marked as a duplicate of this bug. ***