7.3.6 Derived Assertions

You can derive some information about the relative values of scalar integers from the if statements in the program, as shown in the following example:

if ( m > n ) {
     for ( i=0; i<n; i++ ) {
     a[i] = a[i+m] + b[i];

The transformations KAP may perform will take into account the fact that the loop can be executed only when the value of m is greater than n .

Previous Page | Next Page | Contents | Index |
Command-Line Qualifiers

Copyright © Digital Equipment Corporation. 1999. All Rights Reserved.