[clang] [clang][dataflow] Model assignment to derived class from base. (PR #85064)

[via cfe-commits]

================
@@ -14,18 +14,52 @@
 
 #define DEBUG_TYPE "dataflow"
 
-void clang::dataflow::copyRecord(RecordStorageLocation &Src,
-                                 RecordStorageLocation &Dst, Environment &Env) {
+namespace clang::dataflow {
+
+static void copyField(const ValueDecl *Field, StorageLocation *SrcFieldLoc,
----------------
martinboehme wrote:

Yes, the swapped arguments are a consideration. I'll keep this in mind for a possible future change.

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