From 3b0f4cf9e8094bd22538d5d8b47524ca9b319b0b Mon Sep 17 00:00:00 2001
From: xavier thirioux <xavier.thirioux@isae-supaero.fr>
Date: Fri, 31 Mar 2023 08:14:53 +0200
Subject: [PATCH] removed useless test
---
src/optimize_machine.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/optimize_machine.ml b/src/optimize_machine.ml
index a19e6de6..97a300a7 100644
--- a/src/optimize_machine.ml
+++ b/src/optimize_machine.ml
@@ -966,7 +966,7 @@ let add_ghost_assigns_reassigned rasg instrs =
(fun i ->
match VMap.find_opt i rasg with
| Some ns ->
- IntS.is_empty ns || IntS.exists (( = ) n) ns
+ IntS.exists (( = ) n) ns
| _ ->
false)
il
--
GitLab