https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127026
--- Comment #3 from Andrea Boido <andreaboido.asti at gmail dot com> --- (In reply to Eric Botcazou from comment #1) > Ouch. Does this come from real code or is this LLM-assisted stuff? The bug report is LLM-assisted, yes (perhaps I should have disclosed it, sorry). However, it was found while testing a verification tool I'm developing on real code.
