[clang] [clang][bytecode] Add lifetime information for primitive array elements (PR #173333)
via cfe-commits
cfe-commits at lists.llvm.org
Mon Dec 22 22:49:20 PST 2025
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results
* 85205 tests passed
* 1191 tests skipped
* 4 tests failed
## Failed Tests
(click on a test name to see its output)
### Clang
<details>
<summary>Clang.AST/ByteCode/builtin-functions.cpp</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/22/include -nostdsysteminc -Wno-string-plus-int -fexperimental-new-constant-interpreter -triple x86_64 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=expected,both
# 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/22/include -nostdsysteminc -Wno-string-plus-int -fexperimental-new-constant-interpreter -triple x86_64 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=expected,both
# note: command had no output on stdout or stderr
# RUN: at line 2
/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/22/include -nostdsysteminc -Wno-string-plus-int -triple x86_64 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=ref,both
# 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/22/include -nostdsysteminc -Wno-string-plus-int -triple x86_64 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=ref,both
# note: command had no output on stdout or stderr
# RUN: at line 4
/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/22/include -nostdsysteminc -Wno-string-plus-int -fexperimental-new-constant-interpreter -triple i686 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=expected,both
# 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/22/include -nostdsysteminc -Wno-string-plus-int -fexperimental-new-constant-interpreter -triple i686 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=expected,both
# note: command had no output on stdout or stderr
# RUN: at line 5
/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/22/include -nostdsysteminc -Wno-string-plus-int -triple i686 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=ref,both
# 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/22/include -nostdsysteminc -Wno-string-plus-int -triple i686 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=ref,both
# note: command had no output on stdout or stderr
# RUN: at line 7
/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/22/include -nostdsysteminc -std=c++20 -Wno-string-plus-int -fexperimental-new-constant-interpreter -triple x86_64 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=expected,both
# 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/22/include -nostdsysteminc -std=c++20 -Wno-string-plus-int -fexperimental-new-constant-interpreter -triple x86_64 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp -verify=expected,both
# .---command stderr------------
# | error: diagnostics with 'error' severity seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp Line 1869: static assertion expression is not an integral constant expression
# | error: diagnostics with 'note' severity expected but not seen:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp Line 1866 'both-note': read of heap allocated object that has been deleted
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp Line 1870 'both-note': in call to
# | error: diagnostics with 'note' severity seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp Line 1853: allocation performed here was not deallocated
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/builtin-functions.cpp Line 1853: allocation performed here was not deallocated
# | 5 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.AST/ByteCode/dynalloc-limits.cpp</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/22/include -nostdsysteminc -std=c++20 -verify=ref,both -fconstexpr-steps=1024 -Wvla /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/dynalloc-limits.cpp
# 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/22/include -nostdsysteminc -std=c++20 -verify=ref,both -fconstexpr-steps=1024 -Wvla /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/dynalloc-limits.cpp
# note: command had no output on stdout or stderr
# RUN: at line 2
/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/22/include -nostdsysteminc -std=c++20 -verify=both,both -fconstexpr-steps=1024 -Wvla /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/dynalloc-limits.cpp -fexperimental-new-constant-interpreter
# 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/22/include -nostdsysteminc -std=c++20 -verify=both,both -fconstexpr-steps=1024 -Wvla /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/dynalloc-limits.cpp -fexperimental-new-constant-interpreter
# .---command stderr------------
# | error: diagnostics with 'error' severity seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/dynalloc-limits.cpp Line 54: constexpr variable 'ssmall' must be initialized by a constant expression
# | error: diagnostics with 'note' severity seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/dynalloc-limits.cpp Line 37: read of object outside its lifetime is not allowed in a constant expression
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/dynalloc-limits.cpp Line 54: in call to 'S<std::size_t>(100).operator[](42)'
# | 3 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.AST/ByteCode/new-delete.cpp</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/22/include -nostdsysteminc -verify=expected,both -fexperimental-new-constant-interpreter /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/new-delete.cpp
# 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/22/include -nostdsysteminc -verify=expected,both -fexperimental-new-constant-interpreter /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/new-delete.cpp
# note: command had no output on stdout or stderr
# RUN: at line 2
/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/22/include -nostdsysteminc -std=c++20 -verify=expected,both -fexperimental-new-constant-interpreter /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/new-delete.cpp
# 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/22/include -nostdsysteminc -std=c++20 -verify=expected,both -fexperimental-new-constant-interpreter /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/new-delete.cpp
# .---command stderr------------
# | error: diagnostics with 'error' severity seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/new-delete.cpp Line 883: constexpr variable 'ssmall' must be initialized by a constant expression
# | error: diagnostics with 'note' severity seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/new-delete.cpp Line 874: read of object outside its lifetime is not allowed in a constant expression
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/AST/ByteCode/new-delete.cpp Line 883: in call to 'SS<unsigned short>(100).operator[](42)'
# | 3 errors generated.
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>Clang.SemaCXX/cxx2a-constexpr-dynalloc.cpp</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/22/include -nostdsysteminc -std=c++2a -verify=expected,cxx20 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp -DNEW=__builtin_operator_new -DDELETE=__builtin_operator_delete
# 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/22/include -nostdsysteminc -std=c++2a -verify=expected,cxx20 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp -DNEW=__builtin_operator_new -DDELETE=__builtin_operator_delete
# note: command had no output on stdout or stderr
# RUN: at line 2
/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/22/include -nostdsysteminc -std=c++2a -verify=expected,cxx20 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp "-DNEW=operator new" "-DDELETE=operator delete"
# 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/22/include -nostdsysteminc -std=c++2a -verify=expected,cxx20 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp '-DNEW=operator new' '-DDELETE=operator delete'
# note: command had no output on stdout or stderr
# RUN: at line 3
/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/22/include -nostdsysteminc -std=c++2a -verify=expected,cxx20 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp "-DNEW=::operator new" "-DDELETE=::operator delete"
# 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/22/include -nostdsysteminc -std=c++2a -verify=expected,cxx20 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp '-DNEW=::operator new' '-DDELETE=::operator delete'
# note: command had no output on stdout or stderr
# RUN: at line 4
/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/22/include -nostdsysteminc -std=c++2c -verify=expected,cxx26 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp "-DNEW=::operator new" "-DDELETE=::operator delete"
# 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/22/include -nostdsysteminc -std=c++2c -verify=expected,cxx26 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp '-DNEW=::operator new' '-DDELETE=::operator delete'
# note: command had no output on stdout or stderr
# RUN: at line 6
/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/22/include -nostdsysteminc -std=c++2a -verify=expected,cxx20 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp -DNEW=__builtin_operator_new -DDELETE=__builtin_operator_delete -fexperimental-new-constant-interpreter
# 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/22/include -nostdsysteminc -std=c++2a -verify=expected,cxx20 /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp -DNEW=__builtin_operator_new -DDELETE=__builtin_operator_delete -fexperimental-new-constant-interpreter
# .---command stderr------------
# | error: diagnostics with 'error' severity seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp Line 132: static assertion expression is not an integral constant expression
# | error: diagnostics with 'note' severity seen but not expected:
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp Line 128: read of object outside its lifetime is not allowed in a constant expression
# | File /home/gha/actions-runner/_work/llvm-project/llvm-project/clang/test/SemaCXX/cxx2a-constexpr-dynalloc.cpp Line 132: in call to 'call_std_construct_at()'
# | 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/173333
More information about the cfe-commits
mailing list