> That only works if you know that there is no overflow. You will have a > hard time arguing that we never hit the case that sizetype calculations do > overflow. The premise is that the behavior of the program is undefined in this case. -- Eric Botcazou