================
@@ -1408,7 +1408,6 @@ TEST_F(LifetimeAnalysisTest, TrivialClassDestructorsUAF) {
}
)");
EXPECT_THAT(Origin("ptr"), HasLoansTo({"s"}, "p1"));
- EXPECT_THAT(Origins({"ptr"}), MustBeLiveAt("p1"));
----------------
usx95 wrote:
https://godbolt.org/z/ocYanrGTe looks fine. I think we should restrict this to
the argument which is an implicit this expr and not to all member calls. I
suspect the constructor and destructor of the `S*` leaks out the object's field
into the origins.
https://github.com/llvm/llvm-project/pull/191731
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
