https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97100
--- Comment #11 from Martin Uecker <muecker at gwdg dot de> --- A conforming C compiler has to diagnose all violations of constraints with the same correct type of x in all branches (not the type it would have in another context where a different is taken).