[compiler] Avoid out of bounds access.

If !isScan, ivs1 is not guaranteed to hold at least two items and we could fail trying to retrieve ivs1[1] even if the result would be unused.
uxlfoundation · Jan 15, 2025 · 0c4c4d0 · 0c4c4d0
1 parent ad0d899
commit 0c4c4d0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/modules/compiler/compiler_pipeline/source/work_item_loops_pass.cpp b/modules/compiler/compiler_pipeline/source/work_item_loops_pass.cpp
@@ -1024,7 +1024,9 @@ struct ScheduleGenerator {
                       mainPreheaderBB = nullptr;
                       mainExitBB = block;
                       nextSubgroupIV = ivs1[0];
-                      nextScanIV = ivs1[1];
+                      if (isScan) {
+                        nextScanIV = ivs1[1];
+                      }
                     }
                   } else {
                     mainPreheaderBB = BasicBlock::Create(