From: rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Tue, 9 Sep 2008 10:06:54 +0000 (+0000)
Subject: 2008-09-09  Richard Guenther  <rguenther@suse.de>
X-Git-Tag: upstream/4.9.2~39792
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=8ef4f12460a6eea74ed3f8bc49276e46f081b039;p=platform%2Fupstream%2Flinaro-gcc.git

2008-09-09  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/37433
	* tree-ssa-ccp.c (ccp_fold): Properly guard folding of
	function calls.

	* gcc.c-torture/compile/pr37433.c: New testcase.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@140143 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c7848ff..970450b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 2008-09-09  Richard Guenther  <rguenther@suse.de>
 
+	PR tree-optimization/37433
+	* tree-ssa-ccp.c (ccp_fold): Properly guard folding of
+	function calls.
+
+2008-09-09  Richard Guenther  <rguenther@suse.de>
+
 	PR tree-optimization/37387
 	* tree-ssa-ifcombine.c (ifcombine_iforif): Convert the name
 	and bits to a common type.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c83bb25..1378257 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
 2008-09-09  Richard Guenther  <rguenther@suse.de>
 
+	PR tree-optimization/37433
+	* gcc.c-torture/compile/pr37433.c: New testcase.
+
+2008-09-09  Richard Guenther  <rguenther@suse.de>
+
 	PR tree-optimization/37387
 	* gcc.c-torture/compile/pr37387.c: New testcase.
 
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr37433.c b/gcc/testsuite/gcc.c-torture/compile/pr37433.c
new file mode 100644
index 0000000..0ba1179
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr37433.c
@@ -0,0 +1,11 @@
+int regex_subst(void)
+{
+  const void *subst = "";
+  return (*(int (*)(int))subst) (0);
+}
+
+int foobar (void)
+{
+  int x;
+  return (*(int (*)(void))&x) ();
+}
diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c
index 8f700c4..22626a5 100644
--- a/gcc/tree-ssa-ccp.c
+++ b/gcc/tree-ssa-ccp.c
@@ -1047,6 +1047,7 @@ ccp_fold (gimple stmt)
 	      fn = val->value;
 	  }
 	if (TREE_CODE (fn) == ADDR_EXPR
+	    && TREE_CODE (TREE_OPERAND (fn, 0)) == FUNCTION_DECL
 	    && DECL_BUILT_IN (TREE_OPERAND (fn, 0)))
 	  {
 	    tree *args = XALLOCAVEC (tree, gimple_call_num_args (stmt));