On Feb 1, 7:57pm, n54%gmx.com@localhost (Kamil Rytarowski) wrote: -- Subject: Re: GCC headers for sanitizers | gcc.old is the currently default one GCC in HEAD, I will add the same | code in gcc afterwards. Ok, but we might forget :-) christos