-- { dg-do compile }
-- { dg-options "-gnatws" }
package body Case_Null is
procedure P1 (X : T) is
begin
case X is
when S1 =>
null;
when e =>
when others =>
end case;
end P1;
end Case_Null;