initial commit -- fix binop on labels

herd · Sep 29, 2023 · 59dae74 · 59dae74
1 parent 1c97172
commit 59dae74
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/lib/symbValue.ml b/lib/symbValue.ml
@@ -285,6 +285,8 @@ module
     | (Val (Instruction _),Val (Instruction _))
       ->
         Val (Concrete (Cst.Scalar.of_int (compare  v1 v2)))
+    | (Val (Label _),_) | (_,Val (Label _))
+      -> Val (Cst.one)
     (* 0 is sometime used as invalid PTE, no orpat because warning 57
        cannot be disabled in some versions ?  *)
     | (Val (PteVal _),Val cst)