[clang] [clang][analyzer] Add support for detecting uninitialized dynamically-allocated objects (PR #193001)

[Balázs Benics via cfe-commits]

https://github.com/steakhal commented:

I think the patch is well-motivated. I think I'd like to see a test covering the unknown "this" case. You could probably craft one with reinterpret casts or fixed addresses cast to some object type.
Maybe you could put an assert into the "this" getter and run the whole LIT to find what code has access to such "this" pointers and inspire a test case here from it.

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