commit | 73a0e197297f580535771936e8a83b80b9c72db8 | [log] [tgz] |
---|---|---|
author | petarj <petarj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Oct 26 16:16:43 2012 +0000 |
committer | petarj <petarj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Fri Oct 26 16:16:43 2012 +0000 |
tree | 31c8965f22c2ee58fa297de7c136117d0eb0160d | |
parent | 6da2d4516df9c3cdfad4a1fc490da8918fd54cc5 [diff] |
Additional refinement in PRE(sys_ipc). Additional refinement in PRE(sys_ipc) on which arguments to check for the call. This is still a simplistic check, yet it should resolve additional cases. One of the resolved cases is memcheck/tests/sem on MIPS. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13084 a5019735-40e9-0310-863c-91ae7b9d1cf9