[PATCH] D95335: [Verifier] enable and limit llvm.experimental.noalias.scope.decl dominance checking

[Jeroen Dobbelaere via Phabricator via llvm-commits]

jeroen.dobbelaere added a comment.

In D95335#2522370 <https://reviews.llvm.org/D95335#2522370>, @jeroen.dobbelaere wrote:

> There seems to be a problem with  bad duplication in the MemorySanitizerLegacyPass.

After having reduced at least one issue, the problem originates from `LoopPeel.cpp` not taking care of the scopes after cloning.
I'll create a fix + testcase.

@jdoerfert I also noticed that LoopPeel.cpp is not doing anything for assumptions.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D95335/new/

https://reviews.llvm.org/D95335