https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115047
--- Comment #2 from Jørgen Kvalsvik <j at lambda dot is> --- > f(1, 0, 0) = false, while f(1, 0, 1) = true Sorry, I meant: f(0, 0, 1) = true f(0, 0, 0) = false and f(1, 0, 1) = true f(1, 0, 0) = false It does not take away from the conclusion when doing masking MC/DC.