blob: 4b1b30ef7ce3aee9298ec58c4fcdbfdd050866a7 [file] [log] [blame]
-- { dg-do compile }
-- { dg-options "-gnatws" }
package body Case_Null is
procedure P1 (X : T) is
begin
case X is
when S1 => -- { dg-error "not.*static" }
null;
when e =>
null;
when others =>
null;
end case;
end P1;
end Case_Null;