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

[Marco Elver via cfe-commits]

melver wrote:

> 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.

Added the additional test and mentioned the (remaining) lack of alias analysis.

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