From: Philippe Waroquiers Date: Tue, 22 Nov 2016 21:16:37 +0000 (+0000) Subject: Comments change only: add the profile of the hook called by the gnat runtime X-Git-Tag: svn/VALGRIND_3_13_0~270 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=482d87b9258ab7e9ba38ba330e447eb47961888d;p=thirdparty%2Fvalgrind.git Comments change only: add the profile of the hook called by the gnat runtime git-svn-id: svn://svn.valgrind.org/valgrind/trunk@16151 --- diff --git a/helgrind/hg_intercepts.c b/helgrind/hg_intercepts.c index ff36e93cba..650b8a1741 100644 --- a/helgrind/hg_intercepts.c +++ b/helgrind/hg_intercepts.c @@ -673,7 +673,11 @@ static int thr_join_WRK(thread_t joinee, thread_t *departed, void **thread_retur // We wrap two hook procedures called by the gnat gcc Ada runtime // that allows helgrind to understand the semantic of Ada task dependencies // and termination. - +// procedure Master_Hook +// (Dependent : Task_Id; +// Parent : Task_Id; +// Master_Level : Integer); +// where type Task_Id is access all Ada_Task_Control_Block; // System.Tasking.Debug.Master_Hook is called by a task Dependent to // indicate that its master is identified by master+master_level. void I_WRAP_SONAME_FNNAME_ZU @@ -707,6 +711,10 @@ void I_WRAP_SONAME_FNNAME_ZU // System.Tasking.Debug.Master_Completed_Hook is called by a task to // indicate that it has completed a master. +// procedure Master_Completed_Hook +// (Self_ID : Task_Id; +// Master_Level : Integer); +// where type Task_Id is access all Ada_Task_Control_Block; // This indicates that all its Dependent tasks (that identified themselves // with the Master_Hook call) are terminated. Helgrind can consider // at this point that the equivalent of a 'pthread_join' has been done