diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2024-05-15 14:35:59 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-20 10:50:52 +0200 |
| commit | 7abf2222bed225e8b39bc2256eebb29692a8fde9 (patch) | |
| tree | 4c8a2dcf6d4e539939eb324f94e89f92c9c63803 /gcc/rtl.cc | |
| parent | 2e28085cc3ec07dbf897c9b9f5c64a68cddd3d14 (diff) | |
| download | gcc-7abf2222bed225e8b39bc2256eebb29692a8fde9.zip gcc-7abf2222bed225e8b39bc2256eebb29692a8fde9.tar.gz gcc-7abf2222bed225e8b39bc2256eebb29692a8fde9.tar.bz2 | |
ada: Add Dump_Buffers hooks for code coverage
The purpose of this patch is to make it possible to set up code
coverage for the GNAT front end in gnat1 using GNATcoverage. It is
not obvious how to have GNATcoverage instrument gnat1's main function,
and since the front end has a clear entry point (Gnat1drv), we add
manual instrumentation annotations there.
gcc/ada/
* gnat1drv.adb (Gnat1drv): Add coverage instrumentation
annotations.
Diffstat (limited to 'gcc/rtl.cc')
0 files changed, 0 insertions, 0 deletions