gcc/testsuite/gnat.dg/pure_function3c.adb

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