1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/case_optimization1.adb b/gcc/testsuite/gnat.dg/case_optimization1.adb
new file mode 100644
index 000000000..3273b16fe
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/case_optimization1.adb
@@ -0,0 +1,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;