[clang] [alpha.webkit.UncheckedCallArgsChecker] EnsureFunctionAnalysis allows unsafe code (PR #198717)

[via cfe-commits]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 53976 tests passed
* 1236 tests skipped
* 3 tests failed

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

### Clang
<details>
<summary>Clang.Analysis/Checkers/WebKit/call-args-counted-const-member.cpp</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\23\include -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.UncountedCallArgsChecker -verify C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\call-args-counted-const-member.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\23\include' -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.UncountedCallArgsChecker -verify 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\call-args-counted-const-member.cpp'
# .---command stderr------------
# | error: 'expected-warning' diagnostics seen but not expected: 
# |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\call-args-counted-const-member.cpp Line 91: Call argument for 'this' parameter is uncounted and unsafe [alpha.webkit.UncountedCallArgsChecker]
# |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\call-args-counted-const-member.cpp Line 94: Call argument for 'this' parameter is uncounted and unsafe [alpha.webkit.UncountedCallArgsChecker]
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>Clang.Analysis/Checkers/WebKit/local-vars-checked-const-member.cpp</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\23\include -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.UncheckedLocalVarsChecker -verify C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\local-vars-checked-const-member.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\23\include' -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.UncheckedLocalVarsChecker -verify 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\local-vars-checked-const-member.cpp'
# .---command stderr------------
# | error: 'expected-warning' diagnostics seen but not expected: 
# |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\local-vars-checked-const-member.cpp Line 51: Local variable 'obj3' is unchecked and unsafe [alpha.webkit.UncheckedLocalVarsChecker]
# |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\local-vars-checked-const-member.cpp Line 56: Local variable 'obj5' is unchecked and unsafe [alpha.webkit.UncheckedLocalVarsChecker]
# | 2 errors generated.
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>Clang.Analysis/Checkers/WebKit/local-vars-counted-const-member.cpp</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\23\include -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.UncountedLocalVarsChecker -verify C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\local-vars-counted-const-member.cpp
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\23\include' -nostdsysteminc -analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.UncountedLocalVarsChecker -verify 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\local-vars-counted-const-member.cpp'
# .---command stderr------------
# | error: 'expected-warning' diagnostics seen but not expected: 
# |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\local-vars-counted-const-member.cpp Line 51: Local variable 'obj3' is uncounted and unsafe [alpha.webkit.UncountedLocalVarsChecker]
# |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\local-vars-counted-const-member.cpp Line 56: Local variable 'obj5' is uncounted and unsafe [alpha.webkit.UncountedLocalVarsChecker]
# | 2 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/198717