From: Thomas Quinot <quinot@adacore.com>
Date: Thu, 6 Feb 2020 18:03:24 +0000 (+0100)
Subject: [Ada] Add note about gnatcov reliance on thunk names
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3af132b801a6e58c530a6571117df51bca6f6572;p=gcc.git

[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 69c536f799d..a81255601e3 100644
--- 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));