This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: vrp?
- From: Florian Weimer <fw at deneb dot enyo dot de>
- To: Daniel Berlin <dberlin at dberlin dot org>
- Cc: gcc at gcc dot gnu dot org
- Date: Wed, 12 Feb 2003 09:06:41 +0100
- Subject: Re: vrp?
- References: <80D6CABE-3E5C-11D7-9320-000393575BCC@dberlin.org>
Daniel Berlin <dberlin@dberlin.org> writes:
> And hey, any algorithm that can determine:
> [...]
> always returns 1 is okay in my book
Agressive range tracking might reintroduce security defects which have
been "fixed" by relying on undefined behavior. Checking for signed
integer overflow after the fact is quite common, and most C
programmers do not see a problem at all. 8-(