diff options
| author | Thomas Quinot <quinot@adacore.com> | 2020-02-06 19:03:24 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-05 08:17:54 -0400 |
| commit | 3af132b801a6e58c530a6571117df51bca6f6572 (patch) | |
| tree | 7ac6bd2b78c2ea553f18617ef5a8563d3af22e98 /gcc | |
| parent | faf250080011f5e92a6ba5ee5af22b12654992ba (diff) | |
| download | gcc-3af132b801a6e58c530a6571117df51bca6f6572.zip gcc-3af132b801a6e58c530a6571117df51bca6f6572.tar.gz gcc-3af132b801a6e58c530a6571117df51bca6f6572.tar.bz2 | |
[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.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_disp.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/exp_disp.adb b/gcc/ada/exp_disp.adb index 69c536f..a812556 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)); |