In Clight, revised handling of comparisons between pointers and 0

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@447 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 1 insertions, 3 deletions

diff --git a/cfrontend/Cshmgen.v b/cfrontend/Cshmgen.v
index 6ec3757..4090c55 100644
--- a/cfrontend/Cshmgen.v
+++ b/cfrontend/Cshmgen.v
@@ -174,10 +174,8 @@ Definition make_shr (e1: expr) (ty1: type) (e2: expr) (ty2: type) :=
 Definition make_cmp (c: comparison) (e1: expr) (ty1: type) (e2: expr) (ty2: type) :=
   match classify_cmp ty1 ty2 with
   | cmp_case_I32unsi => OK (Ebinop (Ocmpu c) e1 e2)
-  | cmp_case_ii => OK (Ebinop (Ocmp c) e1 e2)
+  | cmp_case_ipip => OK (Ebinop (Ocmp c) e1 e2)
   | cmp_case_ff => OK (Ebinop (Ocmpf c) e1 e2)
-  | cmp_case_pi => OK (Ebinop (Ocmp c) e1 e2)
-  | cmp_case_pp => OK (Ebinop (Ocmp c) e1 e2)
   | cmp_default => Error (msg "Cshmgen.make_shr")
   end.