gimple-low.c (block_may_fallthru): Correct handling of SWITCH_EXPR--may fall through...

2005-01-25  Ian Lance Taylor  <ian@airs.com>

	* gimple-low.c (block_may_fallthru): Correct handling of
	SWITCH_EXPR--may fall through if SWITCH_LABELS is NULL.

From-SVN: r94250

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e693af116a38f6dee744817165693a2864ef9507..8f843be74799817c52d292ba8e452660ec386a0e 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2005-01-25  Ian Lance Taylor  <ian@airs.com>
+
+       * gimple-low.c (block_may_fallthru): Correct handling of
+       SWITCH_EXPR--may fall through if SWITCH_LABELS is NULL.
+
 2005-01-26  Hans-Peter Nilsson  <hp@axis.com>
 
        * config/cris/cris.h (CPP_SPEC): Adjust the various mtune=

diff --git a/gcc/gimple-low.c b/gcc/gimple-low.c
index 17ba0393c25bda78f8de13e00f740f3e60d995bd..fe63addd4a7a6843ecb99bdb7a68a1120360b5a9 100644 (file)
--- a/gcc/gimple-low.c
+++ b/gcc/gimple-low.c
@@ -287,7 +287,7 @@ block_may_fallthru (tree block)
         branch to a selected label and hence can not fall through.
         Otherwise SWITCH_BODY is set, and the switch can fall
         through.  */
-      return SWITCH_LABELS (stmt) != NULL_TREE;
+      return SWITCH_LABELS (stmt) == NULL_TREE;
 
     case COND_EXPR:
       if (block_may_fallthru (COND_EXPR_THEN (stmt)))