public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/50197] New: Assert_Failure sinfo.adb:2738 with default generic formal parameters
@ 2011-08-26 16:04 nicolas.boulenguez at free dot fr
  2011-11-01 15:19 ` [Bug ada/50197] " Artem.Andreev at oktetlabs dot ru
  2014-08-13 15:40 ` nicolas.boulenguez at free dot fr
  0 siblings, 2 replies; 3+ messages in thread
From: nicolas.boulenguez at free dot fr @ 2011-08-26 16:04 UTC (permalink / raw)
  To: gcc-bugs

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

             Bug #: 50197
           Summary: Assert_Failure sinfo.adb:2738 with default generic
                    formal parameters
    Classification: Unclassified
           Product: gcc
           Version: 4.6.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: nicolas.boulenguez@free.fr


Created attachment 25109
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25109
Source causing the bug box

| 4.6.1 (x86_64-pc-linux-gnu) Assert_Failure sinfo.adb:2738                |
| Error detected at a.ads:9:7                                              |
| 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.6 or gnatmake command that you entered.          |
gcc -c a.ads
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
See attached a.ads


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug ada/50197] Assert_Failure sinfo.adb:2738 with default generic formal parameters
  2011-08-26 16:04 [Bug ada/50197] New: Assert_Failure sinfo.adb:2738 with default generic formal parameters nicolas.boulenguez at free dot fr
@ 2011-11-01 15:19 ` Artem.Andreev at oktetlabs dot ru
  2014-08-13 15:40 ` nicolas.boulenguez at free dot fr
  1 sibling, 0 replies; 3+ messages in thread
From: Artem.Andreev at oktetlabs dot ru @ 2011-11-01 15:19 UTC (permalink / raw)
  To: gcc-bugs

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

Artem V. Andreev <Artem.Andreev at oktetlabs dot ru> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Artem.Andreev at oktetlabs
                   |                            |dot ru

--- Comment #1 from Artem V. Andreev <Artem.Andreev at oktetlabs dot ru> 2011-11-01 15:19:11 UTC ---
I have attested the same bug on 4.4.5 (x86_64-pc-linux-gnu)


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug ada/50197] Assert_Failure sinfo.adb:2738 with default generic formal parameters
  2011-08-26 16:04 [Bug ada/50197] New: Assert_Failure sinfo.adb:2738 with default generic formal parameters nicolas.boulenguez at free dot fr
  2011-11-01 15:19 ` [Bug ada/50197] " Artem.Andreev at oktetlabs dot ru
@ 2014-08-13 15:40 ` nicolas.boulenguez at free dot fr
  1 sibling, 0 replies; 3+ messages in thread
From: nicolas.boulenguez at free dot fr @ 2014-08-13 15:40 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50197

--- Comment #2 from nicolas.boulenguez at free dot fr ---
4.8.2 produces the expected result:
a.ads:10:10: unmatched actual "Foo"
a.ads:10:10: in instantiation of "B" declared at line 5


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2014-08-13 15:40 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-08-26 16:04 [Bug ada/50197] New: Assert_Failure sinfo.adb:2738 with default generic formal parameters nicolas.boulenguez at free dot fr
2011-11-01 15:19 ` [Bug ada/50197] " Artem.Andreev at oktetlabs dot ru
2014-08-13 15:40 ` nicolas.boulenguez at free dot fr

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).