[comex]

Note that since it says 'size == 0', it's not merely "not a certain check", but a check that passes for almost all overflowing values :)