https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108865

--- Comment #29 from Costas Argyris <costas.argyris at gmail dot com> ---
patch that makes symbol optional was pushed to master:

https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=08ef17c75777ef9e4e7ead132ccd7a6d03ae6020

Reply via email to