If an unsigned variable becomes zero after incrementing, overflow has occurred. Wrapping (probably better described as confirming to modulo rules) is a basic property of unsigned types.