[clang] Thread Safety Analysis: Support passing scoped locks between functions with appropriate annotations (PR #110523)

[Aaron Puchert via cfe-commits]

aaronpuchert wrote:

@delesley, your input on the conceptual side would also be appreciated as this is a substantial addition.

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