COMMON /INS/B(100)
  REAL S(100), T(100)
  ...
  CALL SUB(S,T,S,B,100)
  ...
  SUBROUTINE SUB(X,Y,Z,H,N)
  REAL X(N),Y(N),Z(N),H(N)
  COMMON /INS/B(100)
  ...

dummy

副プログラムの仮引数が互いに別名で参照し合ったり、大域的な変数を別名で参照することができます。 

no%dummy

Fortran 規格に準拠しています。実際の呼び出しで、仮引数が互いを別名で参照し合ったり、大域的な変数を別名で参照することはありません。これがデフォルトです。 

craypointer

プログラムは、任意の場所を指すことのできる Cray ポインタを使用します。これがデフォルトです。 

no%craypointer

Cray ポインタは、常に特定のメモリー領域を指しているか、使用されていません。 

ftnpointer

どの Fortran 95 ポインタも、型、種類、ランクに関係なく任意のターゲット変数を指すことができます。 

no%ftnpointer

Fortran 95 ポインタは規格の規則に従っています。これがデフォルトです。 

overindex

配列の参照時に添字の境界を越えることによって発生する、配列の境界を越えた添字付けには、4 つの状況があります。 プログラムの中でこれらが発生することを許可します。 

• COMMON ブロック内の配列の要素を参照したときに、COMMON ブロックまたは等価なグループ内の要素が参照されることがあります。

• COMMON ブロックまたは等価なグループの要素を実引数として副プログラムに渡すと、その COMMON ブロックまたは等価なグループの任意の要素にアクセスできるようになります。

• 連続構造型の変数が COMMON ブロックとして扱われます。そのような変数の要素は、同じ変数のほかの要素を別名で参照することができます。

• 配列の参照がその配列内にあっても、配列の添字の各境界が越えられることがあります。

  overindex は、配列構文、WHERE 文、FORALL 文には適用されません。これらの構文で配列の境界を越えた添字付けが発生する場合は、DO ループとして構文を書き直す必要があります。

no%overindex

配列の境界を越えることはありません。配列の参照がほかの変数を参照することもありません。これがデフォルトです。 

actual

コンパイラは、副プログラムの実引数を大域的な変数として扱います。副プログラムに引数を渡すと、Cray ポインタを使用した別名参照が行われる可能性があります。 

no%actual

副プログラムに引数を渡しても、そこから別名参照が行われることはありません。これがデフォルトです。 

parameter (n=100)
integer a(n)
common /qq/z(n)
call sub(a,a,z,n)
...
subroutine sub(a,b,c,n)
integer a(n), b(n)
common /qq/z(n)
a(2:n) = b(1:n-1)
c(2:n) = z(1:n-1)
コンパイラは、仮変数や共通の変数がオーバーラップする可能性があることを前提と
する必要があります。

parameter (n=20)
integer a(n)
integer v1(*), v2(*)
pointer (p1,v1)
pointer (p2,v2)
p1 = loc(a)
p2 = loc(a)
a = (/ (i,i=1,n) /)
...
v1(2:n) = v2(1:n-1)
コンパイラは、これらの場所がオーバーラップしている可能性があることを前提とす
る必要があります。

parameter (n=10)
integer a(n+n)
integer v1(n), v2(n)
pointer (p1,v1)
pointer (p2,v2)
p1 = loc(a(1))
p2 = loc(a(n+1))
...
v1(:) = v2(:)
Cray ポインタは、オーバーラップしたメモリー領域を指していません。

parameter (n=20)
integer, pointer :: a(:)
integer, target :: t(n)
interface
  subroutine sub(a,b,n)
    integer, pointer :: a(:)
    integer, pointer :: b(:)
  end subroutine
end interface

a => t
a = (/ (i, i=1,n) /)
call sub(a,a,n)
....
end
subroutine sub(a,b,n)
 integer, pointer :: a(:)
 real, pointer :: b(:)
 integer i, mold

 forall (i=2:n)
   a(i) = transfer(b(i-1), mold)
コンパイラは、a と b がオーバーラップする可能性があることを前提とする必要があり
ます。

integer a,z
common // a(100),z
z = 1
call sub(a)
print*, z
subroutine sub(x)
  integer x(10)
  x(101) = 2
コンパイラは、副プログラムの呼び出しが z への書き込みを引き起こす可能性がある
と想定する可能性があります。
-xalias=overindex を使用してコンパイルすると、プログラムは 1 ではなく 2 を
出力します。

配列の境界を越えて添字が付けられるこの配列構文の例では、正しい結果が得られません。

   parameter (n=10)
   integer a(n),b(n)
   common /qq/a,b
   integer c(n)
   integer m, k
   a = (/ (i,i=1,n) /)
   b = a
   c(1) = 1
   c(2:n) = (/ (i,i=1,n-1) /)

   m = n
   k = n + n
C
C   a への参照は、実際には b を参照しています。
C  これは本来は b(2:n) = b(1:n-1) であるべきです。
C
   a(m+2:k) = b(1:n-1)

C  またはこれを逆に行います。
   a(k:m+2:-1) = b(n-1:1:-1)

ユーザーは直感的に、配列 b が今度は配列 c のようになることを期待しますが、実際
の結果は予測できません。

 program foo
      integer i
      call take_loc(i)
      i = 1
      print * , i
      call use_loc()
      print * , i
   end

   subroutine take_loc(i)
      integer i
      common /loc_comm/ loc_i
      loc_i = loc(i)
   end subroutine take_loc

   subroutine use_loc()
      integer vi1
      pointer (pi,vi)
      common /loc_comm/ loc_i
      pi = loc_i
      vi1 = 3
   end subroutine use_loc