diff --git a/gcc/testsuite/gcc.dg/pr105770.c b/gcc/testsuite/gcc.dg/pr105770.c
new file mode 100644
index 0000000000000000000000000000000000000000..c1e0140292045193f8324bf0e590327d1e57bee9
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr105770.c
@@ -0,0 +1,19 @@
+/* PR tree-optimization/105770 */
+/* { dg-do compile } */
+/* { dg-options "-O1 -funswitch-loops -fno-tree-forwprop" } */
+
+char a;
+
+void
+foo (void)
+{
+  while (a)
+    switch (a)
+      {
+      case ' ':
+      case '\t':
+	return;
+      }
+
+  __builtin_unreachable ();
+}
diff --git a/gcc/tree-ssa-loop-unswitch.cc b/gcc/tree-ssa-loop-unswitch.cc
index ad1d05ccdffec5a05c4bcb6968ce3736c35b893a..2b6013e9d6963dc9f738797ee14d5c7bc74103dd 100644
--- a/gcc/tree-ssa-loop-unswitch.cc
+++ b/gcc/tree-ssa-loop-unswitch.cc
@@ -494,6 +494,7 @@ find_unswitching_predicates_for_bb (basic_block bb, class loop *loop,
     {
       unsigned nlabels = gimple_switch_num_labels (stmt);
       tree idx = gimple_switch_index (stmt);
+      tree idx_type = TREE_TYPE (idx);
       if (!gimple_range_ssa_p (idx) || nlabels < 1)
 	return;
       /* Index must be invariant.  */
@@ -525,16 +526,18 @@ find_unswitching_predicates_for_bb (basic_block bb, class loop *loop,
 	  if (CASE_HIGH (lab) != NULL_TREE)
 	    {
 	      tree cmp1 = fold_build2 (GE_EXPR, boolean_type_node, idx,
-				       CASE_LOW (lab));
+				       fold_convert (idx_type,
+						     CASE_LOW (lab)));
 	      tree cmp2 = fold_build2 (LE_EXPR, boolean_type_node, idx,
-				       CASE_HIGH (lab));
+				       fold_convert (idx_type,
+						     CASE_HIGH (lab)));
 	      cmp = fold_build2 (BIT_AND_EXPR, boolean_type_node, cmp1, cmp2);
 	      lab_range.set (CASE_LOW (lab), CASE_HIGH (lab));
 	    }
 	  else
 	    {
 	      cmp = fold_build2 (EQ_EXPR, boolean_type_node, idx,
-				 CASE_LOW (lab));
+				 fold_convert (idx_type, CASE_LOW (lab)));
 	      lab_range.set (CASE_LOW (lab));
 	    }