[clang] [analyzer] Eliminate unique release point assertion (PR #150240)

[Donát Nagy via cfe-commits]

NagyDonat wrote:

On Windows `malloc.c` started to fail with
```
2025-07-23T15:54:30.2721710Z # RUN: at line 1
2025-07-23T15:54:30.2724937Z c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem C:\_work\llvm-project\llvm-project\build\lib\clang\22\include -nostdsysteminc -analyze -setup-static-analyzer -Wno-strict-prototypes -Wno-error=implicit-int -verify C:\_work\llvm-project\llvm-project\clang\test\Analysis\malloc.c    -analyzer-checker=core    -analyzer-checker=alpha.deadcode.UnreachableCode    -analyzer-checker=alpha.core.CastSize    -analyzer-checker=unix    -analyzer-checker=debug.ExprInspection    -analyzer-checker=optin.taint.TaintPropagation    -analyzer-checker=optin.taint.TaintedAlloc
2025-07-23T15:54:30.2731658Z # executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe' -cc1 -internal-isystem 'C:\_work\llvm-project\llvm-project\build\lib\clang\22\include' -nostdsysteminc -analyze -setup-static-analyzer -Wno-strict-prototypes -Wno-error=implicit-int -verify 'C:\_work\llvm-project\llvm-project\clang\test\Analysis\malloc.c' -analyzer-checker=core -analyzer-checker=alpha.deadcode.UnreachableCode -analyzer-checker=alpha.core.CastSize -analyzer-checker=unix -analyzer-checker=debug.ExprInspection -analyzer-checker=optin.taint.TaintPropagation -analyzer-checker=optin.taint.TaintedAlloc
2025-07-23T15:54:30.2735938Z # .---command stderr------------
2025-07-23T15:54:30.2736504Z # | error: 'expected-warning' diagnostics expected but not seen: 
2025-07-23T15:54:30.2737888Z # |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\malloc.c Line 1956 (directive at C:\_work\llvm-project\llvm-project\clang\test\Analysis\malloc.c:1957): {{^conj_\$[[:digit:]]+{int, LC1, S[[:digit:]]+, #1}}
2025-07-23T15:54:30.2739908Z # |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\malloc.c Line 1959 (directive at C:\_work\llvm-project\llvm-project\clang\test\Analysis\malloc.c:1960): {{^conj_\$[[:digit:]]+{int, LC1, S[[:digit:]]+, #1}}
2025-07-23T15:54:30.2741155Z # | error: 'expected-warning' diagnostics seen but not expected: 
2025-07-23T15:54:30.2742033Z # |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\malloc.c Line 1956: conj_$4{int, LC2, S54828, #1} [debug.ExprInspection]
2025-07-23T15:54:30.2743218Z # |   File C:\_work\llvm-project\llvm-project\clang\test\Analysis\malloc.c Line 1959: conj_$4{int, LC2, S54828, #1} [debug.ExprInspection]
2025-07-23T15:54:30.2744021Z # | 4 errors generated.
2025-07-23T15:54:30.2744346Z # `-----------------------------
2025-07-23T15:54:30.2744718Z # error: command failed with exit status: 1
```
I'll investigate this on the upcoming days.

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