1-- { dg-do compile { target i?86-*-linux* x86_64-*-linux* } }
2-- { dg-options "-O3 -gnatp" }
3
4package body Machine_Attr1 is
5
6  procedure Proc1 is
7  begin
8    Proc3;
9    Proc4;
10  end;
11
12  procedure Proc2 is
13  begin
14    Proc1;
15  end;
16
17  procedure Proc3 is
18  begin
19    A (1) := 0;
20  end;
21
22  procedure Proc4 is
23  begin
24    A (2) := 0;
25  end;
26
27  procedure Proc5 is
28  begin
29    for I in A'Range loop
30      A(I) := B(I) + C(I);
31    end loop;
32  end;
33
34  procedure Proc6 is
35  begin
36    for I in A'Range loop
37      A(I) := B(I) + C(I);
38    end loop;
39  end;
40
41end Machine_Attr1;
42