[llvm] [Reassociate] Move Disjoint flag handling to OverflowTracking. (PR #140406)

[Florian Hahn via llvm-commits]

================
@@ -4368,6 +4368,8 @@ void OverflowTracking::mergeFlags(Instruction &I) {
     HasNUW &= I.hasNoUnsignedWrap();
     HasNSW &= I.hasNoSignedWrap();
   }
+  if (auto *DisjointOp = dyn_cast<PossiblyDisjointInst>(&I))
----------------
fhahn wrote:

Thanks, I put up https://github.com/llvm/llvm-project/pull/141231 to add an assert, thanks!

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