https://github.com/alexfh approved this pull request. Looks good. Thanks for adding this early detection of the incorrect CUDA code that would otherwise lead to violated invariants further down the road. https://github.com/llvm/llvm-project/pull/142857