2 -- { dg-options "-O0 -gnata -gnateV" }
4 with Ada
.Exceptions
; use Ada
.Exceptions
;
6 procedure Valid_Scalars2
is
8 Traced
: Boolean := False;
10 procedure Trace
(E
: in Exception_Occurrence
) is
11 pragma Assert
(E
'Valid_scalars);
20 pragma Assert
(E
'Valid_scalars);