https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84250
--- Comment #10 from chefmax at gcc dot gnu.org --- Hi Marek, sorry, I'm not really tracking this anymore :(. I don't remember exactly why option 1) from https://github.com/google/sanitizers/issues/912#issuecomment-363525012 doesn't work for GCC so I'm not sure whether I can give any new valuable input for this issue. Should I unassign/reassign this to someone else?