https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103071
--- Comment #2 from Steinar H. Gunderson <steinar+gcc at gunderson dot no> --- EitherIsSubset() in the example calls foo or bar (but with a redundant test that I can't get easily rid of). I agree that if you just return 0/1, the cmp+sete+or variant is probably as good, but that's not what you get if you branch on it.