https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53477
--- Comment #24 from Tomasz Gajewski <tomga at wp dot pl> --- Well, they certainly did not at that time, so I think the bug can be closed.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53477
--- Comment #24 from Tomasz Gajewski <tomga at wp dot pl> --- Well, they certainly did not at that time, so I think the bug can be closed.