[qt/clang/llvm]: Summary of bulk changes made

Git repository change summary for qt/clang/llvm
Pushed by mirror-service into branch 'upstream/users/ziqingluo/PR-171209196'.
Changed from 0000000000000000000000000000000000000000 to 718a361f4b56277afc48ea8360ac90b4257e1f49
Acknowledgement was received that this change introduces only existing code that has been pushed to another public open source repository.

This change contains the following new commits:

Git commit 37e99d2d7669df9fa1fb6b79166147ed00d2c8f0 by Ziqing Luo on 17/07/2026 at 01:00..
[ThreadSafety] Add two-state semantics for handleCall in beta mode

Previous contributions added alias analysis and strengthened soundness by
invalidating out-parameters in beta mode. The latter feature introduced a
distinction between the contexts before and after a function call, because the
invalidation assumes that an argument passed by pointer or reference may be
changed by the function.

This requires two-state semantics for handling function attributes.
Specifically, AcquireCapability and AssertCapability, which both ensure that
some locks are held after the call, should be associated with the post-state.
Other function attributes, like RequireCapability or ReleaseCapability, are
associated with the pre-state.

This commit implements these semantics. This change only affects beta mode.

A previous discussion about these semantics:
https://github.com/llvm/llvm-project/pull/190154
https://invent.kde.org/qt/clang/llvm/-/commit/37e99d2d7669df9fa1fb6b79166147ed00d2c8f0

Git commit 718a361f4b56277afc48ea8360ac90b4257e1f49 by Ziqing Luo on 17/07/2026 at 01:21..
fix clang-format
https://invent.kde.org/qt/clang/llvm/-/commit/718a361f4b56277afc48ea8360ac90b4257e1f49