1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/sso19.adb b/gcc/testsuite/gnat.dg/sso19.adb
new file mode 100644
index 0000000..497d9874
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/sso19.adb
@@ -0,0 +1,13 @@
+--  { dg-do run }
+--  { dg-options "-O2" }
+
+with SSO19_Pkg; use SSO19_Pkg;
+
+procedure SSO19 is
+  R : constant Rec := (D => (I => 8, F => 4.6095713E-41));
+
+begin
+  if not Is_Valid (R) then
+    raise Program_Error;
+  end if;
+end;