diff --git a/flang/lib/Semantics/resolve-directives.cpp b/flang/lib/Semantics/resolve-directives.cpp index 8d38790d2006a..5122443f6b731 100644 --- a/flang/lib/Semantics/resolve-directives.cpp +++ b/flang/lib/Semantics/resolve-directives.cpp @@ -2003,6 +2003,11 @@ void OmpAttributeVisitor::Post(const parser::Name &name) { } } } + + if (Symbol * found{currScope().FindSymbol(name.source)}) { + if (found->test(semantics::Symbol::Flag::OmpThreadprivate)) + return; + } std::vector defaultDSASymbols; for (int dirDepth{0}; dirDepth < (int)dirContext_.size(); ++dirDepth) { DirContext &dirContext = dirContext_[dirDepth]; diff --git a/flang/test/Lower/OpenMP/default-clause.f90 b/flang/test/Lower/OpenMP/default-clause.f90 index 0a7443eecf52d..e0df7a633e140 100644 --- a/flang/test/Lower/OpenMP/default-clause.f90 +++ b/flang/test/Lower/OpenMP/default-clause.f90 @@ -383,3 +383,32 @@ subroutine skipped_default_clause_checks() iii=it(11) !$omp end parallel end subroutine + +!CHECK: func.func @_QPthreadprivate_with_default() { +!CHECK: %[[VAR_I:.*]] = fir.alloca i32 {bindc_name = "i", uniq_name = "_QFthreadprivate_with_defaultEi"} +!CHECK: %[[VAR_I_DECLARE:.*]] = hlfir.declare %[[VAR_I]] {uniq_name = "_QFthreadprivate_with_defaultEi"} : (!fir.ref) -> (!fir.ref, !fir.ref) +!CHECK: %[[BLK_ADDR:.*]] = fir.address_of(@blk_) : !fir.ref> +!CHECK: %[[BLK_THREADPRIVATE_OUTER:.*]] = omp.threadprivate %[[BLK_ADDR]] : !fir.ref> -> !fir.ref> +!CHECK: %[[CONVERT:.*]] = fir.convert %[[BLK_THREADPRIVATE_OUTER]] : (!fir.ref>) -> !fir.ref> +!CHECK: %[[VAR_C:.*]] = arith.constant 0 : index +!CHECK: %[[BLK_REF:.*]] = fir.coordinate_of %[[CONVERT]], %[[VAR_C]] : (!fir.ref>, index) -> !fir.ref +!CHECK: %[[CONVERT:.*]] = fir.convert %[[BLK_REF]] : (!fir.ref) -> !fir.ref +!CHECK: %[[VAR_X_DECLARE:.*]] = hlfir.declare %[[CONVERT]] {uniq_name = "_QFthreadprivate_with_defaultEx"} : (!fir.ref) -> (!fir.ref, !fir.ref) +!CHECK: omp.parallel { +!CHECK: %[[BLK_THREADPRIVATE_INNER:.*]] = omp.threadprivate %[[BLK_ADDR]] : !fir.ref> -> !fir.ref> +!CHECK: %[[CONVERT_INNER:.*]] = fir.convert %[[BLK_THREADPRIVATE_INNER]] : (!fir.ref>) -> !fir.ref> +!CHECK: %[[VAR_C_INNER:.*]] = arith.constant 0 : index +!CHECK: %[[BLK_REF_INNER:.*]] = fir.coordinate_of %[[CONVERT_INNER]], %[[VAR_C_INNER]] : (!fir.ref>, index) -> !fir.ref +!CHECK: %[[CONVERT_INNER:.*]] = fir.convert %[[BLK_REF_INNER]] : (!fir.ref) -> !fir.ref +!CHECK: %[[VAR_X_DECLARE_INNER:.*]] = hlfir.declare %[[CONVERT_INNER]] {uniq_name = "_QFthreadprivate_with_defaultEx"} : (!fir.ref) -> (!fir.ref, !fir.ref) +subroutine threadprivate_with_default + integer :: x + common /blk/ x + !$omp threadprivate (/blk/) + + !$omp parallel do default(private) + do i = 1, 4 + x = 4 + end do + !$omp end parallel do +end subroutine