https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127301
--- Comment #2 from Junyi Wang <[email protected]> --- I'm not sure how that applies here, as there's only one invocation. Also, technically, if you passed a global RO array through an argument it would be fine, as that doesn't get dead-store-eliminated. It's quite hard to derive these facts from the documentation — maybe it's there, but just hard to parse. In any case, I think it could be written better to specify these things.
