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!
