public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "gnugcc at marino dot st" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug ada/46490] For four major i386 BSDs, GNAT fails FP to static integer conversion with -O2,-O3 optimization Date: Tue, 16 Nov 2010 10:49:00 -0000 [thread overview] Message-ID: <bug-46490-4-5PlOirFgCs@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-46490-4@http.gcc.gnu.org/bugzilla/> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46490 --- Comment #5 from John Marino <gnugcc at marino dot st> 2010-11-16 10:35:54 UTC --- Hi Eric, Thanks for you comment, but I don't think that is it for several reasons: 1) I am aware of both those quirks, and my codebase is patched with both of those suggestions. 2) There's no problem with stack checking on FreeBSD i386. There are no failures whatsoever on either ACATS or gnat.dejagnu except for this particular case of c460007. NetBSD stack-checking doesn't work, but that's outside this bug report. 3) The test passes with optimization level 0 or 1. It fails with O2 and O3 settings. 4) There are no other rounding issues. If TARGET_96_ROUND_53_LONG_DOUBLE is not set correctly, multiple tests fail. 5) It's occurring identically on all four i386 platforms which are pretty divergent. This looks like a problem in the optimization stage. The two test cases I provided are interesting as you can see the test will pass if the EQUAL function is nested inside the main procedure rather than being called as a separate package (also pointing to a problem in optimization I would think.) This warrants a closer look, it's not a configuration thing. Thanks, John
next prev parent reply other threads:[~2010-11-16 10:36 UTC|newest] Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top 2010-11-15 19:54 [Bug ada/46490] New: " gnugcc at marino dot st 2010-11-15 19:58 ` [Bug ada/46490] " gnugcc at marino dot st 2010-11-15 19:58 ` gnugcc at marino dot st 2010-11-15 20:10 ` gnugcc at marino dot st 2010-11-16 8:28 ` ebotcazou at gcc dot gnu.org 2010-11-16 10:49 ` gnugcc at marino dot st [this message] 2010-11-16 11:25 ` [Bug ada/46490] ACATS cb460007 fails at -O2 or above ebotcazou at gcc dot gnu.org 2010-11-16 11:43 ` gnugcc at marino dot st 2010-11-16 11:48 ` [Bug ada/46490] ACATS c460007 " ebotcazou at gcc dot gnu.org 2010-11-16 17:11 ` [Bug rtl-optimization/46490] [4.6 regression] " ebotcazou at gcc dot gnu.org 2010-11-16 22:32 ` ebotcazou at gcc dot gnu.org 2010-11-16 22:35 ` ebotcazou at gcc dot gnu.org 2010-11-16 23:08 ` gnugcc at marino dot st
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-46490-4-5PlOirFgCs@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).