gcc/testsuite/gnat.dg/opt97.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -fdump-tree-optimized" }
   3
   4 with System.Unsigned_Types; use System.Unsigned_Types;
   5
   6 function Opt97 (X, Y : Unsigned) return Unsigned is
   7
   8   pragma Suppress (All_Checks);
   9
  10   Z : Unsigned;
  11
  12 begin
  13   if X >= 2 then
  14     return 0;
  15   end if;
  16
  17   Z := Y;
  18   if X = 1 then
  19     Z := Y + 4;
  20   end if;
  21
  22   return Z / X;
  23 end;
  24
  25 -- { dg-final { scan-tree-dump "/" "optimized" } }