Re: [PATCH v5 08/20] linux-user: Load vdso image if available

[Richard Henderson]

On 8/30/23 13:56, Philippe Mathieu-Daudé wrote:
> > > > +    for (unsigned i = 0, n = vdso->reloc_count; i < n; i++) {
> > >
> > > Do we really need 'n'?
> >
> > You should always have an loop invariant condition if possible.
>
> vdso->reloc_count doesn't seem updated, but I get your point.

But the compiler doesn't know that -- it must assume that the store to *addr may overlap 
reloc_count.


r~