2.4.5 Once Time Loop Elimination -otl <boolean>

-otl <boolean>: this option allows (boolean=1) or forbids (boolean=0) the simplification of loops running once. Default value is 1.

/* Generated using a given input file and option -otl 0 */
for (j=i+1;j<=i+1;j++) {
  S1 ;
}

/* Generated using the same input file but option -otl 1 */
j = i+1 ;
S1 ;

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