aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/case_optimization3.adb
blob: 6887f325d4d59fd06efa92870e85f9533add5343 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
-- { dg-do compile }

package body Case_Optimization3 is

   procedure Proc (Val : T_RANGE) is
   begin
      case Val is
         when 0 =>
            raise Program_Error;
         when 1 =>
            null;
         when 2 =>
            null;
         when 3 =>
            null;
         when 4 =>
            null;
         when others =>
            null;
      end case;
   end;

end Case_Optimization3;

-- { dg-final { scan-assembler-not "__ucmpdi2" } }