[OPENMP] Initial parsing and sema analysis for 'read' clause in 'atomic' directive.

llvm-svn: 213717

2 files changed, 42 insertions, 5 deletions

diff --git a/clang/test/OpenMP/atomic_ast_print.cpp b/clang/test/OpenMP/atomic_ast_print.cpp
index 47c723469aa..957d4ae7711 100644
--- a/clang/test/OpenMP/atomic_ast_print.cpp
+++ b/clang/test/OpenMP/atomic_ast_print.cpp
@@ -11,23 +11,33 @@ T foo(T arg) {
   T a;
 #pragma omp atomic
   a++;
+#pragma omp atomic read
+  a = arg;
   return T();
 }
 
 // CHECK: int a;
 // CHECK-NEXT: #pragma omp atomic
 // CHECK-NEXT: a++;
+// CHECK-NEXT: #pragma omp atomic read
+// CHECK-NEXT: a = arg;
 // CHECK: T a;
 // CHECK-NEXT: #pragma omp atomic
 // CHECK-NEXT: a++;
+// CHECK-NEXT: #pragma omp atomic read
+// CHECK-NEXT: a = arg;
 
 int main(int argc, char **argv) {
   int a;
 // CHECK: int a;
 #pragma omp atomic
   a++;
+#pragma omp atomic read
+  a = argc;
   // CHECK-NEXT: #pragma omp atomic
   // CHECK-NEXT: a++;
+  // CHECK-NEXT: #pragma omp atomic read
+  // CHECK-NEXT: a = argc;
   return foo(a);
 }
 
diff --git a/clang/test/OpenMP/atomic_messages.cpp b/clang/test/OpenMP/atomic_messages.cpp
index 6eef8f227df..7b35e42dc79 100644
--- a/clang/test/OpenMP/atomic_messages.cpp
+++ b/clang/test/OpenMP/atomic_messages.cpp
@@ -1,20 +1,47 @@
 // RUN: %clang_cc1 -verify -fopenmp=libiomp5 -ferror-limit 100 %s
 
 int foo() {
-  L1:
-    foo();
-  #pragma omp atomic
+L1:
+  foo();
+#pragma omp atomic
   {
     foo();
     goto L1; // expected-error {{use of undeclared label 'L1'}}
   }
   goto L2; // expected-error {{use of undeclared label 'L2'}}
-  #pragma omp atomic
+#pragma omp atomic
   {
     foo();
-    L2:
+  L2:
     foo();
   }
 
   return 0;
 }
+
+template <class T>
+T read() {
+  T a, b = 0;
+// Test for atomic read
+#pragma omp atomic read
+// expected-error@+1 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both l-value expressions with scalar type}}
+  ;
+// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'read' clause}}
+#pragma omp atomic read read
+  a = b;
+
+  return T();
+}
+
+int read() {
+  int a, b = 0;
+// Test for atomic read
+#pragma omp atomic read
+// expected-error@+1 {{the statement for 'atomic read' must be an expression statement of form 'v = x;', where v and x are both l-value expressions with scalar type}}
+  ;
+// expected-error@+1 {{directive '#pragma omp atomic' cannot contain more than one 'read' clause}}
+#pragma omp atomic read read
+  a = b;
+
+  return read<int>();
+}