[clang] Reapply "[Analyzer][CFG] Correctly handle rebuilt default arg and default init expression" (PR #127338)

[via cfe-commits]

yronglin wrote:

> In case others notice similar in ClangTidy (`bugprone-unchecked-optional-access`), we are seeing crashes after this change #128068
> 
> I'm not yet sure the best fix.

Can you try to revert this change to see if the crash issue can be fixed? It looks like I missing some changes in dataflow.

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