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

[Gábor Horváth via cfe-commits]

================
@@ -1824,8 +1837,11 @@ CFGBlock *CFGBuilder::addInitializer(CXXCtorInitializer *I) {
     if (BuildOpts.AddTemporaryDtors && HasTemporaries) {
----------------
Xazax-hun wrote:

I also prefer option 1, feel free to go ahead and implement it. 

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