SimpleForBlock lb/ub
If the index variable is unsigned, the transformation for changing
size_t i;
size_t n = 0;
for (i = 0; i < n; ++i)
to
for (i = 0; i <= n-1; ++i)
could be invalid for n = 0, since it produces an infinite loop. The same problem appears for signed and INT_MIN.