gcc/testsuite/gnat.dg/stack_usage2.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -fstack-usage" }
   3
   4 with System;
   5
   6 procedure Stack_Usage2 is
   7
   8    Sink : System.Address;
   9    pragma Import (Ada, Sink);
  10
  11    procedure Transmit_Data (Branch : Integer) is
  12       pragma No_Inline (Transmit_Data);
  13       X : Integer;
  14    begin
  15       case Branch is
  16          when 1 => Sink := X'Address;
  17          when others => null;
  18       end case;
  19    end;
  20
  21 begin
  22    Transmit_Data (Branch => 1);
  23 end;
  24
  25 -- { dg-final { scan-stack-usage-not ":Constprop" } }
  26 -- { dg-final { cleanup-stack-usage } }