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.