[all-commits] [llvm/llvm-project] 2221b7: [Flang][OpenMP][Sema] Add semantics checks for REQ...

[Sergio Afonso via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2221b758d2fbd518dca05be9b45d22848e961a48
      https://github.com/llvm/llvm-project/commit/2221b758d2fbd518dca05be9b45d22848e961a48
  Author: Sergio Afonso <safonsof at amd.com>
  Date:   2023-08-15 (Tue, 15 Aug 2023)

  Changed paths:
    M flang/lib/Semantics/check-omp-structure.cpp
    M flang/lib/Semantics/check-omp-structure.h
    R flang/test/Semantics/OpenMP/requires.f90
    A flang/test/Semantics/OpenMP/requires01.f90
    A flang/test/Semantics/OpenMP/requires02.f90
    A flang/test/Semantics/OpenMP/requires03.f90
    A flang/test/Semantics/OpenMP/requires04.f90
    A flang/test/Semantics/OpenMP/requires05.f90
    A flang/test/Semantics/OpenMP/requires06.f90
    A flang/test/Semantics/OpenMP/requires07.f90
    A flang/test/Semantics/OpenMP/requires08.f90

  Log Message:
  -----------
  [Flang][OpenMP][Sema] Add semantics checks for REQUIRES directive

This patch adds semantics checks for REQUIRES directives appearing after other
directives that are affected by them. In particular, it adds checks for device
constructs appearing after device-related REQUIRES directives and for the
`atomic_default_mem_order` clause appearing after atomic operations where the
memory order is not explicitly specified.

This is patch 2/5 of a series splitting D149337 to simplify review.

Depends on D157710.

Differential Revision: https://reviews.llvm.org/D157722