From ebc49829603077493b3d8b1ca6372749ea38c802 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 22 Feb 2012 07:39:54 +0100
Subject: [PATCH] Remove unreachable code.

---
 src/mc/mc_liveness.c | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index efc9d49cac..3f0b223b6c 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -757,18 +757,15 @@ int MC_automaton_evaluate_label(xbt_exp_label_t l){
     int left_res = MC_automaton_evaluate_label(l->u.or_and.left_exp);
     int right_res = MC_automaton_evaluate_label(l->u.or_and.right_exp);
     return (left_res || right_res);
-    break;
   }
   case 1 : {
     int left_res = MC_automaton_evaluate_label(l->u.or_and.left_exp);
     int right_res = MC_automaton_evaluate_label(l->u.or_and.right_exp);
     return (left_res && right_res);
-    break;
   }
   case 2 : {
     int res = MC_automaton_evaluate_label(l->u.exp_not);
     return (!res);
-    break;
   }
   case 3 : { 
     unsigned int cursor = 0;
@@ -781,15 +778,12 @@ int MC_automaton_evaluate_label(xbt_exp_label_t l){
       }
     }
     return -1;
-    break;
   }
   case 4 : {
     return 2;
-    break;
   }
   default : 
     return -1;
-    break;
   }
 }
 
-- 
2.20.1