https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76262
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- In which case both EDG and Clang get this wrong, as they print "12"
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76262
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- In which case both EDG and Clang get this wrong, as they print "12"