Removed unncessary warning and updated tests accordingly

Author: eZWALT

clang/include/clang/Basic/DiagnosticSemaKinds.td

@@ -11558,9 +11558,6 @@ def note_omp_implicit_dsa : Note<
   "implicitly determined as %0">;
 def err_omp_loop_var_dsa : Error<
   "loop iteration variable in the associated loop of 'omp %1' directive may not be %0, predetermined as %2">;
-def warn_omp_different_loop_ind_var_types : Warning <
-  "loop sequence following '#pragma omp %0' contains induction variables of differing types: %1 and %2">,
-  InGroup<OpenMPLoopForm>;
 def err_omp_not_canonical_loop : Error <
   "loop after '#pragma omp %0' is not in canonical form">;
 def err_omp_not_a_loop_sequence : Error < 

clang/lib/Sema/SemaOpenMP.cpp

@@ -14323,31 +14323,12 @@ bool SemaOpenMP::analyzeLoopSequence(
     OpenMPDirectiveKind Kind) {
 
   VarsWithInheritedDSAType TmpDSA;
-  QualType BaseInductionVarType;
   /// Helper Lambda to handle storing initialization and body statements for
-  /// both ForStmt and CXXForRangeStmt and checks for any possible mismatch
-  /// between induction variables types
+  /// both ForStmt and CXXForRangeStmt
   auto StoreLoopStatements = [&](Stmt *LoopStmt) {
     if (auto *For = dyn_cast<ForStmt>(LoopStmt)) {
       OriginalInits.back().push_back(For->getInit());
       ForStmts.push_back(For);
-      // Extract induction variable
-      if (auto *InitStmt = dyn_cast_or_null<DeclStmt>(For->getInit())) {
-        if (auto *InitDecl = dyn_cast<VarDecl>(InitStmt->getSingleDecl())) {
-          QualType InductionVarType = InitDecl->getType().getCanonicalType();
-
-          // Compare with first loop type
-          if (BaseInductionVarType.isNull()) {
-            BaseInductionVarType = InductionVarType;
-          } else if (!Context.hasSameType(BaseInductionVarType,
-                                          InductionVarType)) {
-            Diag(InitDecl->getBeginLoc(),
-                 diag::warn_omp_different_loop_ind_var_types)
-                << getOpenMPDirectiveName(OMPD_fuse) << BaseInductionVarType
-                << InductionVarType;
-          }
-        }
-      }
     } else {
       auto *CXXFor = cast<CXXForRangeStmt>(LoopStmt);
       OriginalInits.back().push_back(CXXFor->getBeginStmt());

clang/test/OpenMP/fuse_messages.cpp

@@ -70,15 +70,6 @@ void func() {
         for(int j = 0; j < 10; ++j);
     }
 
-    //expected-warning@+5 {{loop sequence following '#pragma omp fuse' contains induction variables of differing types: 'int' and 'unsigned int'}}
-    //expected-warning@+5 {{loop sequence following '#pragma omp fuse' contains induction variables of differing types: 'int' and 'long long'}}
-    #pragma omp fuse 
-    {
-        for(int i = 0; i < 10; ++i);
-        for(unsigned int j = 0; j < 10; ++j);
-        for(long long k = 0; k < 100; ++k);
-    }
-
     //expected-warning@+2 {{loop range in '#pragma omp fuse' contains only a single loop, resulting in redundant fusion}}
     #pragma omp fuse
     {
@@ -123,6 +114,40 @@ void func() {
         for(int j = 0; j < 100; ++j);
         for(int k = 0; k < 50; ++k);
     }
+
+    //expected-error@+1 {{loop range in '#pragma omp fuse' exceeds the number of available loops: range end '6' is greater than the total number of loops '5'}}
+    #pragma omp fuse looprange(1,6)
+    {
+        for(int i = 0; i < 10; ++i);
+        for(int j = 0; j < 100; ++j);
+        for(int k = 0; k < 50; ++k);
+        // This fusion results in  2 loops
+        #pragma omp fuse looprange(1,2)
+        {
+            for(int i = 0; i < 10; ++i);
+            for(int j = 0; j < 100; ++j);
+            for(int k = 0; k < 50; ++k);
+        }
+    }
+
+    //expected-error@+1 {{loop range in '#pragma omp fuse' exceeds the number of available loops: range end '4' is greater than the total number of loops '3'}}
+    #pragma omp fuse looprange(2,3)
+    {
+        #pragma omp unroll partial(2)
+        for(int i = 0; i < 10; ++i);
+        
+        #pragma omp reverse
+        for(int j = 0; j < 10; ++j);
+
+        #pragma omp fuse 
+        {
+            {
+                #pragma omp reverse
+                for(int j = 0; j < 10; ++j);
+            }            
+            for(int k = 0; k < 50; ++k);
+        }
+    }
 }
 
 // In a template context, but expression itself not instantiation-dependent