[clang] [LifetimeSafety] Overhaul CFG and analysis to also work with trivially destructed temporary objects (PR #177985)

Abhinav Pradeep via cfe-commits cfe-commits at lists.llvm.org
Tue Feb 10 01:52:35 PST 2026


AbhinavPradeep wrote:

The changes switch now treat `CFGFullExprCleanup` as a liftime marker. 

This required reverting all the CFG-matcher test modifications I made, as those were testing dtors. There are two tests `clang/test/Analysis/lifetime-cfg-output.cpp` and `clang/test/Analysis/nonreturn-destructors-cfg-output.cpp` that toggle and test the liftime markers, but we seem to pass those without any modifications. 

I do plan to add additional tests with the next commit, just wanted some feedback prior to that!

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


More information about the cfe-commits mailing list