[OpenMP-5.2] deprecate delimited form of 'declare target' (llvm#145854)

According to OpenMP 5.2 (Section 7.8.2), the directive name `declare
target` may be used as a synonym for `begin declare target` only when no
clauses are specified. This clause-less delimited form is now deprecated
and should emit a deprecation warning.

```
// Deprecated usage (should trigger warning):
#pragma omp declare target // deprecated in OpenMP 5.2
void foo1() {
}
#pragma omp end declare target
// Valid usage with clause (should not trigger warning):
#pragma omp declare target enter(foo2)
void foo2() {
}
```
```
// Recommended replacement for deprecated delimited form:
#pragma omp begin declare target
void foo() {
}
#pragma omp end declare target
```

---------

Co-authored-by: urvi-rav <[email protected]>

Author: ravurvi20

clang/docs/ReleaseNotes.rst

@@ -1235,6 +1235,7 @@ OpenMP Support
 - Fixed mapping of arrays of structs containing nested structs with user defined
   mappers, by using compiler-generated default mappers for the outer structs for
   such maps.
+- Deprecation warning has been emitted for deprecated delimited form of ``declare target``.
 
 Improvements
 ^^^^^^^^^^^^

clang/include/clang/Basic/DiagnosticParseKinds.td

@@ -1574,6 +1574,9 @@ def err_omp_declare_target_multiple : Error<
   "%0 appears multiple times in clauses on the same declare target directive">;
 def err_omp_declare_target_indirect_device_type: Error<
   "only 'device_type(any)' clause is allowed with indirect clause">;
+def warn_omp_deprecated_declare_target_delimited_form :
+  Warning<"the delimited form of '#pragma omp declare target' without clauses is deprecated; use '#pragma omp begin declare target' instead">,
+  InGroup<Deprecated>;
 def err_omp_expected_clause: Error<
   "expected at least one clause on '#pragma omp %0' directive">;
 def err_omp_mapper_illegal_identifier : Error<

clang/lib/Parse/ParseOpenMP.cpp

@@ -2190,6 +2190,9 @@ Parser::DeclGroupPtrTy Parser::ParseOpenMPDeclarativeDirectiveWithExtDecl(
     SourceLocation DTLoc = ConsumeAnyToken();
     bool HasClauses = Tok.isNot(tok::annot_pragma_openmp_end);
     SemaOpenMP::DeclareTargetContextInfo DTCI(DKind, DTLoc);
+    if (DKind == OMPD_declare_target && !HasClauses &&
+        getLangOpts().OpenMP >= 52)
+      Diag(DTLoc, diag::warn_omp_deprecated_declare_target_delimited_form);
     if (HasClauses)
       ParseOMPDeclareTargetClauses(DTCI);
     bool HasImplicitMappings = DKind == OMPD_begin_declare_target ||

clang/test/OpenMP/Inputs/declare_target_include.h

@@ -1,3 +1,3 @@
-#pragma omp declare target
+#pragma omp begin declare target
   void zyx();
 #pragma omp end declare target

clang/test/OpenMP/declare_target_ast_print.cpp

@@ -133,7 +133,7 @@ int out_decl_target = 0;
 // CHECK: void lambda()
 // CHECK: #pragma omp end declare target{{$}}
 
-#pragma omp declare target
+#pragma omp begin declare target
 void lambda () {
 #ifdef __cpp_lambdas
   (void)[&] { ++out_decl_target; };
@@ -144,15 +144,15 @@ void lambda () {
 };
 #pragma omp end declare target
 
-#pragma omp declare target
+#pragma omp begin declare target
 // CHECK: #pragma omp declare target{{$}}
 void foo() {}
 // CHECK-NEXT: void foo()
 #pragma omp end declare target
 // CHECK: #pragma omp end declare target{{$}}
 
 extern "C" {
-#pragma omp declare target
+#pragma omp begin declare target
 // CHECK: #pragma omp declare target
 void foo_c() {}
 // CHECK-NEXT: void foo_c()
@@ -161,15 +161,15 @@ void foo_c() {}
 }
 
 extern "C++" {
-#pragma omp declare target
+#pragma omp begin declare target
 // CHECK: #pragma omp declare target
 void foo_cpp() {}
 // CHECK-NEXT: void foo_cpp()
 #pragma omp end declare target
 // CHECK: #pragma omp end declare target
 }
 
-#pragma omp declare target
+#pragma omp begin declare target
 template <class T>
 struct C {
 // CHECK: template <class T> struct C {
@@ -262,7 +262,7 @@ int c1, c2, c3;
 // CHECK: #pragma omp end declare target{{$}}
 
 struct SSSt {
-#pragma omp declare target
+#pragma omp begin declare target
   static int a;
   int b;
 #pragma omp end declare target
@@ -276,7 +276,7 @@ struct SSSt {
 
 template <class T>
 struct SSSTt {
-#pragma omp declare target
+#pragma omp begin declare target
   static T a;
   int b;
 #pragma omp end declare target
@@ -288,7 +288,7 @@ struct SSSTt {
 // CHECK: #pragma omp end declare target
 // CHECK: int b;
 
-#pragma omp declare target
+#pragma omp begin declare target
 template <typename T>
 T baz() { return T(); }
 #pragma omp end declare target
@@ -310,7 +310,7 @@ int baz() { return 1; }
 // CHECK: }
 // CHECK: #pragma omp end declare target
 
-#pragma omp declare target
+#pragma omp begin declare target
   #include "declare_target_include.h"
   void xyz();
 #pragma omp end declare target
@@ -322,8 +322,8 @@ int baz() { return 1; }
 // CHECK: void xyz();
 // CHECK: #pragma omp end declare target
 
-#pragma omp declare target
-  #pragma omp declare target
+#pragma omp begin declare target
+  #pragma omp begin declare target
     void abc();
   #pragma omp end declare target
   void cba();
@@ -336,7 +336,7 @@ int baz() { return 1; }
 // CHECK: void cba();
 // CHECK: #pragma omp end declare target
 
-#pragma omp declare target
+#pragma omp begin declare target
 int abc1() { return 1; }
 #if _OPENMP >= 202111
 #pragma omp declare target enter(abc1) device_type(nohost)
@@ -352,7 +352,7 @@ int abc1() { return 1; }
 // CHECK-NEXT: }
 // CHECK-NEXT: #pragma omp end declare target
 
-#pragma omp declare target
+#pragma omp begin declare target
 int inner_link;
 #pragma omp declare target link(inner_link)
 #pragma omp end declare target
@@ -396,7 +396,7 @@ int main (int argc, char **argv) {
 // CHECK-NEXT: #pragma omp end declare target
 
 // Do not expect anything here since the region is empty.
-#pragma omp declare target
+#pragma omp begin declare target
 #pragma omp end declare target
 
 #endif

clang/test/OpenMP/declare_target_messages.cpp

@@ -53,7 +53,7 @@ __thread int t;
 // omp52-error@+2 {{expected '(' after 'declare target'}}
 // omp45-to-51-error@+1 {{expected '(' after 'declare target'}}
 #pragma omp declare target . 
-
+// omp52-or-later-warning@+1 {{the delimited form of '#pragma omp declare target' without clauses is deprecated; use '#pragma omp begin declare target' instead}}
 #pragma omp declare target
 void f();
 // omp60-warning@+3 {{extra tokens at the end of '#pragma omp end declare_target' are ignored}}
@@ -156,15 +156,15 @@ typedef int sint;
 template <typename T>
 T bla1() { return 0; }
 
-#pragma omp declare target
+#pragma omp begin declare target
 template <typename T>
 T bla2() { return 0; }
 #pragma omp end declare target
 
 template<>
 float bla2() { return 1.0; }
 
-#pragma omp declare target
+#pragma omp begin declare target
 void blub2() {
   bla2<float>();
   bla2<int>();
@@ -179,7 +179,7 @@ void t2() {
   }
 }
 
-#pragma omp declare target
+#pragma omp begin declare target
   void abc();
 #pragma omp end declare target
 void cba();
@@ -188,13 +188,13 @@ void cba();
 // omp45-to-51-error@+1 {{unexpected OpenMP directive '#pragma omp end declare target'}}
 #pragma omp end declare target 
 
-#pragma omp declare target
-#pragma omp declare target
+#pragma omp begin declare target
+#pragma omp begin declare target
 void def();
 #pragma omp end declare target
 void fed();
 
-#pragma omp declare target
+#pragma omp begin declare target
 // expected-note@+1 {{defined as threadprivate or thread local}}
 #pragma omp threadprivate(a) 
 extern int b;
@@ -239,7 +239,7 @@ void foo(int p) {
   q();
   c();
 }
-#pragma omp declare target
+#pragma omp begin declare target
 void foo1() {
   // omp5-or-later-var-note@+1 {{variable 'z' is captured here}}
   [&](){ (void)(b+z);}(); 
@@ -258,7 +258,7 @@ int C::method() {
 }
 
 struct S {
-#pragma omp declare target
+#pragma omp begin declare target
   int v;
 #pragma omp end declare target
 };
@@ -293,7 +293,7 @@ int main (int argc, char **argv) {
 }
 
 namespace {
-#pragma omp declare target
+#pragma omp begin declare target
   int x;
 }
 #pragma omp end declare target
@@ -347,7 +347,7 @@ void host3() {host1();} // dev5-error {{function with 'device_type(host)' is not
 // omp52-or-later-error@+1 {{expected at least one 'enter', 'link' or 'indirect' clause}}
 #pragma omp declare target to(host3)
 
-#pragma omp declare target
+#pragma omp begin declare target
 void any1() {any();}
 // dev5-error@+1 {{function with 'device_type(host)' is not available on device}}
 void any2() {host1();} 
@@ -411,7 +411,7 @@ struct target{
 // expected-warning@+1 {{declaration is not declared in any declare target region}}
 static target S;  
 
-#pragma omp declare target
+#pragma omp begin declare target
 // expected-note@+1 {{used here}}
 int target_var = variable;  
 // expected-note@+1 {{used here}}

clang/test/OpenMP/target_ast_print.cpp

@@ -367,7 +367,7 @@ extern const omp_allocator_handle_t omp_thread_mem_alloc;
 
 void foo() {}
 
-#pragma omp declare target
+#pragma omp begin declare target
 void bar() {}
 #pragma omp end declare target