[Bug ada/42150] New: GNAT (really) appears to misbehave with limited types/finalization/extended return

[Bug ada/42150] New: GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

I'm working on a small project to create an abstraction over directories
and archives. I've managed to write some code that seems simple enough
(using tagged limited types) and even though the code appears to be valid,
it seems to either trigger bugs in the runtime (causing crashes on execution)
or fails to compile:

Both Debian GCC 4.3, GNAT GPL 2009 and FreeBSD GCC 4.4 fail with the following:

  pfseudo-archiver-directory.adb:24:41: wrong type for
return_subtype_indication
  pfseudo-archiver-directory.adb:46:35: wrong type for
return_subtype_indication

GCC SVN (r154285) fails to build with a strange error:

  arc_dir_003.adb:25:32: "_master" conflicts with declaration at line 21

The output of -gnatG shows this error to be apparently incorrect:

   error := false;
   B_1 : declare
      _master : constant integer := system__soft_links__current_master.all;
      A6bM : integer renames _master;
      type A6b is access all pfseudo__archiver__Tarchive_tC;
      R7b : A6b := pfseudo__archiver__directory.

The code is available here:

  http://git.coreland.ath.cx/gitweb.cgi?p=pfseudo/.git;a=summary
  $ git clone http://git.coreland.ath.cx/pfseudo/.git

Configure and build with:

  $ echo 'gcc'      > conf-adacomp
  $ echo 'gnatbind' > conf-adabind
  $ echo 'gnatlink' > conf-adalink
  $ make
  $ make tests


-- 
           Summary: GNAT (really) appears to misbehave with limited
                    types/finalization/extended return
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: gcc at coreland dot ath dot cx
  GCC host triplet: x86_64-portbld-freebsd7.2, i686-pc-linux-gnu


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[charlet at gcc dot gnu dot org]

------- Comment #1 from charlet at gcc dot gnu dot org  2009-11-22 18:42 -------
We only accept self contained reproducers, and preeferably with a straight gcc
command rather than levels of Makefiles/scripts on top of it.

So can you please file the needed files (and no more) as well as the needed
gcc command to reproduce this?

TIA.


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #2 from gcc at coreland dot ath dot cx  2009-11-22 19:11 -------
Files here:

http://coreland.ath.cx/tmp/pfseudo_bug.tar.gz

Edit build.sh to point $GCC to whatever's sensible.

Output here:

$ ./build.sh
+ GCC=/gnat/svn/builds/r154285/bin/gcc-r154285
+ /gnat/svn/builds/r154285/bin/gcc-r154285 -c pfseudo.ads
+ /gnat/svn/builds/r154285/bin/gcc-r154285 -c pfseudo-path.adb
+ /gnat/svn/builds/r154285/bin/gcc-r154285 -c pfseudo-archiver.ads
+ /gnat/svn/builds/r154285/bin/gcc-r154285 -c pfseudo-archiver-directory.adb
+ /gnat/svn/builds/r154285/bin/gcc-r154285 -c test.adb
+ /gnat/svn/builds/r154285/bin/gcc-r154285 -c arc_dir_003.adb
arc_dir_003.adb:25:32: "_master" conflicts with declaration at line 21


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #3 from gcc at coreland dot ath dot cx  2009-11-23 08:15 -------
Using built-in specs.
Target: x86_64-portbld-freebsd7.2
Configured with: ./..//gcc-4.4.0/configure --enable-languages=c,ada
--disable-nls --with-system-zlib --with-libiconv-prefix=/usr/local
--program-suffix=44 --bindir=/usr/local/bin/gcc44
--libdir=/usr/local/lib/gcc-4.4.0 --prefix=/usr/local --mandir=/usr/local/man
--infodir=/usr/local/info/gcc44 --build=x86_64-portbld-freebsd7.2
Thread model: posix
gcc version 4.4.0 (GCC) 

FreeBSD viper.internal.network 7.2-RELEASE-p4 FreeBSD 7.2-RELEASE-p4 #0: Fri
Oct  2 08:22:32 UTC 2009    
root@amd64-builder.daemonology.net:/usr/obj/usr/src/sys/GENERIC  amd64


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #4 from gcc at coreland dot ath dot cx  2009-11-23 08:16 -------
Using built-in specs.
COLLECT_GCC=/gnat/svn/builds/r154285/bin/gcc-r154285
COLLECT_LTO_WRAPPER=/gnat/svn/builds/r154285/libexec/gcc/x86_64-unknown-freebsd7.2/4.5.0/lto-wrapper
Target: x86_64-unknown-freebsd7.2
Configured with: /gnat/svn/src/configure --enable-languages=c,c++,ada,fortran
--prefix=/gnat/svn/builds/r154285 --with-system-zlib --disable-nls
--program-suffix=-r154285 --enable-libstdcxx-debug
Thread model: posix
gcc version 4.5.0 20091118 (experimental) (GCC) 


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[charlet at gcc dot gnu dot org]

------- Comment #5 from charlet at gcc dot gnu dot org  2009-11-23 08:21 -------
Sorry, but we still need a self contained set of sources attached in bugzilla
(with only the needed sources to reproduce the bug), and a single, stand alone
gcc command line with no extra shell scripts.

See http://gcc.gnu.org/bugs/ for more details.


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #6 from gcc at coreland dot ath dot cx  2009-11-23 10:16 -------
Created an attachment (id=19090)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19090&action=view)
source file that generates the error


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #8 from gcc at coreland dot ath dot cx  2009-11-23 10:17 -------
Created an attachment (id=19092)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19092&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #9 from gcc at coreland dot ath dot cx  2009-11-23 10:17 -------
Created an attachment (id=19093)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19093&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #7 from gcc at coreland dot ath dot cx  2009-11-23 10:17 -------
Created an attachment (id=19091)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19091&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #12 from gcc at coreland dot ath dot cx  2009-11-23 10:18 -------
Created an attachment (id=19096)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19096&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #11 from gcc at coreland dot ath dot cx  2009-11-23 10:18 -------
Created an attachment (id=19095)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19095&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #10 from gcc at coreland dot ath dot cx  2009-11-23 10:17 -------
Created an attachment (id=19094)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19094&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #16 from gcc at coreland dot ath dot cx  2009-11-23 10:19 -------
Created an attachment (id=19100)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19100&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #13 from gcc at coreland dot ath dot cx  2009-11-23 10:18 -------
Created an attachment (id=19097)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19097&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #14 from gcc at coreland dot ath dot cx  2009-11-23 10:19 -------
Created an attachment (id=19098)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19098&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #15 from gcc at coreland dot ath dot cx  2009-11-23 10:19 -------
Created an attachment (id=19099)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19099&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #18 from gcc at coreland dot ath dot cx  2009-11-23 10:20 -------
Created an attachment (id=19102)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19102&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #17 from gcc at coreland dot ath dot cx  2009-11-23 10:19 -------
Created an attachment (id=19101)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19101&action=view)
dependency for arc_dir_003.adb


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #19 from gcc at coreland dot ath dot cx  2009-11-23 10:22 -------
Really fail to see how this is more convenient or useful for anyone involved
but oh well, what do I know?

gcc-4.4.0:

gcc -c pfseudo.ads pfseudo-path.adb pfseudo-archiver.ads
pfseudo-archiver-directory.adb test.adb arc_dir_003.adb

pfseudo-archiver-directory.adb:24:41: wrong type for return_subtype_indication
pfseudo-archiver-directory.adb:46:35: wrong type for return_subtype_indication
arc_dir_003.adb:25:32: "_master" conflicts with declaration at line 21

gcc-r154285:

gcc-r154285 -c pfseudo.ads pfseudo-path.adb pfseudo-archiver.ads
pfseudo-archiver-directory.adb test.adb arc_dir_003.adb

arc_dir_003.adb:25:32: "_master" conflicts with declaration at line 21


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[ebotcazou at gcc dot gnu dot org]

------- Comment #20 from ebotcazou at gcc dot gnu dot org  2009-11-23 11:02 -------
> Really fail to see how this is more convenient or useful for anyone involved
> but oh well, what do I know?

Attaching a lot of files is indeed inconvenient, that's why
  http://gcc.gnu.org/bugs
section "Detailed bug reporting instructions for GNAT" instructs you to submit
a single file for gnatchop.


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #21 from gcc at coreland dot ath dot cx  2009-11-23 11:12 -------
Created an attachment (id=19103)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19103&action=view)
version suitable for gnatchop


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #22 from gcc at coreland dot ath dot cx  2009-11-23 11:13 -------
Any way I can remove the above attachments?


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #23 from gcc at coreland dot ath dot cx  2010-01-18 22:51 -------
Created an attachment (id=19652)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19652&action=view)
Another repro

A smaller, simpler piece of code that triggers this:

$ gnatmake p.adb
p.adb:8:70: wrong type for return_subtype_indication
gnatmake: "p.adb" compilation error


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[gcc at coreland dot ath dot cx]

------- Comment #24 from gcc at coreland dot ath dot cx  2010-01-18 22:53 -------
Created an attachment (id=19653)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19653&action=view)
A smaller repro for the "_master conflicts with declaration" error

$ gnatmake arc_dir_003.adb
gcc -c arc_dir_003.adb
arc_dir_003.adb:29:26: "_master" conflicts with declaration at line 30
gnatmake: "arc_dir_003.adb" compilation error


-- 


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

[Bug ada/42150] GNAT (really) appears to misbehave with limited types/finalization/extended return

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
                 CC|                            |ebotcazou at gcc dot
                   |                            |gnu.org