1--  { dg-do run }
2--  { dg-options "-gnata" }
3
4with Ada.Assertions, Ada.Text_IO;
5use  Ada.Assertions, Ada.Text_IO;
6
7with Predicate3_Pkg;
8use  Predicate3_Pkg;
9
10procedure Predicate3 is
11   Got_Assertion : Boolean := False;
12begin
13
14   begin
15      Put_Line (Good (C)'Image);
16   exception
17      when Assertion_Error =>
18         Got_Assertion := True;
19   end;
20
21   if not Got_Assertion then
22      raise Program_Error;
23   end if;
24
25   Got_Assertion := False;
26   declare
27      X: Priv;
28   begin
29      X := Wrong;
30   exception
31      when Assertion_Error =>
32         Got_Assertion := True;
33   end;
34
35   if not Got_Assertion then
36      raise Program_Error;
37   end if;
38
39end Predicate3;
40