2 -- { dg-options "-gnatws -gnatVa" }
4 pragma Initialize_Scalars
;
11 procedure Uninit
(B
: out Boolean) is
21 -- first, check that initialize_scalars is enabled
28 when Constraint_Error
=> null;
31 -- second, check if copyback of an invalid value raises constraint error
35 -- we expect constraint error in the 'if' above according to gnat ug:
37 -- call. Note that there is no specific option to test `out'
38 -- parameters, but any reference within the subprogram will be tested
39 -- in the usual manner, and if an invalid value is copied back, any
40 -- reference to it will be subject to validity checking.
46 when Constraint_Error
=> null;