[all-commits] [llvm/llvm-project] 89d79b: [flang][OpenMP] Semantic checks for TASKGRAPH (#16...

[Krzysztof Parzyszek via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 89d79b65f7957687a6e076ec0b7893fd1264d170
      https://github.com/llvm/llvm-project/commit/89d79b65f7957687a6e076ec0b7893fd1264d170
  Author: Krzysztof Parzyszek <Krzysztof.Parzyszek at amd.com>
  Date:   2025-09-22 (Mon, 22 Sep 2025)

  Changed paths:
    M flang/include/flang/Parser/parse-tree.h
    M flang/include/flang/Semantics/openmp-utils.h
    M flang/lib/Lower/OpenMP/Clauses.cpp
    M flang/lib/Parser/openmp-parsers.cpp
    M flang/lib/Semantics/check-omp-structure.cpp
    M flang/lib/Semantics/check-omp-structure.h
    M flang/lib/Semantics/openmp-utils.cpp
    M flang/test/Parser/OpenMP/taskgraph.f90
    A flang/test/Semantics/OpenMP/graph-id.f90
    A flang/test/Semantics/OpenMP/graph-reset.f90
    A flang/test/Semantics/OpenMP/taskgraph.f90
    M llvm/include/llvm/Frontend/OpenMP/ClauseT.h

  Log Message:
  -----------
  [flang][OpenMP] Semantic checks for TASKGRAPH (#160115)

This verifies the "structural" restrictions on constructs encountered in
a TASKGRAPH construct.

There are also restrictions that apply to list items, specifically in
the following contexts:
- a list item on a clause on a replayable construct,
- data-sharing attributes for a variable on a replayable construct.
These restrictions are not verified, because that would require knowing
which clauses (on a potential compound directive) apply to the task-
generating construct of interest. This information is not available
during semantic checks.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications