[Bug tree-optimization/39804] New: internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[Bug tree-optimization/39804] New: internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[segher at kernel dot crashing dot org]

i386-linux-gcc -O1   -S probe_roms_32.i 

/home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c: In function
'romchecksum':
/home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c:165: internal compiler
error: in propagate_necessity, at tree-ssa-dce.c:754


-- 
           Summary: internal compiler error: in propagate_necessity, at
                    tree-ssa-dce.c:754
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: segher at kernel dot crashing dot org
  GCC host triplet: x86_64-linux
GCC target triplet: i386-linux


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

[Bug tree-optimization/39804] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[segher at kernel dot crashing dot org]

------- Comment #1 from segher at kernel dot crashing dot org  2009-04-18 09:53 -------
Created an attachment (id=17653)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17653&action=view)
testcase, not minimised


-- 


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

[Bug tree-optimization/39804] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2009-04-18 10:02 -------
Mine.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-04-18 10:02:49
               date|                            |


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

[Bug tree-optimization/39804] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-04-18 10:05 -------
Hmm, I get

./cc1 -quiet -O probe_roms_32.i 
/home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c: In function
'romchecksum':
/home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c:165: error: found a
real definition for a non-register
/home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c:165: error: in
statement
c.368_15 = c_12(D);
/home/segher/src/kernel/arch/x86/kernel/probe_roms_32.c:165: internal compiler
error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|internal compiler error: in |[4.5 Regression] internal
                   |propagate_necessity, at     |compiler error: in
                   |tree-ssa-dce.c:754          |propagate_necessity, at
                   |                            |tree-ssa-dce.c:754
   Target Milestone|---                         |4.5.0


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

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2009-04-18 10:22 -------
typedef unsigned char u8;
struct __large_struct { unsigned long buf[100]; };
static inline __attribute__((always_inline)) unsigned long
__copy_from_user_inatomic(void *to, const void *from, unsigned long n)
{
  unsigned long ret = 0;
  asm volatile("1:      mov""b"" %2,%""b""1\n" "2:\n"
               ".section .fixup,\"ax\"\n"
               "3:      mov %3,%0\n"
               "        xor""b"" %""b""1,%""b""1\n"
               "        jmp 2b\n"
               ".previous\n"
               " .section __ex_table,\"a\"\n"
               " " ".balign 4" " " "\n"
               " " ".long" " " "1b" "," "3b" "\n"
               " .previous\n"
               : "=r" (ret), "=q"(*(u8 *)to)
               : "m" ((*(struct __large_struct *)(from))), "i" (1), "0" (ret));
  return ret;
}
int romchecksum(const unsigned char *rom, unsigned char c) 
{   
  unsigned char sum;
  for (sum = 0;
       !__copy_from_user_inatomic(&(c), ( typeof(c) *)(rom++), sizeof(c));)
    sum += c;
}

Likely some missed corner-case in walking address-taken operations in asms.


-- 


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

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2009-04-18 13:02 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2009-04-18 13:02 -------
Subject: Bug 39804

Author: rguenth
Date: Sat Apr 18 13:02:00 2009
New Revision: 146314

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146314
Log:
2009-04-18  Richard Guenther  <rguenther@suse.de>

        PR middle-end/39804
        * tree-ssa-ccp.c (fold_stmt_1): New function factored from ...
        (fold_stmt): ... this and ...
        (fold_stmt_inplace): ... this.
        (fold_stmt_1): Fold references in calls and asms.
        * tree-cfg.c (remove_useless_stmts_cond): Use fold_stmt.

        * gcc.target/i386/pr39804.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.target/i386/pr39804.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-cfg.c
    trunk/gcc/tree-ssa-ccp.c


-- 


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

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[hjl at gcc dot gnu dot org]

------- Comment #7 from hjl at gcc dot gnu dot org  2009-04-18 14:54 -------
Subject: Bug 39804

Author: hjl
Date: Sat Apr 18 14:54:32 2009
New Revision: 146315

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146315
Log:
2009-04-18  H.J. Lu  <hongjiu.lu@intel.com>

        Backport from mainline:
        2009-04-18  Richard Guenther  <rguenther@suse.de>

        PR middle-end/39804
        * gcc.target/i386/pr39804.c: New testcase.

Added:
    branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/pr39804.c
      - copied unchanged from r146314,
trunk/gcc/testsuite/gcc.target/i386/pr39804.c
Modified:
    branches/gcc-4_4-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug tree-optimization/39804] [4.5 Regression] internal compiler error: in propagate_necessity, at tree-ssa-dce.c:754

[segher at kernel dot crashing dot org]

------- Comment #8 from segher at kernel dot crashing dot org  2009-04-19 19:39 -------
> Added:
>     branches/gcc-4_4-branch/gcc/testsuite/gcc.target/i386/pr39804.c

Hi hjl,

Why backport a single testcase from trunk to 4.4?  This bug never existed
on 4.4, it's not terribly useful as far as I can see.

Also, I didn't see this on gcc-patches.


Segher


-- 


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