[clang] [analyzer] Drop assertion enforcing that assume args are known constants (PR #151908)
LLVM Continuous Integration via cfe-commits
cfe-commits at lists.llvm.org
Tue Aug 5 14:56:27 PDT 2025
llvm-ci wrote:
LLVM Buildbot has detected a new failure on builder `llvm-x86_64-debian-dylib` running on `gribozavr4` while building `clang` at step 6 "test-build-unified-tree-check-clang".
Full details are available at: https://lab.llvm.org/buildbot/#/builders/60/builds/34807
<details>
<summary>Here is the relevant piece of the build log for the reference</summary>
```
Step 6 (test-build-unified-tree-check-clang) failure: test (failure)
******************** TEST 'Clang :: Analysis/cxx23-assume-attribute.cpp' FAILED ********************
Exit Code: 1
Command Output (stderr):
--
/b/1/llvm-x86_64-debian-dylib/build/bin/clang -cc1 -internal-isystem /b/1/llvm-x86_64-debian-dylib/build/lib/clang/22/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++23 -triple x86_64-pc-linux-gnu -analyzer-checker=core,debug.ExprInspection -verify /b/1/llvm-x86_64-debian-dylib/llvm-project/clang/test/Analysis/cxx23-assume-attribute.cpp # RUN: at line 1
+ /b/1/llvm-x86_64-debian-dylib/build/bin/clang -cc1 -internal-isystem /b/1/llvm-x86_64-debian-dylib/build/lib/clang/22/include -nostdsysteminc -analyze -setup-static-analyzer -std=c++23 -triple x86_64-pc-linux-gnu -analyzer-checker=core,debug.ExprInspection -verify /b/1/llvm-x86_64-debian-dylib/llvm-project/clang/test/Analysis/cxx23-assume-attribute.cpp
error: 'expected-warning' diagnostics seen but not expected:
File /b/1/llvm-x86_64-debian-dylib/llvm-project/clang/test/Analysis/cxx23-assume-attribute.cpp Line 75: assumption is ignored because it contains (potential) side-effects
1 error generated.
--
********************
```
</details>
https://github.com/llvm/llvm-project/pull/151908
More information about the cfe-commits
mailing list