https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97100
--- Comment #12 from Konstantin Kharlamov <Hi-Angel at yandex dot ru> --- (In reply to Martin Uecker from comment #11) > 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). As mentioned in my prev. comment, a conforming C compiler don't have to diagnose anything at all. And in fact, GCC doesn't even diagnose anything, well not unless you explicitly pass a -Wfoo. Which doesn't make GCC any less conforming. Thus, I see no constraints to printing warnings that are useful.
