summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>2005-08-19 18:08:55 +0000
committerdnovillo <dnovillo@138bc75d-0d04-0410-961f-82ee72b054a4>2005-08-19 18:08:55 +0000
commit8df8d61f081139c519c2250e16f1880a5c0eb4a2 (patch)
treee021dbfc4fa5df69c8229745ea8e626e837dee2f
parent449ec7dc7c89a5733d3a69a9b2180f5e8dfe02ee (diff)
downloadgcc-8df8d61f081139c519c2250e16f1880a5c0eb4a2.tar.gz
PR 23476
* tree-cfgcleanup.c (cleanup_control_expr_graph): Fold the conditional expression before testing its value. PR 23476 * gcc.c-torture/compile/pr23476.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@103290 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.c-torture/compile/pr23476.c14
-rw-r--r--gcc/tree-cfgcleanup.c4
4 files changed, 27 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7b7465ab5ce..f19ee5c5b6c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
2005-08-19 Diego Novillo <dnovillo@redhat.com>
+ PR 23476
+ * tree-cfgcleanup.c (cleanup_control_expr_graph): Fold the
+ conditional expression before testing its value.
+
+2005-08-19 Diego Novillo <dnovillo@redhat.com>
+
* doc/invoke.texi: Fix documentation for -ftree-dominator-opts.
2005-08-19 Devang Patel <dpatel@apple.com>
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ffb5f055767..5abaa13028b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2005-08-19 Diego Novillo <dnovillo@redhat.com>
+
+ PR 23476
+ * gcc.c-torture/compile/pr23476.c: New test.
+
2005-08-19 Devang Patel <dpatel@apple.com>
PR tree-optimization/23048
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr23476.c b/gcc/testsuite/gcc.c-torture/compile/pr23476.c
new file mode 100644
index 00000000000..9cccde6e9b2
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr23476.c
@@ -0,0 +1,14 @@
+int h(int);
+int t;
+static inline int f(const int i)
+{
+ int tt = i;
+ _Bool a = i < t;
+ if (a)
+ return h(t);
+ return 9;
+}
+int g(void)
+{
+ return f(0x7FFFFFFF);
+}
diff --git a/gcc/tree-cfgcleanup.c b/gcc/tree-cfgcleanup.c
index f8bca03e9df..0f8bfc5ec1b 100644
--- a/gcc/tree-cfgcleanup.c
+++ b/gcc/tree-cfgcleanup.c
@@ -81,11 +81,11 @@ cleanup_control_expr_graph (basic_block bb, block_stmt_iterator bsi)
switch (TREE_CODE (expr))
{
case COND_EXPR:
- val = COND_EXPR_COND (expr);
+ val = fold (COND_EXPR_COND (expr));
break;
case SWITCH_EXPR:
- val = SWITCH_COND (expr);
+ val = fold (SWITCH_COND (expr));
if (TREE_CODE (val) != INTEGER_CST)
return false;
break;