https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115047
--- Comment #4 from Jørgen Kvalsvik ---
> I guess it would be desirable to (1) let LLVM support masking MC/DC and (2)
> let
gcov support unique-cause MC/DC. The first seems easier and I might try
implementing a prototype.
There is room for bot
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115047
Wentao Zhang changed:
What|Removed |Added
Resolution|--- |INVALID
Status|UNCONFIRMED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115047
--- Comment #2 from Jørgen Kvalsvik ---
> 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 M
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115047
--- Comment #1 from Jørgen Kvalsvik ---
gcc is not wrong here - f(1, 0, 0) = false, while f(1, 0, 1) = true so clearly
c has an independent effect on the outcome here, and both its values has been
observed.
I think clang measures unique-cause a
