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: 103376,872c9f672f291e9b X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!newsfeed00.sul.t-online.de!t-online.de!inka.de!rz.uni-karlsruhe.de!news.uni-stuttgart.de!not-for-mail From: Stefan Bellon Newsgroups: comp.lang.ada Subject: Re: GNAT and -fstack-check, does it work? Date: Wed, 14 Nov 2007 13:03:55 +0100 Organization: Comp.Center (RUS), U of Stuttgart, FRG Message-ID: <20071114130355.21349a54@cube.tz.axivion.com> References: <47375ee3$0$27835$39db0f71@news.song.fi> <20071114104918.248861fb@cube.tz.axivion.com> <473acc11$0$27828$39db0f71@news.song.fi> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Trace: infosun2.rus.uni-stuttgart.de 1195041917 12017 129.69.226.23 (14 Nov 2007 12:05:17 GMT) X-Complaints-To: news@news.uni-stuttgart.de NNTP-Posting-Date: Wed, 14 Nov 2007 12:05:17 +0000 (UTC) X-Newsreader: Sylpheed-Claws 2.6.0 (GTK+ 2.8.20; i486-pc-linux-gnu) X-URL: http://www.axivion.com/ Xref: g2news1.google.com comp.lang.ada:18368 Date: 2007-11-14T13:03:55+01:00 List-Id: On Wed, 14 Nov, Niklas Holsti wrote: > Stefan Bellon wrote: > > BTW: We are on Debian as well (although always unstable). > > Thanks for this information. Can you also say if this happens with > the environment task stack, or some other (declared) task stack? > Did you set the GNAT_STACK_LIMIT variable? I tried with and without setting of GNAT_STACK_LIMIT. I set it to several values, always same result. > > Exception name: STORAGE_ERROR [...] > > ... whenever I execute an application compiled with our switches: [...] > > Do I understand correctly that this happens even when your > application does not really cause stack overflow? That is, you get > a *spurious* report of stack overflow? Yes. Without -fstack-check the application runs without any trouble. > But your > spurious exceptions seem to be more reliable (systematic) than the > description of bug 13757 suggests, where it speaks of stack-frame > alignments depending on the length of the program name and so on. Yes, it is very reliable, but on the other hand, our project is far from simple but has a very complex setup. Turning this into a small reproducer is nothing I can do easily. -- Stefan Bellon