This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Fix PR26998, bad logic in VRP for NEGATE_EXPR
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Richard Guenther <rguenther at suse dot de>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 09 Jun 2006 08:18:57 -0400
- Subject: Re: [PATCH] Fix PR26998, bad logic in VRP for NEGATE_EXPR
- References: <Pine.LNX.4.64.0606081404370.4318@nyjnma.fhfr.qr>
Richard Guenther wrote on 06/09/06 04:15:
> 2006-06-08 Richard Guenther <rguenther@suse.de>
>
> PR tree-optimization/26998
> * tree-vrp.c (extract_range_from_unary_expr): For NEGATE_EXPR
> of signed types, only TYPE_MIN_VALUE is special, but for both,
> minimum and maximum value. Likewise VR_ANTI_RANGE is special
> in this case, as is -fwrapv.
>
> * gcc.dg/torture/pr26998.c: New testcase.
> * gcc.dg/tree-ssa/vrp29.c: New testcase.
>
OK. Thanks for the detailed description.