gcc-4.9/gcc/testsuite/gnat.dg/warn6.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

package Warn6 is

  package Q is
    type T is private; -- this is the trigger
  private
    type T is access Integer;
    pragma No_Strict_Aliasing (T);

  end Q;

  subtype Q_T is Q.T;

  procedure Dummy;

end Warn6;