<div dir="ltr">I've just synced to tip, and I think something is still broken here.  I get the following in MSVC 2013.<div><br></div><div><div>1>------ Build started: Project: clangCodeGen, Configuration: Debug Win32 ------</div>
<div>1>  CGStmt.cpp</div><div>1>d:\src\llvm\tools\clang\lib\codegen\CodeGenFunction.h(1905): error C4430: missing type specifier - int assumed. Note: C++ does not support default-int</div><div>1>d:\src\llvm\tools\clang\lib\codegen\CodeGenFunction.h(1905): error C2143: syntax error : missing ',' before '&'</div>
<div>1>D:\src\llvm\tools\clang\include\clang/AST/StmtOpenMP.h(278): error C2065: 'OMPForDirectiveClass' : undeclared identifier</div><div>1>D:\src\llvm\tools\clang\include\clang/AST/StmtOpenMP.h(289): error C2065: 'OMPForDirectiveClass' : undeclared identifier</div>
<div>1>D:\src\llvm\tools\clang\include\clang/AST/StmtOpenMP.h(322): error C2065: 'OMPForDirectiveClass' : undeclared identifier</div><div>1>..\..\..\..\..\..\tools\clang\lib\CodeGen\CGStmt.cpp(182): error C2039: 'OMPForDirectiveClass' : is not a member of 'clang::Stmt'</div>
<div>1>          D:\src\llvm\tools\clang\include\clang/AST/Stmt.h(104) : see declaration of 'clang::Stmt'</div><div>1>..\..\..\..\..\..\tools\clang\lib\CodeGen\CGStmt.cpp(182): error C2065: 'OMPForDirectiveClass' : undeclared identifier</div>
<div>1>..\..\..\..\..\..\tools\clang\lib\CodeGen\CGStmt.cpp(182): error C2051: case expression not constant</div><div>1>..\..\..\..\..\..\tools\clang\lib\CodeGen\CGStmt.cpp(183): error C2664: 'void clang::CodeGen::CodeGenFunction::EmitOMPForDirective(const int)' : cannot convert argument 1 from 'const clang::OMPForDirective' to 'const int'</div>
<div>1>          No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called</div><div>========== Build: 0 succeeded, 1 failed, 0 up-to-date, 0 skipped ==========</div>
</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Jun 17, 2014 at 9:14 PM, Alexey Bataev <span dir="ltr"><<a href="mailto:a.bataev@hotmail.com" target="_blank">a.bataev@hotmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Author: abataev<br>
Date: Tue Jun 17 23:14:57 2014<br>
New Revision: 211140<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=211140&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=211140&view=rev</a><br>
Log:<br>
[OPENMP] Initial support for '#pragma omp for' (fixed incompatibility with MSVC).<br>
<br>
Added:<br>
    cfe/trunk/test/OpenMP/for_ast_print.cpp   (with props)<br>
    cfe/trunk/test/OpenMP/for_collapse_messages.cpp   (with props)<br>
    cfe/trunk/test/OpenMP/for_firstprivate_messages.cpp   (with props)<br>
    cfe/trunk/test/OpenMP/for_lastprivate_messages.cpp   (with props)<br>
    cfe/trunk/test/OpenMP/for_loop_messages.cpp   (with props)<br>
    cfe/trunk/test/OpenMP/for_misc_messages.c   (with props)<br>
    cfe/trunk/test/OpenMP/for_private_messages.cpp   (with props)<br>
    cfe/trunk/test/OpenMP/for_reduction_messages.cpp   (with props)<br>
Modified:<br>
    cfe/trunk/include/clang-c/Index.h<br>
    cfe/trunk/include/clang/AST/DataRecursiveASTVisitor.h<br>
    cfe/trunk/include/clang/AST/RecursiveASTVisitor.h<br>
    cfe/trunk/include/clang/AST/StmtOpenMP.h<br>
    cfe/trunk/include/clang/Basic/OpenMPKinds.def<br>
    cfe/trunk/include/clang/Basic/OpenMPKinds.h<br>
    cfe/trunk/include/clang/Basic/StmtNodes.td<br>
    cfe/trunk/include/clang/Sema/Sema.h<br>
    cfe/trunk/include/clang/Serialization/ASTBitCodes.h<br>
    cfe/trunk/lib/AST/Stmt.cpp<br>
    cfe/trunk/lib/AST/StmtPrinter.cpp<br>
    cfe/trunk/lib/AST/StmtProfile.cpp<br>
    cfe/trunk/lib/Basic/OpenMPKinds.cpp<br>
    cfe/trunk/lib/CodeGen/CGStmt.cpp<br>
    cfe/trunk/lib/CodeGen/CGStmtOpenMP.cpp<br>
    cfe/trunk/lib/CodeGen/CodeGenFunction.h<br>
    cfe/trunk/lib/Parse/ParseOpenMP.cpp<br>
    cfe/trunk/lib/Sema/SemaOpenMP.cpp<br>
    cfe/trunk/lib/Sema/TreeTransform.h<br>
    cfe/trunk/lib/Serialization/ASTReaderStmt.cpp<br>
    cfe/trunk/lib/Serialization/ASTWriterStmt.cpp<br>
    cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp<br>
    cfe/trunk/test/OpenMP/parallel_reduction_messages.cpp<br>
    cfe/trunk/test/OpenMP/simd_loop_messages.cpp<br>
    cfe/trunk/tools/libclang/CIndex.cpp<br>
    cfe/trunk/tools/libclang/CXCursor.cpp<br>
<br>
Modified: cfe/trunk/include/clang-c/Index.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang-c/Index.h?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang-c/Index.h?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang-c/Index.h (original)<br>
+++ cfe/trunk/include/clang-c/Index.h Tue Jun 17 23:14:57 2014<br>
@@ -2139,7 +2139,11 @@ enum CXCursorKind {<br>
    */<br>
   CXCursor_OMPSimdDirective              = 233,<br>
<br>
-  CXCursor_LastStmt                      = CXCursor_OMPSimdDirective,<br>
+  /** \brief OpenMP for directive.<br>
+   */<br>
+  CXCursor_OMPForDirective               = 234,<br>
+<br>
+  CXCursor_LastStmt                      = CXCursor_OMPForDirective,<br>
<br>
   /**<br>
    * \brief Cursor that represents the translation unit itself.<br>
<br>
Modified: cfe/trunk/include/clang/AST/DataRecursiveASTVisitor.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/DataRecursiveASTVisitor.h?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/DataRecursiveASTVisitor.h?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang/AST/DataRecursiveASTVisitor.h (original)<br>
+++ cfe/trunk/include/clang/AST/DataRecursiveASTVisitor.h Tue Jun 17 23:14:57 2014<br>
@@ -2285,6 +2285,11 @@ DEF_TRAVERSE_STMT(OMPSimdDirective, {<br>
     return false;<br>
 })<br>
<br>
+DEF_TRAVERSE_STMT(OMPForDirective, {<br>
+  if (!TraverseOMPExecutableDirective(S))<br>
+    return false;<br>
+})<br>
+<br>
 // OpenMP clauses.<br>
 template <typename Derived><br>
 bool RecursiveASTVisitor<Derived>::TraverseOMPClause(OMPClause *C) {<br>
<br>
Modified: cfe/trunk/include/clang/AST/RecursiveASTVisitor.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/RecursiveASTVisitor.h?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/RecursiveASTVisitor.h?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang/AST/RecursiveASTVisitor.h (original)<br>
+++ cfe/trunk/include/clang/AST/RecursiveASTVisitor.h Tue Jun 17 23:14:57 2014<br>
@@ -2307,6 +2307,11 @@ DEF_TRAVERSE_STMT(OMPSimdDirective, {<br>
     return false;<br>
 })<br>
<br>
+DEF_TRAVERSE_STMT(OMPForDirective, {<br>
+  if (!TraverseOMPExecutableDirective(S))<br>
+    return false;<br>
+})<br>
+<br>
 // OpenMP clauses.<br>
 template <typename Derived><br>
 bool RecursiveASTVisitor<Derived>::TraverseOMPClause(OMPClause *C) {<br>
<br>
Modified: cfe/trunk/include/clang/AST/StmtOpenMP.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/StmtOpenMP.h?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/AST/StmtOpenMP.h?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang/AST/StmtOpenMP.h (original)<br>
+++ cfe/trunk/include/clang/AST/StmtOpenMP.h Tue Jun 17 23:14:57 2014<br>
@@ -255,6 +255,74 @@ public:<br>
   }<br>
 };<br>
<br>
+/// \brief This represents '#pragma omp for' directive.<br>
+///<br>
+/// \code<br>
+/// #pragma omp for private(a,b) reduction(+:c,d)<br>
+/// \endcode<br>
+/// In this example directive '#pragma omp for' has clauses 'private' with the<br>
+/// variables 'a' and 'b' and 'reduction' with operator '+' and variables 'c'<br>
+/// and 'd'.<br>
+///<br>
+class OMPForDirective : public OMPExecutableDirective {<br>
+  friend class ASTStmtReader;<br>
+  /// \brief Number of collapsed loops as specified by 'collapse' clause.<br>
+  unsigned CollapsedNum;<br>
+  /// \brief Build directive with the given start and end location.<br>
+  ///<br>
+  /// \param StartLoc Starting location of the directive kind.<br>
+  /// \param EndLoc Ending location of the directive.<br>
+  /// \param CollapsedNum Number of collapsed nested loops.<br>
+  /// \param NumClauses Number of clauses.<br>
+  ///<br>
+  OMPForDirective(SourceLocation StartLoc, SourceLocation EndLoc,<br>
+                  unsigned CollapsedNum, unsigned NumClauses)<br>
+      : OMPExecutableDirective(this, OMPForDirectiveClass, OMPD_for, StartLoc,<br>
+                               EndLoc, NumClauses, 1),<br>
+        CollapsedNum(CollapsedNum) {}<br>
+<br>
+  /// \brief Build an empty directive.<br>
+  ///<br>
+  /// \param CollapsedNum Number of collapsed nested loops.<br>
+  /// \param NumClauses Number of clauses.<br>
+  ///<br>
+  explicit OMPForDirective(unsigned CollapsedNum, unsigned NumClauses)<br>
+      : OMPExecutableDirective(this, OMPForDirectiveClass, OMPD_for,<br>
+                               SourceLocation(), SourceLocation(), NumClauses,<br>
+                               1),<br>
+        CollapsedNum(CollapsedNum) {}<br>
+<br>
+public:<br>
+  /// \brief Creates directive with a list of \a Clauses.<br>
+  ///<br>
+  /// \param C AST context.<br>
+  /// \param StartLoc Starting location of the directive kind.<br>
+  /// \param EndLoc Ending Location of the directive.<br>
+  /// \param Clauses List of clauses.<br>
+  /// \param AssociatedStmt Statement, associated with the directive.<br>
+  ///<br>
+  static OMPForDirective *Create(const ASTContext &C, SourceLocation StartLoc,<br>
+                                 SourceLocation EndLoc,<br>
+                                 ArrayRef<OMPClause *> Clauses,<br>
+                                 Stmt *AssociatedStmt);<br>
+<br>
+  /// \brief Creates an empty directive with the place<br>
+  /// for \a NumClauses clauses.<br>
+  ///<br>
+  /// \param C AST context.<br>
+  /// \param CollapsedNum Number of collapsed nested loops.<br>
+  /// \param NumClauses Number of clauses.<br>
+  ///<br>
+  static OMPForDirective *CreateEmpty(const ASTContext &C, unsigned NumClauses,<br>
+                                      unsigned CollapsedNum, EmptyShell);<br>
+<br>
+  unsigned getCollapsedNumber() const { return CollapsedNum; }<br>
+<br>
+  static bool classof(const Stmt *T) {<br>
+    return T->getStmtClass() == OMPForDirectiveClass;<br>
+  }<br>
+};<br>
+<br>
 } // end namespace clang<br>
<br>
 #endif<br>
<br>
Modified: cfe/trunk/include/clang/Basic/OpenMPKinds.def<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/OpenMPKinds.def?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/OpenMPKinds.def?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang/Basic/OpenMPKinds.def (original)<br>
+++ cfe/trunk/include/clang/Basic/OpenMPKinds.def Tue Jun 17 23:14:57 2014<br>
@@ -24,6 +24,9 @@<br>
 #ifndef OPENMP_SIMD_CLAUSE<br>
 #  define OPENMP_SIMD_CLAUSE(Name)<br>
 #endif<br>
+#ifndef OPENMP_FOR_CLAUSE<br>
+#  define OPENMP_FOR_CLAUSE(Name)<br>
+#endif<br>
 #ifndef OPENMP_DEFAULT_KIND<br>
 #  define OPENMP_DEFAULT_KIND(Name)<br>
 #endif<br>
@@ -36,6 +39,7 @@ OPENMP_DIRECTIVE(threadprivate)<br>
 OPENMP_DIRECTIVE(parallel)<br>
 OPENMP_DIRECTIVE(task)<br>
 OPENMP_DIRECTIVE(simd)<br>
+OPENMP_DIRECTIVE(for)<br>
<br>
 // OpenMP clauses.<br>
 OPENMP_CLAUSE(if, OMPIfClause)<br>
@@ -72,6 +76,13 @@ OPENMP_SIMD_CLAUSE(aligned)<br>
 OPENMP_SIMD_CLAUSE(safelen)<br>
 OPENMP_SIMD_CLAUSE(collapse)<br>
<br>
+// TODO more clauses allowed for directive 'omp for'.<br>
+OPENMP_FOR_CLAUSE(private)<br>
+OPENMP_FOR_CLAUSE(lastprivate)<br>
+OPENMP_FOR_CLAUSE(firstprivate)<br>
+OPENMP_FOR_CLAUSE(reduction)<br>
+OPENMP_FOR_CLAUSE(collapse)<br>
+<br>
 // Static attributes for 'default' clause.<br>
 OPENMP_DEFAULT_KIND(none)<br>
 OPENMP_DEFAULT_KIND(shared)<br>
@@ -87,4 +98,5 @@ OPENMP_PROC_BIND_KIND(spread)<br>
 #undef OPENMP_CLAUSE<br>
 #undef OPENMP_PARALLEL_CLAUSE<br>
 #undef OPENMP_SIMD_CLAUSE<br>
+#undef OPENMP_FOR_CLAUSE<br>
<br>
<br>
Modified: cfe/trunk/include/clang/Basic/OpenMPKinds.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/OpenMPKinds.h?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/OpenMPKinds.h?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang/Basic/OpenMPKinds.h (original)<br>
+++ cfe/trunk/include/clang/Basic/OpenMPKinds.h Tue Jun 17 23:14:57 2014<br>
@@ -64,6 +64,43 @@ const char *getOpenMPSimpleClauseTypeNam<br>
 bool isAllowedClauseForDirective(OpenMPDirectiveKind DKind,<br>
                                  OpenMPClauseKind CKind);<br>
<br>
+/// \brief Checks if the specified directive is a directive with an associated<br>
+/// loop construct.<br>
+/// \param DKind Specified directive.<br>
+/// \return true - the directive is a loop-associated directive like 'omp simd'<br>
+/// or 'omp for' directive, otherwise - false.<br>
+bool isOpenMPLoopDirective(OpenMPDirectiveKind DKind);<br>
+<br>
+/// \brief Checks if the specified directive is a worksharing directive.<br>
+/// \param DKind Specified directive.<br>
+/// \return true - the directive is a worksharing directive like 'omp for',<br>
+/// otherwise - false.<br>
+bool isOpenMPWorksharingDirective(OpenMPDirectiveKind DKind);<br>
+<br>
+/// \brief Checks if the specified directive is a parallel-kind directive.<br>
+/// \param DKind Specified directive.<br>
+/// \return true - the directive is a parallel-like directive like 'omp<br>
+/// parallel', otherwise - false.<br>
+bool isOpenMPParallelDirective(OpenMPDirectiveKind DKind);<br>
+<br>
+/// \brief Checks if the specified directive is a simd directive.<br>
+/// \param DKind Specified directive.<br>
+/// \return true - the directive is a simd directive like 'omp simd',<br>
+/// otherwise - false.<br>
+bool isOpenMPSimdDirective(OpenMPDirectiveKind DKind);<br>
+<br>
+/// \brief Checks if the specified clause is one of private clauses like<br>
+/// 'private', 'firstprivate', 'reduction' etc..<br>
+/// \param Kind Clause kind.<br>
+/// \return true - the clause is a private clause, otherwise - false.<br>
+bool isOpenMPPrivate(OpenMPClauseKind Kind);<br>
+<br>
+/// \brief Checks if the specified clause is one of threadprivate clauses like<br>
+/// 'threadprivate', 'copyin' or 'copyprivate'.<br>
+/// \param Kind Clause kind.<br>
+/// \return true - the clause is a threadprivate clause, otherwise - false.<br>
+bool isOpenMPThreadPrivate(OpenMPClauseKind Kind);<br>
+<br>
 }<br>
<br>
 #endif<br>
<br>
Modified: cfe/trunk/include/clang/Basic/StmtNodes.td<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/StmtNodes.td?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Basic/StmtNodes.td?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang/Basic/StmtNodes.td (original)<br>
+++ cfe/trunk/include/clang/Basic/StmtNodes.td Tue Jun 17 23:14:57 2014<br>
@@ -179,3 +179,4 @@ def AsTypeExpr : DStmt<Expr>;<br>
 def OMPExecutableDirective : Stmt<1>;<br>
 def OMPParallelDirective : DStmt<OMPExecutableDirective>;<br>
 def OMPSimdDirective : DStmt<OMPExecutableDirective>;<br>
+def OMPForDirective : DStmt<OMPExecutableDirective>;<br>
<br>
Modified: cfe/trunk/include/clang/Sema/Sema.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Sema.h?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Sema.h?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang/Sema/Sema.h (original)<br>
+++ cfe/trunk/include/clang/Sema/Sema.h Tue Jun 17 23:14:57 2014<br>
@@ -7312,6 +7312,11 @@ public:<br>
                                       Stmt *AStmt,<br>
                                       SourceLocation StartLoc,<br>
                                       SourceLocation EndLoc);<br>
+  /// \brief Called on well-formed '\#pragma omp for' after parsing<br>
+  /// of the associated statement.<br>
+  StmtResult ActOnOpenMPForDirective(ArrayRef<OMPClause *> Clauses, Stmt *AStmt,<br>
+                                     SourceLocation StartLoc,<br>
+                                     SourceLocation EndLoc);<br>
<br>
   OMPClause *ActOnOpenMPSingleExprClause(OpenMPClauseKind Kind,<br>
                                          Expr *Expr,<br>
<br>
Modified: cfe/trunk/include/clang/Serialization/ASTBitCodes.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Serialization/ASTBitCodes.h?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Serialization/ASTBitCodes.h?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/include/clang/Serialization/ASTBitCodes.h (original)<br>
+++ cfe/trunk/include/clang/Serialization/ASTBitCodes.h Tue Jun 17 23:14:57 2014<br>
@@ -1341,6 +1341,7 @@ namespace clang {<br>
       // OpenMP drectives<br>
       STMT_OMP_PARALLEL_DIRECTIVE,<br>
       STMT_OMP_SIMD_DIRECTIVE,<br>
+      STMT_OMP_FOR_DIRECTIVE,<br>
<br>
       // ARC<br>
       EXPR_OBJC_BRIDGED_CAST,     // ObjCBridgedCastExpr<br>
<br>
Modified: cfe/trunk/lib/AST/Stmt.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/Stmt.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/Stmt.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/AST/Stmt.cpp (original)<br>
+++ cfe/trunk/lib/AST/Stmt.cpp Tue Jun 17 23:14:57 2014<br>
@@ -1361,3 +1361,30 @@ OMPSimdDirective *OMPSimdDirective::Crea<br>
   return new (Mem) OMPSimdDirective(CollapsedNum, NumClauses);<br>
 }<br>
<br>
+OMPForDirective *OMPForDirective::Create(const ASTContext &C,<br>
+                                         SourceLocation StartLoc,<br>
+                                         SourceLocation EndLoc,<br>
+                                         ArrayRef<OMPClause *> Clauses,<br>
+                                         Stmt *AssociatedStmt) {<br>
+  unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPForDirective),<br>
+                                           llvm::alignOf<OMPClause *>());<br>
+  void *Mem =<br>
+      C.Allocate(Size + sizeof(OMPClause *) * Clauses.size() + sizeof(Stmt *));<br>
+  OMPForDirective *Dir =<br>
+      new (Mem) OMPForDirective(StartLoc, EndLoc, 1, Clauses.size());<br>
+  Dir->setClauses(Clauses);<br>
+  Dir->setAssociatedStmt(AssociatedStmt);<br>
+  return Dir;<br>
+}<br>
+<br>
+OMPForDirective *OMPForDirective::CreateEmpty(const ASTContext &C,<br>
+                                              unsigned NumClauses,<br>
+                                              unsigned CollapsedNum,<br>
+                                              EmptyShell) {<br>
+  unsigned Size = llvm::RoundUpToAlignment(sizeof(OMPForDirective),<br>
+                                           llvm::alignOf<OMPClause *>());<br>
+  void *Mem =<br>
+      C.Allocate(Size + sizeof(OMPClause *) * NumClauses + sizeof(Stmt *));<br>
+  return new (Mem) OMPForDirective(CollapsedNum, NumClauses);<br>
+}<br>
+<br>
<br>
Modified: cfe/trunk/lib/AST/StmtPrinter.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/StmtPrinter.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/StmtPrinter.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/AST/StmtPrinter.cpp (original)<br>
+++ cfe/trunk/lib/AST/StmtPrinter.cpp Tue Jun 17 23:14:57 2014<br>
@@ -764,6 +764,11 @@ void StmtPrinter::VisitOMPSimdDirective(<br>
   PrintOMPExecutableDirective(Node);<br>
 }<br>
<br>
+void StmtPrinter::VisitOMPForDirective(OMPForDirective *Node) {<br>
+  Indent() << "#pragma omp for ";<br>
+  PrintOMPExecutableDirective(Node);<br>
+}<br>
+<br>
 //===----------------------------------------------------------------------===//<br>
 //  Expr printing methods.<br>
 //===----------------------------------------------------------------------===//<br>
<br>
Modified: cfe/trunk/lib/AST/StmtProfile.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/StmtProfile.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/AST/StmtProfile.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/AST/StmtProfile.cpp (original)<br>
+++ cfe/trunk/lib/AST/StmtProfile.cpp Tue Jun 17 23:14:57 2014<br>
@@ -347,6 +347,10 @@ void StmtProfiler::VisitOMPSimdDirective<br>
   VisitOMPExecutableDirective(S);<br>
 }<br>
<br>
+void StmtProfiler::VisitOMPForDirective(const OMPForDirective *S) {<br>
+  VisitOMPExecutableDirective(S);<br>
+}<br>
+<br>
 void StmtProfiler::VisitExpr(const Expr *S) {<br>
   VisitStmt(S);<br>
 }<br>
<br>
Modified: cfe/trunk/lib/Basic/OpenMPKinds.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Basic/OpenMPKinds.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Basic/OpenMPKinds.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/Basic/OpenMPKinds.cpp (original)<br>
+++ cfe/trunk/lib/Basic/OpenMPKinds.cpp Tue Jun 17 23:14:57 2014<br>
@@ -160,6 +160,15 @@ bool clang::isAllowedClauseForDirective(<br>
       break;<br>
     }<br>
     break;<br>
+  case OMPD_for:<br>
+    switch (CKind) {<br>
+#define OPENMP_FOR_CLAUSE(Name) \<br>
+    case OMPC_##Name: return true;<br>
+#include "clang/Basic/OpenMPKinds.def"<br>
+    default:<br>
+      break;<br>
+    }<br>
+    break;<br>
   case OMPD_unknown:<br>
   case OMPD_threadprivate:<br>
   case OMPD_task:<br>
@@ -167,3 +176,31 @@ bool clang::isAllowedClauseForDirective(<br>
   }<br>
   return false;<br>
 }<br>
+<br>
+bool clang::isOpenMPLoopDirective(OpenMPDirectiveKind DKind) {<br>
+  return DKind == OMPD_simd || DKind == OMPD_for; // TODO add next directives.<br>
+}<br>
+<br>
+bool clang::isOpenMPWorksharingDirective(OpenMPDirectiveKind DKind) {<br>
+  return DKind == OMPD_for; // TODO add next directives.<br>
+}<br>
+<br>
+bool clang::isOpenMPParallelDirective(OpenMPDirectiveKind DKind) {<br>
+  return DKind == OMPD_parallel; // TODO add next directives.<br>
+}<br>
+<br>
+bool clang::isOpenMPSimdDirective(OpenMPDirectiveKind DKind) {<br>
+  return DKind == OMPD_simd; // TODO || DKind == OMPD_for_simd || ...<br>
+}<br>
+<br>
+bool clang::isOpenMPPrivate(OpenMPClauseKind Kind) {<br>
+  return Kind == OMPC_private || Kind == OMPC_firstprivate ||<br>
+         Kind == OMPC_lastprivate || Kind == OMPC_linear ||<br>
+         Kind == OMPC_reduction; // TODO add next clauses like 'reduction'.<br>
+}<br>
+<br>
+bool clang::isOpenMPThreadPrivate(OpenMPClauseKind Kind) {<br>
+  return Kind == OMPC_threadprivate ||<br>
+         Kind == OMPC_copyin; // TODO add next clauses like 'copyprivate'.<br>
+}<br>
+<br>
<br>
Modified: cfe/trunk/lib/CodeGen/CGStmt.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGStmt.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGStmt.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/CodeGen/CGStmt.cpp (original)<br>
+++ cfe/trunk/lib/CodeGen/CGStmt.cpp Tue Jun 17 23:14:57 2014<br>
@@ -179,6 +179,9 @@ void CodeGenFunction::EmitStmt(const Stm<br>
   case Stmt::OMPSimdDirectiveClass:<br>
     EmitOMPSimdDirective(cast<OMPSimdDirective>(*S));<br>
     break;<br>
+  case Stmt::OMPForDirectiveClass:<br>
+    EmitOMPForDirective(cast<OMPForDirective>(*S));<br>
+    break;<br>
   }<br>
 }<br>
<br>
<br>
Modified: cfe/trunk/lib/CodeGen/CGStmtOpenMP.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGStmtOpenMP.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CGStmtOpenMP.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/CodeGen/CGStmtOpenMP.cpp (original)<br>
+++ cfe/trunk/lib/CodeGen/CGStmtOpenMP.cpp Tue Jun 17 23:14:57 2014<br>
@@ -76,3 +76,6 @@ void CodeGenFunction::EmitOMPSimdDirecti<br>
   EmitStmt(Body);<br>
 }<br>
<br>
+void CodeGenFunction::EmitOMPForDirective(const OMPForDirective &) {<br>
+  llvm_unreachable("Not supported yet.");<br>
+}<br>
<br>
Modified: cfe/trunk/lib/CodeGen/CodeGenFunction.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CodeGenFunction.h?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/CodeGen/CodeGenFunction.h?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/CodeGen/CodeGenFunction.h (original)<br>
+++ cfe/trunk/lib/CodeGen/CodeGenFunction.h Tue Jun 17 23:14:57 2014<br>
@@ -1902,6 +1902,7 @@ public:<br>
<br>
   void EmitOMPParallelDirective(const OMPParallelDirective &S);<br>
   void EmitOMPSimdDirective(const OMPSimdDirective &S);<br>
+  void EmitOMPForDirective(const OMPForDirective &S);<br>
<br>
   //===--------------------------------------------------------------------===//<br>
   //                         LValue Expression Emission<br>
<br>
Modified: cfe/trunk/lib/Parse/ParseOpenMP.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Parse/ParseOpenMP.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Parse/ParseOpenMP.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/Parse/ParseOpenMP.cpp (original)<br>
+++ cfe/trunk/lib/Parse/ParseOpenMP.cpp Tue Jun 17 23:14:57 2014<br>
@@ -62,6 +62,7 @@ Parser::DeclGroupPtrTy Parser::ParseOpen<br>
   case OMPD_parallel:<br>
   case OMPD_simd:<br>
   case OMPD_task:<br>
+  case OMPD_for:<br>
     Diag(Tok, diag::err_omp_unexpected_directive)<br>
         << getOpenMPDirectiveName(DKind);<br>
     break;<br>
@@ -114,9 +115,15 @@ StmtResult Parser::ParseOpenMPDeclarativ<br>
     SkipUntil(tok::annot_pragma_openmp_end);<br>
     break;<br>
   case OMPD_parallel:<br>
-  case OMPD_simd: {<br>
+  case OMPD_simd:<br>
+  case OMPD_for: {<br>
     ConsumeToken();<br>
<br>
+    if (isOpenMPLoopDirective(DKind))<br>
+      ScopeFlags |= Scope::OpenMPLoopDirectiveScope;<br>
+    if (isOpenMPSimdDirective(DKind))<br>
+      ScopeFlags |= Scope::OpenMPSimdDirectiveScope;<br>
+    ParseScope OMPDirectiveScope(this, ScopeFlags);<br>
     Actions.StartOpenMPDSABlock(DKind, DirName, Actions.getCurScope());<br>
<br>
     while (Tok.isNot(tok::annot_pragma_openmp_end)) {<br>
@@ -142,10 +149,6 @@ StmtResult Parser::ParseOpenMPDeclarativ<br>
<br>
     StmtResult AssociatedStmt;<br>
     bool CreateDirective = true;<br>
-    if (DKind == OMPD_simd)<br>
-      ScopeFlags |=<br>
-          Scope::OpenMPLoopDirectiveScope | Scope::OpenMPSimdDirectiveScope;<br>
-    ParseScope OMPDirectiveScope(this, ScopeFlags);<br>
     {<br>
       // The body is a block scope like in Lambdas and Blocks.<br>
       Sema::CompoundScopeRAII CompoundScope(Actions);<br>
<br>
Modified: cfe/trunk/lib/Sema/SemaOpenMP.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaOpenMP.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaOpenMP.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/Sema/SemaOpenMP.cpp (original)<br>
+++ cfe/trunk/lib/Sema/SemaOpenMP.cpp Tue Jun 17 23:14:57 2014<br>
@@ -39,6 +39,27 @@ enum DefaultDataSharingAttributes {<br>
   DSA_none = 1 << 0,   /// \brief Default data sharing attribute 'none'.<br>
   DSA_shared = 1 << 1  /// \brief Default data sharing attribute 'shared'.<br>
 };<br>
+template <class T> struct MatchesAny {<br>
+  MatchesAny(ArrayRef<T> Arr) : Arr(Arr) {}<br>
+  bool operator()(T Kind) {<br>
+    for (auto KindEl : Arr)<br>
+      if (KindEl == Kind)<br>
+        return true;<br>
+    return false;<br>
+  }<br>
+<br>
+private:<br>
+  ArrayRef<T> Arr;<br>
+};<br>
+template <class T> struct MatchesAlways {<br>
+  MatchesAlways() {}<br>
+  bool operator()(T) { return true; }<br>
+};<br>
+<br>
+typedef MatchesAny<OpenMPClauseKind> MatchesAnyClause;<br>
+typedef MatchesAny<OpenMPDirectiveKind> MatchesAnyDirective;<br>
+typedef MatchesAlways<OpenMPClauseKind> MatchesAlwaysClause;<br>
+typedef MatchesAlways<OpenMPDirectiveKind> MatchesAlwaysDirective;<br>
<br>
 /// \brief Stack for tracking declarations used in OpenMP directives and<br>
 /// clauses and their data-sharing attributes.<br>
@@ -115,14 +136,18 @@ public:<br>
   DSAVarData getTopDSA(VarDecl *D);<br>
   /// \brief Returns data-sharing attributes for the specified declaration.<br>
   DSAVarData getImplicitDSA(VarDecl *D);<br>
-  /// \brief Checks if the specified variables has \a CKind data-sharing<br>
-  /// attribute in \a DKind directive.<br>
-  DSAVarData hasDSA(VarDecl *D, OpenMPClauseKind CKind,<br>
-                    OpenMPDirectiveKind DKind = OMPD_unknown);<br>
-  /// \brief Checks if the specified variables has \a CKind data-sharing<br>
-  /// attribute in an innermost \a DKind directive.<br>
-  DSAVarData hasInnermostDSA(VarDecl *D, OpenMPClauseKind CKind,<br>
-                             OpenMPDirectiveKind DKind);<br>
+  /// \brief Checks if the specified variables has data-sharing attributes which<br>
+  /// match specified \a CPred predicate in any directive which matches \a DPred<br>
+  /// predicate.<br>
+  template <class ClausesPredicate, class DirectivesPredicate><br>
+  DSAVarData hasDSA(VarDecl *D, ClausesPredicate CPred,<br>
+                    DirectivesPredicate DPred);<br>
+  /// \brief Checks if the specified variables has data-sharing attributes which<br>
+  /// match specified \a CPred predicate in any innermost directive which<br>
+  /// matches \a DPred predicate.<br>
+  template <class ClausesPredicate, class DirectivesPredicate><br>
+  DSAVarData hasInnermostDSA(VarDecl *D, ClausesPredicate CPred,<br>
+                             DirectivesPredicate DPred);<br>
<br>
   /// \brief Returns currently analyzed directive.<br>
   OpenMPDirectiveKind getCurrentDirective() const {<br>
@@ -138,10 +163,10 @@ public:<br>
     return Stack.back().DefaultAttr;<br>
   }<br>
<br>
-  /// \brief Checks if the spewcified variable is threadprivate.<br>
+  /// \brief Checks if the specified variable is a threadprivate.<br>
   bool isThreadPrivate(VarDecl *D) {<br>
     DSAVarData DVar = getTopDSA(D);<br>
-    return (DVar.CKind == OMPC_threadprivate || DVar.CKind == OMPC_copyin);<br>
+    return isOpenMPThreadPrivate(DVar.CKind);<br>
   }<br>
<br>
   Scope *getCurScope() const { return Stack.back().CurScope; }<br>
@@ -176,12 +201,10 @@ DSAStackTy::DSAVarData DSAStackTy::getDS<br>
   // in a Construct, C/C++, predetermined, p.1]<br>
   // Variables with automatic storage duration that are declared in a scope<br>
   // inside the construct are private.<br>
-  if (DVar.DKind != OMPD_parallel) {<br>
-    if (isOpenMPLocal(D, Iter) && D->isLocalVarDecl() &&<br>
-        (D->getStorageClass() == SC_Auto || D->getStorageClass() == SC_None)) {<br>
-      DVar.CKind = OMPC_private;<br>
-      return DVar;<br>
-    }<br>
+  if (isOpenMPLocal(D, Iter) && D->isLocalVarDecl() &&<br>
+      (D->getStorageClass() == SC_Auto || D->getStorageClass() == SC_None)) {<br>
+    DVar.CKind = OMPC_private;<br>
+    return DVar;<br>
   }<br>
<br>
   // Explicitly specified attributes and local variables with predetermined<br>
@@ -279,7 +302,7 @@ void DSAStackTy::addDSA(VarDecl *D, Decl<br>
<br>
 bool DSAStackTy::isOpenMPLocal(VarDecl *D, StackTy::reverse_iterator Iter) {<br>
   if (Stack.size() > 2) {<br>
-    reverse_iterator I = Iter, E = Stack.rend() - 1;<br>
+    reverse_iterator I = Iter, E = std::prev(Stack.rend());<br>
     Scope *TopScope = nullptr;<br>
     while (I != E && I->Directive != OMPD_parallel) {<br>
       ++I;<br>
@@ -327,12 +350,12 @@ DSAStackTy::DSAVarData DSAStackTy::getTo<br>
<br>
   // OpenMP [2.9.1.1, Data-sharing Attribute Rules for Variables Referenced<br>
   // in a Construct, C/C++, predetermined, p.4]<br>
-  //  Static data memebers are shared.<br>
+  //  Static data members are shared.<br>
   if (D->isStaticDataMember()) {<br>
     // Variables with const-qualified type having no mutable member may be<br>
-    // listed<br>
-    // in a firstprivate clause, even if they are static data members.<br>
-    DSAVarData DVarTemp = hasDSA(D, OMPC_firstprivate);<br>
+    // listed in a firstprivate clause, even if they are static data members.<br>
+    DSAVarData DVarTemp = hasDSA(D, MatchesAnyClause(OMPC_firstprivate),<br>
+                                 MatchesAlwaysDirective());<br>
     if (DVarTemp.CKind == OMPC_firstprivate && DVarTemp.RefExpr)<br>
       return DVar;<br>
<br>
@@ -356,7 +379,8 @@ DSAStackTy::DSAVarData DSAStackTy::getTo<br>
       !(Actions.getLangOpts().CPlusPlus && RD && RD->hasMutableFields())) {<br>
     // Variables with const-qualified type having no mutable member may be<br>
     // listed in a firstprivate clause, even if they are static data members.<br>
-    DSAVarData DVarTemp = hasDSA(D, OMPC_firstprivate);<br>
+    DSAVarData DVarTemp = hasDSA(D, MatchesAnyClause(OMPC_firstprivate),<br>
+                                 MatchesAlwaysDirective());<br>
     if (DVarTemp.CKind == OMPC_firstprivate && DVarTemp.RefExpr)<br>
       return DVar;<br>
<br>
@@ -387,29 +411,30 @@ DSAStackTy::DSAVarData DSAStackTy::getIm<br>
   return getDSA(std::next(Stack.rbegin()), D);<br>
 }<br>
<br>
-DSAStackTy::DSAVarData DSAStackTy::hasDSA(VarDecl *D, OpenMPClauseKind CKind,<br>
-                                          OpenMPDirectiveKind DKind) {<br>
+template <class ClausesPredicate, class DirectivesPredicate><br>
+DSAStackTy::DSAVarData DSAStackTy::hasDSA(VarDecl *D, ClausesPredicate CPred,<br>
+                                          DirectivesPredicate DPred) {<br>
   for (StackTy::reverse_iterator I = std::next(Stack.rbegin()),<br>
                                  E = std::prev(Stack.rend());<br>
        I != E; ++I) {<br>
-    if (DKind != OMPD_unknown && DKind != I->Directive)<br>
+    if (!DPred(I->Directive))<br>
       continue;<br>
     DSAVarData DVar = getDSA(I, D);<br>
-    if (DVar.CKind == CKind)<br>
+    if (CPred(DVar.CKind))<br>
       return DVar;<br>
   }<br>
   return DSAVarData();<br>
 }<br>
<br>
+template <class ClausesPredicate, class DirectivesPredicate><br>
 DSAStackTy::DSAVarData DSAStackTy::hasInnermostDSA(VarDecl *D,<br>
-                                                   OpenMPClauseKind CKind,<br>
-                                                   OpenMPDirectiveKind DKind) {<br>
-  assert(DKind != OMPD_unknown && "Directive must be specified explicitly");<br>
+                                                   ClausesPredicate CPred,<br>
+                                                   DirectivesPredicate DPred) {<br>
   for (auto I = Stack.rbegin(), EE = std::prev(Stack.rend()); I != EE; ++I) {<br>
-    if (DKind != I->Directive)<br>
+    if (!DPred(I->Directive))<br>
       continue;<br>
     DSAVarData DVar = getDSA(I, D);<br>
-    if (DVar.CKind == CKind)<br>
+    if (CPred(DVar.CKind))<br>
       return DVar;<br>
     return DSAVarData();<br>
   }<br>
@@ -432,6 +457,54 @@ void Sema::StartOpenMPDSABlock(OpenMPDir<br>
 }<br>
<br>
 void Sema::EndOpenMPDSABlock(Stmt *CurDirective) {<br>
+  // OpenMP [2.14.3.5, Restrictions, C/C++, p.1]<br>
+  //  A variable of class type (or array thereof) that appears in a lastprivate<br>
+  //  clause requires an accessible, unambiguous default constructor for the<br>
+  //  class type, unless the list item is also specified in a firstprivate<br>
+  //  clause.<br>
+  if (auto D = dyn_cast_or_null<OMPExecutableDirective>(CurDirective)) {<br>
+    for (auto C : D->clauses()) {<br>
+      if (auto Clause = dyn_cast<OMPLastprivateClause>(C)) {<br>
+        for (auto VarRef : Clause->varlists()) {<br>
+          if (VarRef->isValueDependent() || VarRef->isTypeDependent())<br>
+            continue;<br>
+          auto VD = cast<VarDecl>(cast<DeclRefExpr>(VarRef)->getDecl());<br>
+          auto DVar = DSAStack->getTopDSA(VD);<br>
+          if (DVar.CKind == OMPC_lastprivate) {<br>
+            SourceLocation ELoc = VarRef->getExprLoc();<br>
+            auto Type = VarRef->getType();<br>
+            if (Type->isArrayType())<br>
+              Type = QualType(Type->getArrayElementTypeNoTypeQual(), 0);<br>
+            CXXRecordDecl *RD =<br>
+                getLangOpts().CPlusPlus ? Type->getAsCXXRecordDecl() : 0;<br>
+            if (RD) {<br>
+              CXXConstructorDecl *CD = LookupDefaultConstructor(RD);<br>
+              PartialDiagnostic PD =<br>
+                  PartialDiagnostic(PartialDiagnostic::NullDiagnostic());<br>
+              if (!CD ||<br>
+                  CheckConstructorAccess(<br>
+                      ELoc, CD, InitializedEntity::InitializeTemporary(Type),<br>
+                      CD->getAccess(), PD) == AR_inaccessible ||<br>
+                  CD->isDeleted()) {<br>
+                Diag(ELoc, diag::err_omp_required_method)<br>
+                    << getOpenMPClauseName(OMPC_lastprivate) << 0;<br>
+                bool IsDecl = VD->isThisDeclarationADefinition(Context) ==<br>
+                              VarDecl::DeclarationOnly;<br>
+                Diag(VD->getLocation(), IsDecl ? diag::note_previous_decl<br>
+                                               : diag::note_defined_here)<br>
+                    << VD;<br>
+                Diag(RD->getLocation(), diag::note_previous_decl) << RD;<br>
+                continue;<br>
+              }<br>
+              MarkFunctionReferenced(ELoc, CD);<br>
+              DiagnoseUseOfDecl(CD, ELoc);<br>
+            }<br>
+          }<br>
+        }<br>
+      }<br>
+    }<br>
+  }<br>
+<br>
   DSAStack->pop();<br>
   DiscardCleanupsInEvaluationContext();<br>
   PopExpressionEvaluationContext();<br>
@@ -664,7 +737,8 @@ Sema::CheckOMPThreadPrivateDecl(SourceLo<br>
     // local storage (it is not supported by runtime).<br>
     if (auto Init = VD->getAnyInitializer()) {<br>
       LocalVarRefChecker Checker(*this);<br>
-      if (Checker.Visit(Init)) continue;<br>
+      if (Checker.Visit(Init))<br>
+        continue;<br>
     }<br>
<br>
     Vars.push_back(RefExpr);<br>
@@ -709,7 +783,7 @@ public:<br>
       // attribute, must have its data-sharing attribute explicitly determined<br>
       // by being listed in a data-sharing attribute clause.<br>
       if (DVar.CKind == OMPC_unknown && Stack->getDefaultDSA() == DSA_none &&<br>
-          (DKind == OMPD_parallel || DKind == OMPD_task)) {<br>
+          (isOpenMPParallelDirective(DKind) || DKind == OMPD_task)) {<br>
         ErrorFound = true;<br>
         Actions.Diag(ELoc, diag::err_omp_no_dsa_for_variable) << VD;<br>
         return;<br>
@@ -719,7 +793,8 @@ public:<br>
       //  A list item that appears in a reduction clause of the innermost<br>
       //  enclosing worksharing or parallel construct may not be accessed in an<br>
       //  explicit task.<br>
-      DVar = Stack->hasInnermostDSA(VD, OMPC_reduction, OMPD_parallel);<br>
+      DVar = Stack->hasInnermostDSA(VD, MatchesAnyClause(OMPC_reduction),<br>
+                                    MatchesAlwaysDirective());<br>
       if (DKind == OMPD_task && DVar.CKind == OMPC_reduction) {<br>
         ErrorFound = true;<br>
         Actions.Diag(ELoc, diag::err_omp_reduction_in_task);<br>
@@ -766,16 +841,23 @@ void Sema::ActOnOpenMPRegionStart(OpenMP<br>
     QualType KmpInt32Ty = Context.getIntTypeForBitwidth(32, 1);<br>
     QualType KmpInt32PtrTy = Context.getPointerType(KmpInt32Ty);<br>
     Sema::CapturedParamNameType Params[3] = {<br>
-      std::make_pair(".global_tid.", KmpInt32PtrTy),<br>
-      std::make_pair(".bound_tid.", KmpInt32PtrTy),<br>
-      std::make_pair(StringRef(), QualType()) // __context with shared vars<br>
+        std::make_pair(".global_tid.", KmpInt32PtrTy),<br>
+        std::make_pair(".bound_tid.", KmpInt32PtrTy),<br>
+        std::make_pair(StringRef(), QualType()) // __context with shared vars<br>
     };<br>
     ActOnCapturedRegionStart(Loc, CurScope, CR_OpenMP, Params);<br>
     break;<br>
   }<br>
   case OMPD_simd: {<br>
     Sema::CapturedParamNameType Params[1] = {<br>
-      std::make_pair(StringRef(), QualType()) // __context with shared vars<br>
+        std::make_pair(StringRef(), QualType()) // __context with shared vars<br>
+    };<br>
+    ActOnCapturedRegionStart(Loc, CurScope, CR_OpenMP, Params);<br>
+    break;<br>
+  }<br>
+  case OMPD_for: {<br>
+    Sema::CapturedParamNameType Params[1] = {<br>
+        std::make_pair(StringRef(), QualType()) // __context with shared vars<br>
     };<br>
     ActOnCapturedRegionStart(Loc, CurScope, CR_OpenMP, Params);<br>
     break;<br>
@@ -827,6 +909,9 @@ StmtResult Sema::ActOnOpenMPExecutableDi<br>
     Res =<br>
         ActOnOpenMPSimdDirective(ClausesWithImplicit, AStmt, StartLoc, EndLoc);<br>
     break;<br>
+  case OMPD_for:<br>
+    Res = ActOnOpenMPForDirective(ClausesWithImplicit, AStmt, StartLoc, EndLoc);<br>
+    break;<br>
   case OMPD_threadprivate:<br>
   case OMPD_task:<br>
     llvm_unreachable("OpenMP Directive is not allowed");<br>
@@ -858,10 +943,6 @@ StmtResult Sema::ActOnOpenMPParallelDire<br>
                                       AStmt);<br>
 }<br>
<br>
-static bool isSimdDirective(OpenMPDirectiveKind DKind) {<br>
-  return DKind == OMPD_simd; // FIXME: || DKind == OMPD_for_simd || ...<br>
-}<br>
-<br>
 namespace {<br>
 /// \brief Helper class for checking canonical form of the OpenMP loops and<br>
 /// extracting iteration space of each loop in the loop nest, that will be used<br>
@@ -1267,9 +1348,13 @@ static bool CheckOpenMPIterationSpace(Op<br>
   // a Construct, C/C++].<br>
   // The loop iteration variable(s) in the associated for-loop(s) of a for or<br>
   // parallel for construct may be listed in a private or lastprivate clause.<br>
+  // The loop iteration variable(s) in the associated for-loop(s) of a for or<br>
+  // parallel for construct may be listed in a private or lastprivate clause.<br>
   DSAStackTy::DSAVarData DVar = DSA.getTopDSA(Var);<br>
-  if (isSimdDirective(DKind) && DVar.CKind != OMPC_unknown &&<br>
-      DVar.CKind != OMPC_linear && DVar.CKind != OMPC_lastprivate &&<br>
+  if (((isOpenMPSimdDirective(DKind) && DVar.CKind != OMPC_unknown &&<br>
+        DVar.CKind != OMPC_linear && DVar.CKind != OMPC_lastprivate) ||<br>
+       (isOpenMPWorksharingDirective(DKind) && DVar.CKind != OMPC_unknown &&<br>
+        DVar.CKind != OMPC_private && DVar.CKind != OMPC_lastprivate)) &&<br>
       (DVar.CKind != OMPC_private || DVar.RefExpr != nullptr)) {<br>
     // The loop iteration variable in the associated for-loop of a simd<br>
     // construct with just one associated for-loop may be listed in a linear<br>
@@ -1289,7 +1374,7 @@ static bool CheckOpenMPIterationSpace(Op<br>
     DSA.addDSA(Var, nullptr, OMPC_private);<br>
   }<br>
<br>
-  assert(isSimdDirective(DKind) && "DSA for non-simd loop vars");<br>
+  assert(isOpenMPLoopDirective(DKind) && "DSA for non-simd loop vars");<br>
<br>
   // Check test-expr.<br>
   HasErrors |= ISC.CheckCond(For->getCond());<br>
@@ -1359,6 +1444,18 @@ StmtResult Sema::ActOnOpenMPSimdDirectiv<br>
   return OMPSimdDirective::Create(Context, StartLoc, EndLoc, Clauses, AStmt);<br>
 }<br>
<br>
+StmtResult Sema::ActOnOpenMPForDirective(ArrayRef<OMPClause *> Clauses,<br>
+                                         Stmt *AStmt, SourceLocation StartLoc,<br>
+                                         SourceLocation EndLoc) {<br>
+  // In presence of clause 'collapse', it will define the nested loops number.<br>
+  // For now, pass default value of 1.<br>
+  if (CheckOpenMPLoop(OMPD_for, 1, AStmt, *this, *DSAStack))<br>
+    return StmtError();<br>
+<br>
+  getCurFunction()->setHasBranchProtectedScope();<br>
+  return OMPForDirective::Create(Context, StartLoc, EndLoc, Clauses, AStmt);<br>
+}<br>
+<br>
 OMPClause *Sema::ActOnOpenMPSingleExprClause(OpenMPClauseKind Kind, Expr *Expr,<br>
                                              SourceLocation StartLoc,<br>
                                              SourceLocation LParenLoc,<br>
@@ -1760,9 +1857,10 @@ OMPClause *Sema::ActOnOpenMPPrivateClaus<br>
       CXXConstructorDecl *CD = LookupDefaultConstructor(RD);<br>
       PartialDiagnostic PD =<br>
           PartialDiagnostic(PartialDiagnostic::NullDiagnostic());<br>
-      if (!CD || CheckConstructorAccess(<br>
-                     ELoc, CD, InitializedEntity::InitializeTemporary(Type),<br>
-                     CD->getAccess(), PD) == AR_inaccessible ||<br>
+      if (!CD ||<br>
+          CheckConstructorAccess(ELoc, CD,<br>
+                                 InitializedEntity::InitializeTemporary(Type),<br>
+                                 CD->getAccess(), PD) == AR_inaccessible ||<br>
           CD->isDeleted()) {<br>
         Diag(ELoc, diag::err_omp_required_method)<br>
             << getOpenMPClauseName(OMPC_private) << 0;<br>
@@ -1891,9 +1989,10 @@ OMPClause *Sema::ActOnOpenMPFirstprivate<br>
       CXXConstructorDecl *CD = LookupCopyingConstructor(RD, 0);<br>
       PartialDiagnostic PD =<br>
           PartialDiagnostic(PartialDiagnostic::NullDiagnostic());<br>
-      if (!CD || CheckConstructorAccess(<br>
-                     ELoc, CD, InitializedEntity::InitializeTemporary(Type),<br>
-                     CD->getAccess(), PD) == AR_inaccessible ||<br>
+      if (!CD ||<br>
+          CheckConstructorAccess(ELoc, CD,<br>
+                                 InitializedEntity::InitializeTemporary(Type),<br>
+                                 CD->getAccess(), PD) == AR_inaccessible ||<br>
           CD->isDeleted()) {<br>
         Diag(ELoc, diag::err_omp_required_method)<br>
             << getOpenMPClauseName(OMPC_firstprivate) << 1;<br>
@@ -1938,9 +2037,8 @@ OMPClause *Sema::ActOnOpenMPFirstprivate<br>
       //  A list item that specifies a given variable may not appear in more<br>
       // than one clause on the same directive, except that a variable may be<br>
       //  specified in both firstprivate and lastprivate clauses.<br>
-      //  TODO: add processing for lastprivate.<br>
       if (DVar.CKind != OMPC_unknown && DVar.CKind != OMPC_firstprivate &&<br>
-          DVar.RefExpr) {<br>
+          DVar.CKind != OMPC_lastprivate && DVar.RefExpr) {<br>
         Diag(ELoc, diag::err_omp_wrong_dsa)<br>
             << getOpenMPClauseName(DVar.CKind)<br>
             << getOpenMPClauseName(OMPC_firstprivate);<br>
@@ -1970,23 +2068,38 @@ OMPClause *Sema::ActOnOpenMPFirstprivate<br>
         continue;<br>
       }<br>
<br>
+      OpenMPDirectiveKind CurrDir = DSAStack->getCurrentDirective();<br>
       // OpenMP [2.9.3.4, Restrictions, p.2]<br>
       //  A list item that is private within a parallel region must not appear<br>
       //  in a firstprivate clause on a worksharing construct if any of the<br>
       //  worksharing regions arising from the worksharing construct ever bind<br>
       //  to any of the parallel regions arising from the parallel construct.<br>
+      if (isOpenMPWorksharingDirective(CurrDir)) {<br>
+        DVar = DSAStack->getImplicitDSA(VD);<br>
+        if (DVar.CKind != OMPC_shared) {<br>
+          Diag(ELoc, diag::err_omp_required_access)<br>
+              << getOpenMPClauseName(OMPC_firstprivate)<br>
+              << getOpenMPClauseName(OMPC_shared);<br>
+          if (DVar.RefExpr) {<br>
+            Diag(DVar.RefExpr->getExprLoc(), diag::note_omp_explicit_dsa)<br>
+                << getOpenMPClauseName(DVar.CKind);<br>
+          }<br>
+          continue;<br>
+        }<br>
+      }<br>
       // OpenMP [2.9.3.4, Restrictions, p.3]<br>
       //  A list item that appears in a reduction clause of a parallel construct<br>
       //  must not appear in a firstprivate clause on a worksharing or task<br>
       //  construct if any of the worksharing or task regions arising from the<br>
       //  worksharing or task construct ever bind to any of the parallel regions<br>
       //  arising from the parallel construct.<br>
+      // TODO<br>
       // OpenMP [2.9.3.4, Restrictions, p.4]<br>
       //  A list item that appears in a reduction clause in worksharing<br>
       //  construct must not appear in a firstprivate clause in a task construct<br>
       //  encountered during execution of any of the worksharing regions arising<br>
       //  from the worksharing construct.<br>
-      // TODO:<br>
+      // TODO<br>
     }<br>
<br>
     DSAStack->addDSA(VD, DE, OMPC_firstprivate);<br>
@@ -2057,12 +2170,6 @@ OMPClause *Sema::ActOnOpenMPLastprivateC<br>
     //  Variables with the predetermined data-sharing attributes may not be<br>
     //  listed in data-sharing attributes clauses, except for the cases<br>
     //  listed below.<br>
-    //  A list item that is private within a parallel region, or that appears in<br>
-    //  the reduction clause of a parallel construct, must not appear in a<br>
-    //  lastprivate clause on a worksharing construct if any of the<br>
-    //  corresponding worksharing regions ever binds to any of the corresponding<br>
-    //  parallel regions.<br>
-    //  TODO: Check implicit DSA for worksharing directives.<br>
     DSAStackTy::DSAVarData DVar = DSAStack->getTopDSA(VD);<br>
     if (DVar.CKind != OMPC_unknown && DVar.CKind != OMPC_lastprivate &&<br>
         DVar.CKind != OMPC_firstprivate &&<br>
@@ -2079,11 +2186,33 @@ OMPClause *Sema::ActOnOpenMPLastprivateC<br>
       continue;<br>
     }<br>
<br>
+    OpenMPDirectiveKind CurrDir = DSAStack->getCurrentDirective();<br>
+    // OpenMP [2.14.3.5, Restrictions, p.2]<br>
+    // A list item that is private within a parallel region, or that appears in<br>
+    // the reduction clause of a parallel construct, must not appear in a<br>
+    // lastprivate clause on a worksharing construct if any of the corresponding<br>
+    // worksharing regions ever binds to any of the corresponding parallel<br>
+    // regions.<br>
+    if (isOpenMPWorksharingDirective(CurrDir)) {<br>
+      DVar = DSAStack->getImplicitDSA(VD);<br>
+      if (DVar.CKind != OMPC_shared) {<br>
+        Diag(ELoc, diag::err_omp_required_access)<br>
+            << getOpenMPClauseName(OMPC_lastprivate)<br>
+            << getOpenMPClauseName(OMPC_shared);<br>
+        if (DVar.RefExpr)<br>
+          Diag(DVar.RefExpr->getExprLoc(), diag::note_omp_explicit_dsa)<br>
+              << getOpenMPClauseName(DVar.CKind);<br>
+        else<br>
+          Diag(VD->getLocation(), diag::note_omp_predetermined_dsa)<br>
+              << getOpenMPClauseName(DVar.CKind);<br>
+        continue;<br>
+      }<br>
+    }<br>
     // OpenMP [2.14.3.5, Restrictions, C++, p.1,2]<br>
-    //  A variable of class type (or array thereof) that appears in a lastprivate<br>
-    //  clause requires an accessible, unambiguous default constructor for the<br>
-    //  class type, unless the list item is also specified in a firstprivate<br>
-    //  clause.<br>
+    //  A variable of class type (or array thereof) that appears in a<br>
+    //  lastprivate clause requires an accessible, unambiguous default<br>
+    //  constructor for the class type, unless the list item is also specified<br>
+    //  in a firstprivate clause.<br>
     //  A variable of class type (or array thereof) that appears in a<br>
     //  lastprivate clause requires an accessible, unambiguous copy assignment<br>
     //  operator for the class type.<br>
@@ -2094,49 +2223,29 @@ OMPClause *Sema::ActOnOpenMPLastprivateC<br>
                             ? Type.getNonReferenceType()->getAsCXXRecordDecl()<br>
                             : nullptr;<br>
     if (RD) {<br>
-      // FIXME: If a variable is also specified in a firstprivate clause, we may<br>
-      // not require default constructor. This can be fixed after adding some<br>
-      // directive allowing both firstprivate and lastprivate clauses (and this<br>
-      // should be probably checked after all clauses are processed).<br>
-      CXXConstructorDecl *CD = LookupDefaultConstructor(RD);<br>
-      PartialDiagnostic PD =<br>
-          PartialDiagnostic(PartialDiagnostic::NullDiagnostic());<br>
-      if (!CD || CheckConstructorAccess(<br>
-                     ELoc, CD, InitializedEntity::InitializeTemporary(Type),<br>
-                     CD->getAccess(), PD) == AR_inaccessible ||<br>
-          CD->isDeleted()) {<br>
-        Diag(ELoc, diag::err_omp_required_method)<br>
-            << getOpenMPClauseName(OMPC_lastprivate) << 0;<br>
-        bool IsDecl = VD->isThisDeclarationADefinition(Context) ==<br>
-                      VarDecl::DeclarationOnly;<br>
-        Diag(VD->getLocation(),<br>
-             IsDecl ? diag::note_previous_decl : diag::note_defined_here)<br>
-            << VD;<br>
-        Diag(RD->getLocation(), diag::note_previous_decl) << RD;<br>
-        continue;<br>
-      }<br>
-      MarkFunctionReferenced(ELoc, CD);<br>
-      DiagnoseUseOfDecl(CD, ELoc);<br>
-<br>
       CXXMethodDecl *MD = LookupCopyingAssignment(RD, 0, false, 0);<br>
       DeclAccessPair FoundDecl = DeclAccessPair::make(MD, MD->getAccess());<br>
-      if (!MD || CheckMemberAccess(ELoc, RD, FoundDecl) == AR_inaccessible ||<br>
-          MD->isDeleted()) {<br>
-        Diag(ELoc, diag::err_omp_required_method)<br>
-            << getOpenMPClauseName(OMPC_lastprivate) << 2;<br>
-        bool IsDecl = VD->isThisDeclarationADefinition(Context) ==<br>
-                      VarDecl::DeclarationOnly;<br>
-        Diag(VD->getLocation(),<br>
-             IsDecl ? diag::note_previous_decl : diag::note_defined_here)<br>
-            << VD;<br>
-        Diag(RD->getLocation(), diag::note_previous_decl) << RD;<br>
-        continue;<br>
+      if (MD) {<br>
+        if (CheckMemberAccess(ELoc, RD, FoundDecl) == AR_inaccessible ||<br>
+            MD->isDeleted()) {<br>
+          Diag(ELoc, diag::err_omp_required_method)<br>
+              << getOpenMPClauseName(OMPC_lastprivate) << 2;<br>
+          bool IsDecl = VD->isThisDeclarationADefinition(Context) ==<br>
+                        VarDecl::DeclarationOnly;<br>
+          Diag(VD->getLocation(),<br>
+               IsDecl ? diag::note_previous_decl : diag::note_defined_here)<br>
+              << VD;<br>
+          Diag(RD->getLocation(), diag::note_previous_decl) << RD;<br>
+          continue;<br>
+        }<br>
+        MarkFunctionReferenced(ELoc, MD);<br>
+        DiagnoseUseOfDecl(MD, ELoc);<br>
       }<br>
-      MarkFunctionReferenced(ELoc, MD);<br>
-      DiagnoseUseOfDecl(MD, ELoc);<br>
<br>
       CXXDestructorDecl *DD = RD->getDestructor();<br>
       if (DD) {<br>
+        PartialDiagnostic PD =<br>
+            PartialDiagnostic(PartialDiagnostic::NullDiagnostic());<br>
         if (CheckDestructorAccess(ELoc, DD, PD) == AR_inaccessible ||<br>
             DD->isDeleted()) {<br>
           Diag(ELoc, diag::err_omp_required_method)<br>
@@ -2154,7 +2263,8 @@ OMPClause *Sema::ActOnOpenMPLastprivateC<br>
       }<br>
     }<br>
<br>
-    DSAStack->addDSA(VD, DE, OMPC_lastprivate);<br>
+    if (DVar.CKind != OMPC_firstprivate)<br>
+      DSAStack->addDSA(VD, DE, OMPC_lastprivate);<br>
     Vars.push_back(DE);<br>
   }<br>
<br>
@@ -2239,13 +2349,9 @@ public:<br>
         return false;<br>
       if (DVar.CKind != OMPC_unknown)<br>
         return true;<br>
-      DSAStackTy::DSAVarData DVarPrivate = Stack->hasDSA(VD, OMPC_private);<br>
-      DSAStackTy::DSAVarData DVarFirstprivate =<br>
-          Stack->hasDSA(VD, OMPC_firstprivate);<br>
-      DSAStackTy::DSAVarData DVarReduction = Stack->hasDSA(VD, OMPC_reduction);<br>
-      if (DVarPrivate.CKind != OMPC_unknown ||<br>
-          DVarFirstprivate.CKind != OMPC_unknown ||<br>
-          DVarReduction.CKind != OMPC_unknown)<br>
+      DSAStackTy::DSAVarData DVarPrivate =<br>
+          Stack->hasDSA(VD, isOpenMPPrivate, MatchesAlwaysDirective());<br>
+      if (DVarPrivate.CKind != OMPC_unknown)<br>
         return true;<br>
       return false;<br>
     }<br>
@@ -2487,7 +2593,20 @@ OMPClause *Sema::ActOnOpenMPReductionCla<br>
     //  A list item that appears in a reduction clause of a worksharing<br>
     //  construct must be shared in the parallel regions to which any of the<br>
     //  worksharing regions arising from the worksharing construct bind.<br>
-    // TODO Implement it later.<br>
+    OpenMPDirectiveKind CurrDir = DSAStack->getCurrentDirective();<br>
+    if (isOpenMPWorksharingDirective(CurrDir)) {<br>
+      DVar = DSAStack->getImplicitDSA(VD);<br>
+      if (DVar.CKind != OMPC_shared) {<br>
+        Diag(ELoc, diag::err_omp_required_access)<br>
+            << getOpenMPClauseName(OMPC_reduction)<br>
+            << getOpenMPClauseName(OMPC_shared);<br>
+        if (DVar.RefExpr) {<br>
+          Diag(DVar.RefExpr->getExprLoc(), diag::note_omp_explicit_dsa)<br>
+              << getOpenMPClauseName(DVar.CKind);<br>
+        }<br>
+        continue;<br>
+      }<br>
+    }<br>
<br>
     CXXRecordDecl *RD = getLangOpts().CPlusPlus<br>
                             ? Type.getNonReferenceType()->getAsCXXRecordDecl()<br>
@@ -2800,20 +2919,22 @@ OMPClause *Sema::ActOnOpenMPCopyinClause<br>
     if (RD) {<br>
       CXXMethodDecl *MD = LookupCopyingAssignment(RD, 0, false, 0);<br>
       DeclAccessPair FoundDecl = DeclAccessPair::make(MD, MD->getAccess());<br>
-      if (!MD || CheckMemberAccess(ELoc, RD, FoundDecl) == AR_inaccessible ||<br>
-          MD->isDeleted()) {<br>
-        Diag(ELoc, diag::err_omp_required_method)<br>
-            << getOpenMPClauseName(OMPC_copyin) << 2;<br>
-        bool IsDecl = VD->isThisDeclarationADefinition(Context) ==<br>
-                      VarDecl::DeclarationOnly;<br>
-        Diag(VD->getLocation(),<br>
-             IsDecl ? diag::note_previous_decl : diag::note_defined_here)<br>
-            << VD;<br>
-        Diag(RD->getLocation(), diag::note_previous_decl) << RD;<br>
-        continue;<br>
+      if (MD) {<br>
+        if (CheckMemberAccess(ELoc, RD, FoundDecl) == AR_inaccessible ||<br>
+            MD->isDeleted()) {<br>
+          Diag(ELoc, diag::err_omp_required_method)<br>
+              << getOpenMPClauseName(OMPC_copyin) << 2;<br>
+          bool IsDecl = VD->isThisDeclarationADefinition(Context) ==<br>
+                        VarDecl::DeclarationOnly;<br>
+          Diag(VD->getLocation(),<br>
+               IsDecl ? diag::note_previous_decl : diag::note_defined_here)<br>
+              << VD;<br>
+          Diag(RD->getLocation(), diag::note_previous_decl) << RD;<br>
+          continue;<br>
+        }<br>
+        MarkFunctionReferenced(ELoc, MD);<br>
+        DiagnoseUseOfDecl(MD, ELoc);<br>
       }<br>
-      MarkFunctionReferenced(ELoc, MD);<br>
-      DiagnoseUseOfDecl(MD, ELoc);<br>
     }<br>
<br>
     DSAStack->addDSA(VD, DE, OMPC_copyin);<br>
<br>
Modified: cfe/trunk/lib/Sema/TreeTransform.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/TreeTransform.h?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/TreeTransform.h?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/Sema/TreeTransform.h (original)<br>
+++ cfe/trunk/lib/Sema/TreeTransform.h Tue Jun 17 23:14:57 2014<br>
@@ -6404,6 +6404,16 @@ TreeTransform<Derived>::TransformOMPSimd<br>
   return Res;<br>
 }<br>
<br>
+template <typename Derived><br>
+StmtResult<br>
+TreeTransform<Derived>::TransformOMPForDirective(OMPForDirective *D) {<br>
+  DeclarationNameInfo DirName;<br>
+  getDerived().getSema().StartOpenMPDSABlock(OMPD_for, DirName, nullptr);<br>
+  StmtResult Res = getDerived().TransformOMPExecutableDirective(D);<br>
+  getDerived().getSema().EndOpenMPDSABlock(Res.get());<br>
+  return Res;<br>
+}<br>
+<br>
 //===----------------------------------------------------------------------===//<br>
 // OpenMP clause transformation<br>
 //===----------------------------------------------------------------------===//<br>
<br>
Modified: cfe/trunk/lib/Serialization/ASTReaderStmt.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Serialization/ASTReaderStmt.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Serialization/ASTReaderStmt.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/Serialization/ASTReaderStmt.cpp (original)<br>
+++ cfe/trunk/lib/Serialization/ASTReaderStmt.cpp Tue Jun 17 23:14:57 2014<br>
@@ -1877,6 +1877,13 @@ void ASTStmtReader::VisitOMPSimdDirectiv<br>
   VisitOMPExecutableDirective(D);<br>
 }<br>
<br>
+void ASTStmtReader::VisitOMPForDirective(OMPForDirective *D) {<br>
+  VisitStmt(D);<br>
+  // Two fields (NumClauses and CollapsedNum) were read in ReadStmtFromStream.<br>
+  Idx += 2;<br>
+  VisitOMPExecutableDirective(D);<br>
+}<br>
+<br>
 //===----------------------------------------------------------------------===//<br>
 // ASTReader Implementation<br>
 //===----------------------------------------------------------------------===//<br>
@@ -2364,6 +2371,14 @@ Stmt *ASTReader::ReadStmtFromStream(Modu<br>
       break;<br>
     }<br>
<br>
+    case STMT_OMP_FOR_DIRECTIVE: {<br>
+      unsigned NumClauses = Record[ASTStmtReader::NumStmtFields];<br>
+      unsigned CollapsedNum = Record[ASTStmtReader::NumStmtFields + 1];<br>
+      S = OMPForDirective::CreateEmpty(Context, NumClauses, CollapsedNum,<br>
+                                       Empty);<br>
+      break;<br>
+    }<br>
+<br>
     case EXPR_CXX_OPERATOR_CALL:<br>
       S = new (Context) CXXOperatorCallExpr(Context, Empty);<br>
       break;<br>
<br>
Modified: cfe/trunk/lib/Serialization/ASTWriterStmt.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Serialization/ASTWriterStmt.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Serialization/ASTWriterStmt.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/Serialization/ASTWriterStmt.cpp (original)<br>
+++ cfe/trunk/lib/Serialization/ASTWriterStmt.cpp Tue Jun 17 23:14:57 2014<br>
@@ -1798,6 +1798,14 @@ void ASTStmtWriter::VisitOMPSimdDirectiv<br>
   Code = serialization::STMT_OMP_SIMD_DIRECTIVE;<br>
 }<br>
<br>
+void ASTStmtWriter::VisitOMPForDirective(OMPForDirective *D) {<br>
+  VisitStmt(D);<br>
+  Record.push_back(D->getNumClauses());<br>
+  Record.push_back(D->getCollapsedNumber());<br>
+  VisitOMPExecutableDirective(D);<br>
+  Code = serialization::STMT_OMP_FOR_DIRECTIVE;<br>
+}<br>
+<br>
 //===----------------------------------------------------------------------===//<br>
 // ASTWriter Implementation<br>
 //===----------------------------------------------------------------------===//<br>
<br>
Modified: cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp (original)<br>
+++ cfe/trunk/lib/StaticAnalyzer/Core/ExprEngine.cpp Tue Jun 17 23:14:57 2014<br>
@@ -732,6 +732,7 @@ void ExprEngine::Visit(const Stmt *S, Ex<br>
     case Stmt::CapturedStmtClass:<br>
     case Stmt::OMPParallelDirectiveClass:<br>
     case Stmt::OMPSimdDirectiveClass:<br>
+    case Stmt::OMPForDirectiveClass:<br>
       llvm_unreachable("Stmt should not be in analyzer evaluation loop");<br>
<br>
     case Stmt::ObjCSubscriptRefExprClass:<br>
<br>
Added: cfe/trunk/test/OpenMP/for_ast_print.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_ast_print.cpp?rev=211140&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_ast_print.cpp?rev=211140&view=auto</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/for_ast_print.cpp (added)<br>
+++ cfe/trunk/test/OpenMP/for_ast_print.cpp Tue Jun 17 23:14:57 2014<br>
@@ -0,0 +1,54 @@<br>
+// RUN: %clang_cc1 -verify -fopenmp=libiomp5 -ast-print %s | FileCheck %s<br>
+// RUN: %clang_cc1 -fopenmp=libiomp5 -x c++ -std=c++11 -emit-pch -o %t %s<br>
+// RUN: %clang_cc1 -fopenmp=libiomp5 -std=c++11 -include-pch %t -fsyntax-only -verify %s -ast-print | FileCheck %s<br>
+// expected-no-diagnostics<br>
+<br>
+#ifndef HEADER<br>
+#define HEADER<br>
+<br>
+void foo() {}<br>
+<br>
+template <class T, int N><br>
+T tmain(T argc) {<br>
+  T b = argc, c, d, e, f, g;<br>
+  static T a;<br>
+// CHECK: static T a;<br>
+#pragma omp for<br>
+// CHECK-NEXT: #pragma omp for<br>
+  for (int i=0; i < 2; ++i) a=2;<br>
+// CHECK-NEXT: for (int i = 0; i < 2; ++i)<br>
+// CHECK-NEXT: a = 2;<br>
+#pragma omp parallel<br>
+#pragma omp for private(argc,b),firstprivate(c, d),lastprivate(d,f) collapse(N)<br>
+  for (int i = 0; i < 10; ++i)<br>
+  for (int j = 0; j < 10; ++j)foo();<br>
+// CHECK-NEXT: #pragma omp parallel<br>
+// CHECK-NEXT: #pragma omp for private(argc,b) firstprivate(c,d) lastprivate(d,f) collapse(N)<br>
+// CHECK-NEXT: for (int i = 0; i < 10; ++i)<br>
+// CHECK-NEXT: for (int j = 0; j < 10; ++j)<br>
+// CHECK-NEXT: foo();<br>
+  return T();<br>
+}<br>
+<br>
+int main(int argc, char **argv) {<br>
+  int b = argc, c, d, e, f, g;<br>
+  static int a;<br>
+// CHECK: static int a;<br>
+#pragma omp for<br>
+// CHECK-NEXT: #pragma omp for<br>
+  for (int i=0; i < 2; ++i)a=2;<br>
+// CHECK-NEXT: for (int i = 0; i < 2; ++i)<br>
+// CHECK-NEXT: a = 2;<br>
+#pragma omp parallel<br>
+#pragma omp for private(argc,b),firstprivate(argv, c),lastprivate(d,f) collapse(2)<br>
+  for (int i = 0; i < 10; ++i)<br>
+  for (int j = 0; j < 10; ++j)foo();<br>
+// CHECK-NEXT: #pragma omp parallel<br>
+// CHECK-NEXT: #pragma omp for private(argc,b) firstprivate(argv,c) lastprivate(d,f) collapse(2)<br>
+// CHECK-NEXT: for (int i = 0; i < 10; ++i)<br>
+// CHECK-NEXT: for (int j = 0; j < 10; ++j)<br>
+// CHECK-NEXT: foo();<br>
+  return (tmain<int, 5>(argc) + tmain<char, 1>(argv[0][0]));<br>
+}<br>
+<br>
+#endif<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_ast_print.cpp<br>
------------------------------------------------------------------------------<br>
    svn:eol-style = native<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_ast_print.cpp<br>
------------------------------------------------------------------------------<br>
    svn:keywords = Author Date Id Rev URL<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_ast_print.cpp<br>
------------------------------------------------------------------------------<br>
    svn:mime-type = text/plain<br>
<br>
Added: cfe/trunk/test/OpenMP/for_collapse_messages.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_collapse_messages.cpp?rev=211140&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_collapse_messages.cpp?rev=211140&view=auto</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/for_collapse_messages.cpp (added)<br>
+++ cfe/trunk/test/OpenMP/for_collapse_messages.cpp Tue Jun 17 23:14:57 2014<br>
@@ -0,0 +1,79 @@<br>
+// RUN: %clang_cc1 -verify -fopenmp=libiomp5 %s<br>
+<br>
+void foo() {<br>
+}<br>
+<br>
+bool foobool(int argc) {<br>
+  return argc;<br>
+}<br>
+<br>
+struct S1; // expected-note {{declared here}}<br>
+<br>
+template <class T, typename S, int N, int ST> // expected-note {{declared here}}<br>
+T tmain(T argc, S **argv) { //expected-note 2 {{declared here}}<br>
+  #pragma omp for collapse // expected-error {{expected '(' after 'collapse'}}<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  #pragma omp for collapse ( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  #pragma omp for collapse () // expected-error {{expected expression}}<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  // expected-error@+3 {{expected ')'}} expected-note@+3 {{to match this '('}}<br>
+  // expected-error@+2 2 {{expression is not an integral constant expression}}<br>
+  // expected-note@+1 2 {{read of non-const variable 'argc' is not allowed in a constant expression}}<br>
+  #pragma omp for collapse (argc<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  // expected-error@+1 2 {{argument to 'collapse' clause must be a positive integer value}}<br>
+  #pragma omp for collapse (ST // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  #pragma omp for collapse (1)) // expected-warning {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  #pragma omp for collapse ((ST > 0) ? 1 + ST : 2)<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  // expected-error@+3 2 {{directive '#pragma omp for' cannot contain more than one 'collapse' clause}}<br>
+  // expected-error@+2 2 {{argument to 'collapse' clause must be a positive integer value}}<br>
+  // expected-error@+1 2 {{expression is not an integral constant expression}}<br>
+  #pragma omp for collapse (foobool(argc)), collapse (true), collapse (-5)<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  #pragma omp for collapse (S) // expected-error {{'S' does not refer to a value}}<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  // expected-error@+1 2 {{expression is not an integral constant expression}}<br>
+  #pragma omp for collapse (argv[1]=2) // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  #pragma omp for collapse (1)<br>
+  for (int i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  #pragma omp for collapse (N) // expected-error {{argument to 'collapse' clause must be a positive integer value}}<br>
+  for (T i = ST; i < N; i++) argv[0][i] = argv[0][i] - argv[0][i-ST];<br>
+  return argc;<br>
+}<br>
+<br>
+int main(int argc, char **argv) {<br>
+  #pragma omp for collapse // expected-error {{expected '(' after 'collapse'}}<br>
+  for (int i = 4; i < 12; i++) argv[0][i] = argv[0][i] - argv[0][i-4];<br>
+  #pragma omp for collapse ( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int i = 4; i < 12; i++) argv[0][i] = argv[0][i] - argv[0][i-4];<br>
+  #pragma omp for collapse () // expected-error {{expected expression}}<br>
+  for (int i = 4; i < 12; i++) argv[0][i] = argv[0][i] - argv[0][i-4];<br>
+  #pragma omp for collapse (4 // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int i = 4; i < 12; i++) argv[0][i] = argv[0][i] - argv[0][i-4];<br>
+  #pragma omp for collapse (2+2)) // expected-warning {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+  for (int i = 4; i < 12; i++) argv[0][i] = argv[0][i] - argv[0][i-4];<br>
+  #pragma omp for collapse (foobool(1) > 0 ? 1 : 2) // expected-error {{expression is not an integral constant expression}}<br>
+  for (int i = 4; i < 12; i++) argv[0][i] = argv[0][i] - argv[0][i-4];<br>
+  // expected-error@+3 {{expression is not an integral constant expression}}<br>
+  // expected-error@+2 2 {{directive '#pragma omp for' cannot contain more than one 'collapse' clause}}<br>
+  // expected-error@+1 2 {{argument to 'collapse' clause must be a positive integer value}}<br>
+  #pragma omp for collapse (foobool(argc)), collapse (true), collapse (-5)<br>
+  for (int i = 4; i < 12; i++) argv[0][i] = argv[0][i] - argv[0][i-4];<br>
+  #pragma omp for collapse (S1) // expected-error {{'S1' does not refer to a value}}<br>
+  for (int i = 4; i < 12; i++) argv[0][i] = argv[0][i] - argv[0][i-4];<br>
+  // expected-error@+1 {{expression is not an integral constant expression}}<br>
+  #pragma omp for collapse (argv[1]=2) // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int i = 4; i < 12; i++) argv[0][i] = argv[0][i] - argv[0][i-4];<br>
+  // expected-error@+3 {{statement after '#pragma omp for' must be a for loop}}<br>
+  // expected-note@+1 {{in instantiation of function template specialization 'tmain<int, char, -1, -2>' requested here}}<br>
+  #pragma omp for collapse(collapse(tmain<int, char, -1, -2>(argc, argv) // expected-error 2 {{expected ')'}} expected-note 2 {{to match this '('}}<br>
+  foo();<br>
+  // expected-note@+1 {{in instantiation of function template specialization 'tmain<int, char, 1, 0>' requested here}}<br>
+  return tmain<int, char, 1, 0>(argc, argv);<br>
+}<br>
+<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_collapse_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:eol-style = native<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_collapse_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:keywords = Author Date Id Rev URL<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_collapse_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:mime-type = text/plain<br>
<br>
Added: cfe/trunk/test/OpenMP/for_firstprivate_messages.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_firstprivate_messages.cpp?rev=211140&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_firstprivate_messages.cpp?rev=211140&view=auto</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/for_firstprivate_messages.cpp (added)<br>
+++ cfe/trunk/test/OpenMP/for_firstprivate_messages.cpp Tue Jun 17 23:14:57 2014<br>
@@ -0,0 +1,293 @@<br>
+// RUN: %clang_cc1 -verify -fopenmp=libiomp5 %s<br>
+<br>
+void foo() {<br>
+}<br>
+<br>
+bool foobool(int argc) {<br>
+  return argc;<br>
+}<br>
+<br>
+struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}<br>
+extern S1 a;<br>
+class S2 {<br>
+  mutable int a;<br>
+<br>
+public:<br>
+  S2() : a(0) {}<br>
+  S2(S2 &s2) : a(s2.a) {}<br>
+  static float S2s;<br>
+  static const float S2sc;<br>
+};<br>
+const float S2::S2sc = 0;<br>
+const S2 b;<br>
+const S2 ba[5];<br>
+class S3 {<br>
+  int a;<br>
+  S3 &operator=(const S3 &s3);<br>
+<br>
+public:<br>
+  S3() : a(0) {}<br>
+  S3(S3 &s3) : a(s3.a) {}<br>
+};<br>
+const S3 c;<br>
+const S3 ca[5];<br>
+extern const int f;<br>
+class S4 { // expected-note 2 {{'S4' declared here}}<br>
+  int a;<br>
+  S4();<br>
+  S4(const S4 &s4);<br>
+<br>
+public:<br>
+  S4(int v) : a(v) {}<br>
+};<br>
+class S5 { // expected-note 4 {{'S5' declared here}}<br>
+  int a;<br>
+  S5(const S5 &s5) : a(s5.a) {}<br>
+<br>
+public:<br>
+  S5() : a(0) {}<br>
+  S5(int v) : a(v) {}<br>
+};<br>
+class S6 {<br>
+  int a;<br>
+  S6() : a(0) {}<br>
+<br>
+public:<br>
+  S6(const S6 &s6) : a(s6.a) {}<br>
+  S6(int v) : a(v) {}<br>
+};<br>
+<br>
+S3 h;<br>
+#pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}<br>
+<br>
+template <class I, class C><br>
+int foomain(int argc, char **argv) {<br>
+  I e(4); // expected-note {{'e' defined here}}<br>
+  C g(5); // expected-note 2 {{'g' defined here}}<br>
+  int i;<br>
+  int &j = i;                // expected-note {{'j' defined here}}<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate // expected-error {{expected '(' after 'firstprivate'}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate() // expected-error {{expected expression}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argc)<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(S1) // expected-error {{'S1' does not refer to a value}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(a, b) // expected-error {{firstprivate variable with incomplete type 'S1'}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argv[1]) // expected-error {{expected variable name}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(e, g) // expected-error 2 {{firstprivate variable must have an accessible, unambiguous copy constructor}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(h) // expected-error {{threadprivate or thread local variable cannot be firstprivate}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for linear(i) // expected-error {{unexpected OpenMP clause 'linear' in directive '#pragma omp for'}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+  {<br>
+    int v = 0;<br>
+    int i;                      // expected-note {{predetermined as private}}<br>
+#pragma omp for firstprivate(i) // expected-error {{private variable cannot be firstprivate}}<br>
+    for (int k = 0; k < argc; ++k) {<br>
+      i = k;<br>
+      v += i;<br>
+    }<br>
+  }<br>
+#pragma omp parallel shared(i)<br>
+#pragma omp parallel private(i)<br>
+#pragma omp for firstprivate(j) // expected-error {{arguments of OpenMP clause 'firstprivate' cannot be of reference type}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(i)<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(g) firstprivate(g) // expected-error {{firstprivate variable must have an accessible, unambiguous copy constructor}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel private(i) // expected-note {{defined as private}}<br>
+#pragma omp for firstprivate(i) // expected-error {{firstprivate variable must be shared}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel reduction(+ : i) // expected-note {{defined as reduction}}<br>
+#pragma omp for firstprivate(i) // expected-error {{firstprivate variable must be shared}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+  return 0;<br>
+}<br>
+<br>
+int main(int argc, char **argv) {<br>
+  const int d = 5;<br>
+  const int da[5] = {0};<br>
+  S4 e(4); // expected-note {{'e' defined here}}<br>
+  S5 g(5); // expected-note 2 {{'g' defined here}}<br>
+  S3 m;<br>
+  S6 n(2);<br>
+  int i;<br>
+  int &j = i;                // expected-note {{'j' defined here}}<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate // expected-error {{expected '(' after 'firstprivate'}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate() // expected-error {{expected expression}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argc)<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(S1) // expected-error {{'S1' does not refer to a value}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(a, b, c, d, f) // expected-error {{firstprivate variable with incomplete type 'S1'}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(argv[1]) // expected-error {{expected variable name}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(2 * 2) // expected-error {{expected variable name}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(ba) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(ca) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(da) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+  int xa;<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(xa) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(S2::S2s) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(S2::S2sc) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for safelen(5) // expected-error {{unexpected OpenMP clause 'safelen' in directive '#pragma omp for'}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(e, g) // expected-error 2 {{firstprivate variable must have an accessible, unambiguous copy constructor}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(m) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(h) // expected-error {{threadprivate or thread local variable cannot be firstprivate}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for private(xa), firstprivate(xa) // expected-error {{private variable cannot be firstprivate}} expected-note {{defined as private}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(i) // expected-note {{defined as firstprivate}}<br>
+  for (i = 0; i < argc; ++i)    // expected-error {{loop iteration variable may not be firstprivate}}<br>
+    foo();<br>
+#pragma omp parallel shared(xa)<br>
+#pragma omp for firstprivate(xa) // OK: may be firstprivate<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(j) // expected-error {{arguments of OpenMP clause 'firstprivate' cannot be of reference type}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(g) firstprivate(g) // expected-error {{firstprivate variable must have an accessible, unambiguous copy constructor}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(n) firstprivate(n) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+  {<br>
+    int v = 0;<br>
+    int i;                      // expected-note {{predetermined as private}}<br>
+#pragma omp for firstprivate(i) // expected-error {{private variable cannot be firstprivate}}<br>
+    for (int k = 0; k < argc; ++k) {<br>
+      i = k;<br>
+      v += i;<br>
+    }<br>
+  }<br>
+#pragma omp parallel private(i) // expected-note {{defined as private}}<br>
+#pragma omp for firstprivate(i) // expected-error {{firstprivate variable must be shared}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel reduction(+ : i) // expected-note {{defined as reduction}}<br>
+#pragma omp for firstprivate(i) // expected-error {{firstprivate variable must be shared}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+<br>
+  return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}}<br>
+}<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_firstprivate_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:eol-style = native<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_firstprivate_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:keywords = Author Date Id Rev URL<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_firstprivate_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:mime-type = text/plain<br>
<br>
Added: cfe/trunk/test/OpenMP/for_lastprivate_messages.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_lastprivate_messages.cpp?rev=211140&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_lastprivate_messages.cpp?rev=211140&view=auto</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/for_lastprivate_messages.cpp (added)<br>
+++ cfe/trunk/test/OpenMP/for_lastprivate_messages.cpp Tue Jun 17 23:14:57 2014<br>
@@ -0,0 +1,266 @@<br>
+// RUN: %clang_cc1 -verify -fopenmp=libiomp5 %s<br>
+<br>
+void foo() {<br>
+}<br>
+<br>
+bool foobool(int argc) {<br>
+  return argc;<br>
+}<br>
+<br>
+struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}<br>
+extern S1 a;<br>
+class S2 {<br>
+  mutable int a;<br>
+<br>
+public:<br>
+  S2() : a(0) {}<br>
+  S2(S2 &s2) : a(s2.a) {}<br>
+  static float S2s; // expected-note {{predetermined as shared}}<br>
+  static const float S2sc;<br>
+};<br>
+const float S2::S2sc = 0; // expected-note {{predetermined as shared}}<br>
+const S2 b;<br>
+const S2 ba[5];<br>
+class S3 { // expected-note 2 {{'S3' declared here}}<br>
+  int a;<br>
+  S3 &operator=(const S3 &s3);<br>
+<br>
+public:<br>
+  S3() : a(0) {}<br>
+  S3(S3 &s3) : a(s3.a) {}<br>
+};<br>
+const S3 c;         // expected-note {{predetermined as shared}}<br>
+const S3 ca[5];     // expected-note {{predetermined as shared}}<br>
+extern const int f; // expected-note {{predetermined as shared}}<br>
+class S4 {          // expected-note 3 {{'S4' declared here}}<br>
+  int a;<br>
+  S4();<br>
+  S4(const S4 &s4);<br>
+<br>
+public:<br>
+  S4(int v) : a(v) {}<br>
+};<br>
+class S5 { // expected-note {{'S5' declared here}}<br>
+  int a;<br>
+  S5() : a(0) {}<br>
+<br>
+public:<br>
+  S5(const S5 &s5) : a(s5.a) {}<br>
+  S5(int v) : a(v) {}<br>
+};<br>
+class S6 {<br>
+  int a;<br>
+  S6() : a(0) {}<br>
+<br>
+public:<br>
+  S6(const S6 &s6) : a(s6.a) {}<br>
+  S6(int v) : a(v) {}<br>
+};<br>
+<br>
+S3 h;<br>
+#pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}<br>
+<br>
+template <class I, class C><br>
+int foomain(int argc, char **argv) {<br>
+  I e(4); // expected-note {{'e' defined here}}<br>
+  I g(5); // expected-note {{'g' defined here}}<br>
+  int i;<br>
+  int &j = i; // expected-note {{'j' defined here}}<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate // expected-error {{expected '(' after 'lastprivate'}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate() // expected-error {{expected expression}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argc)<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(S1) // expected-error {{'S1' does not refer to a value}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(a, b) // expected-error {{lastprivate variable with incomplete type 'S1'}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argv[1]) // expected-error {{expected variable name}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(e, g) // expected-error 2 {{lastprivate variable must have an accessible, unambiguous default constructor}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(h) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for linear(i) // expected-error {{unexpected OpenMP clause 'linear' in directive '#pragma omp for'}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+  {<br>
+    int v = 0;<br>
+    int i;                     // expected-note {{predetermined as private}}<br>
+#pragma omp for lastprivate(i) // expected-error {{lastprivate variable must be shared}}<br>
+    for (int k = 0; k < argc; ++k) {<br>
+      i = k;<br>
+      v += i;<br>
+    }<br>
+  }<br>
+#pragma omp parallel shared(i)<br>
+#pragma omp parallel private(i)<br>
+#pragma omp for lastprivate(j) // expected-error {{arguments of OpenMP clause 'lastprivate' cannot be of reference type}}<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(i)<br>
+  for (int k = 0; k < argc; ++k)<br>
+    ++k;<br>
+  return 0;<br>
+}<br>
+<br>
+int main(int argc, char **argv) {<br>
+  const int d = 5;       // expected-note {{predetermined as shared}}<br>
+  const int da[5] = {0}; // expected-note {{predetermined as shared}}<br>
+  S4 e(4);               // expected-note {{'e' defined here}}<br>
+  S5 g(5);               // expected-note {{'g' defined here}}<br>
+  S3 m;                  // expected-note 2 {{'m' defined here}}<br>
+  S6 n(2);<br>
+  int i;<br>
+  int &j = i; // expected-note {{'j' defined here}}<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate // expected-error {{expected '(' after 'lastprivate'}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate() // expected-error {{expected expression}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argc // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argc)<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(S1) // expected-error {{'S1' does not refer to a value}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(a, b, c, d, f) // expected-error {{lastprivate variable with incomplete type 'S1'}} expected-error 3 {{shared variable cannot be lastprivate}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(argv[1]) // expected-error {{expected variable name}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(2 * 2) // expected-error {{expected variable name}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(ba)<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(ca) // expected-error {{shared variable cannot be lastprivate}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(da) // expected-error {{shared variable cannot be lastprivate}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+  int xa;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(xa) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(S2::S2s) // expected-error {{shared variable cannot be lastprivate}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(S2::S2sc) // expected-error {{shared variable cannot be lastprivate}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for safelen(5) // expected-error {{unexpected OpenMP clause 'safelen' in directive '#pragma omp for'}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(e, g) // expected-error 2 {{lastprivate variable must have an accessible, unambiguous default constructor}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(m) // expected-error {{lastprivate variable must have an accessible, unambiguous copy assignment operator}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(h) // expected-error {{threadprivate or thread local variable cannot be lastprivate}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for private(xa), lastprivate(xa) // expected-error {{private variable cannot be lastprivate}} expected-note {{defined as private}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(i)<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel private(xa) // expected-note {{defined as private}}<br>
+#pragma omp for lastprivate(xa)  // expected-error {{lastprivate variable must be shared}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel reduction(+ : xa) // expected-note {{defined as reduction}}<br>
+#pragma omp for lastprivate(xa)        // expected-error {{lastprivate variable must be shared}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(j) // expected-error {{arguments of OpenMP clause 'lastprivate' cannot be of reference type}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for firstprivate(m) lastprivate(m) // expected-error {{lastprivate variable must have an accessible, unambiguous copy assignment operator}}<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(n) firstprivate(n) // OK<br>
+  for (i = 0; i < argc; ++i)<br>
+    foo();<br>
+  return foomain<S4, S5>(argc, argv); // expected-note {{in instantiation of function template specialization 'foomain<S4, S5>' requested here}}<br>
+}<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_lastprivate_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:eol-style = native<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_lastprivate_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:keywords = Author Date Id Rev URL<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_lastprivate_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:mime-type = text/plain<br>
<br>
Added: cfe/trunk/test/OpenMP/for_loop_messages.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_loop_messages.cpp?rev=211140&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_loop_messages.cpp?rev=211140&view=auto</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/for_loop_messages.cpp (added)<br>
+++ cfe/trunk/test/OpenMP/for_loop_messages.cpp Tue Jun 17 23:14:57 2014<br>
@@ -0,0 +1,680 @@<br>
+// RUN: %clang_cc1 -fsyntax-only -fopenmp=libiomp5 -x c++ -std=c++11 -fexceptions -fcxx-exceptions -verify %s<br>
+<br>
+class S {<br>
+  int a;<br>
+  S() : a(0) {}<br>
+<br>
+public:<br>
+  S(int v) : a(v) {}<br>
+  S(const S &s) : a(s.a) {}<br>
+};<br>
+<br>
+static int sii;<br>
+#pragma omp threadprivate(sii) // expected-note {{defined as threadprivate or thread local}}<br>
+<br>
+int test_iteration_spaces() {<br>
+  const int N = 100;<br>
+  float a[N], b[N], c[N];<br>
+  int ii, jj, kk;<br>
+  float fii;<br>
+  double dii;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (int i = 0; i < 10; i += 1) {<br>
+    c[i] = a[i] + b[i];<br>
+  }<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (char i = 0; i < 10; i++) {<br>
+    c[i] = a[i] + b[i];<br>
+  }<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (char i = 0; i < 10; i += '\1') {<br>
+    c[i] = a[i] + b[i];<br>
+  }<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (long long i = 0; i < 10; i++) {<br>
+    c[i] = a[i] + b[i];<br>
+  }<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expression must have integral or unscoped enumeration type, not 'double'}}<br>
+#pragma omp for<br>
+  for (long long i = 0; i < 10; i += 1.5) {<br>
+    c[i] = a[i] + b[i];<br>
+  }<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (long long i = 0; i < 'z'; i += 1u) {<br>
+    c[i] = a[i] + b[i];<br>
+  }<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{variable must be of integer or random access iterator type}}<br>
+#pragma omp for<br>
+  for (float fi = 0; fi < 10.0; fi++) {<br>
+    c[(int)fi] = a[(int)fi] + b[(int)fi];<br>
+  }<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{variable must be of integer or random access iterator type}}<br>
+#pragma omp for<br>
+  for (double fi = 0; fi < 10.0; fi++) {<br>
+    c[(int)fi] = a[(int)fi] + b[(int)fi];<br>
+  }<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{variable must be of integer or random access iterator type}}<br>
+#pragma omp for<br>
+  for (int &ref = ii; ref < 10; ref++) {<br>
+  }<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{initialization clause of OpenMP for loop must be of the form 'var = init' or 'T var = init'}}<br>
+#pragma omp for<br>
+  for (int i; i < 10; i++)<br>
+    c[i] = a[i];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{initialization clause of OpenMP for loop must be of the form 'var = init' or 'T var = init'}}<br>
+#pragma omp for<br>
+  for (int i = 0, j = 0; i < 10; ++i)<br>
+    c[i] = a[i];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{initialization clause of OpenMP for loop must be of the form 'var = init' or 'T var = init'}}<br>
+#pragma omp for<br>
+  for (; ii < 10; ++ii)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-warning@+3 {{expression result unused}}<br>
+// expected-error@+2 {{initialization clause of OpenMP for loop must be of the form 'var = init' or 'T var = init'}}<br>
+#pragma omp for<br>
+  for (ii + 1; ii < 10; ++ii)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{initialization clause of OpenMP for loop must be of the form 'var = init' or 'T var = init'}}<br>
+#pragma omp for<br>
+  for (c[ii] = 0; ii < 10; ++ii)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// Ok to skip parenthesises.<br>
+#pragma omp for<br>
+  for (((ii)) = 0; ii < 10; ++ii)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}}<br>
+#pragma omp for<br>
+  for (int i = 0; i; i++)<br>
+    c[i] = a[i];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+3 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}}<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'i'}}<br>
+#pragma omp for<br>
+  for (int i = 0; jj < kk; ii++)<br>
+    c[i] = a[i];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}}<br>
+#pragma omp for<br>
+  for (int i = 0; !!i; i++)<br>
+    c[i] = a[i];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}}<br>
+#pragma omp for<br>
+  for (int i = 0; i != 1; i++)<br>
+    c[i] = a[i];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'i'}}<br>
+#pragma omp for<br>
+  for (int i = 0;; i++)<br>
+    c[i] = a[i];<br>
+<br>
+#pragma omp parallel<br>
+// Ok.<br>
+#pragma omp for<br>
+  for (int i = 11; i > 10; i--)<br>
+    c[i] = a[i];<br>
+<br>
+#pragma omp parallel<br>
+// Ok.<br>
+#pragma omp for<br>
+  for (int i = 0; i < 10; ++i)<br>
+    c[i] = a[i];<br>
+<br>
+#pragma omp parallel<br>
+// Ok.<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ++ii)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ++jj)<br>
+    c[ii] = a[jj];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ++++ii)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// Ok but undefined behavior (in general, cannot check that incr<br>
+// is really loop-invariant).<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ii = ii + ii)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expression must have integral or unscoped enumeration type, not 'float'}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ii = ii + 1.0f)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// Ok - step was converted to integer type.<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ii = ii + (int)1.1f)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; jj = ii + 2)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-warning@+3 {{relational comparison result unused}}<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii<10; jj> kk + 2)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10;)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-warning@+3 {{expression result unused}}<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; !ii)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ii ? ++ii : ++jj)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'ii'}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ii = ii < 10)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be positive due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ii = ii + 0)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be positive due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; ii = ii + (int)(0.8 - 0.45))<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be positive due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (ii = 0; (ii) < 10; ii -= 25)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be positive due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (ii = 0; (ii < 10); ii -= 0)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be negative due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'ii' to decrease on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii > 10; (ii += 0))<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be positive due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (ii = 0; ii < 10; (ii) = (1 - 1) + (ii))<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be negative due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'ii' to decrease on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for ((ii = 0); ii > 10; (ii -= 0))<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be positive due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'ii' to increase on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (ii = 0; (ii < 10); (ii -= 0))<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+2  {{defined as firstprivate}}<br>
+// expected-error@+2 {{loop iteration variable may not be firstprivate}}<br>
+#pragma omp for firstprivate(ii)<br>
+  for (ii = 0; ii < 10; ii++)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+3 {{unexpected OpenMP clause 'linear' in directive '#pragma omp for'}}<br>
+// expected-note@+2  {{defined as linear}}<br>
+// expected-error@+2 {{loop iteration variable may not be linear}}<br>
+#pragma omp for linear(ii)<br>
+  for (ii = 0; ii < 10; ii++)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+#pragma omp for private(ii)<br>
+  for (ii = 0; ii < 10; ii++)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(ii)<br>
+  for (ii = 0; ii < 10; ii++)<br>
+    c[ii] = a[ii];<br>
+<br>
+#pragma omp parallel<br>
+  {<br>
+// expected-error@+2 {{loop iteration variable may not be threadprivate or thread local}}<br>
+#pragma omp for<br>
+    for (sii = 0; sii < 10; sii += 1)<br>
+      c[sii] = a[sii];<br>
+  }<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{statement after '#pragma omp for' must be a for loop}}<br>
+#pragma omp for<br>
+  for (auto &item : a) {<br>
+    item = item + 1;<br>
+  }<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be positive due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'i' to increase on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (unsigned i = 9; i < 10; i--) {<br>
+    c[i] = a[i] + b[i];<br>
+  }<br>
+<br>
+  int(*lb)[4] = nullptr;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (int(*p)[4] = lb; p < lb + 8; ++p) {<br>
+  }<br>
+<br>
+#pragma omp parallel<br>
+// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}<br>
+#pragma omp for<br>
+  for (int a{0}; a < 10; ++a) {<br>
+  }<br>
+<br>
+  return 0;<br>
+}<br>
+<br>
+// Iterators allowed in openmp for-loops.<br>
+namespace std {<br>
+struct random_access_iterator_tag {};<br>
+template <class Iter><br>
+struct iterator_traits {<br>
+  typedef typename Iter::difference_type difference_type;<br>
+  typedef typename Iter::iterator_category iterator_category;<br>
+};<br>
+template <class Iter><br>
+typename iterator_traits<Iter>::difference_type<br>
+distance(Iter first, Iter last) { return first - last; }<br>
+}<br>
+class Iter0 {<br>
+public:<br>
+  Iter0() {}<br>
+  Iter0(const Iter0 &) {}<br>
+  Iter0 operator++() { return *this; }<br>
+  Iter0 operator--() { return *this; }<br>
+  bool operator<(Iter0 a) { return true; }<br>
+};<br>
+int operator-(Iter0 a, Iter0 b) { return 0; }<br>
+class Iter1 {<br>
+public:<br>
+  Iter1(float f = 0.0f, double d = 0.0) {}<br>
+  Iter1(const Iter1 &) {}<br>
+  Iter1 operator++() { return *this; }<br>
+  Iter1 operator--() { return *this; }<br>
+  bool operator<(Iter1 a) { return true; }<br>
+  bool operator>=(Iter1 a) { return false; }<br>
+};<br>
+class GoodIter {<br>
+public:<br>
+  GoodIter() {}<br>
+  GoodIter(const GoodIter &) {}<br>
+  GoodIter(int fst, int snd) {}<br>
+  GoodIter &operator=(const GoodIter &that) { return *this; }<br>
+  GoodIter &operator=(const Iter0 &that) { return *this; }<br>
+  GoodIter &operator+=(int x) { return *this; }<br>
+  explicit GoodIter(void *) {}<br>
+  GoodIter operator++() { return *this; }<br>
+  GoodIter operator--() { return *this; }<br>
+  bool operator!() { return true; }<br>
+  bool operator<(GoodIter a) { return true; }<br>
+  bool operator<=(GoodIter a) { return true; }<br>
+  bool operator>=(GoodIter a) { return false; }<br>
+  typedef int difference_type;<br>
+  typedef std::random_access_iterator_tag iterator_category;<br>
+};<br>
+int operator-(GoodIter a, GoodIter b) { return 0; }<br>
+GoodIter operator-(GoodIter a) { return a; }<br>
+GoodIter operator-(GoodIter a, int v) { return GoodIter(); }<br>
+GoodIter operator+(GoodIter a, int v) { return GoodIter(); }<br>
+GoodIter operator-(int v, GoodIter a) { return GoodIter(); }<br>
+GoodIter operator+(int v, GoodIter a) { return GoodIter(); }<br>
+<br>
+int test_with_random_access_iterator() {<br>
+  GoodIter begin, end;<br>
+  Iter0 begin0, end0;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; I < end; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{variable must be of integer or random access iterator type}}<br>
+#pragma omp for<br>
+  for (GoodIter &I = begin; I < end; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; I >= end; --I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}<br>
+#pragma omp for<br>
+  for (GoodIter I(begin); I < end; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}<br>
+#pragma omp for<br>
+  for (GoodIter I(nullptr); I < end; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}<br>
+#pragma omp for<br>
+  for (GoodIter I(0); I < end; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}<br>
+#pragma omp for<br>
+  for (GoodIter I(1, 2); I < end; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (begin = GoodIter(0); begin < end; ++begin)<br>
+    ++begin;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (begin = begin0; begin < end; ++begin)<br>
+    ++begin;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{initialization clause of OpenMP for loop must be of the form 'var = init' or 'T var = init'}}<br>
+#pragma omp for<br>
+  for (++begin; begin < end; ++begin)<br>
+    ++begin;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (begin = end; begin < end; ++begin)<br>
+    ++begin;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}}<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; I - I; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}}<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; begin < end; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{condition of OpenMP for loop must be a relational comparison ('<', '<=', '>', or '>=') of loop variable 'I'}}<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; !I; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be negative due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; I >= end; I = I + 1)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; I >= end; I = I - 1)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}}<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; I >= end; I = -I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be negative due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; I >= end; I = 2 + I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{increment clause of OpenMP for loop must perform simple addition or subtraction on loop variable 'I'}}<br>
+#pragma omp for<br>
+  for (GoodIter I = begin; I >= end; I = 2 - I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (Iter0 I = begin0; I < end0; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// Initializer is constructor without params.<br>
+// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}<br>
+#pragma omp for<br>
+  for (Iter0 I; I < end0; ++I)<br>
+    ++I;<br>
+  Iter1 begin1, end1;<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (Iter1 I = begin1; I < end1; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be negative due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (Iter1 I = begin1; I >= end1; ++I)<br>
+    ++I;<br>
+#pragma omp parallel<br>
+// Initializer is constructor with all default params.<br>
+// expected-warning@+2 {{initialization clause of OpenMP for loop is not in canonical form ('var = init' or 'T var = init')}}<br>
+#pragma omp for<br>
+  for (Iter1 I; I < end1; ++I) {<br>
+  }<br>
+  return 0;<br>
+}<br>
+<br>
+template <typename IT, int ST><br>
+class TC {<br>
+public:<br>
+  int dotest_lt(IT begin, IT end) {<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be positive due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+    for (IT I = begin; I < end; I = I + ST) {<br>
+      ++I;<br>
+    }<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be positive due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'I' to increase on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+    for (IT I = begin; I <= end; I += ST) {<br>
+      ++I;<br>
+    }<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+    for (IT I = begin; I < end; ++I) {<br>
+      ++I;<br>
+    }<br>
+  }<br>
+<br>
+  static IT step() {<br>
+    return IT(ST);<br>
+  }<br>
+};<br>
+template <typename IT, int ST = 0><br>
+int dotest_gt(IT begin, IT end) {<br>
+#pragma omp parallel<br>
+// expected-note@+3 2 {{loop step is expected to be negative due to this condition}}<br>
+// expected-error@+2 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (IT I = begin; I >= end; I = I + ST) {<br>
+    ++I;<br>
+  }<br>
+#pragma omp parallel<br>
+// expected-note@+3 2 {{loop step is expected to be negative due to this condition}}<br>
+// expected-error@+2 2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (IT I = begin; I >= end; I += ST) {<br>
+    ++I;<br>
+  }<br>
+<br>
+#pragma omp parallel<br>
+// expected-note@+3 {{loop step is expected to be negative due to this condition}}<br>
+// expected-error@+2 {{increment expression must cause 'I' to decrease on each iteration of OpenMP for loop}}<br>
+#pragma omp for<br>
+  for (IT I = begin; I >= end; ++I) {<br>
+    ++I;<br>
+  }<br>
+<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (IT I = begin; I < end; I += TC<int, ST>::step()) {<br>
+    ++I;<br>
+  }<br>
+}<br>
+<br>
+void test_with_template() {<br>
+  GoodIter begin, end;<br>
+  TC<GoodIter, 100> t1;<br>
+  TC<GoodIter, -100> t2;<br>
+  t1.dotest_lt(begin, end);<br>
+  t2.dotest_lt(begin, end);         // expected-note {{in instantiation of member function 'TC<GoodIter, -100>::dotest_lt' requested here}}<br>
+  dotest_gt(begin, end);            // expected-note {{in instantiation of function template specialization 'dotest_gt<GoodIter, 0>' requested here}}<br>
+  dotest_gt<unsigned, -10>(0, 100); // expected-note {{in instantiation of function template specialization 'dotest_gt<unsigned int, -10>' requested here}}<br>
+}<br>
+<br>
+void test_loop_break() {<br>
+  const int N = 100;<br>
+  float a[N], b[N], c[N];<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (int i = 0; i < 10; i++) {<br>
+    c[i] = a[i] + b[i];<br>
+    for (int j = 0; j < 10; ++j) {<br>
+      if (a[i] > b[j])<br>
+        break; // OK in nested loop<br>
+    }<br>
+    switch (i) {<br>
+    case 1:<br>
+      b[i]++;<br>
+      break;<br>
+    default:<br>
+      break;<br>
+    }<br>
+    if (c[i] > 10)<br>
+      break; // expected-error {{'break' statement cannot be used in OpenMP for loop}}<br>
+<br>
+    if (c[i] > 11)<br>
+      break; // expected-error {{'break' statement cannot be used in OpenMP for loop}}<br>
+  }<br>
+<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (int i = 0; i < 10; i++) {<br>
+    for (int j = 0; j < 10; j++) {<br>
+      c[i] = a[i] + b[i];<br>
+      if (c[i] > 10) {<br>
+        if (c[i] < 20) {<br>
+          break; // OK<br>
+        }<br>
+      }<br>
+    }<br>
+  }<br>
+}<br>
+<br>
+void test_loop_eh() {<br>
+  const int N = 100;<br>
+  float a[N], b[N], c[N];<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (int i = 0; i < 10; i++) {<br>
+    c[i] = a[i] + b[i];<br>
+    try {<br>
+      for (int j = 0; j < 10; ++j) {<br>
+        if (a[i] > b[j])<br>
+          throw a[i];<br>
+      }<br>
+      throw a[i];<br>
+    } catch (float f) {<br>
+      if (f > 0.1)<br>
+        throw a[i];<br>
+      return; // expected-error {{cannot return from OpenMP region}}<br>
+    }<br>
+    switch (i) {<br>
+    case 1:<br>
+      b[i]++;<br>
+      break;<br>
+    default:<br>
+      break;<br>
+    }<br>
+    for (int j = 0; j < 10; j++) {<br>
+      if (c[i] > 10)<br>
+        throw c[i];<br>
+    }<br>
+  }<br>
+  if (c[9] > 10)<br>
+    throw c[9]; // OK<br>
+<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (int i = 0; i < 10; ++i) {<br>
+    struct S {<br>
+      void g() { throw 0; }<br>
+    };<br>
+  }<br>
+}<br>
+<br>
+void test_loop_firstprivate_lastprivate() {<br>
+  S s(4);<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(s) firstprivate(s)<br>
+  for (int i = 0; i < 16; ++i)<br>
+    ;<br>
+}<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_loop_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:eol-style = native<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_loop_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:keywords = Author Date Id Rev URL<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_loop_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:mime-type = text/plain<br>
<br>
Added: cfe/trunk/test/OpenMP/for_misc_messages.c<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_misc_messages.c?rev=211140&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_misc_messages.c?rev=211140&view=auto</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/for_misc_messages.c (added)<br>
+++ cfe/trunk/test/OpenMP/for_misc_messages.c Tue Jun 17 23:14:57 2014<br>
@@ -0,0 +1,362 @@<br>
+// RUN: %clang_cc1 -fsyntax-only -fopenmp=libiomp5 -verify %s<br>
+<br>
+// expected-error@+1 {{unexpected OpenMP directive '#pragma omp for'}}<br>
+#pragma omp for<br>
+<br>
+// expected-error@+1 {{unexpected OpenMP directive '#pragma omp for'}}<br>
+#pragma omp for foo<br>
+<br>
+void test_no_clause() {<br>
+  int i;<br>
+#pragma omp for<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+<br>
+// expected-error@+2 {{statement after '#pragma omp for' must be a for loop}}<br>
+#pragma omp for<br>
+  ++i;<br>
+}<br>
+<br>
+void test_branch_protected_scope() {<br>
+  int i = 0;<br>
+L1:<br>
+  ++i;<br>
+<br>
+  int x[24];<br>
+<br>
+#pragma omp parallel<br>
+#pragma omp for<br>
+  for (i = 0; i < 16; ++i) {<br>
+    if (i == 5)<br>
+      goto L1; // expected-error {{use of undeclared label 'L1'}}<br>
+    else if (i == 6)<br>
+      return; // expected-error {{cannot return from OpenMP region}}<br>
+    else if (i == 7)<br>
+      goto L2;<br>
+    else if (i == 8) {<br>
+    L2:<br>
+      x[i]++;<br>
+    }<br>
+  }<br>
+<br>
+  if (x[0] == 0)<br>
+    goto L2; // expected-error {{use of undeclared label 'L2'}}<br>
+  else if (x[1] == 1)<br>
+    goto L1;<br>
+}<br>
+<br>
+void test_invalid_clause() {<br>
+  int i;<br>
+#pragma omp parallel<br>
+// expected-warning@+1 {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+#pragma omp for foo bar<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+}<br>
+<br>
+void test_non_identifiers() {<br>
+  int i, x;<br>
+<br>
+#pragma omp parallel<br>
+// expected-warning@+1 {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+#pragma omp for;<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{unexpected OpenMP clause 'linear' in directive '#pragma omp for'}}<br>
+// expected-warning@+1 {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+#pragma omp for linear(x);<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+<br>
+#pragma omp parallel<br>
+// expected-warning@+1 {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+#pragma omp for private(x);<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+<br>
+#pragma omp parallel<br>
+// expected-warning@+1 {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+#pragma omp for, private(x);<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+}<br>
+<br>
+extern int foo();<br>
+<br>
+void test_collapse() {<br>
+  int i;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected '('}}<br>
+#pragma omp for collapse<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}<br>
+#pragma omp for collapse(<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}}<br>
+#pragma omp for collapse()<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}<br>
+#pragma omp for collapse(,<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}}  expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}<br>
+#pragma omp for collapse(, )<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-warning@+2 {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+// expected-error@+1 {{expected '('}}<br>
+#pragma omp for collapse 4)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}}<br>
+// expected-note@+1 {{to match this '('}}<br>
+#pragma omp for collapse(4<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}}<br>
+// expected-note@+1 {{to match this '('}}<br>
+#pragma omp for collapse(4,<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}}<br>
+// expected-note@+1 {{to match this '('}}<br>
+#pragma omp for collapse(4, )<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+#pragma omp for collapse(4)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}}<br>
+// expected-note@+1 {{to match this '('}}<br>
+#pragma omp for collapse(4 4)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}}<br>
+// expected-note@+1 {{to match this '('}}<br>
+#pragma omp for collapse(4, , 4)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+#pragma omp for collapse(4)<br>
+  for (int i1 = 0; i1 < 16; ++i1)<br>
+    for (int i2 = 0; i2 < 16; ++i2)<br>
+      for (int i3 = 0; i3 < 16; ++i3)<br>
+        for (int i4 = 0; i4 < 16; ++i4)<br>
+          foo();<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}}<br>
+// expected-note@+1 {{to match this '('}}<br>
+#pragma omp for collapse(4, 8)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expression is not an integer constant expression}}<br>
+#pragma omp for collapse(2.5)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expression is not an integer constant expression}}<br>
+#pragma omp for collapse(foo())<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{argument to 'collapse' clause must be a positive integer value}}<br>
+#pragma omp for collapse(-5)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{argument to 'collapse' clause must be a positive integer value}}<br>
+#pragma omp for collapse(0)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{argument to 'collapse' clause must be a positive integer value}}<br>
+#pragma omp for collapse(5 - 5)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+}<br>
+<br>
+void test_private() {<br>
+  int i;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected expression}}<br>
+// expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}<br>
+#pragma omp for private(<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}<br>
+// expected-error@+1 2 {{expected expression}}<br>
+#pragma omp for private(,<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 2 {{expected expression}}<br>
+#pragma omp for private(, )<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}}<br>
+#pragma omp for private()<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}}<br>
+#pragma omp for private(int)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected variable name}}<br>
+#pragma omp for private(0)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+<br>
+  int x, y, z;<br>
+#pragma omp parallel<br>
+#pragma omp for private(x)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+#pragma omp for private(x, y)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+#pragma omp for private(x, y, z)<br>
+  for (i = 0; i < 16; ++i) {<br>
+    x = y * i + z;<br>
+  }<br>
+}<br>
+<br>
+void test_lastprivate() {<br>
+  int i;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}<br>
+// expected-error@+1 {{expected expression}}<br>
+#pragma omp for lastprivate(<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}<br>
+// expected-error@+1 2 {{expected expression}}<br>
+#pragma omp for lastprivate(,<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 2 {{expected expression}}<br>
+#pragma omp for lastprivate(, )<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}}<br>
+#pragma omp for lastprivate()<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}}<br>
+#pragma omp for lastprivate(int)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected variable name}}<br>
+#pragma omp for lastprivate(0)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+<br>
+  int x, y, z;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(x)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(x, y)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(x, y, z)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+}<br>
+<br>
+void test_firstprivate() {<br>
+  int i;<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}<br>
+// expected-error@+1 {{expected expression}}<br>
+#pragma omp for firstprivate(<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}<br>
+// expected-error@+1 2 {{expected expression}}<br>
+#pragma omp for firstprivate(,<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 2 {{expected expression}}<br>
+#pragma omp for firstprivate(, )<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}}<br>
+#pragma omp for firstprivate()<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected expression}}<br>
+#pragma omp for firstprivate(int)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+// expected-error@+1 {{expected variable name}}<br>
+#pragma omp for firstprivate(0)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+<br>
+  int x, y, z;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(x) firstprivate(x)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(x, y) firstprivate(x, y)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+#pragma omp parallel<br>
+#pragma omp for lastprivate(x, y, z) firstprivate(x, y, z)<br>
+  for (i = 0; i < 16; ++i)<br>
+    ;<br>
+}<br>
+<br>
+void test_loop_messages() {<br>
+  float a[100], b[100], c[100];<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{variable must be of integer or pointer type}}<br>
+#pragma omp for<br>
+  for (float fi = 0; fi < 10.0; fi++) {<br>
+    c[(int)fi] = a[(int)fi] + b[(int)fi];<br>
+  }<br>
+#pragma omp parallel<br>
+// expected-error@+2 {{variable must be of integer or pointer type}}<br>
+#pragma omp for<br>
+  for (double fi = 0; fi < 10.0; fi++) {<br>
+    c[(int)fi] = a[(int)fi] + b[(int)fi];<br>
+  }<br>
+}<br>
+<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_misc_messages.c<br>
------------------------------------------------------------------------------<br>
    svn:eol-style = native<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_misc_messages.c<br>
------------------------------------------------------------------------------<br>
    svn:keywords = Author Date Id Rev URL<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_misc_messages.c<br>
------------------------------------------------------------------------------<br>
    svn:mime-type = text/plain<br>
<br>
Added: cfe/trunk/test/OpenMP/for_private_messages.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_private_messages.cpp?rev=211140&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_private_messages.cpp?rev=211140&view=auto</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/for_private_messages.cpp (added)<br>
+++ cfe/trunk/test/OpenMP/for_private_messages.cpp Tue Jun 17 23:14:57 2014<br>
@@ -0,0 +1,134 @@<br>
+// RUN: %clang_cc1 -verify -fopenmp=libiomp5 %s<br>
+<br>
+void foo() {<br>
+}<br>
+<br>
+bool foobool(int argc) {<br>
+  return argc;<br>
+}<br>
+<br>
+struct S1; // expected-note 2 {{declared here}} expected-note 2 {{forward declaration of 'S1'}}<br>
+extern S1 a;<br>
+class S2 {<br>
+  mutable int a;<br>
+public:<br>
+  S2():a(0) { }<br>
+};<br>
+const S2 b;<br>
+const S2 ba[5];<br>
+class S3 {<br>
+  int a;<br>
+public:<br>
+  S3():a(0) { }<br>
+};<br>
+const S3 ca[5];<br>
+class S4 { // expected-note {{'S4' declared here}}<br>
+  int a;<br>
+  S4();<br>
+public:<br>
+  S4(int v):a(v) { }<br>
+};<br>
+class S5 { // expected-note {{'S5' declared here}}<br>
+  int a;<br>
+  S5():a(0) {}<br>
+public:<br>
+  S5(int v):a(v) { }<br>
+};<br>
+<br>
+S3 h;<br>
+#pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}<br>
+<br>
+template<class I, class C> int foomain(I argc, C **argv) {<br>
+  I e(4);<br>
+  I g(5);<br>
+  int i;<br>
+  int &j = i; // expected-note {{'j' defined here}}<br>
+  #pragma omp for private // expected-error {{expected '(' after 'private'}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private ( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private () // expected-error {{expected expression}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argc // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argc)<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (S1) // expected-error {{'S1' does not refer to a value}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (a, b) // expected-error {{private variable with incomplete type 'S1'}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argv[1]) // expected-error {{expected variable name}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private(e, g)<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private(h) // expected-error {{threadprivate or thread local variable cannot be private}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for shared(i) // expected-error {{unexpected OpenMP clause 'shared' in directive '#pragma omp for'}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp parallel<br>
+  {<br>
+    int v = 0;<br>
+    int i;<br>
+    #pragma omp for private(i)<br>
+    for (int k = 0; k < argc; ++k) { i = k; v += i; }<br>
+  }<br>
+  #pragma omp parallel shared(i)<br>
+  #pragma omp parallel private(i)<br>
+  #pragma omp for private(j) // expected-error {{arguments of OpenMP clause 'private' cannot be of reference type}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private(i)<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  return 0;<br>
+}<br>
+<br>
+int main(int argc, char **argv) {<br>
+  S4 e(4); // expected-note {{'e' defined here}}<br>
+  S5 g(5); // expected-note {{'g' defined here}}<br>
+  int i;<br>
+  int &j = i; // expected-note {{'j' defined here}}<br>
+  #pragma omp for private // expected-error {{expected '(' after 'private'}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private ( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private () // expected-error {{expected expression}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argc // expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argc)<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (S1) // expected-error {{'S1' does not refer to a value}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (a, b) // expected-error {{private variable with incomplete type 'S1'}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private (argv[1]) // expected-error {{expected variable name}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private(e, g) // expected-error 2 {{private variable must have an accessible, unambiguous default constructor}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private(h) // expected-error {{threadprivate or thread local variable cannot be private}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for shared(i) // expected-error {{unexpected OpenMP clause 'shared' in directive '#pragma omp for'}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp parallel<br>
+  {<br>
+    int i;<br>
+    #pragma omp for private(i)<br>
+    for (int k = 0; k < argc; ++k) ++k;<br>
+  }<br>
+  #pragma omp parallel shared(i)<br>
+  #pragma omp parallel private(i)<br>
+  #pragma omp for private(j) // expected-error {{arguments of OpenMP clause 'private' cannot be of reference type}}<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+  #pragma omp for private(i)<br>
+  for (int k = 0; k < argc; ++k) ++k;<br>
+<br>
+  return 0;<br>
+}<br>
+<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_private_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:eol-style = native<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_private_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:keywords = Author Date Id Rev URL<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_private_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:mime-type = text/plain<br>
<br>
Added: cfe/trunk/test/OpenMP/for_reduction_messages.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_reduction_messages.cpp?rev=211140&view=auto" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/for_reduction_messages.cpp?rev=211140&view=auto</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/for_reduction_messages.cpp (added)<br>
+++ cfe/trunk/test/OpenMP/for_reduction_messages.cpp Tue Jun 17 23:14:57 2014<br>
@@ -0,0 +1,350 @@<br>
+// RUN: %clang_cc1 -verify -fopenmp=libiomp5 -ferror-limit 100 -o - %s<br>
+<br>
+void foo() {<br>
+}<br>
+<br>
+bool foobool(int argc) {<br>
+  return argc;<br>
+}<br>
+<br>
+struct S1; // expected-note {{declared here}} expected-note 4 {{forward declaration of 'S1'}}<br>
+extern S1 a;<br>
+class S2 {<br>
+  mutable int a;<br>
+  S2 &operator+=(const S2 &arg) { return (*this); }<br>
+<br>
+public:<br>
+  S2() : a(0) {}<br>
+  S2(S2 &s2) : a(s2.a) {}<br>
+  static float S2s; // expected-note 2 {{predetermined as shared}}<br>
+  static const float S2sc;<br>
+};<br>
+const float S2::S2sc = 0; // expected-note 2 {{'S2sc' defined here}}<br>
+S2 b;                     // expected-note 2 {{'b' defined here}}<br>
+const S2 ba[5];           // expected-note 2 {{'ba' defined here}}<br>
+class S3 {<br>
+  int a;<br>
+<br>
+public:<br>
+  S3() : a(0) {}<br>
+  S3(const S3 &s3) : a(s3.a) {}<br>
+  S3 operator+=(const S3 &arg1) { return arg1; }<br>
+};<br>
+int operator+=(const S3 &arg1, const S3 &arg2) { return 5; }<br>
+S3 c;               // expected-note 2 {{'c' defined here}}<br>
+const S3 ca[5];     // expected-note 2 {{'ca' defined here}}<br>
+extern const int f; // expected-note 4 {{'f' declared here}}<br>
+class S4 {          // expected-note {{'S4' declared here}}<br>
+  int a;<br>
+  S4();<br>
+  S4(const S4 &s4);<br>
+  S4 &operator+=(const S4 &arg) { return (*this); }<br>
+<br>
+public:<br>
+  S4(int v) : a(v) {}<br>
+};<br>
+S4 &operator&=(S4 &arg1, S4 &arg2) { return arg1; }<br>
+class S5 {<br>
+  int a;<br>
+  S5() : a(0) {}<br>
+  S5(const S5 &s5) : a(s5.a) {}<br>
+  S5 &operator+=(const S5 &arg);<br>
+<br>
+public:<br>
+  S5(int v) : a(v) {}<br>
+};<br>
+class S6 {<br>
+  int a;<br>
+<br>
+public:<br>
+  S6() : a(6) {}<br>
+  operator int() { return 6; }<br>
+} o; // expected-note 2 {{'o' defined here}}<br>
+<br>
+S3 h, k;<br>
+#pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}<br>
+<br>
+template <class T>       // expected-note {{declared here}}<br>
+T tmain(T argc) {        // expected-note 2 {{'argc' defined here}}<br>
+  const T d = T();       // expected-note 4 {{'d' defined here}}<br>
+  const T da[5] = {T()}; // expected-note 2 {{'da' defined here}}<br>
+  T qa[5] = {T()};<br>
+  T i;<br>
+  T &j = i;                // expected-note 4 {{'j' defined here}}<br>
+  S3 &p = k;               // expected-note 2 {{'p' defined here}}<br>
+  const T &r = da[(int)i]; // expected-note 2 {{'r' defined here}}<br>
+  T &q = qa[(int)i];       // expected-note 2 {{'q' defined here}}<br>
+  T fl;                    // expected-note {{'fl' defined here}}<br>
+#pragma omp parallel<br>
+#pragma omp for reduction // expected-error {{expected '(' after 'reduction'}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction() // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(& : argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(| : argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(|| : argc ? i : argc) // expected-error 2 {{expected variable name}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(foo : argc) //expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max'}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(&& : argc)<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(^ : T) // expected-error {{'T' does not refer to a value}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 3 {{const-qualified variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(min : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 3 {{const-qualified variable cannot be reduction}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(max : qa[1]) // expected-error 2 {{expected variable name}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : ba) // expected-error {{a reduction variable with array type 'const S2 [5]'}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(* : ca) // expected-error {{a reduction variable with array type 'const S3 [5]'}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(- : da) // expected-error {{a reduction variable with array type 'const int [5]'}} expected-error {{a reduction variable with array type 'const float [5]'}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(^ : fl) // expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(&& : S2::S2sc) // expected-error {{const-qualified variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : h, k) // expected-error {{threadprivate or thread local variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : o) // expected-error {{variable of type 'class S6' is not valid for specified reduction operation}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for private(i), reduction(+ : j), reduction(+ : q) // expected-error 4 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel private(k)<br>
+#pragma omp for reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : p), reduction(+ : p) // expected-error 3 {{variable can appear only once in OpenMP 'reduction' clause}} expected-note 3 {{previously referenced here}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : r) // expected-error 2 {{const-qualified variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel shared(i)<br>
+#pragma omp parallel reduction(min : i)<br>
+#pragma omp for reduction(max : j) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel private(fl)  // expected-note 2 {{defined as private}}<br>
+#pragma omp for reduction(+ : fl) // expected-error 2 {{reduction variable must be shared}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel reduction(* : fl) // expected-note 2 {{defined as reduction}}<br>
+#pragma omp for reduction(+ : fl)      // expected-error 2 {{reduction variable must be shared}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+<br>
+  return T();<br>
+}<br>
+<br>
+int main(int argc, char **argv) {<br>
+  const int d = 5;       // expected-note 2 {{'d' defined here}}<br>
+  const int da[5] = {0}; // expected-note {{'da' defined here}}<br>
+  int qa[5] = {0};<br>
+  S4 e(4); // expected-note {{'e' defined here}}<br>
+  S5 g(5); // expected-note {{'g' defined here}}<br>
+  int i;<br>
+  int &j = i;           // expected-note 2 {{'j' defined here}}<br>
+  S3 &p = k;            // expected-note 2 {{'p' defined here}}<br>
+  const int &r = da[i]; // expected-note {{'r' defined here}}<br>
+  int &q = qa[i];       // expected-note {{'q' defined here}}<br>
+  float fl;             // expected-note {{'fl' defined here}}<br>
+#pragma omp parallel<br>
+#pragma omp for reduction // expected-error {{expected '(' after 'reduction'}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp for' are ignored}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction() // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(foo : argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max'}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(| : argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(|| : argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(~ : argc) // expected-error {{expected unqualified-id}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(&& : argc)<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(^ : S1) // expected-error {{'S1' does not refer to a value}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{const-qualified variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(min : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 2 {{const-qualified variable cannot be reduction}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(max : argv[1]) // expected-error {{expected variable name}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : ba) // expected-error {{a reduction variable with array type 'const S2 [5]'}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(* : ca) // expected-error {{a reduction variable with array type 'const S3 [5]'}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(- : da) // expected-error {{a reduction variable with array type 'const int [5]'}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(^ : fl) // expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(&& : S2::S2sc) // expected-error {{const-qualified variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(& : e, g) // expected-error {{reduction variable must have an accessible, unambiguous default constructor}} expected-error {{variable of type 'S5' is not valid for specified reduction operation}}<br>

+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : h, k) // expected-error {{threadprivate or thread local variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : o) // expected-error {{variable of type 'class S6' is not valid for specified reduction operation}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for private(i), reduction(+ : j), reduction(+ : q) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel private(k)<br>
+#pragma omp for reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : p), reduction(+ : p) // expected-error {{variable can appear only once in OpenMP 'reduction' clause}} expected-note {{previously referenced here}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(+ : r) // expected-error {{const-qualified variable cannot be reduction}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel shared(i)<br>
+#pragma omp parallel reduction(min : i)<br>
+#pragma omp for reduction(max : j) // expected-error {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel private(fl)  // expected-note {{defined as private}}<br>
+#pragma omp for reduction(+ : fl) // expected-error {{reduction variable must be shared}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+#pragma omp parallel reduction(* : fl) // expected-note {{defined as reduction}}<br>
+#pragma omp for reduction(+ : fl)      // expected-error {{reduction variable must be shared}}<br>
+  for (int i = 0; i < 10; ++i)<br>
+    foo();<br>
+<br>
+  return tmain(argc) + tmain(fl); // expected-note {{in instantiation of function template specialization 'tmain<int>' requested here}} expected-note {{in instantiation of function template specialization 'tmain<float>' requested here}}<br>

+}<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_reduction_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:eol-style = native<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_reduction_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:keywords = Author Date Id Rev URL<br>
<br>
Propchange: cfe/trunk/test/OpenMP/for_reduction_messages.cpp<br>
------------------------------------------------------------------------------<br>
    svn:mime-type = text/plain<br>
<br>
Modified: cfe/trunk/test/OpenMP/parallel_reduction_messages.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/parallel_reduction_messages.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/parallel_reduction_messages.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/parallel_reduction_messages.cpp (original)<br>
+++ cfe/trunk/test/OpenMP/parallel_reduction_messages.cpp Tue Jun 17 23:14:57 2014<br>
@@ -11,205 +11,230 @@ struct S1; // expected-note {{declared h<br>
 extern S1 a;<br>
 class S2 {<br>
   mutable int a;<br>
-  S2 &operator +=(const S2 &arg) {return (*this);}<br>
+  S2 &operator+=(const S2 &arg) { return (*this); }<br>
+<br>
 public:<br>
-  S2():a(0) { }<br>
-  S2(S2 &s2):a(s2.a) { }<br>
+  S2() : a(0) {}<br>
+  S2(S2 &s2) : a(s2.a) {}<br>
   static float S2s; // expected-note 2 {{predetermined as shared}}<br>
   static const float S2sc;<br>
 };<br>
 const float S2::S2sc = 0; // expected-note 2 {{'S2sc' defined here}}<br>
-S2 b; // expected-note 2 {{'b' defined here}}<br>
-const S2 ba[5]; // expected-note 2 {{'ba' defined here}}<br>
+S2 b;                     // expected-note 2 {{'b' defined here}}<br>
+const S2 ba[5];           // expected-note 2 {{'ba' defined here}}<br>
 class S3 {<br>
   int a;<br>
+<br>
 public:<br>
-  S3():a(0) { }<br>
-  S3(const S3 &s3):a(s3.a) { }<br>
-  S3 operator +=(const S3 &arg1) {return arg1;}<br>
+  S3() : a(0) {}<br>
+  S3(const S3 &s3) : a(s3.a) {}<br>
+  S3 operator+=(const S3 &arg1) { return arg1; }<br>
 };<br>
-int operator +=(const S3 &arg1, const S3 &arg2) {return 5;}<br>
-S3 c; // expected-note 2 {{'c' defined here}}<br>
-const S3 ca[5]; // expected-note 2 {{'ca' defined here}}<br>
+int operator+=(const S3 &arg1, const S3 &arg2) { return 5; }<br>
+S3 c;               // expected-note 2 {{'c' defined here}}<br>
+const S3 ca[5];     // expected-note 2 {{'ca' defined here}}<br>
 extern const int f; // expected-note 4 {{'f' declared here}}<br>
-class S4 { // expected-note {{'S4' declared here}}<br>
+class S4 {          // expected-note {{'S4' declared here}}<br>
   int a;<br>
   S4();<br>
   S4(const S4 &s4);<br>
-  S4 &operator +=(const S4 &arg) {return (*this);}<br>
+  S4 &operator+=(const S4 &arg) { return (*this); }<br>
+<br>
 public:<br>
-  S4(int v):a(v) { }<br>
+  S4(int v) : a(v) {}<br>
 };<br>
-S4 &operator &=(S4 &arg1, S4 &arg2) {return arg1;}<br>
+S4 &operator&=(S4 &arg1, S4 &arg2) { return arg1; }<br>
 class S5 {<br>
   int a;<br>
-  S5():a(0) {}<br>
-  S5(const S5 &s5):a(s5.a) { }<br>
-  S5 &operator +=(const S5 &arg);<br>
+  S5() : a(0) {}<br>
+  S5(const S5 &s5) : a(s5.a) {}<br>
+  S5 &operator+=(const S5 &arg);<br>
+<br>
 public:<br>
-  S5(int v):a(v) { }<br>
+  S5(int v) : a(v) {}<br>
 };<br>
 class S6 {<br>
-    int a;<br>
-  public:<br>
-    S6():a(6){ }<br>
-    operator int() { return 6; }<br>
+  int a;<br>
+<br>
+public:<br>
+  S6() : a(6) {}<br>
+  operator int() { return 6; }<br>
 } o; // expected-note 2 {{'o' defined here}}<br>
<br>
 S3 h, k;<br>
 #pragma omp threadprivate(h) // expected-note 2 {{defined as threadprivate or thread local}}<br>
<br>
-template <class T> // expected-note {{declared here}}<br>
-T tmain(T argc) { // expected-note 2 {{'argc' defined here}}<br>
-  const T d = T(); // expected-note 4 {{'d' defined here}}<br>
-  const T da[5] = { T() }; // expected-note 2 {{'da' defined here}}<br>
-  T qa[5] = { T() };<br>
+template <class T>       // expected-note {{declared here}}<br>
+T tmain(T argc) {        // expected-note 2 {{'argc' defined here}}<br>
+  const T d = T();       // expected-note 4 {{'d' defined here}}<br>
+  const T da[5] = {T()}; // expected-note 2 {{'da' defined here}}<br>
+  T qa[5] = {T()};<br>
   T i;<br>
-  T &j = i; // expected-note 4 {{'j' defined here}}<br>
-  S3 &p = k; // expected-note 2 {{'p' defined here}}<br>
-  const T &r = da[(int)i]; // expected-note 2 {{'r' defined here}}<br>
-  T &q = qa[(int)i]; // expected-note 2 {{'q' defined here}}<br>
-  T fl; // expected-note {{'fl' defined here}}<br>
-  #pragma omp parallel reduction // expected-error {{expected '(' after 'reduction'}}<br>
+  T &j = i;                    // expected-note 4 {{'j' defined here}}<br>
+  S3 &p = k;                   // expected-note 2 {{'p' defined here}}<br>
+  const T &r = da[(int)i];     // expected-note 2 {{'r' defined here}}<br>
+  T &q = qa[(int)i];           // expected-note 2 {{'q' defined here}}<br>
+  T fl;                        // expected-note {{'fl' defined here}}<br>
+#pragma omp parallel reduction // expected-error {{expected '(' after 'reduction'}}<br>
   foo();<br>
-  #pragma omp parallel reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp parallel' are ignored}}<br>
+#pragma omp parallel reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp parallel' are ignored}}<br>
   foo();<br>
-  #pragma omp parallel reduction ( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

+#pragma omp parallel reduction( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

   foo();<br>
-  #pragma omp parallel reduction (- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

+#pragma omp parallel reduction(- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

   foo();<br>
-  #pragma omp parallel reduction () // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
+#pragma omp parallel reduction() // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
   foo();<br>
-  #pragma omp parallel reduction (*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}<br>
+#pragma omp parallel reduction(*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}<br>
   foo();<br>
-  #pragma omp parallel reduction (\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
+#pragma omp parallel reduction(\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
   foo();<br>
-  #pragma omp parallel reduction (&: argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>

+#pragma omp parallel reduction(& : argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>

   foo();<br>
-  #pragma omp parallel reduction (| :argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>

+#pragma omp parallel reduction(| : argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>

   foo();<br>
-  #pragma omp parallel reduction (|| :argc ? i : argc) // expected-error 2 {{expected variable name}}<br>
+#pragma omp parallel reduction(|| : argc ? i : argc) // expected-error 2 {{expected variable name}}<br>
   foo();<br>
-  #pragma omp parallel reduction (foo:argc) //expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max'}}<br>

+#pragma omp parallel reduction(foo : argc) //expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max'}}<br>

   foo();<br>
-  #pragma omp parallel reduction (&& :argc)<br>
+#pragma omp parallel reduction(&& : argc)<br>
   foo();<br>
-  #pragma omp parallel reduction (^ : T) // expected-error {{'T' does not refer to a value}}<br>
+#pragma omp parallel reduction(^ : T) // expected-error {{'T' does not refer to a value}}<br>
   foo();<br>
-  #pragma omp parallel reduction (+ : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 3 {{const-qualified variable cannot be reduction}}<br>
+#pragma omp parallel reduction(+ : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 3 {{const-qualified variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel reduction (min : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 3 {{const-qualified variable cannot be reduction}}<br>

+#pragma omp parallel reduction(min : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 3 {{const-qualified variable cannot be reduction}}<br>

   foo();<br>
-  #pragma omp parallel reduction (max : qa[1]) // expected-error 2 {{expected variable name}}<br>
+#pragma omp parallel reduction(max : qa[1]) // expected-error 2 {{expected variable name}}<br>
   foo();<br>
-  #pragma omp parallel reduction(+ : ba) // expected-error {{a reduction variable with array type 'const S2 [5]'}}<br>
+#pragma omp parallel reduction(+ : ba) // expected-error {{a reduction variable with array type 'const S2 [5]'}}<br>
   foo();<br>
-  #pragma omp parallel reduction(* : ca) // expected-error {{a reduction variable with array type 'const S3 [5]'}}<br>
+#pragma omp parallel reduction(* : ca) // expected-error {{a reduction variable with array type 'const S3 [5]'}}<br>
   foo();<br>
-  #pragma omp parallel reduction(- : da) // expected-error {{a reduction variable with array type 'const int [5]'}} expected-error {{a reduction variable with array type 'const float [5]'}}<br>
+#pragma omp parallel reduction(- : da) // expected-error {{a reduction variable with array type 'const int [5]'}} expected-error {{a reduction variable with array type 'const float [5]'}}<br>
   foo();<br>
-  #pragma omp parallel reduction(^ : fl) // expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>
+#pragma omp parallel reduction(^ : fl) // expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>
   foo();<br>
-  #pragma omp parallel reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}<br>
+#pragma omp parallel reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel reduction(&& : S2::S2sc) // expected-error {{const-qualified variable cannot be reduction}}<br>
+#pragma omp parallel reduction(&& : S2::S2sc) // expected-error {{const-qualified variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel reduction(+ : h, k) // expected-error {{threadprivate or thread local variable cannot be reduction}}<br>
+#pragma omp parallel reduction(+ : h, k) // expected-error {{threadprivate or thread local variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel reduction(+ : o) // expected-error {{variable of type 'class S6' is not valid for specified reduction operation}}<br>
+#pragma omp parallel reduction(+ : o) // expected-error {{variable of type 'class S6' is not valid for specified reduction operation}}<br>
   foo();<br>
-  #pragma omp parallel private(i), reduction(+ : j), reduction(+:q) // expected-error 4 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+#pragma omp parallel private(i), reduction(+ : j), reduction(+ : q) // expected-error 4 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
   foo();<br>
-  #pragma omp parallel private(k)<br>
-  #pragma omp parallel reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+#pragma omp parallel private(k)<br>
+#pragma omp parallel reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
   foo();<br>
-  #pragma omp parallel reduction(+ : p), reduction(+ : p) // expected-error 3 {{variable can appear only once in OpenMP 'reduction' clause}} expected-note 3 {{previously referenced here}}<br>
+#pragma omp parallel reduction(+ : p), reduction(+ : p) // expected-error 3 {{variable can appear only once in OpenMP 'reduction' clause}} expected-note 3 {{previously referenced here}}<br>
   foo();<br>
-  #pragma omp parallel reduction(+ : r) // expected-error 2 {{const-qualified variable cannot be reduction}}<br>
+#pragma omp parallel reduction(+ : r) // expected-error 2 {{const-qualified variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel shared(i)<br>
-  #pragma omp parallel reduction(min : i)<br>
-  #pragma omp parallel reduction(max : j) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+#pragma omp parallel shared(i)<br>
+#pragma omp parallel reduction(min : i)<br>
+#pragma omp parallel reduction(max : j) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
   foo();<br>
+#pragma omp parallel<br>
+#pragma omp for private(fl)<br>
+  for (int i = 0; i < 10; ++i)<br>
+#pragma omp parallel reduction(+ : fl)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(- : fl)<br>
+  for (int i = 0; i < 10; ++i)<br>
+#pragma omp parallel reduction(+ : fl)<br>
+    foo();<br>
<br>
   return T();<br>
 }<br>
<br>
 int main(int argc, char **argv) {<br>
-  const int d = 5; // expected-note 2 {{'d' defined here}}<br>
-  const int da[5] = { 0 }; // expected-note {{'da' defined here}}<br>
-  int qa[5] = { 0 };<br>
+  const int d = 5;       // expected-note 2 {{'d' defined here}}<br>
+  const int da[5] = {0}; // expected-note {{'da' defined here}}<br>
+  int qa[5] = {0};<br>
   S4 e(4); // expected-note {{'e' defined here}}<br>
   S5 g(5); // expected-note {{'g' defined here}}<br>
   int i;<br>
-  int &j = i; // expected-note 2 {{'j' defined here}}<br>
-  S3 &p = k; // expected-note 2 {{'p' defined here}}<br>
-  const int &r = da[i]; // expected-note {{'r' defined here}}<br>
-  int &q = qa[i]; // expected-note {{'q' defined here}}<br>
-  float fl; // expected-note {{'fl' defined here}}<br>
-  #pragma omp parallel reduction // expected-error {{expected '(' after 'reduction'}}<br>
+  int &j = i;                  // expected-note 2 {{'j' defined here}}<br>
+  S3 &p = k;                   // expected-note 2 {{'p' defined here}}<br>
+  const int &r = da[i];        // expected-note {{'r' defined here}}<br>
+  int &q = qa[i];              // expected-note {{'q' defined here}}<br>
+  float fl;                    // expected-note {{'fl' defined here}}<br>
+#pragma omp parallel reduction // expected-error {{expected '(' after 'reduction'}}<br>
   foo();<br>
-  #pragma omp parallel reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp parallel' are ignored}}<br>
+#pragma omp parallel reduction + // expected-error {{expected '(' after 'reduction'}} expected-warning {{extra tokens at the end of '#pragma omp parallel' are ignored}}<br>
   foo();<br>
-  #pragma omp parallel reduction ( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

+#pragma omp parallel reduction( // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

   foo();<br>
-  #pragma omp parallel reduction (- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

+#pragma omp parallel reduction(- // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>

   foo();<br>
-  #pragma omp parallel reduction () // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
+#pragma omp parallel reduction() // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
   foo();<br>
-  #pragma omp parallel reduction (*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}<br>
+#pragma omp parallel reduction(*) // expected-warning {{missing ':' after reduction identifier - ignoring}} expected-error {{expected expression}}<br>
   foo();<br>
-  #pragma omp parallel reduction (\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
+#pragma omp parallel reduction(\) // expected-error {{expected unqualified-id}} expected-warning {{missing ':' after reduction identifier - ignoring}}<br>
   foo();<br>
-  #pragma omp parallel reduction (foo: argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max'}}<br>

+#pragma omp parallel reduction(foo : argc // expected-error {{expected ')'}} expected-note {{to match this '('}} expected-error {{incorrect reduction identifier, expected one of '+', '-', '*', '&', '|', '^', '&&', '||', 'min' or 'max'}}<br>

   foo();<br>
-  #pragma omp parallel reduction (| :argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
+#pragma omp parallel reduction(| : argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}}<br>
   foo();<br>
-  #pragma omp parallel reduction (|| :argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}<br>
+#pragma omp parallel reduction(|| : argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}}<br>
   foo();<br>
-  #pragma omp parallel reduction (~:argc) // expected-error {{expected unqualified-id}}<br>
+#pragma omp parallel reduction(~ : argc) // expected-error {{expected unqualified-id}}<br>
   foo();<br>
-  #pragma omp parallel reduction (&& :argc)<br>
+#pragma omp parallel reduction(&& : argc)<br>
   foo();<br>
-  #pragma omp parallel reduction (^ : S1) // expected-error {{'S1' does not refer to a value}}<br>
+#pragma omp parallel reduction(^ : S1) // expected-error {{'S1' does not refer to a value}}<br>
   foo();<br>
-  #pragma omp parallel reduction (+ : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{const-qualified variable cannot be reduction}}<br>
+#pragma omp parallel reduction(+ : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{const-qualified variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel reduction (min : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 2 {{const-qualified variable cannot be reduction}}<br>

+#pragma omp parallel reduction(min : a, b, c, d, f) // expected-error {{reduction variable with incomplete type 'S1'}} expected-error 2 {{arguments of OpenMP clause 'reduction' for 'min' or 'max' must be of arithmetic type}} expected-error 2 {{const-qualified variable cannot be reduction}}<br>

   foo();<br>
-  #pragma omp parallel reduction (max : argv[1]) // expected-error {{expected variable name}}<br>
+#pragma omp parallel reduction(max : argv[1]) // expected-error {{expected variable name}}<br>
   foo();<br>
-  #pragma omp parallel reduction(+ : ba) // expected-error {{a reduction variable with array type 'const S2 [5]'}}<br>
+#pragma omp parallel reduction(+ : ba) // expected-error {{a reduction variable with array type 'const S2 [5]'}}<br>
   foo();<br>
-  #pragma omp parallel reduction(* : ca) // expected-error {{a reduction variable with array type 'const S3 [5]'}}<br>
+#pragma omp parallel reduction(* : ca) // expected-error {{a reduction variable with array type 'const S3 [5]'}}<br>
   foo();<br>
-  #pragma omp parallel reduction(- : da) // expected-error {{a reduction variable with array type 'const int [5]'}}<br>
+#pragma omp parallel reduction(- : da) // expected-error {{a reduction variable with array type 'const int [5]'}}<br>
   foo();<br>
-  #pragma omp parallel reduction(^ : fl) // expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>
+#pragma omp parallel reduction(^ : fl) // expected-error {{variable of type 'float' is not valid for specified reduction operation}}<br>
   foo();<br>
-  #pragma omp parallel reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}<br>
+#pragma omp parallel reduction(&& : S2::S2s) // expected-error {{shared variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel reduction(&& : S2::S2sc) // expected-error {{const-qualified variable cannot be reduction}}<br>
+#pragma omp parallel reduction(&& : S2::S2sc) // expected-error {{const-qualified variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel reduction(& : e, g) // expected-error {{reduction variable must have an accessible, unambiguous default constructor}} expected-error {{variable of type 'S5' is not valid for specified reduction operation}}<br>

+#pragma omp parallel reduction(& : e, g) // expected-error {{reduction variable must have an accessible, unambiguous default constructor}} expected-error {{variable of type 'S5' is not valid for specified reduction operation}}<br>

   foo();<br>
-  #pragma omp parallel reduction(+ : h, k) // expected-error {{threadprivate or thread local variable cannot be reduction}}<br>
+#pragma omp parallel reduction(+ : h, k) // expected-error {{threadprivate or thread local variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel reduction(+ : o) // expected-error {{variable of type 'class S6' is not valid for specified reduction operation}}<br>
+#pragma omp parallel reduction(+ : o) // expected-error {{variable of type 'class S6' is not valid for specified reduction operation}}<br>
   foo();<br>
-  #pragma omp parallel private(i), reduction(+ : j), reduction(+:q) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+#pragma omp parallel private(i), reduction(+ : j), reduction(+ : q) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
   foo();<br>
-  #pragma omp parallel private(k)<br>
-  #pragma omp parallel reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+#pragma omp parallel private(k)<br>
+#pragma omp parallel reduction(+ : p), reduction(+ : p) // expected-error 2 {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
   foo();<br>
-  #pragma omp parallel reduction(+ : p), reduction(+ : p) // expected-error {{variable can appear only once in OpenMP 'reduction' clause}} expected-note {{previously referenced here}}<br>
+#pragma omp parallel reduction(+ : p), reduction(+ : p) // expected-error {{variable can appear only once in OpenMP 'reduction' clause}} expected-note {{previously referenced here}}<br>
   foo();<br>
-  #pragma omp parallel reduction(+ : r) // expected-error {{const-qualified variable cannot be reduction}}<br>
+#pragma omp parallel reduction(+ : r) // expected-error {{const-qualified variable cannot be reduction}}<br>
   foo();<br>
-  #pragma omp parallel shared(i)<br>
-  #pragma omp parallel reduction(min : i)<br>
-  #pragma omp parallel reduction(max : j) // expected-error {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
+#pragma omp parallel shared(i)<br>
+#pragma omp parallel reduction(min : i)<br>
+#pragma omp parallel reduction(max : j) // expected-error {{argument of OpenMP clause 'reduction' must reference the same object in all threads}}<br>
   foo();<br>
+#pragma omp parallel<br>
+#pragma omp for private(fl)<br>
+  for (int i = 0; i < 10; ++i)<br>
+#pragma omp parallel reduction(+ : fl)<br>
+    foo();<br>
+#pragma omp parallel<br>
+#pragma omp for reduction(- : fl)<br>
+  for (int i = 0; i < 10; ++i)<br>
+#pragma omp parallel reduction(+ : fl)<br>
+    foo();<br>
<br>
   return tmain(argc) + tmain(fl); // expected-note {{in instantiation of function template specialization 'tmain<int>' requested here}} expected-note {{in instantiation of function template specialization 'tmain<float>' requested here}}<br>

 }<br>
<br>
Modified: cfe/trunk/test/OpenMP/simd_loop_messages.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/simd_loop_messages.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/OpenMP/simd_loop_messages.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/test/OpenMP/simd_loop_messages.cpp (original)<br>
+++ cfe/trunk/test/OpenMP/simd_loop_messages.cpp Tue Jun 17 23:14:57 2014<br>
@@ -243,7 +243,10 @@ int test_iteration_spaces() {<br>
   for (ii = 0; ii < 10; ii++)<br>
     c[ii] = a[ii];<br>
<br>
-  // TODO: Add test for lastprivate.<br>
+  #pragma omp simd lastprivate(ii)<br>
+  for (ii = 0; ii < 10; ii++)<br>
+    c[ii] = a[ii];<br>
+<br>
<br>
   #pragma omp parallel<br>
   {<br>
<br>
Modified: cfe/trunk/tools/libclang/CIndex.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/tools/libclang/CIndex.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/tools/libclang/CIndex.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/tools/libclang/CIndex.cpp (original)<br>
+++ cfe/trunk/tools/libclang/CIndex.cpp Tue Jun 17 23:14:57 2014<br>
@@ -1852,6 +1852,7 @@ public:<br>
   void VisitOMPExecutableDirective(const OMPExecutableDirective *D);<br>
   void VisitOMPParallelDirective(const OMPParallelDirective *D);<br>
   void VisitOMPSimdDirective(const OMPSimdDirective *D);<br>
+  void VisitOMPForDirective(const OMPForDirective *D);<br>
<br>
 private:<br>
   void AddDeclarationNameInfo(const Stmt *S);<br>
@@ -2275,6 +2276,10 @@ void EnqueueVisitor::VisitOMPSimdDirecti<br>
   VisitOMPExecutableDirective(D);<br>
 }<br>
<br>
+void EnqueueVisitor::VisitOMPForDirective(const OMPForDirective *D) {<br>
+  VisitOMPExecutableDirective(D);<br>
+}<br>
+<br>
 void CursorVisitor::EnqueueWorkList(VisitorWorkList &WL, const Stmt *S) {<br>
   EnqueueVisitor(WL, MakeCXCursor(S, StmtParent, TU,RegionOfInterest)).Visit(S);<br>
 }<br>
@@ -3949,6 +3954,8 @@ CXString clang_getCursorKindSpelling(enu<br>
     return cxstring::createRef("OMPParallelDirective");<br>
   case CXCursor_OMPSimdDirective:<br>
     return cxstring::createRef("OMPSimdDirective");<br>
+  case CXCursor_OMPForDirective:<br>
+    return cxstring::createRef("OMPForDirective");<br>
   }<br>
<br>
   llvm_unreachable("Unhandled CXCursorKind");<br>
<br>
Modified: cfe/trunk/tools/libclang/CXCursor.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/tools/libclang/CXCursor.cpp?rev=211140&r1=211139&r2=211140&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/tools/libclang/CXCursor.cpp?rev=211140&r1=211139&r2=211140&view=diff</a><br>

==============================================================================<br>
--- cfe/trunk/tools/libclang/CXCursor.cpp (original)<br>
+++ cfe/trunk/tools/libclang/CXCursor.cpp Tue Jun 17 23:14:57 2014<br>
@@ -519,6 +519,9 @@ CXCursor cxcursor::MakeCXCursor(const St<br>
   case Stmt::OMPSimdDirectiveClass:<br>
     K = CXCursor_OMPSimdDirective;<br>
     break;<br>
+  case Stmt::OMPForDirectiveClass:<br>
+    K = CXCursor_OMPForDirective;<br>
+    break;<br>
   }<br>
<br>
   CXCursor C = { K, 0, { Parent, S, TU } };<br>
<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
</blockquote></div><br></div>