Petar Jovanovic
d75506405e
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
2012-10-26 16:16:43 +00:00
..
2012-08-05 15:46:46 +00:00
2012-10-21 19:43:43 +00:00
2012-08-05 15:46:46 +00:00
2012-10-21 20:21:17 +00:00
2012-08-05 15:46:46 +00:00
2012-09-09 18:30:17 +00:00
2012-08-05 15:46:46 +00:00
2012-08-05 15:46:46 +00:00
2012-08-05 15:46:46 +00:00
2012-08-05 15:46:46 +00:00
2012-06-07 09:23:23 +00:00
2012-08-05 15:46:46 +00:00
2012-08-05 15:46:46 +00:00
2012-08-06 18:34:24 +00:00
2012-08-05 15:46:46 +00:00
2012-08-05 15:46:46 +00:00
2012-08-05 15:46:46 +00:00
2012-08-08 08:03:44 +00:00
2012-08-05 15:46:46 +00:00
2012-08-20 10:40:02 +00:00
2012-10-21 20:21:17 +00:00
2012-08-05 15:46:46 +00:00
2012-10-26 16:16:43 +00:00
2012-08-05 15:46:46 +00:00
2012-10-21 20:21:17 +00:00
2012-10-21 20:21:17 +00:00
2012-10-21 20:21:17 +00:00
2012-10-21 20:21:17 +00:00
2012-08-05 15:46:46 +00:00
2012-10-21 20:21:17 +00:00
2012-10-23 18:03:28 +00:00