https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89101
--- Comment #4 from Gael Guennebaud <gael.guennebaud at gmail dot com> --- Good to know this is fixed in trunk! Thank you, and sorry for the false alarm then.
gael.guennebaud at gmail dot com Tue, 29 Jan 2019 06:27:15 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89101
--- Comment #4 from Gael Guennebaud <gael.guennebaud at gmail dot com> --- Good to know this is fixed in trunk! Thank you, and sorry for the false alarm then.