[llvm-branch-commits] [flang] [flang][OpenMP] Semantic checks for metadirective loop nests (PR #207088)

[Sairudra More via llvm-branch-commits]

https://github.com/Saieiei commented:

Thanks for the patch. The loop-nest checking logic looks useful, and most of the mechanism looks sound to me.

I found one false-positive case around statically false `user={condition(...)}` selectors. I left an inline comment with the reproducer and suggested direction.

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