| Issue |
124563
|
| Summary |
[Coverage][MC/DC] Non-DeMorganized expressions are split and not covered
|
| Labels |
new issue
|
| Assignees |
|
| Reporter |
chapuni
|
Unary LNot `!` causes logical binops split as if it is a function.
(Note, LNot in root and leaves don't affect. It is expected.)
```C++
bool foo(bool a, bool b, bool c) {
return !(a && b) && c;
}
```
```
warning: unsupported MC/DC boolean _expression_; contains an operation with a nested boolean _expression_. _expression_ will not be covered
```
We may handle `!(a && b)` as NAND.
![]()
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
