You've already forked gnatcoverage
mirror of
https://github.com/AdaCore/gnatcoverage.git
synced 2026-02-12 12:44:55 -08:00
445b6ac68b
Instrumenters always know the absolute filenames for sources, so indexing by simple name is never needed. Indexing by simple name is actually harmful when multiple sources have the same basename, as this makes `gnatcov coverage` emit spurious `Warning: same base name for files` messages. Fix wrong relative source file names in `--subprograms` tests that used to work because of the simple name indexing.