[llvm] [llvm] Issues found PVS studio static analyzer. LoopUnrollAndJam.cpp (PR #170162)

via llvm-commits llvm-commits at lists.llvm.org
Mon Dec 1 07:57:52 PST 2025


llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-llvm-transforms

Author: Bala_Bhuvan_Varma (Bhuvan1527)

<details>
<summary>Changes</summary>

Minor misoptimization. The PVS-Studio warning: V791 The initial value of the index in the nested loop equals 'I'. Perhaps, 'I + 1' should be used instead. LoopUnrollAndJam.cpp 793

---
Full diff: https://github.com/llvm/llvm-project/pull/170162.diff


1 Files Affected:

- (modified) llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp (+1-1) 


``````````diff
diff --git a/llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp b/llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp
index 1e614bd29ee6e..663e45e89c5da 100644
--- a/llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp
+++ b/llvm/lib/Transforms/Utils/LoopUnrollAndJam.cpp
@@ -789,7 +789,7 @@ checkDependencies(Loop &Root, const BasicBlockSet &SubLoopBlocks,
 
     size_t NumInsts = CurrentLoadsAndStores.size();
     for (size_t I = 0; I < NumInsts; ++I) {
-      for (size_t J = I; J < NumInsts; ++J) {
+      for (size_t J = I + 1; J < NumInsts; ++J) {
         if (!checkDependency(CurrentLoadsAndStores[I], CurrentLoadsAndStores[J],
                              LoopDepth, CurLoopDepth, true, DI))
           return false;

``````````

</details>


https://github.com/llvm/llvm-project/pull/170162


More information about the llvm-commits mailing list