Parse poison values as non-deterministic values (#565)

Signed-off-by: Hernan Ponce de Leon <[email protected]> Co-authored-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Nov 13, 2023 · d3981bf · d3981bf
1 parent 33fb46f
commit d3981bf
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLlvm.java b/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLlvm.java
@@ -865,6 +865,12 @@ public Expression visitArrayConst(ArrayConstContext ctx) {
         return expressions.makeArray(elementType, arrayValues, true);
     }
 
+    @Override
+    public Expression visitPoisonConst(PoisonConstContext ctx) {
+        // It is correct to replace a poison value with an undef value or any value of the type.
+        return makeNonDetOfType(expectedType);
+    }
+
     @Override
     public Expression visitStructConst(StructConstContext ctx) {
         List<Expression> structMembers = new ArrayList<>();