aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorRichard Guenther <rguenther@suse.de>2009-04-15 14:17:35 +0000
committerRichard Biener <rguenth@gcc.gnu.org>2009-04-15 14:17:35 +0000
commit25e20805c0689319973ce9a5201cd0c3e149c9e2 (patch)
tree087c4f2644cab7d2d923ed965d1fe4f1785ddd09 /gcc
parent90cc3676552866af3edcad820ca5ca60744e2666 (diff)
downloadgcc-25e20805c0689319973ce9a5201cd0c3e149c9e2.zip
gcc-25e20805c0689319973ce9a5201cd0c3e149c9e2.tar.gz
gcc-25e20805c0689319973ce9a5201cd0c3e149c9e2.tar.bz2
re PR tree-optimization/39764 (ICE in set_lattice_value, at tree-ssa-ccp.c:468 with -ffinite-math-only)
2009-04-15 Richard Guenther <rguenther@suse.de> PR tree-optimization/39764 * tree-ssa-ccp.c (get_value): Canonicalize value with canonicalize_float_value. * g++.dg/torture/pr39764.C: New testcase. From-SVN: r146120
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/torture/pr39764.C14
-rw-r--r--gcc/tree-ssa-ccp.c4
4 files changed, 29 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 80f9094..6ba81d2 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-04-15 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/39764
+ * tree-ssa-ccp.c (get_value): Canonicalize value with
+ canonicalize_float_value.
+
2009-04-15 Jan Hubicka <jh@suse.cz>
* builtins.def (va_start, va_end, va_copy): Fix my previous commit.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a6e9bf7..f1a02b0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-04-15 Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/39764
+ * g++.dg/torture/pr39764.C: New testcase.
+
2009-04-15 Nathan Sidwell <nathan@codesourcery.com>
* g++.dg/ext/altivec-17.C: New.
diff --git a/gcc/testsuite/g++.dg/torture/pr39764.C b/gcc/testsuite/g++.dg/torture/pr39764.C
new file mode 100644
index 0000000..a890133
--- /dev/null
+++ b/gcc/testsuite/g++.dg/torture/pr39764.C
@@ -0,0 +1,14 @@
+/* { dg-do compile } */
+
+class A;
+class B { };
+extern const double NaN;
+B foo(A* exec, double d);
+inline B baz(A* a) {
+ return foo(a, NaN);
+}
+B bar(A* a) {
+ return baz(a);
+}
+extern const double NaN = (__builtin_nanf(""));
+
diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c
index 226fd3d..b9b52cd 100644
--- a/gcc/tree-ssa-ccp.c
+++ b/gcc/tree-ssa-ccp.c
@@ -228,6 +228,8 @@ typedef enum
doing the store). */
static prop_value_t *const_val;
+static void canonicalize_float_value (prop_value_t *);
+
/* Dump constant propagation value VAL to file OUTF prefixed by PREFIX. */
static void
@@ -387,6 +389,8 @@ get_value (tree var)
if (val->lattice_val == UNINITIALIZED)
*val = get_default_value (var);
+ canonicalize_float_value (val);
+
return val;
}