gcc/testsuite/gnat.dg/opt51.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -fdump-tree-optimized" }
   3
   4 with Opt51_Pkg; use Opt51_Pkg;
   5
   6 procedure Opt51 (E: Enum; F : out Float) is
   7 begin
   8   case (E) is
   9     when One =>
  10       F := 1.0;
  11     when Two =>
  12       F := 2.0;
  13     when Three =>
  14       F := 3.0;
  15     when others =>
  16       raise Program_Error;
  17   end case;
  18 end;
  19
  20 -- { dg-final { scan-tree-dump-not "check_PE_Explicit_Raise" "optimized" } }