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 <rguent...@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
