It only claims that for unsigned integers, which is true. It also correctly says that signed overflow is undefined.