https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88695
--- Comment #1 from Anders Granlund <anders.granlund.0 at gmail dot com> --- Correction: The second standard reference should be 6.7.6.3/15 and not 6.7.3/15.
anders.granlund.0 at gmail dot com Fri, 04 Jan 2019 07:27:23 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88695
--- Comment #1 from Anders Granlund <anders.granlund.0 at gmail dot com> --- Correction: The second standard reference should be 6.7.6.3/15 and not 6.7.3/15.