I haven't seen an example where that's the case.

It commonly factors in loop analysis around unrolling and vectorization, e.g. the loop will run exactly 16*n times OR an integer will overflow and it'll run some other number of times.

Use of signed precludes the overflow and the exact bound enables efficient vectorization.