[llvm] [Attributor][FIX] Mark "may" accesses through call sites as such (PR #107439)

[Shilei Tian via llvm-commits]

================
@@ -1893,9 +1898,10 @@ ChangeStatus AAPointerInfoFloating::updateImpl(Attributor &A) {
             DepClassTy::REQUIRED);
         if (!CSArgPI)
           return false;
-        Changed =
-            translateAndAddState(A, *CSArgPI, OffsetInfoMap[CurPtr], *CB) |
-            Changed;
+        bool IsMustAcc = (getUnderlyingObject(CurPtr) == &AssociatedValue);
+        Changed = translateAndAddState(A, *CSArgPI, OffsetInfoMap[CurPtr], *CB,
----------------
shiltian wrote:

Why not `Changed |= ...`?

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