[Bug rtl-optimization/102306] Volatile pointer dereferenced twice

[ebotcazou at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Created attachment 51460
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51460&action=edit
Tentative fix

To be tested.