ftmemsim-valgrind

mirror of https://github.com/Zenithsiz/ftmemsim-valgrind.git synced 2026-02-08 04:55:52 +00:00

History

Philippe Waroquiers dd6256c019 Helgrind lock related error msg improvements.

* Add lock announcements in various helgrind errors that were not 
  announcing the locks
* ensure locks are also announced in xml (note that this is compatible
  with xml protocol version 4, so no impact on GUI which properly 
  implement the protocol)

Changes done:
* Like other HG record_error functions, HG_(record_error_LockOrder) is
  now passing Lock* rather than lock guest addresses.
* update exp files for tests that were showing locks without announcing them
* change tc14_laog_dinphils.c and tc15_laog_lockdel.c so as to
  have same sizes on 32 and 64 bits systems for allocated or symbol sizes.
* factorise all code that was announcing first lock observation
* enable xml lock announcement

  



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14204

2014-07-29 20:08:15 +00:00

docs

Factorises the address code description and printing

2014-05-14 20:39:27 +00:00

tests

Helgrind lock related error msg improvements.

2014-07-29 20:08:15 +00:00

helgrind.h

Add helgrind intercepts to have helgrind understanding Ada tasks terination rules

2014-06-16 20:00:14 +00:00

hg_addrdescr.c

Patch adding (or showing the proper/not confusing) helgrind thread nr for block