diff --git a/flang/lib/Semantics/check-omp-structure.cpp b/flang/lib/Semantics/check-omp-structure.cpp index fd2893998205c..1c4d9d7ac01d8 100644 --- a/flang/lib/Semantics/check-omp-structure.cpp +++ b/flang/lib/Semantics/check-omp-structure.cpp @@ -1479,7 +1479,20 @@ void OmpStructureChecker::CheckThreadprivateOrDeclareTargetVar( } } }, - [&](const parser::Name &) {}, // common block + [&](const parser::Name &name) { + if (name.symbol) { + if (auto *cb{name.symbol->detailsIf()}) { + for (const auto &obj : cb->objects()) { + if (FindEquivalenceSet(*obj)) { + context_.Say(name.source, + "A variable in a %s directive cannot appear in an EQUIVALENCE statement (variable '%s' from common block '/%s/')"_err_en_US, + ContextDirectiveAsFortran(), obj->name(), + name.symbol->name()); + } + } + } + } + }, }, ompObject.u); } diff --git a/flang/test/Semantics/OpenMP/threadprivate02.f90 b/flang/test/Semantics/OpenMP/threadprivate02.f90 index 7f6e8dcc8e8ab..9dc031a8ce47e 100644 --- a/flang/test/Semantics/OpenMP/threadprivate02.f90 +++ b/flang/test/Semantics/OpenMP/threadprivate02.f90 @@ -7,6 +7,9 @@ program threadprivate02 integer :: arr1(10) common /blk1/ a1 real, save :: eq_a, eq_b, eq_c, eq_d + integer :: eq_e, eq_f + equivalence(eq_e, eq_f) + common /blk2/ eq_e !$omp threadprivate(arr1) @@ -25,6 +28,9 @@ program threadprivate02 !$omp threadprivate(eq_c) equivalence(eq_c, eq_d) + !ERROR: A variable in a THREADPRIVATE directive cannot appear in an EQUIVALENCE statement (variable 'eq_e' from common block '/blk2/') + !$omp threadprivate(/blk2/) + contains subroutine func() integer :: arr2(10)