gcc/testsuite/gnat.dg/assertion_policy1.adb

   1 --  { dg-do run }
   2 --  { dg-options "-gnata" }
   3
   4 with Ada.Text_IO; use Ada.Text_IO;
   5 with Assertion_Policy1_Pkg; use Assertion_Policy1_Pkg;
   6
   7 procedure Assertion_Policy1 is
   8 begin
   9    Proc (2, 1);
  10
  11 exception
  12    when others =>
  13       Put_Line ("ERROR: unexpected exception");
  14       raise;
  15 end Assertion_Policy1;