[flang] [llvm] [Flang][OpenMP] Add semantic support for OpenMP Loop Interchange and permutation clause in Flang (PR #183435)

[Krzysztof Parzyszek via llvm-commits]

kparzysz wrote:

Hi Ferran.  I've been working on some utilities for semantic checks on loops and loop constructs: https://github.com/llvm/llvm-project/issues/185287.  Partial motivation for this was removing all loop-related diagnostics from resolve-directives.cpp (but still allow it to identify induction variables of affected loops), so the utilities were meant to be reusable.  The issue contains some description of what the plan was.

It does extend some checks for the validity of loop sequences and nests, but it does not contain any support for APPLY.

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