AssertRelation

The AssertRelation assertion gives a relation which is asserted to be true at a point in the program. This extra information can help the analysis find parallelism, in some cases.

The CSRD directive form of the AssertRelation assertion is:

CSRD$ RELATION   L .GT. 5

An example of its usage is as follows:

CSRD$ RELATION   (L .GT. 5)
        A(L) =   . . . 
          . . .