[flang-commits] [flang] [flang][OpenMP] Add semantic checks for two DECLARE VARIANT restrictions (PR #209528)

Abid Qadeer via flang-commits flang-commits at lists.llvm.org
Wed Jul 15 04:24:02 PDT 2026


================
@@ -878,6 +878,33 @@ static bool CheckVariantAccessibility(SemanticsContext &context,
   return false;
 }
 
+// Collect the construct selector set of `sel` into `constructs` as an ordered
+// list of leaf construct directives. Combined and composite constructs are
+// decomposed into their leaves (e.g. `target teams` -> target, teams), so two
+// match selectors have the same construct selector set iff the collected lists
+// are equal. An absent construct selector yields an empty list.
+static void CollectConstructSelectorSet(
----------------
abidh wrote:

Thanks for catching this. Fixed now. This seems like functionality that could be useful in other places too and is easy to get wrong. In a future PR I may extract it into a shared helper if I see it used elsewhere.

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


More information about the flang-commits mailing list