https://gcc.gnu.org/bugzilla/show_bug.cgi?id=77608
Siddhesh Poyarekar <siddhesh at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |siddhesh at gcc dot gnu.org Assignee|unassigned at gcc dot gnu.org |siddhesh at gcc dot gnu.org --- Comment #6 from Siddhesh Poyarekar <siddhesh at gcc dot gnu.org> --- The volatile causes it to bail out too early because we avoid operating on trees with side effects, but at least without it __bos should be able to detect undefined behaviour.