This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
Re: [Bug middle-end/22429] [4.1 Regression] -1073741824 <= n && n <= 1073741823 is true where n is 1073741824
- From: Andrew Pinski <pinskia at physics dot uc dot edu>
- To: gcc-bugzilla at gcc dot gnu dot org
- Cc: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 13 Oct 2005 12:12:33 -0400 (EDT)
- Subject: Re: [Bug middle-end/22429] [4.1 Regression] -1073741824 <= n && n <= 1073741823 is true where n is 1073741824
>
>
>
> ------- Comment #9 from bonzini at gcc dot gnu dot org 2005-10-13 16:09 -------
> As in:
>
> if (value != 0
> && (!flag_wrapv || TREE_OVERFLOW (value))
> && (flag_wrapv || !TYPE_UNSIGNED (etype)))
>
> which in turn means
>
> if (value != 0
> && (flag_wrapv ? TREE_OVERFLOW (value) : !TYPE_UNSIGNED (etype)))
That is what my patch does.
The extra stuff was needed to make sure that Ada would be able to bootstrap.
-- Pinski