re PR tree-optimization/23476 (ICE in VRP, remove_range_assertions)

	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.

From-SVN: r103290

gcc/ChangeLog

 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>

gcc/testsuite/ChangeLog

+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

gcc/testsuite/gcc.c-torture/compile/pr23476.c

+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);
+}

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;