[clang] [LifetimeSafety] Detect expiry of loans to trivially destructed types (PR #168855)

[Kashika Akhouri via cfe-commits]

================
@@ -229,25 +229,12 @@ void FactsGenerator::VisitMaterializeTemporaryExpr(
   killAndFlowOrigin(*MTE, *MTE->getSubExpr());
 }
 
-void FactsGenerator::handleDestructor(const CFGAutomaticObjDtor &DtorOpt) {
-  /// TODO: Also handle trivial destructors (e.g., for `int`
-  /// variables) which will never have a CFGAutomaticObjDtor node.
-  /// TODO: Handle loans to temporaries.
----------------
kashika0112 wrote:

Done

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