https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114872
--- Comment #13 from Dmitrii Pasechnik <dima.pasechnik at cs dot ox.ac.uk> --- Created attachment 58099 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58099&action=edit data for comment 12 - decompiled things data for comment 12 - decompiled .so's, .so's themselves, original C file. BROKEN* are for -O2 option, and FIXED* are for -O0 option.
