#include <assert.h>

int main() {
  int a = 1;
  int b = 0;

  if (a && b) { // TODO WARN
    assert(0); // NOWARN (unreachable)
  }

  return 0;
}

Add regression test for multiple dead branches
Add regression test for multiple dead branches
