tree 7487e288ec14c33d5657dcab83b72340afb383e6
parent 14baeb40e0f21e629b6e07edc02cf4ca4d6ab31f
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1350854019 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1350854019 +0000

Follow-up to sys_ipc restructuration
Now that the PRE/POS(sys_ipc) code is not duplicated anymore,
fix two strange things in this code:

* PRE(sys_ipc) : add missing ; after the call PRE_REG_READ6
  (strange that this was compiling without it ???)

* POST(sys_ipc) : it seems there was a copy/paste of
  the  PRE(sys_ipc) code for VKI_SEMCTL.
  Cannot understand why we would need to call again
  deref_Addr and ML_(generic_PRE_sys_semctl) in the POST(sys_ipc).


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