[clang] [LifetimeSafety] Detect use-after-scope through fields in member calls (PR #191731)
Utkarsh Saxena via cfe-commits
cfe-commits at lists.llvm.org
Mon Apr 13 01:14:39 PDT 2026
================
@@ -1408,7 +1408,6 @@ TEST_F(LifetimeAnalysisTest, TrivialClassDestructorsUAF) {
}
)");
EXPECT_THAT(Origin("ptr"), HasLoansTo({"s"}, "p1"));
- EXPECT_THAT(Origins({"ptr"}), MustBeLiveAt("p1"));
----------------
usx95 wrote:
Can you tell which other origins are alive at `p1` ? I do not expect 'a' and 'b' to be alive here.
https://github.com/llvm/llvm-project/pull/191731
More information about the cfe-commits
mailing list