[clang] [clang][dataflow] Transfer more cast expressions. (PR #153066)

[Samira Bakon via cfe-commits]

================
@@ -317,17 +320,67 @@ class TransferVisitor : public 
ConstStmtVisitor<TransferVisitor> {
       break;
     }
 
+    case CK_BaseToDerived: {
+      // This is a cast of (single-layer) pointer or reference to a record 
type.
+      // We should now model the fields for the derived type.
+
+      // Get the RecordStorageLocation for the record object underneath.
+      RecordStorageLocation *Loc = nullptr;
+      if (S->getType()->isPointerType()) {
+        assert(S->getType()->isPointerType());
----------------
bazuzi wrote:

I switched the if() branches at one point and forgot to switch the asserts 
around. Fixed.

https://github.com/llvm/llvm-project/pull/153066
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits