gcc/testsuite/gnat.dg/opt94.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

-- { dg-do compile }
-- { dg-options "-O -gnatn -fdump-tree-optimized" }

with Opt94_Pkg; use Opt94_Pkg;

function Opt94 (S : String) return Integer is
  A : constant String := Get;

begin
  if Valid_Result (A) then
    return Result (A);
  else
    return -1;
  end if;
end;

-- { dg-final { scan-tree-dump-times "worker" 1 "optimized" } }