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

["ludovic dot brenta at insalien dot org" <gcc-bugzilla at gcc dot gnu 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