Merged with trunk at revision 162480.ifunc

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/ifunc@162483 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 32 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/modular3.adb b/gcc/testsuite/gnat.dg/modular3.adb
new file mode 100644
index 00000000000..539edcaf4d4
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/modular3.adb
@@ -0,0 +1,32 @@
+-- { dg-do run }
+
+with Modular3_Pkg; use Modular3_Pkg;
+
+procedure Modular3 is
+
+  function F1 (A : Int16_T) return Int16_T is
+  begin
+    return A + 128;
+  end;
+
+  function F2 (B : Mod16_T) return Mod16_T is
+  begin
+    return B + 128;
+  end;
+
+  A : Int16_T := 16384;
+  B : Mod16_T := 65504;
+
+begin
+
+  A := F1 (A);
+  if A /= 16512 then
+    raise Program_Error;
+  end if;
+
+  B := F2 (B);
+  if B /= 96 then
+    raise Program_Error;
+  end if;
+
+end Modular3;