[clang] [clang][bytecode] Fix some shift edge cases (PR #119895)

Fri Dec 13 22:25:25 PST 2024

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `sanitizer-aarch64-linux-bootstrap-ubsan` running on `sanitizer-buildbot10` while building `clang` at step 2 "annotate".

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

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

```
Step 2 (annotate) failure: 'python ../sanitizer_buildbot/sanitizers/zorg/buildbot/builders/sanitizers/buildbot_selector.py' (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/main.py:72: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 85476 tests, 72 workers --
Testing: 
FAIL: Clang :: AST/ByteCode/shifts.cpp (126 of 85476)
******************** TEST 'Clang :: AST/ByteCode/shifts.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
+ /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
error: 'all-error' diagnostics seen but not expected: 
  File /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp Line 205: static assertion failed due to requirement '((wchar_t)-1U >> 31) == -1'
error: 'all-note' diagnostics seen but not expected: 
  File /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp Line 205: expression evaluates to '1 == -1'
2 errors generated.

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 
Slowest Tests:
--------------------------------------------------------------------------
145.93s: Clang :: Driver/fsanitize.c
143.23s: Clang :: Preprocessor/riscv-target-features.c
129.45s: Clang :: OpenMP/target_update_codegen.cpp
125.64s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
112.50s: Clang :: Preprocessor/aarch64-target-features.c
108.75s: Clang :: Preprocessor/arm-target-features.c
101.14s: Clang :: Driver/arm-cortex-cpus-2.c
97.80s: Clang :: Driver/arm-cortex-cpus-1.c
97.15s: Clang :: Preprocessor/predefined-arch-macros.c
73.03s: Clang :: Preprocessor/predefined-macros-no-warnings.c
66.03s: Clang :: Driver/linux-ld.c
65.41s: Clang :: Preprocessor/x86_target_features.c
63.80s: Clang :: Preprocessor/init.c
62.98s: Clang :: Driver/x86-target-features.c
57.49s: Clang :: Driver/clang_f_opts.c
54.29s: LLVM :: CodeGen/RISCV/attributes.ll
54.01s: LLVM :: CodeGen/ARM/build-attributes.ll
51.85s: Clang :: Driver/cl-options.c
44.20s: Clang :: Parser/gh110231.cpp
Step 11 (stage2/ubsan check) failure: stage2/ubsan check (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/main.py:72: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 85476 tests, 72 workers --
Testing: 
FAIL: Clang :: AST/ByteCode/shifts.cpp (126 of 85476)
******************** TEST 'Clang :: AST/ByteCode/shifts.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
+ /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build_ubsan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
error: 'all-error' diagnostics seen but not expected: 
  File /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp Line 205: static assertion failed due to requirement '((wchar_t)-1U >> 31) == -1'
error: 'all-note' diagnostics seen but not expected: 
  File /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp Line 205: expression evaluates to '1 == -1'
2 errors generated.

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 
Slowest Tests:
--------------------------------------------------------------------------
145.93s: Clang :: Driver/fsanitize.c
143.23s: Clang :: Preprocessor/riscv-target-features.c
129.45s: Clang :: OpenMP/target_update_codegen.cpp
125.64s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
112.50s: Clang :: Preprocessor/aarch64-target-features.c
108.75s: Clang :: Preprocessor/arm-target-features.c
101.14s: Clang :: Driver/arm-cortex-cpus-2.c
97.80s: Clang :: Driver/arm-cortex-cpus-1.c
97.15s: Clang :: Preprocessor/predefined-arch-macros.c
73.03s: Clang :: Preprocessor/predefined-macros-no-warnings.c
66.03s: Clang :: Driver/linux-ld.c
65.41s: Clang :: Preprocessor/x86_target_features.c
63.80s: Clang :: Preprocessor/init.c
62.98s: Clang :: Driver/x86-target-features.c
57.49s: Clang :: Driver/clang_f_opts.c
54.29s: LLVM :: CodeGen/RISCV/attributes.ll
54.01s: LLVM :: CodeGen/ARM/build-attributes.ll
51.85s: Clang :: Driver/cl-options.c
44.20s: Clang :: Parser/gh110231.cpp
Step 13 (stage3/ubsan check) failure: stage3/ubsan check (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/llvm/utils/lit/lit/main.py:72: note: The test suite configuration requested an individual test timeout of 0 seconds but a timeout of 900 seconds was requested on the command line. Forcing timeout to be 900 seconds.
-- Testing: 82642 tests, 72 workers --
Testing: 
FAIL: Clang :: AST/ByteCode/shifts.cpp (160 of 82642)
******************** TEST 'Clang :: AST/ByteCode/shifts.cpp' FAILED ********************
Exit Code: 1

Command Output (stderr):
--
RUN: at line 1: /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
+ /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm_build2_ubsan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
error: 'all-error' diagnostics seen but not expected: 
  File /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp Line 205: static assertion failed due to requirement '((wchar_t)-1U >> 31) == -1'
error: 'all-note' diagnostics seen but not expected: 
  File /home/b/sanitizer-aarch64-linux-bootstrap-ubsan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp Line 205: expression evaluates to '1 == -1'
2 errors generated.

--

********************
Testing:  0.. 10.. 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 
Slowest Tests:
--------------------------------------------------------------------------
23.88s: LLVM :: tools/llvm-reduce/parallel-workitem-kill.ll
21.50s: Clang :: Driver/fsanitize.c
18.82s: Clang :: Preprocessor/riscv-target-features.c
16.56s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
16.34s: Clang :: OpenMP/target_update_codegen.cpp
16.23s: Clang :: Analysis/runtime-regression.c
15.64s: Clang :: Driver/arm-cortex-cpus-2.c
15.32s: Clang :: Driver/arm-cortex-cpus-1.c
14.64s: Clang :: CodeGen/AArch64/sve-intrinsics/acle_sve_reinterpret.c
13.84s: LLVM :: CodeGen/AMDGPU/memintrinsic-unroll.ll
13.29s: Clang :: Preprocessor/aarch64-target-features.c
12.78s: Clang :: Preprocessor/arm-target-features.c
12.68s: lit :: shtest-define.py
11.76s: Clang :: Analysis/a_flaky_crash.cpp
11.32s: Clang :: Preprocessor/predefined-arch-macros.c
11.23s: LLVM :: CodeGen/RISCV/attributes.ll
11.15s: Clang :: CodeGen/AArch64/sve-intrinsics/acle_sve_reinterpret-bfloat.c
10.60s: Clang :: Driver/linux-ld.c
10.14s: Clang :: Driver/clang_f_opts.c

```

</details>

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