[Bug ada/29958] New: Ada: gcc bug box with an inherited generic private package

[Bug ada/29958] New: Ada: gcc bug box with an inherited generic private package

[chevallier_sylvain at yahoo dot fr]

$ uname -a
Linux athena 2.6.17-2-486 #1 Wed Sep 13 15:56:30 UTC 2006 i686 GNU/Linux

$ gcc -v
Using built-in specs.
Target: i486-linux-gnu
Configured with: ../src/configure -v
--enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--program-suffix=-4.1 --enable-__cxa_atexit --enable-clocale=gnu
--enable-libstdcxx-debug --enable-mpfr --with-tune=i686
--enable-checking=release i486-linux-gnu
Thread model: posix
gcc version 4.1.2 20061028 (prerelease) (Debian 4.1.1-19)

$ gcc -c cell-list-iter-std-tools.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20061028 (prerelease) (Debian 4.1.1-19) (i486-pc-linux-gnu)        |
| Assert_Failure sem_ch7.adb:1313                                          |
| Error detected at cell-list-iter-std-tools.ads:7:1                       |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc-4.1 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.

cell-list-iter-std-tools.adb
cell-list-iter-std-tools.ads
cell-list-iter-std.ads
cell-list-iter.ads
cell-list.ads
cell.ads
cell-list-std.ads
cell-list-pattern.ads

compilation abandoned

This code compiles with the gnat's Adacore version (gcc-3.4.6 GNAT GPL 2006
20060522). I'm sorry for the quite large list of sources files included, I'm
trying to minimize it.


-- 
           Summary: Ada: gcc bug box with an inherited generic private
                    package
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: chevallier_sylvain at yahoo dot fr


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

[Bug ada/29958] Ada: gcc bug box with an inherited generic private package

[chevallier_sylvain at yahoo dot fr]

------- Comment #1 from chevallier_sylvain at yahoo dot fr  2006-11-23 19:00 -------
Created an attachment (id=12673)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12673&action=view)
cat of all the source files required by the bug box

This is the cat of the source files named by the bug box. Again, I'm trying to
reduced this error, i'm sorry for the inconvenience.


-- 


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

[Bug ada/29958] Ada: gcc bug box with an inherited generic package

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-11-24 03:06 -------
Still fails as of today.


-- 


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

[Bug ada/29958] Ada: gcc bug box with an inherited generic package

[chevallier_sylvain at yahoo dot fr]

------- Comment #3 from chevallier_sylvain at yahoo dot fr  2006-11-27 17:21 -------
Okay, I have a *more* compact version of this bug :

$ cat example.ads
package Example is
        type I is tagged record
                N : Integer;
        end record;
private
        procedure P_Private (X : in out I);
end Example;

$ cat example-generic_child.ads
generic
        type EI is new I with private;
package Example.Generic_Child is
        procedure P_Private (X : in out EI);
end Example.Generic_Child;

$ gcc -c example-generic_child.ads
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20061028 (prerelease) (Debian 4.1.1-19) (i486-pc-linux-gnu)        |
| Assert_Failure sem_ch7.adb:1313                                          |
| Error detected at example-generic_child.ads:3:1                          |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc-4.1 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.

list may be incomplete
compilation abandoned


It seems gcc dislikes the fact that the "public" procedure
Example.Generic_Child.P_Private share the same name that the private procedure
Example.P_Private. 


-- 


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

[Bug ada/29958] Ada: gcc bug box with an inherited generic package

[sam at gcc dot gnu dot org]

------- Comment #4 from sam at gcc dot gnu dot org  2007-12-07 13:58 -------
Confirmed on SVN trunk:

+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20071207 (experimental) (i686-pc-linux-gnu) Assert_Failure
sem_ch7.adb:1457|
| Error detected at example-generic_child.ads:4:1                          |


-- 

sam at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sam at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-12-07 13:58:51
               date|                            |


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