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

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

[nicolas.boulenguez at free dot fr]

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

nicolas.boulenguez at free dot fr changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nicolas.boulenguez at free
                   |                            |dot fr

--- Comment #6 from nicolas.boulenguez at free dot fr 2011-08-31 00:10:37 UTC ---
fixed in 4.6.1

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

[charlet at gcc dot gnu.org]

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

Arnaud Charlet <charlet at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |charlet at gcc dot gnu.org
         Resolution|                            |FIXED
   Target Milestone|---                         |4.6.1

--- Comment #7 from Arnaud Charlet <charlet at gcc dot gnu.org> 2011-08-31 07:05:33 UTC ---
Closing then

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

[ludovic at ludovic-brenta dot org]

------- Comment #5 from ludovic at ludovic-brenta dot org  2009-08-06 20:33 -------
Xavier Grave reports:

+===========================GNAT BUG DETECTED==============================+
| 4.4.1 (i486-pc-linux-gnu) GCC error:                                     |
| in get_expr_operands, at tree-ssa-operands.c:2072                        |
| Error detected around test_41.adb:12                                     |
...
raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:424
gnatmake: "test_41.adb" compilation error


-- 


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

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

[ludovic at ludovic-brenta dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 447 bytes --]



------- Comment #4 from ludovic at ludovic-brenta dot org  2008-12-30 10:42 -------
Jörgen Tegnér reports:

gnatmake test_41.adb 
gcc-4.3 -c test_41.adb
+===========================GNAT BUG DETECTED==============================+
| 4.3.2 (i486-pc-linux-gnu) in gimplify_expr, at gimplify.c:6314           |
| Error detected around test_41.adb:6                                      |


-- 


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

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

[sam at gcc dot gnu dot org]

------- Comment #3 from sam at gcc dot gnu dot org  2007-12-13 14:00 -------
gimplification failed:
test_246185__t <type_decl 0xb7c1dbc8 test_246185__t
    type <record_type 0xb7bf0f70 test_246185__t sizes-gimplified type_2 BLK
        size <integer_cst 0xb7bcd620 constant invariant 32>
        unit size <integer_cst 0xb7bcd40c constant invariant 4>
        align 32 symtab 0 alias set -1 canonical type 0xb7bf0f70
        fields <field_decl 0xb7c1c564 _task_id type <pointer_type 0xb7bf30d0
system__tasking__task_id>
            unsigned nonaddressable SI file test_246185.adb line 3 col 4 size
<integer_cst 0xb7bcd620 32> unit size <integer_cst 0xb7bcd40c 4>
            align 32 offset_align 128
            offset <integer_cst 0xb7bcd94c constant invariant 0>
            bit offset <integer_cst 0xb7bcd968 constant invariant 0> context
<record_type 0xb7bf0f70 test_246185__t>> Ada size <integer_cst 0xb7bcd620 32>
        pointer_to_this <pointer_type 0xb7c1dea0 test_246185__T1b>
reference_to_this <reference_type 0xb7c1d820> chain <type_decl 0xb7c1d750
test_246185__tV>>
    VOID file test_246185.adb line 3 col 14
    align 1 context <function_decl 0xb7bf1230 test_246185> chain <type_decl
0xb7c1dc30 test_246185__convertGP80__source>>
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20071213 (experimental) (i686-pc-linux-gnu) gimplification failed  |
| Error detected around test_246185.adb:6                                  |


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2006-03-19 06:43:05         |2007-12-13 14:00:19
               date|                            |


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

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

[charlet at gcc dot gnu dot org]

------- Additional Comments From charlet at gcc dot gnu dot org  2005-09-06 13:36 -------
Program has no semantic meaning, so lowering severity.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |minor


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