[Bug tree-optimization/50729] [4.7 Regression] Silent code gen fault: Value range propagation seems to propagate values across narrowing/widening

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50729

--- Comment #5 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-17 
12:23:04 UTC ---
Author: rguenth
Date: Mon Oct 17 12:22:54 2011
New Revision: 180087

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180087
Log:
2011-10-17  Richard Guenther  <rguent...@suse.de>

    PR tree-optimization/50729
    * tree-vrp.c (extract_range_from_unary_expr_1): Remove
    redundant test.
    (simplify_conversion_using_ranges): Properly test the
    intermediate result.

    * gcc.dg/torture/pr50729.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr50729.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c