bool foo(bool a, bool b, bool c) {
return a && __builtin_expect(b && c, true);
}
warning: unsupported MC/DC boolean expression; contains an operation with a nested boolean expression. Expression will not be covered
I think we may handle the example like a && (b && c) in MC/DC analysis.
Does anyone know other similar cases?