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=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,268e52cd81f7181c X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!weretis.net!feeder4.news.weretis.net!news-peer.in.tum.de!uniol!news From: "Timo Warns" Newsgroups: comp.lang.ada Subject: Re: GNAT bug - still in 2010? Date: 28 Oct 2010 07:17:53 GMT Organization: C. v. Ossietzky Universitaet Oldenburg - Fachbereich Informatik Message-ID: References: <6cebf1a3-3b2a-4e79-a39e-669a6a5ca00c@l20g2000yqm.googlegroups.com> NNTP-Posting-Host: orkan.informatik.uni-oldenburg.de User-Agent: slrn/0.9.8.1pl1 (SunOS) Xref: g2news1.google.com comp.lang.ada:14878 Date: 2010-10-28T07:17:53+00:00 List-Id: It also crashes on Linux: % gnatmake -gnatf -gnatv -gnat05 -gnatwa test.adb gcc -c -gnatf -gnatv -gnat05 -gnatwa test.adb GNAT GPL 2010 (20100603) Copyright 1992-2010, Free Software Foundation, Inc. +===========================GNAT BUG DETECTED==============================+ | GPL 2010 (20100603) (x86_64-pc-linux-gnu) Storage_Error stack overflow (or erroneous memory access)| | Error detected at test.adb:32:4 | | 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 gcc or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | | Use plain ASCII or MIME attachment. | +==========================================================================+ 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). test.adb Compiling: test.adb (source file time stamp: 2010-10-28 07:14:41) 35 lines: No errors compilation abandoned gnatmake: "test.adb" compilation error