From d44f3dedd5f62978be437a1f04e9369fe5ff35af Mon Sep 17 00:00:00 2001
From: karoliineh <karoliine.holter@ut.ee>
Date: Sat, 16 Sep 2023 13:10:05 +0300
Subject: [PATCH] Change non-equivalent pattern match back to original

---
 src/cdomains/regionDomain.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cdomains/regionDomain.ml b/src/cdomains/regionDomain.ml
index 8fd318fa64..f47088baa0 100644
--- a/src/cdomains/regionDomain.ml
+++ b/src/cdomains/regionDomain.ml
@@ -45,7 +45,7 @@ struct
       | Lval lval -> BatOption.map (fun (deref, v, offs) -> (deref, v, `NoOffset)) (eval_lval deref lval)
       | AddrOf lval -> eval_lval deref lval
       | CastE (typ, exp) -> eval_rval deref exp
-      | BinOp (_, p, i, typ) -> eval_rval deref p
+      | BinOp ((MinusPI | PlusPI | IndexPI), p, i, typ) -> eval_rval deref p
       | _ -> None
     and eval_lval deref lval =
       match lval with