Subject: bug#58007: 28.1; compilation-error-properties skips non-matching FILE indices

From: Lars Ingebrigtsen <[email-masked]>
Date: Fri, 23 Sep 2022 18:10:14 +0200

Axel Forsman <[email-masked]> writes:

> which clearly, unambiguously implies that if the FILE index does not match
> then the previous file name should be used for the error.
> However that is not what the code does currently,
> instead it skips such matches.

Do you have a test case that demonstrates the problem?

> I have attached a patch containing my suggested fix.

I think this change might be too large to apply without having an FSF
copyright assignment on file -- would you be willing to sign such
paperwork?