[Bug ada/83310] New: Compiler crash

["porton at narod dot ru" <gcc-bugzilla at gcc dot gnu dot org>]

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

            Bug ID: 83310
           Summary: Compiler crash
           Product: gcc
           Version: 7.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: porton at narod dot ru
  Target Milestone: ---

Created attachment 42805
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42805&action=edit
The source causing the bug

Use the attached all.chop. Chop it with gnatchop.

I have not succeeded to create a minimal testing example, the attached sources
are rather long.

$ make
GPR_PROJECT_PATH="/usr/local/stow/rdf-ada/share/gpr" gprbuild
--relocate-build-tree -p -s -we libxmlboiler.gpr \
                 -XLIBRARY_KIND=dynamic -XOBJ_DIR=./obj-dynamic
-Xsoversion=libxmlboiler.so.0.0.1 -XMODE=Install -XDEBUG_MODE=debug 
Compile
   [Ada]          boiler-global.adb
   [Ada]          boiler-rdf_format.ads
   [Ada]          boiler-rdf_format-resource-parser.adb
+===========================GNAT BUG DETECTED==============================+
| 7.2.0 (x86_64-linux-gnu) Storage_Error stack overflow or erroneous memory
access|
| Error detected at boiler-rdf_format-resource-parser.adb:9:32             |
| Please submit a bug report; see https://gcc.gnu.org/bugs/ .              |
| 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 command that you entered.                              |
| Also include sources listed below.                                       |
+==========================================================================+

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

/home/porton/Projects/bug/src/boiler-rdf_format-resource-parser.adb
/home/porton/Projects/bug/src/boiler-rdf_format-resource-parser.ads
/home/porton/Projects/bug/src/boiler-rdf_format-resource.ads
/home/porton/Projects/bug/src/boiler-rdf_format.ads
/home/porton/Projects/bug/src/boiler.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-uri.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-auxiliary.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor-uri.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-auxiliary-handled_record.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor-world.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-auxiliary-limited_handled_record.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor-iostream.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor-term.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor-namespace_stack.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor-namespace.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-world.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-rasqal.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-rasqal-world.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor-log.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-node.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-model.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-statement.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor-statement.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-stream.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-node_iterator.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-iterator.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-storage.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-query.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-raptor-syntaxes.ads
/usr/local/stow/rdf-ada/include/librdf.dynamic/rdf-redland-query_results.ads
/home/porton/Projects/bug/src/boiler-rdf_recursive_descent.ads
/home/porton/Projects/bug/src/boiler-global.ads
/home/porton/Projects/bug/src/boiler-directories.ads
/home/porton/Projects/bug/src/boiler-rdf_recursive_descent-enums.ads
/usr/share/ada/adainclude/simple-components/generic_directed_graph.ads
/usr/share/ada/adainclude/simple-components/generic_set.ads
/usr/share/ada/adainclude/simple-components/generic_unbounded_array.ads
/usr/share/ada/adainclude/simple-components/generic_address_order.ads
/home/porton/Projects/bug/src/boiler-rdf_recursive_descent.adb
/home/porton/Projects/bug/src/bindings/gettext_lib.ads
/home/porton/Projects/bug/src/boiler-auxiliary.ads
/home/porton/Projects/bug/src/boiler-auxiliary-string_formatter.ads

boiler-rdf_format-resource-parser.adb:6:78: warning: others choice is redundant
boiler-rdf_format-resource-parser.adb:6:78: warning: previous choices cover all
components
compilation abandoned


$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/7/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 7.2.0-16'
--with-bugurl=file:///usr/share/doc/gcc-7/README.Bugs
--enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++ --prefix=/usr
--with-gcc-major-version-only --program-suffix=-7
--program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--with-default-libstdcxx-abi=new --enable-gnu-unique-object
--disable-vtable-verify --enable-libmpx --enable-plugin --enable-default-pie
--with-system-zlib --with-target-system-zlib --enable-objc-gc=auto
--enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64
--with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic
--enable-offload-targets=nvptx-none --without-cuda-driver
--enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu
--target=x86_64-linux-gnu
Thread model: posix
gcc version 7.2.0 (Debian 7.2.0-16) 


I am tired to work as a bug tester of the Ada compiler instead of application
programmer. I leave Ada and try to rewrite my code in another language!