tree 288d76036ad46487898b77b76dc7d36a88c5bdb0
parent 859b3fa4eec17ea61db16152d3a570f8473fa955
author philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1330776108 +0000
committer philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1330776108 +0000

* README_DEVELOPERS : complete/enhance the section about outer/inner
* manual-core.xml : fix a typo
* include/pub_tool_inner.h : new file, defining macros for inner annotation
  include/Makefile.am : reference this new file.
* syswrap-linux.c : when ENABLE_INNER, register the stacks for the outer.
   (otherwise, nothing works properly).
* m_redir.c : avoid inner interpreting the outer vgpreload instructions.
* sema.c : annotate the semaphore with RWLOCK annotations for helgrind
* ticket-lock-linux.c : similar.


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