[llvm] [llvm] Issues found PVS studio static analyzer. LoopUnrollAndJam.cpp (PR #170162)
Ryotaro Kasuga via llvm-commits
llvm-commits at lists.llvm.org
Fri Dec 5 05:15:41 PST 2025
kasuga-fj wrote:
> When var J = I, then we are checking the dependency of an instruction with itself, is that check even necessary?
Yes, it's necessary.
By the way, this change seems to coincidentally preserve the original behavior, since `checkDependency` immediately returns true for the two same instructions. This is a bug. I created an issue. https://github.com/llvm/llvm-project/issues/170848
https://github.com/llvm/llvm-project/pull/170162
More information about the llvm-commits
mailing list