https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59988 --- Comment #5 from Paolo Carlini <paolo.carlini at oracle dot com> --- I'm adding a testcase and closing the bug. By the way, both current EDG and clang agree with GCC.