2.4.6 Equality Spreading -esp <boolean>

-esp <boolean>: this option allows (boolean=1) or forbids (boolean=0) values spreading when there are equalities. Default value is 1.

/* Generated using a given input file and option -esp 0 */
i = M+2 ;
j = N ;
for (k=i;k<=j+M;k++) {
  S1 ;
}

/* Generated using the same input file but option -esp 1 */
for (k=M+2;k<=N+M;k++) {
  S1(i = M+2, j = N) ;
}

This document was generated on August 20, 2013 using texi2html 5.0.