]> git.ipfire.org Git - thirdparty/valgrind.git/commit
projects / thirdparty / valgrind.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 065a14f) | patch
As the BEAM checker correctly points out, the conditions on lines 430 and 485
authorFlorian Krohm <florian@eich-krohm.de>
Mon, 24 Nov 2014 17:30:01 +0000 (17:30 +0000)
committerFlorian Krohm <florian@eich-krohm.de>
Mon, 24 Nov 2014 17:30:01 +0000 (17:30 +0000)
commit872d358bab4f785c6cc0946e4689f54e5e5d794b
tree5acbb20e5f139396b2c51d931596cded219c5e3etree | snapshot
parent065a14f0abb579c24c426ffe05c7035cf0c48f00commit | diff
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
coregrind/m_syswrap/syswrap-generic.c diff | blob | blame | history
Mirror of https://sourceware.org/git/valgrind.git