tree 5acbb20e5f139396b2c51d931596cded219c5e3e
parent e7f9aa4c185bdebd0fd6e8ebf7b2cc36e7cd0fc2
author florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1416850201 +0000
committer florian <florian@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1416850201 +0000

As the BEAM checker correctly points out, the conditions on lines 430 and 485
are always false. I'm keeping them as assertions for documentation purposes.
The proof is left as exercise to the reader.
Hint: use conditions on lines 307 and 311 and the fact that old_len and
old_arg are both unsigned entities.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14778 a5019735-40e9-0310-863c-91ae7b9d1cf9