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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,b44a149ee4e73a99 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!postnews.google.com!q17g2000vby.googlegroups.com!not-for-mail From: =?ISO-8859-1?Q?bj=F6rn_lundin?= Newsgroups: comp.lang.ada Subject: Re: Runtime check : what about you ? Date: Fri, 17 Jun 2011 13:13:53 -0700 (PDT) Organization: http://groups.google.com Message-ID: <865a6226-4b67-4013-b828-6299f7c5163a@q17g2000vby.googlegroups.com> References: <6cadbbb8-034a-4d03-ab40-615fce6fb715@dn9g2000vbb.googlegroups.com> NNTP-Posting-Host: 85.230.240.167 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: posting.google.com 1308341634 5708 127.0.0.1 (17 Jun 2011 20:13:54 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 17 Jun 2011 20:13:54 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: q17g2000vby.googlegroups.com; posting-host=85.230.240.167; posting-account=3_reEwoAAAC163IAIrx427KYmwahFuh9 User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: HUALESNKRC X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux i686; sv-SE; rv:1.9.2.17) Gecko/20110422 Ubuntu/10.04 (lucid) Firefox/3.6.17,gzip(gfe) Xref: g2news1.google.com comp.lang.ada:19934 Date: 2011-06-17T13:13:53-07:00 List-Id: On 17 Juni, 21:18, Robert A Duff wrote: > bj rn lundin writes: > > We use gnato and fstack-check > > What about -gnata? That too. Like this. From a test implementation on Linux with gpl_2010. Seems I was wrong about fstack-check; I meant -funwind-tables. But I think fstack-check was used before... gcc -c -I./ -g -gnatwlaK -gnatvoU -gnat05 -O0 -funwind-tables -gnatwW - gnatwR -I- -o /home/bnl/programming/svn_base/cl/std/sattmate/target/ adalib/global/stingray/wcs_process_log.o /home/bnl/programming/ svn_base/cl/std/sattmate/source/stingray/local/wcs_process/ wcs_process_log.adb GNAT GPL 2010 (20100603) Copyright 1992-2010, Free Software Foundation, Inc. Compiling: /home/bnl/programming/svn_base/cl/std/sattmate/source/ stingray/local/wcs_process/wcs_process_log.adb (source file time stamp: 2011-06-17 19:50:47) 52 lines: No errors gnatbind -E -x /home/bnl/programming/svn_base/cl/std/sattmate/target/ adalib/global/stingray/wcs_process.ali gnatlink /home/bnl/programming/svn_base/cl/std/sattmate/target/adalib/ global/stingray/wcs_process.ali -g /home/bnl/programming/svn_base/cl/ std/sattmate/source/kernel/utility/global/sattmate.a -L /usr/lib -lpq