]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e28085) | patch
ada: Add Dump_Buffers hooks for code coverage
authorRonan Desplanques <desplanques@adacore.com>
Wed, 15 May 2024 12:35:59 +0000 (14:35 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 20 Jun 2024 08:50:52 +0000 (10:50 +0200)
commit7abf2222bed225e8b39bc2256eebb29692a8fde9
tree4c8a2dcf6d4e539939eb324f94e89f92c9c63803tree
parent2e28085cc3ec07dbf897c9b9f5c64a68cddd3d14commit | diff
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.
gcc/ada/gnat1drv.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git