Philippe Waroquiers f3ee06ddce Add helgrind intercepts to have helgrind understanding Ada tasks terination rules ...

A recent gnatpro version is needed for this to work.

Thanks to these intercepts, some false positive errors are avoided,
and helgrind properly recuperates some internal memory associated
to the terminated task.



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

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

..

docs

Factorises the address code description and printing

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

tests

have helgrind filter_stderr transforming tid n into tid #x

2014-06-06 23:45:46 +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

Factorises the address code description and printing

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

hg_addrdescr.h

Factorises the address code description and printing

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

hg_basics.c

Update copyright dates (20XY-2012 ==> 20XY-2013)

2013-10-18 14:27:36 +00:00

hg_basics.h

Update copyright dates (20XY-2012 ==> 20XY-2013)

2013-10-18 14:27:36 +00:00

hg_errors.c

Factorises the address code description and printing

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

hg_errors.h

Helgrind : two new gdbserver commands 'describe address' and 'info locks'

2014-05-03 11:12:50 +00:00

hg_intercepts.c

Add helgrind intercepts to have helgrind understanding Ada tasks terination rules

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

hg_lock_n_thread.c

Update copyright dates (20XY-2012 ==> 20XY-2013)

2013-10-18 14:27:36 +00:00

hg_lock_n_thread.h

Update copyright dates (20XY-2012 ==> 20XY-2013)

2013-10-18 14:27:36 +00:00

hg_main.c

Add helgrind intercepts to have helgrind understanding Ada tasks terination rules

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

hg_wordset.c

Update copyright dates (20XY-2012 ==> 20XY-2013)

2013-10-18 14:27:36 +00:00

hg_wordset.h

Update copyright dates (20XY-2012 ==> 20XY-2013)

2013-10-18 14:27:36 +00:00

libhb_core.c

clo_processing is now done when this procedure is called.

2014-04-26 22:50:08 +00:00

libhb.h

Update copyright dates (20XY-2012 ==> 20XY-2013)

2013-10-18 14:27:36 +00:00

Makefile.am

Helgrind : two new gdbserver commands 'describe address' and 'info locks'

2014-05-03 11:12:50 +00:00

README_MSMProp2.txt

Merge Helgrind from branches/YARD into the trunk. Also includes some

2008-10-25 16:22:41 +00:00

README_YARD.txt

Merge Helgrind from branches/YARD into the trunk. Also includes some

2008-10-25 16:22:41 +00:00