commit 73ebcf048cea99d77a9aae445c791490ae53f489
author Groverkss <groverkss@gmail.com> Thu Nov 11 22:42:04 2021 +0530
committer Copybara-Service <copybara-worker@google.com> Thu Dec 02 14:02:39 2021 -0800
tree cdb86eed5c8b8d71b23028479938975a008a98b9
parent 546265e07843b666920fbe3308c7ca9c9d779ab6

Fix asserts as suggested by Arjun

GitOrigin-RevId: 1e0d7fd76968aee2eb012a9f95642f905b4d2613

lib/Analysis/AffineStructures.cpp

diff --git a/lib/Analysis/AffineStructures.cpp b/lib/Analysis/AffineStructures.cpp
index 8ef25ba..1252a73 100644
--- a/lib/Analysis/AffineStructures.cpp
+++ b/lib/Analysis/AffineStructures.cpp
@@ -1925,8 +1925,8 @@
 static void eleminateRedundantLocalId(FlatAffineConstraints &fac, unsigned pos1,
                                       unsigned pos2) {
 
-  assert(pos1 <= fac.getNumLocalIds() && "Invalid local id position");
-  assert(pos2 <= fac.getNumLocalIds() && "Invalid local id position");
+  assert(pos1 < fac.getNumLocalIds() && "Invalid local id position");
+  assert(pos2 < fac.getNumLocalIds() && "Invalid local id position");
 
   unsigned localOffset = fac.getNumDimAndSymbolIds();
   pos1 += localOffset;