Parse poison values as non-deterministic values

Signed-off-by: Hernan Ponce de Leon <[email protected]>

dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLlvm.java

@@ -859,6 +859,14 @@ 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.
+        BooleanType booleanType = types.getBooleanType();
+        var nondeterministicExpression = new BNonDet(booleanType);
+        return expressions.makeCast(nondeterministicExpression, expectedType);
+    }
+
     @Override
     public Expression visitStructConst(StructConstContext ctx) {
         List<Expression> structMembers = new ArrayList<>();