| commit | d40aff57c031d626765691a2f1912ad4e95aa0dc | [log] [tgz] |
|---|---|---|
| author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Jun 16 20:00:14 2014 +0000 |
| committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Jun 16 20:00:14 2014 +0000 |
| tree | 39e80bb63d7103023ae9a276d641d03a58725fd5 | |
| parent | eb3af1c9f7ec37b3855552663e5445fb733fff3c [diff] |
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 a5019735-40e9-0310-863c-91ae7b9d1cf9