https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113905
--- Comment #2 from sandra at gcc dot gnu.org --- Isn't this explicitly prohibited by the spec? Second bullet point at the top of page 295 in TR13 says: "If a procedure is determined to be a function variant through more than one declare variant directive then the construct selector set of their context selectors must be the same."