From dc433c92714e7ea4485a87cfec3b07a3c36910d8 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Thu, 7 Mar 2019 16:32:16 +0000
Subject: Remove more dead branches

---
 src/constant_propagation.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/constant_propagation.ml b/src/constant_propagation.ml
index d0b524ed..33b67008 100644
--- a/src/constant_propagation.ml
+++ b/src/constant_propagation.ml
@@ -866,9 +866,9 @@ let remove_impossible_int_cases _ =
   let e_if (cond, e_then, e_else) =
     match destruct_atom_bool (env_of cond) (typ_of cond) with
     | Some nc ->
-       if prove __POS__ (Env.add_constraint nc (env_of cond)) nc_false
-       then unaux_exp e_else
-       else E_if (cond, e_then, e_else)
+       if prove __POS__ (env_of cond) nc then unaux_exp e_then else
+       if prove __POS__ (env_of cond) (nc_not nc) then unaux_exp e_else else
+       E_if (cond, e_then, e_else)
     | _ -> E_if (cond, e_then, e_else)
   in
   let open Rewriter in
-- 
cgit v1.2.3