On Apr 22, 2010, at 4:14 PM, Dan Gohman wrote: > > // Can we change i from i32 to i64 to eliminate the cast inside the loop? > for (int i = 0; i < n; ++i) A[i] *= 0.1; Actually, as written this loop can be analyzed without nsw. This should have been "!=" instead of "<". Dan