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~
