[clang] [analyzer] Add aggregate value tracking to the LifetimeModeling checker (PR #214589)

[via cfe-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 90697 tests passed
* 1762 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### Clang
<details>
<summary>Clang.Analysis/lifetime-bound.cpp</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/24/include -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=core,alpha.cplusplus.UseAfterLifetimeEnd,debug.DebugLifetimeModeling    -analyzer-config cfg-lifetime=true -analyzer-output=text -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/clang -cc1 -internal-isystem /home/gha/actions-runner/_work/llvm-project/llvm-project/build/lib/clang/24/include -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=core,alpha.cplusplus.UseAfterLifetimeEnd,debug.DebugLifetimeModeling -analyzer-config cfg-lifetime=true -analyzer-output=text -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp
# .---command stderr------------
# | error: 'expected-note' diagnostics expected but not seen: 
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp Line 406 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp:408): Returning value bound to 'x' that will go out of scope
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp Line 427 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp:429): Returning value bound to 'local' that will go out of scope
# | error: 'expected-note' diagnostics seen but not expected: 
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp Line 406: Value's lifetime bound to the lifetime of 'x' here
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp Line 406: Lifetime of 'x' ended here
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp Line 427: Value's lifetime bound to the lifetime of 'local' here
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/lifetime-bound.cpp Line 427: Lifetime of 'local' ended here
# | 6 errors generated.
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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