[Bug ada/58891] New: Bug box when using limited with, between parent and child packages

[Bug ada/58891] New: Bug box when using limited with, between parent and child packages

[laguest at archeia dot com]

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

            Bug ID: 58891
           Summary: Bug box when using limited with, between parent and
                    child packages
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: blocker
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: laguest at archeia dot com

Created attachment 31095
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31095&action=edit
All source including those output from -gnatd.n

Hi,

I'm trying to create a binding library and have got a bug box when trying to
reference a type in a parent package from a child package and also using a type
from the child package in the parent, i.e. limited_with.

Compiler information:

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/laguest/opt/tinyada/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /home/laguest/src/mine/tinyada-new/source/gcc-trunk/configure
--prefix=/home/laguest/opt/tinyada --enable-multilib --enable-threads=posix
--disable-shared --with-gnu-as --with-gnu-ld --enable-languages=c,c++,ada
--with-system-zlib --disable-libgomp --without-libffi --without-libiconv-prefix
--disable-libmudflap --disable-nls --disable-libstdcxx-pch
--disable-cloog-version-check --disable-isl-version-check
--with-gmp=/home/laguest/opt/tinyada --with-mpfr=/home/laguest/opt/tinyada
--with-mpc=/home/laguest/opt/tinyada --with-isl=/home/laguest/opt/tinyada
--with-cloog=/home/laguest/opt/tinyada CFLAGS=
Thread model: posix
gcc version 4.9.0 20130916 (experimental) (GCC) 

System information:

$ uname -a
Linux rogue 3.2.0-4-amd64 #1 SMP Debian 3.2.51-1 x86_64 GNU/Linux

Error:

+===========================GNAT BUG DETECTED==============================+
| 4.9.0 20130916 (experimental) (x86_64-unknown-linux-gnu) Storage_Error stack
overflow or erroneous memory access|
| Error detected at doxmlada-docs.adb:2: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).

doxmlada-docs.adb
doxmlada-docs.ads
doxmlada.ads
doxmlada-docs-lists.ads

compilation abandoned
gnatmake: "doxmlada-docs.adb" compilation error

[Bug ada/58891] Bug box when using limited with, between parent and child packages

[laguest at archeia dot com]

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

--- Comment #1 from Luke A. Guest <laguest at archeia dot com> ---
Compiled with:

gnatchop source.ada
gnatmake -gnatd.n -c doxmlada-docs.adb

[Bug ada/58891] Bug box when using limited with, between parent and child packages

[laguest at archeia dot com]

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

--- Comment #2 from Luke A. Guest <laguest at archeia dot com> ---
Discovered that this is incorrect code as I can only access types in a limited
with. But the compiler should still produce an error not a bug box.

[Bug ada/58891] Bug box when using limited with, between parent and child packages

[laguest at archeia dot com]

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

Luke A. Guest <laguest at archeia dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|blocker                     |enhancement

--- Comment #3 from Luke A. Guest <laguest at archeia dot com> ---
Enhancement request.