Bug 83310 - Compiler crash
Summary: Compiler crash
Status: UNCONFIRMED
Alias: None
Product: gcc
Classification: Unclassified
Component: ada (show other bugs)
Version: 7.2.0
: P3 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-12-07 07:38 UTC by Victor Porton
Modified: 2017-12-07 09:02 UTC (History)
0 users

See Also:
Host:
Target:
Build:
Known to work:
Known to fail:
Last reconfirmed:


Attachments
The source causing the bug (25.13 KB, text/plain)
2017-12-07 07:38 UTC, Victor Porton
Details
forgotten Makefile (208 bytes, text/plain)
2017-12-07 09:01 UTC, Victor Porton
Details
project file (744 bytes, text/plain)
2017-12-07 09:02 UTC, Victor Porton
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Victor Porton 2017-12-07 07:38:18 UTC
Created attachment 42805 [details]
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!
Comment 1 Victor Porton 2017-12-07 09:01:31 UTC
Created attachment 42806 [details]
forgotten Makefile
Comment 2 Victor Porton 2017-12-07 09:02:04 UTC
Created attachment 42807 [details]
project file

note that sources should be put into src/ subfolder