[clang] [analyzer] Invalidate the object in opaque ctor calls regardless if an arg refers to it (PR #170887)

[Arseniy Zaostrovnykh via cfe-commits]

necto wrote:

> What do you think, what should we do about this? Shall we just land what I have here, or explore how to generalise this or fix the technical debt in this area?

I think this PR is an improvement, so I vote for landing it. The case I pointed out seems rather obscure, you can add a comment and a test case mentioning the limitation, but I don't think it should be a blocker for this PR.

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