The C*$* assert no recurrence assertion asks KAP to
ignore ALL data dependence conflicts due to the named variable in
the following DO loop. KAP makes the final decision whether or not
to ignore a data dependence conflict. The following example asks KAP
to ignore all dependence arcs caused by the variable X
in the loop:
C*$* ASSERT NO RECURRENCE ( X )
DO 10 I=1,M,5
10 X(K) = X(K) + X(I)
Not only does KAP ignore the assumed dependence, but also the real
dependence caused by X(K) appearing on both sides of
the assignment.
This assertion only applies to the next DO loop. It cannot be specified as a global assertion.