[clang] [clang][bytecode] Diagnose pointer subtractions of elements of different arrays (PR #209496)

[LLVM Continuous Integration via cfe-commits]

Timm =?utf-8?q?Bäder?= <tbaeder at redhat.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/209496 at github.com>


llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `llvm-clang-ubuntu-x-aarch64-pac-ret` running on `as-builder-11` while building `clang` at step 16 "test-check-clang".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/229/builds/3040

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 16 (test-check-clang) failure: Test just built components: check-clang completed (failure)
******************** TEST 'Clang :: AST/ByteCode/virtual-bases.cpp' FAILED ********************
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
/home/buildbot/worker/x-aarch64-pac-ret/build/bin/clang -cc1 -internal-isystem /home/buildbot/worker/x-aarch64-pac-ret/build/lib/clang/24/include -nostdsysteminc -std=c++26 -fexperimental-new-constant-interpreter -verify=both,expected /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp
# executed command: /home/buildbot/worker/x-aarch64-pac-ret/build/bin/clang -cc1 -internal-isystem /home/buildbot/worker/x-aarch64-pac-ret/build/lib/clang/24/include -nostdsysteminc -std=c++26 -fexperimental-new-constant-interpreter -verify=both,expected /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp
# .---command stderr------------
# | error: diagnostics with 'error' severity seen but not expected: 
# |   File /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp Line 442: static assertion expression is not an integral constant expression
# |   File /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp Line 443: static assertion expression is not an integral constant expression
# |   File /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp Line 444: static assertion expression is not an integral constant expression
# |   File /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp Line 445: static assertion expression is not an integral constant expression
# | error: diagnostics with 'note' severity seen but not expected: 
# |   File /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp Line 442: subtracted pointers are not elements of the same array
# |   File /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp Line 443: subtracted pointers are not elements of the same array
# |   File /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp Line 444: subtracted pointers are not elements of the same array
# |   File /home/buildbot/worker/x-aarch64-pac-ret/llvm-project/clang/test/AST/ByteCode/virtual-bases.cpp Line 445: subtracted pointers are not elements of the same array
# | 8 errors generated.
# `-----------------------------
# error: command failed with exit status: 1

--

********************


```

</details>

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