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: 103376,bdebc54a485c13a4 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Received: by 10.68.202.168 with SMTP id kj8mr600053pbc.1.1333150934544; Fri, 30 Mar 2012 16:42:14 -0700 (PDT) Path: r9ni5pbh.0!nntp.google.com!news1.google.com!postnews.google.com!a5g2000vbl.googlegroups.com!not-for-mail From: onox Newsgroups: comp.lang.ada Subject: Re: My first compiler bug: work around or redesign? Date: Fri, 30 Mar 2012 16:42:14 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <2229037.332.1332788108220.JavaMail.geo-discussion-forums@vbht7> <19538743.70.1333009514665.JavaMail.geo-discussion-forums@ynes7> NNTP-Posting-Host: 82.139.123.174 Mime-Version: 1.0 X-Trace: posting.google.com 1333150934 24172 127.0.0.1 (30 Mar 2012 23:42:14 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Fri, 30 Mar 2012 23:42:14 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: a5g2000vbl.googlegroups.com; posting-host=82.139.123.174; posting-account=BtkjvAoAAADwEquGb07eykXfyiDMOxfl User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (X11; Linux i686; rv:9.0) Gecko/20100101 Firefox/9.0,gzip(gfe) Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2012-03-30T16:42:14-07:00 List-Id: On Mar 29, 10:25=A0am, Ludovic Brenta wrote: > Natasha Kerensikova wrote on comp.lang.ada: > > > Ludovic Brenta wrote: > >> Report it to the FSF athttp://gcc.gnu.org/bugzilla. IMHO, a public bug > >> database is worth a thousand private ones. > > >http://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D52752 > > > Below is the minimal testcase I have worked out. > > > Is there anything I should do at this point? Or will everything leading > > to a fix be handled from there? > > Just wait for someone to fix the bug and then consider backporting > the fix into your distribution's version of GNAT. > > But Per Sandberg wrote the day before on comp.lang.ada: > > > Any way it is reported. > > which pointed me tohttp://gcc.gnu.org/PR52735 > > So you should indicate that your bug is a duplicate with a more > minimal test case. > > -- > Ludovic Brenta. It seems the error is triggered in a different .c file with GPL 2010: gnatmake -v -gnat05 -gnatd -O0 testcase.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 2010 (20100603) (i686-pc-linux-gnu) GCC error: | | in simplify_subreg, at simplify-rtx.c: 4924 | | Error detected around test.adb:16 ... compilation abandoned gnatmake -v -gnat05 -gnatd -O1 testcase.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 2010 (20100603) (i686-pc-linux-gnu) GCC error: | | in simplify_subreg, at simplify-rtx.c: 4924 | | Error detected around test.adb:21 ... raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:423 gnatmake -v -gnat05 -gnatd -O2 testcase.adb: gcc -c -gnat05 -gnatd -O2 test.adb raised STORAGE_ERROR : stack overflow (or erroneous memory access) No gnat bug box with -O2 :/