testsuite/gnat.dg/case_null.adb

-- { 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;