https://github.com/evodius96 approved this pull request. I don't know if anyone else has any preference around the additional mcdc-specific header files, but generally it looks good to me. https://github.com/llvm/llvm-project/pull/81497