[clang] Thread Safety Analysis: Improved pointer handling (PR #127396)

[Ilya Biryukov via cfe-commits]

https://github.com/ilya-biryukov commented:

I only have a few comments about documenting the caveats (no alias analysis).

The actual code changes look very simple and this looks like a clear improvement that would catch many useful cases.

I don't have much experience with this code and would still advise to wait until someone more familiar with the code takes a look. But happy to give a general LGTM after the documentation is improved.

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