Please check a bug with GNAT 2016

Please check a bug with GNAT 2016

[Victor Porton]

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

Re: Please check a bug with GNAT 2016

[Michael Rohan]

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.

Re: Please check a bug with GNAT 2016

[stephane.carrez]

Le vendredi 24 juin 2016 18:59:26 UTC+2, Victor Porton a écrit :
> 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

Yes.  It's still present:

+===========================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                                     |

Stephane

Re: Please check a bug with GNAT 2016

[Anh Vo]

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. 

This bug remains in GNAT-GPL-2016 still. The test was conducted on RH Enterprise Linux Workstation release 6.2 (Santiago).

Anh Vo 

Re: Please check a bug with GNAT 2016

[Simon Wright]

Victor Porton <porton@narod.ru> writes:

> I want to check if this bug persists with GNAT 2016:
>
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62235

I proposed a workround on 2014-11-01 at
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62235#c3 - was it any use?

Re: Please check a bug with GNAT 2016

[Victor Porton]

Simon Wright wrote:

> Victor Porton <porton@narod.ru> writes:
> 
>> I want to check if this bug persists with GNAT 2016:
>>
>> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62235
> 
> I proposed a workround on 2014-11-01 at
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62235#c3 - was it any use?

No, I worked on other projects.

I consider to use the workaround, but would prefer to have the bug fixed.

-- 
Victor Porton - http://portonvictor.org