What is the explanation for “warning: assuming that the loop is not infinite”

Question

I had just taken the decision to change as many variables from unsigned to int and upon recompiling the code in question, was greeted by this warning m

Answer 1

I think that GCC is telling you that it can't determine that the loop is not infinite and is carrying on with compilation regardless. It's a warning, not an error, something you may want to think about.