public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/42150]  New: GNAT (really) appears to misbehave with limited types/finalization/extended return
@ 2009-11-22 18:39 gcc at coreland dot ath dot cx
  2009-11-22 18:42 ` [Bug ada/42150] " charlet at gcc dot gnu dot org
                   ` (23 more replies)
  0 siblings, 24 replies; 26+ messages in thread
From: gcc at coreland dot ath dot cx @ 2009-11-22 18:39 UTC (permalink / raw)
  To: gcc-bugs

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


^ permalink raw reply	[flat|nested] 26+ messages in thread
[parent not found: <bug-42150-4@http.gcc.gnu.org/bugzilla/>]
end of thread, other threads:[~2010-11-27 19:13 UTC | newest]

Thread overview: 26+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-11-22 18:39 [Bug ada/42150] New: GNAT (really) appears to misbehave with limited types/finalization/extended return gcc at coreland dot ath dot cx
2009-11-22 18:42 ` [Bug ada/42150] " charlet at gcc dot gnu dot org
2009-11-22 19:11 ` gcc at coreland dot ath dot cx
2009-11-23  8:15 ` gcc at coreland dot ath dot cx
2009-11-23  8:16 ` gcc at coreland dot ath dot cx
2009-11-23  8:21 ` charlet at gcc dot gnu dot org
2009-11-23 10:16 ` gcc at coreland dot ath dot cx
2009-11-23 10:17 ` gcc at coreland dot ath dot cx
2009-11-23 10:17 ` gcc at coreland dot ath dot cx
2009-11-23 10:17 ` gcc at coreland dot ath dot cx
2009-11-23 10:18 ` gcc at coreland dot ath dot cx
2009-11-23 10:18 ` gcc at coreland dot ath dot cx
2009-11-23 10:18 ` gcc at coreland dot ath dot cx
2009-11-23 10:19 ` gcc at coreland dot ath dot cx
2009-11-23 10:19 ` gcc at coreland dot ath dot cx
2009-11-23 10:19 ` gcc at coreland dot ath dot cx
2009-11-23 10:19 ` gcc at coreland dot ath dot cx
2009-11-23 10:20 ` gcc at coreland dot ath dot cx
2009-11-23 10:20 ` gcc at coreland dot ath dot cx
2009-11-23 10:23 ` gcc at coreland dot ath dot cx
2009-11-23 11:02 ` ebotcazou at gcc dot gnu dot org
2009-11-23 11:12 ` gcc at coreland dot ath dot cx
2009-11-23 11:14 ` gcc at coreland dot ath dot cx
2010-01-18 22:51 ` gcc at coreland dot ath dot cx
2010-01-18 22:53 ` gcc at coreland dot ath dot cx
     [not found] <bug-42150-4@http.gcc.gnu.org/bugzilla/>
2010-11-27 19:20 ` ebotcazou at gcc dot gnu.org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).