[clang] [clang][dataflow] Add synthetic fields to `RecordStorageLocation` (PR #73860)

[Yitzhak Mandelbaum via cfe-commits]

================
@@ -54,6 +54,18 @@ void clang::dataflow::copyRecord(RecordStorageLocation &Src,
     }
   }
 
+  for (const auto &[Name, PropLocSrc] : Src.synthetic_fields()) {
+    if (PropLocSrc->getType()->isRecordType()) {
+      copyRecord(*cast<RecordStorageLocation>(PropLocSrc),
+                 cast<RecordStorageLocation>(Dst.getSyntheticField(Name)), Env);
+    } else {
+      if (Value *Val = Env.getValue(*PropLocSrc))
----------------
ymand wrote:

nit: why not just `else if`?

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