[clang] [WebKit checkers] Treat destruction of a null smart pointer temporary as trivial (PR #230809)

Sun, 11 Oct 2026 08:37:59 -0700 

github-actions[bot] wrote:

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

* 56884 tests passed
* 1798 tests skipped
* 2 tests failed

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

### Clang
<details>
<summary>Clang.Analysis/Checkers/WebKit/nodelete-annotation.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\24\include -nostdsysteminc 
-analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.NoDeleteChecker 
-verify 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\nodelete-annotation.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\24\include' -nostdsysteminc 
-analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.NoDeleteChecker 
-verify 
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\nodelete-annotation.cpp'
# .---command stderr------------
# | error: 'expected-note' diagnostics expected but not seen: 
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 313 (directive at 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\nodelete-annotation.cpp:11):
 Calling 'derefIfNotNull'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 380 (directive at 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\nodelete-annotation.cpp:12):
 Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 399 (directive at 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\nodelete-annotation.cpp:13):
 Calling '~RefPtr'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 440 (directive at 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\nodelete-annotation.cpp:14):
 Could destruct an object
# | error: 'expected-note' diagnostics seen but not expected: 
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 402: Calling '~RefPtr'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 402: Calling '~RefPtr'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 316: Calling 'derefIfNotNull'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 316: Calling 'derefIfNotNull'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 402: Calling '~RefPtr'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 402: Calling '~RefPtr'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 383: Calling 'deref'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 316: Calling 'derefIfNotNull'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 316: Calling 'derefIfNotNull'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 316: Calling 'derefIfNotNull'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 316: Calling 'derefIfNotNull'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 316: Calling 'derefIfNotNull'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 443: Could destruct an object
# | 42 errors generated.
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>
<details>
<summary>Clang.Analysis/Checkers/WebKit/nodelete-lazy-initialize.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\24\include -nostdsysteminc 
-analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.NoDeleteChecker 
-verify 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\nodelete-lazy-initialize.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\24\include' -nostdsysteminc 
-analyze -setup-static-analyzer -analyzer-checker=alpha.webkit.NoDeleteChecker 
-verify 
'C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\nodelete-lazy-initialize.cpp'
# .---command stderr------------
# | error: 'expected-note' diagnostics expected but not seen: 
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 313 (directive at 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\nodelete-lazy-initialize.cpp:6):
 Calling 'derefIfNotNull'
# | error: 'expected-note' diagnostics seen but not expected: 
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 316: Calling 'derefIfNotNull'
# |   File 
C:\_work\llvm-project\llvm-project\clang\test\Analysis\Checkers\WebKit\mock-types.h
 Line 316: Calling 'derefIfNotNull'
# | 3 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/230809
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to