gcc/testsuite/gnat.dg/case_null.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 package body Case_Null is
   5    procedure P1 (X : T) is
   6    begin
   7       case X is
   8          when S1 =>  -- { dg-error "not.*static" }
   9            null;
  10          when e =>
  11            null;
  12          when others =>
  13            null;
  14       end case;
  15    end P1;
  16 end Case_Null;