summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/case_optimization1.adb
blob: 3273b16fe77ee9b649f5266de7cf8a445c8d4a37 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
-- { dg-do compile }
-- { dg-options "-O2" }

package body Case_Optimization1 is

   function F (Op_Kind : Internal_Operator_Symbol_Kinds) return Integer is
   begin
      case Op_Kind is
         when A_Not_Operator => return 3;
         when An_Exponentiate_Operator => return 2;
         when others => return 1;
      end case;
   end;

   function Len (E : Element) return Integer is
      Op_Kind : Internal_Element_Kinds := Int_Kind (E);
   begin
      return F (Int_Kind (E));
   end;

end Case_Optimization1;