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

[Balázs Benics via cfe-commits]

steakhal wrote:

I was thinking of how to proceed with this one.
On one hand, the invalidation code is such a mess, I don't like making it even worse :s And I should be also somewhat qualified to fix this, as having the context.
However, it's also time consuming to design something to deal with this, and I don't really see the time to invest here right now.

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?

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