From: steven <steven@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon, 7 May 2012 14:40:33 +0000 (+0000)
Subject: 	PR middle-end/53245
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=fe812b3488ea7f980cd6c41ca28a6069d509f064;p=thirdparty%2Fgcc.git

	PR middle-end/53245
	* gimplify.c (preprocess_case_label_vec_for_gimple): If low or high
	is folded to a type boundary value, verify that the resulting case
	label is still a care range.



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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 133719b3387b..33aae8a11d85 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2012-05-07  Steven Bosscher  <steven@gcc.gnu.org>
+
+	PR middle-end/53245
+	* gimplify.c (preprocess_case_label_vec_for_gimple): If low or high
+	is folded to a type boundary value, verify that the resulting case
+	label is still a care range.
+
 2012-05-07  Uros Bizjak  <ubizjak@gmail.com>
 
 	* config/i386/i386.md (ctz<mode>2): Emit rep;bsf
diff --git a/gcc/gimplify.c b/gcc/gimplify.c
index d7cbc2489a1b..74d789502031 100644
--- a/gcc/gimplify.c
+++ b/gcc/gimplify.c
@@ -1658,6 +1658,10 @@ preprocess_case_label_vec_for_gimple (VEC(tree,heap) *labels,
 		      && tree_int_cst_compare (high, max_value) > 0)
 		    high = max_value;
 		  high = fold_convert (index_type, high);
+
+		  /* We may have folded a case range to a one-value case.  */
+		  if (tree_int_cst_equal (low, high))
+		    high = NULL_TREE;
 		}
 	    }