1 files changed, 18 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/opt12.adb b/gcc-4.9/gcc/testsuite/gnat.dg/opt12.adb
new file mode 100644
index 000000000..e8b5c4787
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/gnat.dg/opt12.adb
@@ -0,0 +1,18 @@
+-- { dg-do run }
+-- { dg-options "-O2" }
+
+with Opt12_Pkg; use Opt12_Pkg;
+
+procedure Opt12 is
+
+   Static_Target : Static_Integer_Subtype;
+
+begin
+
+   Static_Target := Static_Integer_Subtype(Fix_Half);
+
+   if not Equal(Static_Target, 1) then
+     raise Program_Error;
+   end if;
+
+end Opt12;