[clang] [LifetimeSafety] Detect use-after-scope through fields in member calls (PR #191731)

via cfe-commits cfe-commits at lists.llvm.org
Mon Apr 13 00:57:37 PDT 2026


================
@@ -1408,7 +1408,6 @@ TEST_F(LifetimeAnalysisTest, TrivialClassDestructorsUAF) {
     }
   )");
   EXPECT_THAT(Origin("ptr"), HasLoansTo({"s"}, "p1"));
-  EXPECT_THAT(Origins({"ptr"}), MustBeLiveAt("p1"));
----------------
NeKon69 wrote:

It is, now it appears that the members are live too, and because this assert expects exact match, it fails.

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


More information about the cfe-commits mailing list