Re: [PATCH] Eclair: scan the last xen-syms linking pass on Arm

[Jan Beulich <jbeulich@suse.com>]

On 06.10.2026 16:23, Dmytro Prokopchuk1 wrote:
> Hiding .xen-syms.[013] assumed the almost-final image is always pass 2.
> On x86 LAST_LINKING_PASS is 2, so .xen-syms.2 stays visible. On Arm
> LAST_LINKING_PASS is 3 and the final image is .xen-syms.3, which was
> hidden. Pass 2 is usually only a symlink, so Eclair saw no program link
> and reported every translation unit as unreachable.

When I did that work, rule 2.1 ended up clean for both ARM64-* analysis
jobs (iirc). Upon re-checking I now see that ARM64-amd has 177 violations
(apparently that's what you talk about above), but ARM64-allcode has none
(https://gitlab.com/xen-project/hardware/xen/-/pipelines/2916569232).

> Stop hiding pass 3. Passes 0 and 1 remain excluded.

This will cause scanning of both passes 2 and 3, i.e. consume more time
and report duplicate violations when both passes are real linking steps.
I think we want to be smarter than that, to really scan exactly once. I
don't have a good idea just yet how to achieve that, though (and I was
wondering already when putting together the original patch).

Jan