[PATCH] D92735: [Flang] [OpenMP] Add semantic checks for invalid branch into/from OpenMP constructs

[Praveen G via Phabricator via llvm-commits]

praveen updated this revision to Diff 320049.
praveen added a comment.

Use the logic in resolve-directives.cpp instead of 'LabelEnforce' to identify control flow escaping the OpenMP constructs.

Handle omp taskgroup and omp critical constructs to check the invalid entry or branch to/from these constructs.

Resolve omp-taskloop01.f90 which was failing due to taskgroup not being handled.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D92735/new/

https://reviews.llvm.org/D92735

Files:
  flang/lib/Semantics/check-directive-structure.h
  flang/lib/Semantics/check-omp-structure.cpp
  flang/lib/Semantics/resolve-directives.cpp
  flang/test/Semantics/omp-clause-validity01.f90
  flang/test/Semantics/omp-do07.f90
  flang/test/Semantics/omp-invalid-branch.f90
  flang/test/Semantics/omp-parallel01.f90
  flang/test/Semantics/omp-parallel02.f90
  flang/test/Semantics/omp-parallell01.f90
  flang/test/Semantics/omp-parallell02.f90
  flang/test/Semantics/omp-simd01.f90
  flang/test/Semantics/omp-task01.f90
  flang/test/Semantics/omp-taskloop01.f90
  flang/test/Semantics/omp-taskloop02.f90

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D92735.320049.patch
Type: text/x-patch
Size: 17237 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210129/f71f0afa/attachment-0001.bin>