This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug other/32358] Acovea finds bugs in GCC 4.3.0 and problems with default optimizations levels
- From: "rob1weld at aol dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 15 Jun 2007 21:32:03 -0000
- Subject: [Bug other/32358] Acovea finds bugs in GCC 4.3.0 and problems with default optimizations levels
- References: <bug-32358-13830@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #4 from rob1weld at aol dot com 2007-06-15 21:32 -------
Thanks.
With Acovea I was able to discover the bug in a few hours with little effort
and provide a more trivial testcase with a better analysis.
Would someone run Acovea once a month on a few files to test gcc ?
I thought of another wonderful use for it. Alter Acovea or write a small
program so it can generate the .md's (and other such files) to produce
super-optimal code that runs as fast as possible and takes the least space for
each supported processor.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32358