This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH RFC: -Wstrict-overflow
- From: Eric Botcazou <ebotcazou at libertysurf dot fr>
- To: Ian Lance Taylor <iant at google dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Thu, 1 Feb 2007 15:02:50 +0100
- Subject: Re: PATCH RFC: -Wstrict-overflow
- References: <m34pq6vaxj.fsf@localhost.localdomain>
> Following -fstrict-overflow, here is the first patch for
> -Wstrict-overflow. This adds a new warning for cases where gcc
> optimizes based on the fact that signed overflow is undefined. Note
> that this is not a warning for code that depends on undefined signed
> overflow: it is a warning for code which is optimized based on
> undefined signed overflow.
Nice work, but...
> I would like to hear comments about this patch. Thanks.
... you're probably one of the very few people who could have crafted such a
patch, thanks to your extensive knowledge of the innards of the compiler.
So I'd share Richard's concerns, this stuff will be barely maintainable by
mere mortals without clear guidelines.
Moreover, what's the relationship implementation-wise between -fs-o and -Ws-o?
Can we devise a single internal API that would combine the 2 features?
--
Eric Botcazou