From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.36.82.20 with SMTP id d20mr826852itb.6.1466812919168; Fri, 24 Jun 2016 17:01:59 -0700 (PDT) X-Received: by 10.157.43.150 with SMTP id u22mr285292ota.17.1466790797833; Fri, 24 Jun 2016 10:53:17 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!r1no573800ige.0!news-out.google.com!i62ni1913ith.0!nntp.google.com!jk6no565269igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 24 Jun 2016 10:53:17 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=208.91.1.34; posting-account=1YPeQwoAAACAk-xhKPD32B0GIDdsFFtk NNTP-Posting-Host: 208.91.1.34 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Please check a bug with GNAT 2016 From: Michael Rohan Injection-Date: Sat, 25 Jun 2016 00:01:59 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:30912 Date: 2016-06-24T10:53:17-07:00 List-Id: 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: >=20 > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D62235 >=20 > For GNAT 2016 I need 64 bit Linux, but currently I have only 32 bit=20 > installation. It would be very tedious and potentially dangerous to wipe = out=20 > my filesystem and install Linux on my PC anew. I do not want to do it onl= y=20 > to make sure of one bug in GNAT. >=20 > Please somebody with 64 bit Linux check if this bug is fixed. It is easy = for=20 > you. >=20 > I need this information in order to write an important free software. Do = it=20 > for me, because you will be my user. >=20 > --=20 > Victor Porton - http://portonvictor.org Hi, It appears to still be present in GNAT 2016: $ gcc -v Using built-in specs. COLLECT_GCC=3Dgcc COLLECT_LTO_WRAPPER=3D/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=3Dada,c,c++ --enable-d= ual-exceptions --enable-_cxa_atexit --enable-threads=3Dposix --with-bugurl= =3DURL:mailto:report@adacore.com --disable-nls --without-libiconv-prefix --= disable-libstdcxx-pch --disable-libada --enable-checking=3Drelease --disabl= e-multilib --with-mpfr=3D/boron.a/gnatmail/sandbox/gpl-2016/x86_64-linux/mp= fr_stable/install --with-gmp=3D/boron.a/gnatmail/sandbox/gpl-2016/x86_64-li= nux/gmp_stable/install --with-mpc=3D/boron.a/gnatmail/sandbox/gpl-2016/x86_= 64-linux/mpc_stable/install --with-build-time-tools=3D/boron.a/gnatmail/san= dbox/gpl-2016/x86_64-linux/gcc/build/buildtools/bin --prefix=3D/boron.a/gna= tmail/sandbox/gpl-2016/x86_64-linux/gcc/pkg --build=3Dx86_64-pc-linux-gnu Thread model: posix gcc version 4.9.4 20160426 (for GNAT GPL 2016 20160515) (GCC)=20 $ 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 ty= ping: 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 +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3DGNAT BUG DETECTED=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+ | 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). = | +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= + 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.