gcc/testsuite/gnat.dg/predicate13.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

--  { dg-do compile }
generic
package Predicate13 is

    function Valid return Boolean is
    (True);

    function Foo return Boolean is
    (True);

    type State_Type is (Valid, Invalid);
    type Context_Type is private;

    private

    type Context_Type is
    record
    State : State_Type;
    end record  with Dynamic_Predicate => (State = Valid);

    procedure Dummy;

end Predicate13;