[Bug tree-optimization/63914] ICE in set_lattice_value, at tree-ssa-ccp.c:517

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63914

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Tue Nov 18 13:03:46 2014
New Revision: 217712

URL: https://gcc.gnu.org/viewcvs?rev=217712&root=gcc&view=rev
Log:
2014-11-18  Richard Biener  <rguenther@suse.de>

    PR tree-optimization/63914
    * tree-ssa-ccp.c (canonicalize_value): Remove float value
    canonicalization.
    (valid_lattice_transition): Allow (partial) transition
    from NaN to non-NaN if !HONOR_NANS.
    (set_lattice_value): Check for valid lattice transitions
    only when checking is enabled.

    * gcc.dg/pr63914.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/pr63914.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-ccp.c