Re: Please check a bug with GNAT 2016

[Michael Rohan <michael@zanyblue.com>]

On Friday, June 24, 2016 at 9:59:26 AM UTC-7, Victor Porton wrote:
> I want to check if this bug persists with GNAT 2016:
> 
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62235
> 
> For GNAT 2016 I need 64 bit Linux, but currently I have only 32 bit 
> installation. It would be very tedious and potentially dangerous to wipe out 
> my filesystem and install Linux on my PC anew. I do not want to do it only 
> to make sure of one bug in GNAT.
> 
> Please somebody with 64 bit Linux check if this bug is fixed. It is easy for 
> you.
> 
> I need this information in order to write an important free software. Do it 
> for me, because you will be my user.
> 
> -- 
> Victor Porton - http://portonvictor.org

Hi,

It appears to still be present in GNAT 2016:

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/gnat/2016/bin/../libexec/gcc/x86_64-pc-linux-gnu/4.9.4/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../src/configure --enable-languages=ada,c,c++ --enable-dual-exceptions --enable-_cxa_atexit --enable-threads=posix --with-bugurl=URL:mailto:report@adacore.com --disable-nls --without-libiconv-prefix --disable-libstdcxx-pch --disable-libada --enable-checking=release --disable-multilib --with-mpfr=/boron.a/gnatmail/sandbox/gpl-2016/x86_64-linux/mpfr_stable/install --with-gmp=/boron.a/gnatmail/sandbox/gpl-2016/x86_64-linux/gmp_stable/install --with-mpc=/boron.a/gnatmail/sandbox/gpl-2016/x86_64-linux/mpc_stable/install --with-build-time-tools=/boron.a/gnatmail/sandbox/gpl-2016/x86_64-linux/gcc/build/buildtools/bin --prefix=/boron.a/gnatmail/sandbox/gpl-2016/x86_64-linux/gcc/pkg --build=x86_64-pc-linux-gnu
Thread model: posix
gcc version 4.9.4 20160426 (for GNAT GPL 2016 20160515) (GCC) 

$ gnatgcc -c -fPIC -g -O2 -gnat2012 -g -O0 -gnato -fstack-check -gnatVa rdf-raptor-log.adb
The program 'gnatgcc' is currently not installed.  You can install it by typing:
sudo apt-get install gnat
[ZB] (venv)mrohan@ubuntu:~/tmp/gnat-bug$ gcc -c -fPIC -g -O2 -gnat2012 -g -O0 -gnato -fstack-check -gnatVa rdf-raptor-log.adb
+===========================GNAT BUG DETECTED==============================+
| GPL 2016 (20160515-49) (x86_64-pc-linux-gnu) Storage_Error stack overflow or erroneous memory access|
| Error detected at s-stoele.adb:36:20                                     |
| Please submit a bug report by email to report@adacore.com.               |
| GAP members can alternatively use GNAT Tracker:                          |
| http://www.adacore.com/ section 'send a report'.                         |
| See gnatinfo.txt for full info on procedure for submitting 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.                                       |
| Use plain ASCII or MIME attachment(s).                                   |
+==========================================================================+

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

rdf-raptor-log.adb
rdf-raptor-log.ads
rdf-raptor.ads
rdf.ads
rdf-auxilary.ads
rdf-auxilary-handled_record.ads
rdf-raptor-uri.ads
rdf-raptor-world.ads
rdf-auxilary-limited_handled_record.ads
rdf-raptor-iostream.ads
rdf-raptor-term.ads
rdf-raptor-namespaces_stacks.ads
rdf-raptor-namespaces.ads
rdf-raptor-statement.ads
rdf-raptor-memory.ads
rdf-auxilary-handled_record.adb

compilation abandoned

Take care,
Michael.