public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/53737] New: Assert_Failure sinfo.adb:1066 on a generic package with an package as parameter (Ada Util)
@ 2012-06-20 21:33 Stephane.Carrez at gmail dot com
  2012-06-20 21:35 ` [Bug ada/53737] " Stephane.Carrez at gmail dot com
                   ` (5 more replies)
  0 siblings, 6 replies; 7+ messages in thread
From: Stephane.Carrez at gmail dot com @ 2012-06-20 21:33 UTC (permalink / raw)
  To: gcc-bugs

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

             Bug #: 53737
           Summary: Assert_Failure sinfo.adb:1066 on a generic package
                    with an package as parameter (Ada Util)
    Classification: Unclassified
           Product: gcc
           Version: 4.7.1
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: ada
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: Stephane.Carrez@gmail.com


GCC 4.7.1 fails to compile a generic package that compiled correctly
with GCC 4.4.3, 4.5.4 and 4.6.3.  FYI, the generic package comes
from Ada Utility Library.

The generic package uses two packages as parameter:

generic
   with package Vectors is
     new Ada.Containers.Vectors (<>);
   with package Element_Mapper is
     new Record_Mapper (Element_Type => Vectors.Element_Type,
                        others => <>);
package Util.Serialize.Mappers.Vector_Mapper is


and the 'Record_Mapper' is itself a generic package defined with:

generic
   type Element_Type is limited private;
   type Element_Type_Access is access all Element_Type;
   type Fields is (<>);
   with procedure Set_Member (Into   : in out Element_Type;
                              Field  : in Fields;
                              Value  : in Util.Beans.Objects.Object);
package Util.Serialize.Mappers.Record_Mapper is


The issue seems to be in sem_ch12.adb:1460 in Analyze_Associations
when it is checking a N_Formal_Type_Declaration.
I guess this could be the Element_Type_Access but I have no clear fact
about that (I stopped there my investigations).


+===========================GNAT BUG DETECTED==============================+
| 4.7.1 (i686-pc-linux-gnu) Assert_Failure sinfo.adb:1066                  |
| Error detected at util-serialize-mappers-vector_mapper.ads:29:4          |
| 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 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.
Consider also -gnatd.n switch (see debug.adb).

util-serialize-mappers-vector_mapper.adb
util-serialize-mappers-vector_mapper.ads
util-serialize-mappers.ads
util-serialize.ads
util.ads
util-beans.ads
util-beans-objects.ads
util-concurrent.ads
util-concurrent-counters.ads
util-beans-basic.ads
util-log.ads
util-log-loggers.ads
util-log-appenders.ads
util-properties.ads
util-serialize-contexts.ads
util-serialize-mappers-record_mapper.ads
util-serialize-io.ads
util-streams.ads
util-streams-buffered.ads
util-stacks.ads
util-concurrent-counters.adb

compilation abandoned
Exit 1


^ permalink raw reply	[flat|nested] 7+ messages in thread
end of thread, other threads:[~2012-12-21 22:34 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-06-20 21:33 [Bug ada/53737] New: Assert_Failure sinfo.adb:1066 on a generic package with an package as parameter (Ada Util) Stephane.Carrez at gmail dot com
2012-06-20 21:35 ` [Bug ada/53737] " Stephane.Carrez at gmail dot com
2012-12-16 10:50 ` [Bug ada/53737] [4.7/4.8 regression] Assert_Failure on a generic package with a package as parameter ebotcazou at gcc dot gnu.org
2012-12-17 14:48 ` jakub at gcc dot gnu.org
2012-12-21 22:32 ` ebotcazou at gcc dot gnu.org
2012-12-21 22:34 ` ebotcazou at gcc dot gnu.org
2012-12-21 22:34 ` 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).