Debian Bug report logs - #279893
Legal instantiation rejected; illegal instantiation accepted

version graph

Package: gnat-14; Maintainer for gnat-14 is Debian GCC Maintainers <[email protected]>; Source for gnat-14 is src:gcc-14 (PTS, buildd, popcon).

Reported by: [email protected]

Date: Fri, 5 Nov 2004 18:48:01 UTC

Severity: normal

Tags: upstream

Found in version gcc-14/14-20240429-1

Forwarded to http://gcc.gnu.org/PR18453

Reply or subscribe to this bug.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to [email protected], Ludovic Brenta <[email protected]>, Ludovic Brenta <[email protected]>:
Bug#279893; Package gnat. (full text, mbox, link).

Acknowledgement sent to [email protected]:
New Bug report received and forwarded. Copy sent to Ludovic Brenta <[email protected]>, Ludovic Brenta <[email protected]>. (full text, mbox, link).

Message #5 received at [email protected] (full text, mbox, reply):

From: [email protected]
To: Debian Bug Tracking System <[email protected]>
Subject: gnat: Legal instantiation rejected; illegal instantiation accepted
Date: Fri, 05 Nov 2004 10:31:52 -0800
Package: gnat
Version: 3.15p-12
Severity: normal
Tags: upstream, fixed-upstream

-- legal instantiation rejected; illegal instantiation accepted
-- adapted from John Woodruff c.l.a. post

generic
   type T1 is private;
package pak1 is
   subtype T3 is T1;
end pak1;


with pak1;
generic
   type T2 is private;
package pak2 is
   package the_pak1 is new pak1 (T1 => T2);
end pak2;


generic
   type T2 is access the_pak1.T3;
package pak2.pak3 is
end pak2.pak3;


with pak1;
with pak2.pak3;
package Test_129 is

   type T4 is null record;
   type T5 is null record;
   subtype T3 is T5; -- line 9: triggers the bug at line 16

   type T4_ptr is access T4;
   type T5_ptr is access T5;

   package new_pak2 is new pak2 (T2 => T4);
   package new_pak3a is new new_pak2.pak3(T2 => T4_ptr);  -- line 15: Legal
   package new_pak3b is new new_pak2.pak3(T2 => T5_ptr);  -- line 16: Illegal
end Test_129;


The instantiation at line 15 is legal because T4_ptr is an access to
T4, and the previous instantiations make it so that

T4 = new_pak2.T2 = new_pak2.the_pak1.T1 = pak2.the_pak1.T3.

In contrast, line 16 is illegal because T5 /= new_pak2.T2.

Thus, the expected output from gnat is:

test_129.ads:16:49: designated type of actual does not match that of formal "T2"
test_129.ads:16:49: instantiation abandoned
gnatmake: "test_129.ads" compilation error

The actual output from gnat is:

test_129.ads:15:49: designated type of actual does not match that of formal "T2"
test_129.ads:15:49: instantiation abandoned
gnatmake: "test_129.ads" compilation error

The subtype at line 9 happens to be a homograph of pak1.T3.  Removing
this line, or renaming Test_129.T3, causes the actual output to
become:

test_129.ads:15:49: designated type of actual does not match that of formal "T2"
test_129.ads:15:49: instantiation abandoned
test_129.ads:16:49: designated type of actual does not match that of formal "T2"
test_129.ads:16:49: instantiation abandoned
gnatmake: "test_129.ads" compilation error


-- System Information:
Debian Release: 3.1
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.4.27-1-686
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8

Versions of packages gnat depends on:
ii  binutils                    2.15-4       The GNU assembler, linker and bina
ii  libc6                       2.3.2.ds1-18 GNU C Library: Shared libraries an
ii  libc6-dev                   2.3.2.ds1-18 GNU C Library: Development Librari
ii  libgnat-3.15p-1             3.15p-12     The GNU Ada 95 compiler runtime li

-- no debconf information

Tags removed: fixed-upstream Request was from Ludovic Brenta <[email protected]> to [email protected]. (full text, mbox, link).

Noted your statement that Bug has been forwarded to http://gcc.gnu.org/PR18453. Request was from Ludovic Brenta <[email protected]> to [email protected]. (full text, mbox, link).

Changed Bug submitter from [email protected] to [email protected]. Request was from "Ludovic Brenta" <[email protected]> to [email protected]. (full text, mbox, link).

Bug reassigned from package `gnat' to `gnat-4.1'. Request was from Ludovic Brenta <[email protected]> to [email protected]. (full text, mbox, link).

Bug reassigned from package `gnat-4.1' to `gnat-4.3'. Request was from Ludovic Brenta <[email protected]> to controlbugs.debian.org. (Sun, 10 Aug 2008 15:43:45 GMT) (full text, mbox, link).

Information forwarded to [email protected], Debian GCC Maintainers <[email protected]>:
Bug#279893; Package gnat-4.3. (Fri, 02 Jan 2009 19:36:06 GMT) (full text, mbox, link).

Acknowledgement sent to Jörgen Tegnér <[email protected]>:
Extra info received and forwarded to list. Copy sent to Debian GCC Maintainers <[email protected]>. (Fri, 02 Jan 2009 19:36:06 GMT) (full text, mbox, link).

Message #20 received at [email protected] (full text, mbox, reply):

From: Jörgen Tegnér <[email protected]>
To: [email protected], [email protected], [email protected], [email protected], [email protected], [email protected], [email protected]
Cc: [email protected]
Subject: Found in 4.3.2-2
Date: Fri, 02 Jan 2009 20:33:00 +0100
found 269948 4.3.2-2
found 276224 4.3.2-2
found 278687 4.3.2-2
found 278831 4.3.2-2
found 279893 4.3.2-2
found 280939 4.3.2-2
found 283835 4.3.2-2
thanks

Bug marked as found in version 4.3.2-2. Request was from Jörgen Tegnér <[email protected]> to [email protected]. (Fri, 02 Jan 2009 19:36:11 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-4.3' to 'gnat-4.4'. Request was from Ludovic Brenta <[email protected]> to [email protected]. (Tue, 02 Mar 2010 00:57:27 GMT) (full text, mbox, link).

Bug No longer marked as found in versions 4.3.2-2. Request was from Ludovic Brenta <[email protected]> to [email protected]. (Tue, 02 Mar 2010 00:57:27 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Wed, 31 Aug 2011 22:18:06 GMT) (full text, mbox, link).

Bug Marked as found in versions gnat-4.6/4.6.1-5. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Wed, 31 Aug 2011 22:18:07 GMT) (full text, mbox, link).

Marked as found in versions 4.6.4-2. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Wed, 03 Jul 2013 00:03:13 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-4.6' to 'gnat-4.8'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Tue, 29 Oct 2013 11:33:05 GMT) (full text, mbox, link).

No longer marked as found in versions 4.6.4-2 and gnat-4.6/4.6.1-5. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Tue, 29 Oct 2013 11:33:05 GMT) (full text, mbox, link).

Marked as found in versions gnat-4.8/4.8.2-1. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Tue, 29 Oct 2013 11:33:05 GMT) (full text, mbox, link).

Changed Bug title to 'Legal instantiation rejected; illegal instantiation accepted' from 'gnat: Legal instantiation rejected; illegal instantiation accepted' Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Tue, 29 Oct 2013 11:33:06 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-4.8' to 'gnat-4.9'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Tue, 29 Apr 2014 09:06:47 GMT) (full text, mbox, link).

No longer marked as found in versions gnat-4.8/4.8.2-1. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Tue, 29 Apr 2014 09:06:47 GMT) (full text, mbox, link).

Marked as found in versions gnat-4.9/4.9.0-1. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Tue, 29 Apr 2014 09:06:47 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-4.9' to 'gnat-5'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sat, 26 Sep 2015 00:30:29 GMT) (full text, mbox, link).

No longer marked as found in versions gnat-4.9/4.9.0-1. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sat, 26 Sep 2015 00:30:30 GMT) (full text, mbox, link).

Marked as found in versions gcc-5/5.2.1-17. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sat, 26 Sep 2015 00:30:30 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-5' to 'gnat-6'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Thu, 28 Jul 2016 22:42:29 GMT) (full text, mbox, link).

No longer marked as found in versions gcc-5/5.2.1-17. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Thu, 28 Jul 2016 22:42:29 GMT) (full text, mbox, link).

Marked as found in versions gcc-6/6.1.1-10. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Thu, 28 Jul 2016 22:42:30 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-6' to 'gnat-7'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Mon, 26 Jun 2017 20:12:22 GMT) (full text, mbox, link).

No longer marked as found in versions gcc-6/6.1.1-10. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Mon, 26 Jun 2017 20:12:22 GMT) (full text, mbox, link).

Marked as found in versions gcc-7/7.1.0-7. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Mon, 26 Jun 2017 20:12:22 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-7' to 'gnat-8'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sun, 13 May 2018 18:09:18 GMT) (full text, mbox, link).

No longer marked as found in versions gcc-7/7.1.0-7. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sun, 13 May 2018 18:09:18 GMT) (full text, mbox, link).

Marked as found in versions gcc-8/8.1.0-3. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sun, 13 May 2018 18:09:18 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-8' to 'gnat-9'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Wed, 17 Jul 2019 10:15:26 GMT) (full text, mbox, link).

No longer marked as found in versions gcc-8/8.1.0-3. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Wed, 17 Jul 2019 10:15:26 GMT) (full text, mbox, link).

Marked as found in versions gcc-9/9.1.0-8. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Wed, 17 Jul 2019 10:15:27 GMT) (full text, mbox, link).

Marked as found in versions 10.2.0-9. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sun, 27 Sep 2020 11:00:07 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-9' to 'gnat-10'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sun, 27 Sep 2020 11:12:12 GMT) (full text, mbox, link).

No longer marked as found in versions gcc-9/9.1.0-8 and 10.2.0-9. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sun, 27 Sep 2020 11:12:12 GMT) (full text, mbox, link).

Marked as found in versions gcc-10/10.2.0-9. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Sun, 27 Sep 2020 11:12:12 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-10' to 'gnat-11'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Mon, 15 Mar 2021 14:39:13 GMT) (full text, mbox, link).

No longer marked as found in versions gcc-10/10.2.0-9. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Mon, 15 Mar 2021 14:39:13 GMT) (full text, mbox, link).

Marked as found in versions gcc-11/11-20210310-1. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Mon, 15 Mar 2021 14:39:13 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-11' to 'gnat-12'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Mon, 04 Apr 2022 05:33:26 GMT) (full text, mbox, link).

No longer marked as found in versions gcc-11/11-20210310-1. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Mon, 04 Apr 2022 05:33:26 GMT) (full text, mbox, link).

Marked as found in versions gcc-12/12-20220319-1. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Mon, 04 Apr 2022 05:33:26 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-12' to 'gnat-13'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Fri, 20 Oct 2023 20:33:14 GMT) (full text, mbox, link).

No longer marked as found in versions gcc-12/12-20220319-1. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Fri, 20 Oct 2023 20:33:14 GMT) (full text, mbox, link).

Marked as found in versions gcc-13/13.2.0-5. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Fri, 20 Oct 2023 20:33:14 GMT) (full text, mbox, link).

Bug reassigned from package 'gnat-13' to 'gnat-14'. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Wed, 08 May 2024 19:03:11 GMT) (full text, mbox, link).

No longer marked as found in versions gcc-13/13.2.0-5. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Wed, 08 May 2024 19:03:11 GMT) (full text, mbox, link).

Marked as found in versions gcc-14/14-20240429-1. Request was from Nicolas Boulenguez <[email protected]> to [email protected]. (Wed, 08 May 2024 19:03:11 GMT) (full text, mbox, link).

Send a report that this bug log contains spam.

Debian bug tracking system administrator <[email protected]>. Last modified: Tue May 13 13:25:24 2025; Machine Name: bembo

Debian Bug tracking system

Debbugs is free software and licensed under the terms of the GNU General Public License version 2. The current version can be obtained from https://bugs.debian.org/debbugs-source/.

Copyright © 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson, 2005-2017 Don Armstrong, and many other contributors.