summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/case_null.adb
blob: eba89dc5f13c1ad941bf264cb01eae90d3e3ea0a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
-- { 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 =>
           null;
         when others =>
           null;
      end case;
   end P1;
end Case_Null;