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?