gcc/testsuite/gnat.dg/opt94.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O -gnatn -fdump-tree-optimized" }
   3
   4 with Opt94_Pkg; use Opt94_Pkg;
   5
   6 function Opt94 (S : String) return Integer is
   7   A : constant String := Get;
   8
   9 begin
  10   if Valid_Result (A) then
  11     return Result (A);
  12   else
  13     return -1;
  14   end if;
  15 end;
  16
  17 -- { dg-final { scan-tree-dump-times "worker" 1 "optimized" } }