[Bug rtl-optimization/51767] New: [4.5/4.6/4.7 Regression] ICE with degenerated asm goto

[Bug rtl-optimization/51767] New: [4.5/4.6/4.7 Regression] ICE with degenerated asm goto

[jakub at gcc dot gnu.org]

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

             Bug #: 51767
           Summary: [4.5/4.6/4.7 Regression] ICE with degenerated asm goto
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: jakub@gcc.gnu.org
            Target: x86_64-linux


extern void fn1 (void), fn2 (void);

static inline __attribute__((always_inline)) int
foo (int *x, long y)
{
  asm goto ("" : : "r" (x), "r" (y) : "memory" : lab);
  return 0;
lab:
  return 1;
}

void
bar (int *x)
{
  if (foo (x, 23))
    fn1 ();
  else
    fn2 ();

  foo (x, 2);
}

ICEs at -O2 on x86_64-linux.

[Bug rtl-optimization/51767] [4.5/4.6/4.7 Regression] ICE with degenerated asm goto

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-01-05
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-05 15:28:35 UTC ---
Created attachment 26253
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26253
gcc47-pr51767.patch

Untested fix.

[Bug rtl-optimization/51767] [4.5/4.6/4.7 Regression] ICE with degenerated asm goto

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.5.4

[Bug rtl-optimization/51767] [4.5/4.6/4.7 Regression] ICE with degenerated asm goto

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-05 20:21:06 UTC ---
Author: jakub
Date: Thu Jan  5 20:20:57 2012
New Revision: 182922

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182922
Log:
    PR rtl-optimization/51767
    * cfgrtl.c (force_nonfallthru_and_redirect): Force addition
    of jump_block and add an extra edge for degenerated asm gotos.

    * gcc.c-torture/compile/pr51767.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr51767.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgrtl.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/51767] [4.5/4.6 Regression] ICE with degenerated asm goto

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.5/4.6/4.7 Regression]    |[4.5/4.6 Regression] ICE
                   |ICE with degenerated asm    |with degenerated asm goto
                   |goto                        |

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-05 20:22:18 UTC ---
Fixed on the trunk so far.

[Bug rtl-optimization/51767] [4.5/4.6 Regression] ICE with degenerated asm goto

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-09 17:23:23 UTC ---
Author: jakub
Date: Thu Feb  9 17:23:13 2012
New Revision: 184055

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=184055
Log:
    Backported from mainline
    2012-01-05  Jakub Jelinek  <jakub@redhat.com>

    PR rtl-optimization/51767
    * cfgrtl.c (force_nonfallthru_and_redirect): Force addition
    of jump_block and add an extra edge for degenerated asm gotos.

    * gcc.c-torture/compile/pr51767.c: New test.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/gcc.c-torture/compile/pr51767.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/cfgrtl.c
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog

[Bug rtl-optimization/51767] [4.5 Regression] ICE with degenerated asm goto

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-09 21:36:59 UTC ---
Author: jakub
Date: Thu Feb  9 21:36:54 2012
New Revision: 184072

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=184072
Log:
    Backported from mainline
    2012-01-05  Jakub Jelinek  <jakub@redhat.com>

    PR rtl-optimization/51767
    * cfgrtl.c (force_nonfallthru_and_redirect): Force addition
    of jump_block and add an extra edge for degenerated asm gotos.

    * gcc.c-torture/compile/pr51767.c: New test.

Added:
    branches/gcc-4_5-branch/gcc/testsuite/gcc.c-torture/compile/pr51767.c
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/cfgrtl.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog

[Bug rtl-optimization/51767] [4.5 Regression] ICE with degenerated asm goto

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-02-09 21:47:05 UTC ---
Fixed.