https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82677
--- Comment #13 from rguenther at suse dot de <rguenther at suse dot de> --- On November 8, 2017 5:04:39 PM GMT+01:00, "nisse at lysator dot liu.se" <gcc-bugzi...@gcc.gnu.org> wrote: >https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82677 > >--- Comment #12 from Niels Möller <nisse at lysator dot liu.se> --- >It would be nice with some way to annotate the asm to have it treated >in the >same as a possibly trapping division or pointer dereference. > >E.g., adding "trap" to the clobber list, somewhat similar to "memory". >This >would be a weaker constraint than volatile, since it would allow the >compiler >to reorder the asm relative to other instructions, including loads and >stores, >but it can't move it out of a conditional. > >Do you think that's a reasonable addition? Yes. I think something besides volatile would be useful.