https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86094
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- No, because the same code is generated for -fabi-version=12 and -fabi-version=13
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86094
--- Comment #13 from Jonathan Wakely <redi at gcc dot gnu.org> --- No, because the same code is generated for -fabi-version=12 and -fabi-version=13