[Ada] Add note about gnatcov reliance on thunk names

2020-06-05  Thomas Quinot  <quinot@adacore.com>

gcc/ada/

	* exp_disp.adb (Expand_Interface_Thunk): Add comment about
	gnatcov reliance on specific name used for thunks.

diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb
index 69c536f799df645859693f692e8390c7eebc6121..a81255601e30555280441ad8165df536999b88bf 100644 (file)
--- a/gcc/ada/exp_disp.adb
+++ b/gcc/ada/exp_disp.adb
@@ -2137,6 +2137,11 @@ package body Exp_Disp is
       end loop;
 
       Thunk_Id := Make_Temporary (Loc, 'T');
+
+      --  Note: any change to this symbol name needs to be coordinated
+      --  with GNATcoverage, as that tool relies on it to identify
+      --  thunks and exclude them from source coverage analysis.
+
       Set_Ekind (Thunk_Id, Ekind (Prim));
       Set_Is_Thunk (Thunk_Id);
       Set_Convention (Thunk_Id, Convention (Prim));