Fix PR44363: don't abort when the ifcvt analysis fails to recognize a Gimple stmt.

2010-06-02  Sebastian Pop  <sebastian.pop@amd.com>

	PR middle-end/44363
	* tree-if-conv.c (predicate_bbs): Do not call gcc_unreachable,
	return false instead.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f47194c..d64804d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-06-02  Sebastian Pop  <sebastian.pop@amd.com>
+
+       PR middle-end/44363
+       * tree-if-conv.c (predicate_bbs): Do not call gcc_unreachable,
+       return false instead.
+
 2010-06-02  Jan Hubicka  <jh@suse.cz>
 
        PR middle-end/44295

diff --git a/gcc/tree-if-conv.c b/gcc/tree-if-conv.c
index f64623d..f6e8c96 100644 (file)
--- a/gcc/tree-if-conv.c
+++ b/gcc/tree-if-conv.c
@@ -483,8 +483,8 @@ get_loop_body_in_if_conv_order (const struct loop *loop)
    | else
    |   S2;
 
-   S1 will be predicated with "x", and S2 will be predicated with
-   "!x".  */
+   S1 will be predicated with "x", and
+   S2 will be predicated with "!x".  */
 
 static bool
 predicate_bbs (loop_p loop)
@@ -546,12 +546,9 @@ predicate_bbs (loop_p loop)
                break;
              }
 
-           case GIMPLE_SWITCH:
+           default:
              /* Not handled yet in if-conversion.  */
              return false;
-
-           default:
-             gcc_unreachable ();
            }
        }