[Bug libgcc/84292] __sync_add_and_fetch returns the old value instead of the new value

[maryse.levavasseur at stormshield dot eu]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84292

--- Comment #4 from Maryse LEVAVASSEUR <maryse.levavasseur at stormshield dot 
eu> ---
Hi Andreas,
No problem for the delay, thanks for all !