diff --git a/tests/opt/bug4610.ys b/tests/opt/bug4610.ys new file mode 100644 index 000000000..fc9f0ae43 --- /dev/null +++ b/tests/opt/bug4610.ys @@ -0,0 +1,15 @@ +read_ilang <