https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87984
--- Comment #31 from Segher Boessenkool <segher at gcc dot gnu.org> --- If an asm makes a function non-pure, that asm should be volatile in the first place? Or are there any cases where that is not true?