da04f3ec707985d9c6cc963c1bbe06ee6131308e |
|
08-Mar-2012 |
sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> |
Change the behaviour of --partial-loads-ok=yes to avoid false negatives, by marking the V bits that come from out of range parts of the access as undefined; and hence any use of them leads to an value error. Prior to this they were marked as defined and could be used without error. Behaviour of --partial-loads-ok=no (the default case) is unchanged. Also add some testing thereof. Fixes #294523. Modified version of a patch and testcase by Patrick J. LoPresti (lopresti@gmail.com). git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12430 a5019735-40e9-0310-863c-91ae7b9d1cf9
/external/valgrind/memcheck/tests/test-plo.c
|