instrument-projects.adb: fix handling of No_Body units as closure roots
See merge request eng/das/cov/gnatcoverage!1117
Units that contain only `pragma No_Body;` should be ignored when
computing an Ada source closure: LibGPR2 assigns them no name (so
gnatcov could crash with an assertion failure), and they cannot have
dependencies anyway.
For https://gitlab.adacore-it.com/eng/das/cov/gnatcoverage/-/issues/496
Units that contain only `pragma No_Body;` should be ignored when
computing an Ada source closure: LibGPR2 assigns them no name (so
gnatcov could crash with an assertion failure), and they cannot have
dependencies anyway.
sc_obligations.adb: make fingerprints insensitive to line number changes
Closes#455
See merge request eng/das/cov/gnatcoverage!1111
This allows passing to `gnatcov coverage` traces produced before the
addition of exemption annotations (or gnatcov-unrelated annotation) to
source code.
This commit also adapts `320-varying-scos` tests so that SCOS that are
supposed to be distinct get different column numbers, in order to
correctly exercise the "SCO fingerprint mismatch" behavior.
Closes https://gitlab.adacore-it.com/eng/das/cov/gnatcoverage/-/issues/455
This allows passing to `gnatcov coverage` traces produced before the
addition of exemption annotations (or gnatcov-unrelated annotation) to
source code.
This commit also adapts `320-varying-scos` tests so that SCOS that are
supposed to be distinct get different column numbers, in order to
correctly exercise the "SCO fingerprint mismatch" behavior.
Following the update to GCC 15 on aarch64-elf, some tests started
misbehaving with -O1. XFAIL the tests while investigations and fixes
are made on the GCC side.
(cherry picked from commit 746e5d02b4)
716-static-decision-merging-in-ckpt: shorten name for Windows
See merge request eng/das/cov/gnatcoverage!1108
Some testsuite runs on Windows are done in a directory whose name is
long enough for this group of tests to hit the 256 bytes limit for
filenames on Windows. Shorten this directory name to avoid this problem
in practice.
For https://gitlab.adacore-it.com/eng/gpr/gpr-issues/-/issues/646
Some testsuite runs on Windows are done in a directory whose name is
long enough for this group of tests to hit the 256 bytes limit for
filenames on Windows. Shorten this directory name to avoid this problem
in practice.
