https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85043
--- Comment #11 from Paolo Carlini <paolo.carlini at oracle dot com> --- That approach would be definitely Ok with me, Eric.
paolo.carlini at oracle dot com Tue, 27 Mar 2018 12:49:17 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85043
--- Comment #11 from Paolo Carlini <paolo.carlini at oracle dot com> --- That approach would be definitely Ok with me, Eric.