111
|
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 } }
|