1-- { dg-do compile } 2-- { dg-options "-O -gnatws -fdump-tree-optimized" } 3 4with Pure_Function3_Pkg; use Pure_Function3_Pkg; 5 6procedure Pure_Function3b is 7 V : T; 8begin 9 if F (V) = 1 then 10 raise Program_Error; 11 end if; 12 Set (V); 13 if F (V) = 2 then 14 raise Program_Error; 15 end if; 16end; 17 18-- { dg-final { scan-tree-dump-times "pure_function3_pkg.f" 2 "optimized" } } 19