[llvm] [Coverage] Rework Decision/Expansion/Branch (PR #78969)

[Wentao Zhang via llvm-commits]

whentojump wrote:

Hey everyone. Thanks for this great work!

Will you please add this test:

```c
#define C c
#define D 1
#define E (C != a) && (C > a)
#define F E
#define G(x) (((x) & D) == D)

void __attribute__((noinline)) func1(void) { return; }

void __attribute__((noinline)) func(int a, int b, int c) {
  if (a && D && E || b)
    func1();
  if (b && D)
    func1();
  if (a && (b && C) || (D && F))
    func1();
  if (G(a) && G(b))
    func1();
}

int main() {
  func(2, 3, 3);
  return 0;
}
```

Currently it doesn't seem to work on my side. I'm also glad to investigate that.


https://github.com/llvm/llvm-project/pull/78969