gcc/testsuite/gnat.dg/test_casesi.adb

-- { dg-do run }
-- { dg-options "-O2" }

with Casesi;
procedure Test_Casesi is
begin
  Casesi.Try (1);
  Casesi.Try (2);
  Casesi.Try (3);
end;