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

[Donát Nagy via cfe-commits]

https://github.com/NagyDonat approved this pull request.

LGTM, this is a straightforward bugfix. The other, more general changes also sound good, but I don't think that they should block merging this.

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