gcc/testsuite/gnat.dg/opt75_pkg.adb

package body Opt75_Pkg is

  overriding procedure Adjust (Object : in out T) is
  begin
    if Object.Ref /= Empty_Rec'Access then
      System.Atomic_Counters.Increment (Object.Ref.Counter);
    end if;
  end;

  A : constant Arr := (others => (others => Empty));

end Opt75_Pkg;