[clang] [analyzer] Use dynamic type when invalidating by a member function call (PR #111138)

[Balazs Benics via cfe-commits]

================
@@ -797,6 +798,10 @@ RuntimeDefinition CXXInstanceCall::getRuntimeDefinition() const {
     return {};
   }
 
+  const MemRegion *R = getCXXThisVal().getAsRegion();
+  DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R);
----------------
steakhal wrote:

That's true. I figured it's an acceptable tradeoff for removing some duplication. I'll have a look what I can do here.

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