[Bug ada/15798] New: Bug box in Gigi, code=201, on legal program with tasking

[Bug ada/15798] New: Bug box in Gigi, code=201, on legal program with tasking

[ludovic dot brenta at insalien dot org]

(Debian bug #246185)

with unchecked_conversion;
procedure Test_246185 is
   task type T;
   function convert is new unchecked_conversion(T, integer);
   task body T is
   x: integer := convert(T);
   begin
      null;
   end T;
begin
   null;
end Test_246185;


+===========================GNAT BUG DETECTED==============================+
| 3.4.0 (Debian) (i486-pc-linux-gnu) Gigi abort, Code=201                  |
| Error detected at test_246185.adb:6:26                                   |
| 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-3.4 or gnatmake command that you entered.          |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report
Note that list may not be accurate in some cases, 
so please double check that the problem can still 
be reproduced with the set of files listed.

test_246185.adb

compilation abandoned
gnatmake: "test_246185.adb" compilation error

-- 
           Summary: Bug box in Gigi, code=201, on legal program with tasking
           Product: gcc
           Version: 3.4.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


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

[Bug ada/15798] Bug box in Gigi, code=201, on legal program with tasking

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-12 03:56 -------
Confirmed, a different error on the mainline:
gimplification failed:
test_246185__t <type_decl 0x42e7f980 test_246185__t
    type <record_type 0x42e44f80 test_246185__t type_2 BLK
        size <integer_cst 0x42e0e720 constant invariant 32>
        unit size <integer_cst 0x42e0e360 constant invariant 4>
        align 32 symtab 0 alias set -1
        fields <field_decl 0x42e7cf80 _task_id type <pointer_type 0x42e46580 
system__tasking__task_id>
            unsigned nonaddressable SI file test_246185.adb line 3 size <integer_cst 0x42e0e720 32> unit 
size <integer_cst 0x42e0e360 4>
            align 32 offset_align 128
            offset <integer_cst 0x42e0e380 constant invariant 0>
            bit offset <integer_cst 0x42e0eee0 constant invariant 0> context <record_type 0x42e44f80 
test_246185__t> arguments <integer_cst 0x42e0e380 0>> Ada size <integer_cst 0x42e0e720 32>
        pointer_to_this <pointer_type 0x42e46100 test_246185__T1b> reference_to_this <reference_type 
0x42e7f100> chain <type_decl 0x42e7f000>>
    VOID file test_246185.adb line 3
    align 1 context <function_decl 0x42e44900 test_246185> chain <type_decl 0x42e7fa00 
test_246185__convertGP80__source>>
+===========================GNAT BUG 
DETECTED==============================+
| 4.0.0 20041008 (experimental) (powerpc-apple-darwin7.4.1) GCC error:     |
| gimplification failed                                                    |
| Error detected at test_246185.adb:12: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).                   |
+==============================================================
============+


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-12 03:56:30
               date|                            |


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