[Bug ada/15404] Bug box in spill_failure, at reload1.c:1887

[Bug ada/15404] Bug box in spill_failure, at reload1.c:1887

[ludovic dot brenta at insalien dot org]

------- Additional Comments From ludovic dot brenta at insalien dot org  2004-05-12 19:27 -------
This occurs only with the following compiler options:

gcc -c -funroll-all-loops -O1 p2.adb

or with -O2 or higher.


-- 


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

[Bug ada/15404] New: Bug box in spill_failure, at reload1.c:1887

[ludovic dot brenta at insalien dot org]

package pak is
       function f1 return integer;
    end pak;

    with pak;
    procedure p2 is
       x : integer := pak.f1;
    begin

       declare
          y : constant integer := 1/x;
       begin
          null;
       end;

       for i in 1 .. x loop
          null;
       end loop;

    end p2;


p2.adb: In function `p2':
p2.adb:17: error: unable to find a register to spill in class `AREG'
p2.adb:17: error: this is the insn:
(insn 21 20 25 2 (parallel [
            (set (reg:SI 60)
                (div:SI (reg:SI 1 dx [62])
                    (reg/v:SI 2 cx [orig:58 x ] [58])))
            (set (reg:SI 1 dx [61])
                (mod:SI (reg:SI 1 dx [62])
                    (reg/v:SI 2 cx [orig:58 x ] [58])))
            (clobber (reg:CC 17 flags))
        ]) 187 {*divmodsi4_cltd} (insn_list 20 (nil))
    (expr_list:REG_UNUSED (reg:CC 17 flags)
        (expr_list:REG_UNUSED (reg:SI 1 dx [61])
            (expr_list:REG_UNUSED (reg:SI 60)
                (expr_list:REG_DEAD (reg:SI 1 dx [62])
                    (expr_list:REG_UNUSED (reg:CC 17 flags)
                        (expr_list:REG_UNUSED (reg:SI 1 dx [61])
                            (expr_list:REG_UNUSED (reg:SI 60)
                                (nil)))))))))
+===========================GNAT BUG DETECTED==============================+
| 3.5.0 20040327 (experimental) (i686-pc-linux-gnu) GCC error:             |
| in spill_failure, at reload1.c:1887                                      |
| Error detected at p2.adb:17:5                                            |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

-- 
           Summary: Bug box in spill_failure, at reload1.c:1887
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ludovic dot brenta at insalien dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug optimization/15404] Bug box in spill_failure, at reload1.c:1887

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-12 19:30 -------
This is a dup of bug 15385 which has a C testcase.

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

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
          Component|ada                         |optimization
           Keywords|                            |ice-on-valid-code
         Resolution|                            |DUPLICATE
   Target Milestone|---                         |3.5.0


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