From 412dd7641e710990fc011b48460f9c372f979b57 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Mon, 26 Sep 2011 12:41:17 +0000 Subject: [PATCH] opt22.adb: New test. 2011-09-26 Eric Botcazou * gnat.dg/opt22.adb: New test. * gnat.dg/opt22_pkg.ad[sb]: New helper. From-SVN: r179194 --- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gnat.dg/opt22.adb | 20 ++++++++++++++++++++ gcc/testsuite/gnat.dg/opt22_pkg.adb | 15 +++++++++++++++ gcc/testsuite/gnat.dg/opt22_pkg.ads | 7 +++++++ 4 files changed, 47 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/opt22.adb create mode 100644 gcc/testsuite/gnat.dg/opt22_pkg.adb create mode 100644 gcc/testsuite/gnat.dg/opt22_pkg.ads diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2546ce138a9..35dea739f78 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2011-09-26 Eric Botcazou + + * gnat.dg/opt22.adb: New test. + * gnat.dg/opt22_pkg.ad[sb]: New helper. + 2011-09-26 Eric Botcazou * gnat.dg/opt21.adb: New test. diff --git a/gcc/testsuite/gnat.dg/opt22.adb b/gcc/testsuite/gnat.dg/opt22.adb new file mode 100644 index 00000000000..6ea2440e970 --- /dev/null +++ b/gcc/testsuite/gnat.dg/opt22.adb @@ -0,0 +1,20 @@ +-- { dg-do run } +-- { dg-options "-O" } + +with Opt22_Pkg; use Opt22_Pkg; + +procedure Opt22 is + + procedure Go (S : String) is + begin + begin + Fail; + exception + when Constraint_Error => Put ("the " & S); + end; + Put ("the " & S); + end; + +begin + Go ("message"); +end; diff --git a/gcc/testsuite/gnat.dg/opt22_pkg.adb b/gcc/testsuite/gnat.dg/opt22_pkg.adb new file mode 100644 index 00000000000..fa05dfe3a55 --- /dev/null +++ b/gcc/testsuite/gnat.dg/opt22_pkg.adb @@ -0,0 +1,15 @@ +package body Opt22_Pkg is + + procedure Fail is + begin + raise Constraint_Error; + end; + + procedure Put (S : String) is + begin + if S /= "the message" then + raise Program_Error; + end if; + end; + +end Opt22_Pkg; diff --git a/gcc/testsuite/gnat.dg/opt22_pkg.ads b/gcc/testsuite/gnat.dg/opt22_pkg.ads new file mode 100644 index 00000000000..282240946f8 --- /dev/null +++ b/gcc/testsuite/gnat.dg/opt22_pkg.ads @@ -0,0 +1,7 @@ +package Opt22_Pkg is + + procedure Fail; + + procedure Put (S : String); + +end Opt22_Pkg; -- 2.30.2