[Mlir-commits] [flang] [mlir] [flang][OpenMP] Delayed privatization for variables with `equivalence` association (PR #100531)

[Christian Ulmann]

================
@@ -2505,7 +2505,11 @@ LogicalResult PrivateClauseOp::verify() {
              << "Did not expect any values to be yielded.";
     }
 
-    if (yieldedTypes.size() == 1 && yieldedTypes.front() == symType)
+    // TODO How can we check that 2 types are compatible without leaking
----------------
Dinistro wrote:

I'm talking about dialect interfaces, not type interfaces (similar to the `ConvertToLLVMPatternInterface`). These could be used to implement arbitrary dialect specific logic that this verifier could delegate to. Note that this might be a bit of overkill, though.

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