Change edge_to_cases_cleanup to return true.

2011-05-13  Nathan Froyd  <froydnj@codesourcery.com>

	PR middle-end/48965
	* tree-cfg.c (edge_to_cases_cleanup): Return true.
	(verify_expr) [CASE_LABEL_EXPR]: Add checking.

From-SVN: r173733

gcc/ChangeLog

+2011-05-13  Nathan Froyd  <froydnj@codesourcery.com>
+
+	PR middle-end/48965
+	* tree-cfg.c (edge_to_cases_cleanup): Return true.
+	(verify_expr) [CASE_LABEL_EXPR]: Add checking.
+
 2011-05-13  Kai Tietz  <ktietz@redhat.com>
 
 	* gimplify.c (gimplify_expr): Make sure operand is boolified.

gcc/tree-cfg.c

@@ -843,7 +843,7 @@ edge_to_cases_cleanup (const void *key ATTRIBUTE_UNUSED, void **value,
     }
 
   *value = NULL;
-  return false;
+  return true;
 }
 
 /* Start recording information mapping edges to case labels.  */
@@ -2830,6 +2830,14 @@ verify_expr (tree *tp, int *walk_subtrees, void *data ATTRIBUTE_UNUSED)
 	*walk_subtrees = 0;
       break;
 
+    case CASE_LABEL_EXPR:
+      if (CASE_CHAIN (t))
+	{
+	  error ("invalid CASE_CHAIN");
+	  return t;
+	}
+      break;
+
     default:
       break;
     }