[clang] [LifetimeSafety] Detect dangling fields (PR #177363)

[Utkarsh Saxena via cfe-commits]

================
@@ -464,6 +489,15 @@ void FactsGenerator::handleTemporaryDtor(
   }
 }
 
+void FactsGenerator::handleExitBlock() {
+  // Creates FieldEscapeFacts for all field origins that remain live at exit.
+  for (const Origin &O : FactMgr.getOriginMgr().getOrigins())
+    if (O.getDecl())
+      if (auto *FD = dyn_cast<FieldDecl>(O.getDecl()))
----------------
usx95 wrote:

Done.

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