https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79425
--- Comment #3 from Marina Minkin <mini at cs dot technion.ac.il> --- What do you mean by "You need to set the section to verify correct in top level inline-asm and then"? This is a stripped code just to reproduce this behavior. What I initially tried to do, was to make a function (not main) not to clobber the registers. Basically I needed what the attribute no_caller_saved_registers does. But this attribute is not supported in my gcc version. This trick of pushing and popping registers worked well, until I removed the function that was defined before this one. At this point my code began crashing. Definitely an unexpected behavior.