[Bug tree-optimization/59014] [4.9 Regression] wrong code at -Os and above on x86_64-linux-gnu

[jakub at gcc dot gnu.org]

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Nov 26 21:29:30 2013
New Revision: 205417

URL: http://gcc.gnu.org/viewcvs?rev=205417&root=gcc&view=rev
Log:
    PR tree-optimization/59014
    * tree-vrp.c (register_edge_assert_for_1): Don't look
    through conversions from non-integral types or through
    narrowing conversions.

    * gcc.c-torture/execute/pr59014.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr59014.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c