Change non-equivalent pattern match back to original

goblint · Sep 16, 2023 · d44f3de · d44f3de
1 parent 3bf5268
commit d44f3de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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