[clang] [clang][analyzer] Added Abstract VAList region normalization into MemRegionManager (PR #181948)

[via cfe-commits]

github-actions[bot] wrote:

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

* 86288 tests passed
* 1263 tests skipped
* 2 tests failed

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

### Clang
<details>
<summary>Clang.Analysis/valist-uninitialized.c</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/23/include -nostdsysteminc -analyze -setup-static-analyzer -triple hexagon-unknown-linux -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c    -analyzer-checker=core,security.VAList    -analyzer-disable-checker=core.CallAndMessage    -analyzer-output=text
# 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/23/include -nostdsysteminc -analyze -setup-static-analyzer -triple hexagon-unknown-linux -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c -analyzer-checker=core,security.VAList -analyzer-disable-checker=core.CallAndMessage -analyzer-output=text
# .---command stderr------------
# | error: 'expected-warning' diagnostics expected but not seen: 
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c Line 164: va_end() is called on an already released va_list
# | error: 'expected-warning' diagnostics seen but not expected: 
# |   Line 119: va_end() is called on an uninitialized va_list [security.VAList]
# |   Line 123: va_arg() is called on an uninitialized va_list [security.VAList]
# |   Line 139: va_arg() is called on an uninitialized va_list [security.VAList]
# |   Line 151: Uninitialized va_list is copied [security.VAList]
# |   Line 159: va_end() is called on an uninitialized va_list [security.VAList]
# | error: 'expected-note' diagnostics expected but not seen: 
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c Line 158: Copied unknown contents into the va_list
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c Line 159: Ended va_list
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c Line 160: Initialized va_list
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c Line 161: Copied uninitialized contents into the va_list
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c Line 162: Initialized va_list
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c Line 163: Ended va_list
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c Line 164 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c:165): va_end() is called on an already released va_list
# | error: 'expected-note' diagnostics seen but not expected: 
# |   Line 119: va_end() is called on an uninitialized va_list
# |   Line 123: va_arg() is called on an uninitialized va_list
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-uninitialized.c Line 145: Calling 'inlined_uses_arg_good'
# |   Line 139: va_arg() is called on an uninitialized va_list
# |   Line 151: Uninitialized va_list is copied
# |   Line 158: Copied uninitialized contents into the va_list
# |   Line 159: va_end() is called on an uninitialized va_list
# | 20 errors generated.
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>Clang.Analysis/valist-unterminated.c</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/23/include -nostdsysteminc -analyze -setup-static-analyzer -triple hexagon-unknown-linux -analyzer-checker=core,security.VAList -analyzer-output=text -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c
# 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/23/include -nostdsysteminc -analyze -setup-static-analyzer -triple hexagon-unknown-linux -analyzer-checker=core,security.VAList -analyzer-output=text -verify /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c
# .---command stderr------------
# | error: 'expected-warning' diagnostics expected but not seen: 
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 103: Initialized va_list 'va' is overwritten by an unknown one
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 139: Initialized va_list 'va_array[3]' is leaked
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 156: Initialized va_list 'mem[0]' is leaked
# | error: 'expected-warning' diagnostics seen but not expected: 
# |   Line 103: Initialized va_list 'va' is overwritten by an uninitialized one [security.VAList]
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 139: Initialized va_list 'va_array' is leaked [security.VAList]
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 156: Initialized va_list 'mem' is leaked [security.VAList]
# | error: 'expected-note' diagnostics expected but not seen: 
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 103 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c:104): Initialized va_list 'va' is overwritten by an unknown one
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 139 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c:140): Initialized va_list 'va_array[3]' is leaked
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 156 (directive at /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c:157): Initialized va_list 'mem[0]' is leaked
# | error: 'expected-note' diagnostics seen but not expected: 
# |   Line 103: Initialized va_list 'va' is overwritten by an uninitialized one
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 139: Initialized va_list 'va_array' is leaked
# |   File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/Analysis/valist-unterminated.c Line 156: Initialized va_list 'mem' is leaked
# | 12 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/181948