diff --git a/testsuite/gnat2goto/tests/enum_out_param/enum_out.adb b/testsuite/gnat2goto/tests/enum_out_param/enum_out.adb
new file mode 100644
index 000000000..4fbd6bcab
--- /dev/null
+++ b/testsuite/gnat2goto/tests/enum_out_param/enum_out.adb
@@ -0,0 +1,14 @@
+procedure Enum_Out is
+   type Enum is (One, Two, Three);
+
+   procedure P_Out (E : out Enum) is
+   begin
+      E := Two;
+   end P_Out;
+
+   Var_E : Enum;
+
+begin
+   P_Out (Var_E);
+   pragma Assert (Var_E = Two);
+end Enum_Out;
diff --git a/testsuite/gnat2goto/tests/enum_out_param/test.opt b/testsuite/gnat2goto/tests/enum_out_param/test.opt
new file mode 100644
index 000000000..ec4050d23
--- /dev/null
+++ b/testsuite/gnat2goto/tests/enum_out_param/test.opt
@@ -0,0 +1 @@
+ALL XFAIL gnat2goto fails with "raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : failed precondition from ireps.ads:1875"
diff --git a/testsuite/gnat2goto/tests/enum_out_param/test.out b/testsuite/gnat2goto/tests/enum_out_param/test.out
new file mode 100644
index 000000000..30c1435ad
--- /dev/null
+++ b/testsuite/gnat2goto/tests/enum_out_param/test.out
@@ -0,0 +1,2 @@
+[1] file enum_out.adb line 13 assertion: SUCCESS
+VERIFICATION SUCCESSFUL
diff --git a/testsuite/gnat2goto/tests/enum_out_param/test.py b/testsuite/gnat2goto/tests/enum_out_param/test.py
new file mode 100644
index 000000000..0017741b4
--- /dev/null
+++ b/testsuite/gnat2goto/tests/enum_out_param/test.py
@@ -0,0 +1,3 @@
+from test_support import *
+
+prove()