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

Fri Dec 13 22:24:35 PST 2024

llvm-ci wrote:

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

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

<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-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/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 (120 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-asan/build/llvm_build_asan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
error: 'all-error' diagnostics seen but not expected: 
  File /home/b/sanitizer-aarch64-linux-bootstrap-asan/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-asan/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:
--------------------------------------------------------------------------
211.92s: Clang :: Driver/fsanitize.c
168.56s: Clang :: Preprocessor/riscv-target-features.c
166.08s: Clang :: Driver/arm-cortex-cpus-2.c
162.86s: Clang :: Driver/arm-cortex-cpus-1.c
140.30s: Clang :: OpenMP/target_update_codegen.cpp
134.41s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
120.87s: Clang :: Preprocessor/aarch64-target-features.c
120.65s: Clang :: Driver/linux-ld.c
120.51s: Clang :: Preprocessor/arm-target-features.c
117.76s: LLVM :: CodeGen/AMDGPU/sched-group-barrier-pipeline-solver.mir
111.71s: Clang :: Driver/clang_f_opts.c
108.94s: LLVM :: CodeGen/RISCV/attributes.ll
108.77s: Clang :: Driver/x86-target-features.c
108.55s: Clang :: Preprocessor/predefined-arch-macros.c
93.56s: Clang :: Driver/cl-options.c
83.46s: Clang :: Driver/riscv-arch.c
77.41s: Clang :: Driver/debug-options.c
75.60s: LLVM :: CodeGen/ARM/build-attributes.ll
74.97s: Clang :: Preprocessor/predefined-macros-no-warnings.c
Step 11 (stage2/asan check) failure: stage2/asan check (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/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 (120 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-asan/build/llvm_build_asan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build_asan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
error: 'all-error' diagnostics seen but not expected: 
  File /home/b/sanitizer-aarch64-linux-bootstrap-asan/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-asan/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:
--------------------------------------------------------------------------
211.92s: Clang :: Driver/fsanitize.c
168.56s: Clang :: Preprocessor/riscv-target-features.c
166.08s: Clang :: Driver/arm-cortex-cpus-2.c
162.86s: Clang :: Driver/arm-cortex-cpus-1.c
140.30s: Clang :: OpenMP/target_update_codegen.cpp
134.41s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
120.87s: Clang :: Preprocessor/aarch64-target-features.c
120.65s: Clang :: Driver/linux-ld.c
120.51s: Clang :: Preprocessor/arm-target-features.c
117.76s: LLVM :: CodeGen/AMDGPU/sched-group-barrier-pipeline-solver.mir
111.71s: Clang :: Driver/clang_f_opts.c
108.94s: LLVM :: CodeGen/RISCV/attributes.ll
108.77s: Clang :: Driver/x86-target-features.c
108.55s: Clang :: Preprocessor/predefined-arch-macros.c
93.56s: Clang :: Driver/cl-options.c
83.46s: Clang :: Driver/riscv-arch.c
77.41s: Clang :: Driver/debug-options.c
75.60s: LLVM :: CodeGen/ARM/build-attributes.ll
74.97s: Clang :: Preprocessor/predefined-macros-no-warnings.c
Step 13 (stage3/asan check) failure: stage3/asan check (failure)
...
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/ld.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using lld-link: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/lld-link
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using ld64.lld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/ld64.lld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/llvm/utils/lit/lit/llvm/config.py:506: note: using wasm-ld: /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/wasm-ld
llvm-lit: /home/b/sanitizer-aarch64-linux-bootstrap-asan/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 (130 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-asan/build/llvm_build2_asan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
+ /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/bin/clang -cc1 -internal-isystem /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm_build2_asan/lib/clang/20/include -nostdsysteminc -fexperimental-new-constant-interpreter -std=c++20 -verify=expected,all /home/b/sanitizer-aarch64-linux-bootstrap-asan/build/llvm-project/clang/test/AST/ByteCode/shifts.cpp
error: 'all-error' diagnostics seen but not expected: 
  File /home/b/sanitizer-aarch64-linux-bootstrap-asan/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-asan/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.47s: LLVM :: tools/llvm-reduce/parallel-workitem-kill.ll
17.86s: Clang :: Driver/fsanitize.c
13.98s: Clang :: Preprocessor/riscv-target-features.c
13.56s: Clang :: Driver/arm-cortex-cpus-2.c
13.03s: Clang :: Driver/arm-cortex-cpus-1.c
12.66s: Clang :: OpenMP/target_defaultmap_codegen_01.cpp
12.48s: Clang :: OpenMP/target_update_codegen.cpp
10.10s: Clang :: Preprocessor/aarch64-target-features.c
10.01s: LLVM-Unit :: Support/./SupportTests/ProgramEnvTest/TestExecuteNoWaitDetached
9.72s: Clang :: Preprocessor/arm-target-features.c
9.23s: Clang :: Driver/clang_f_opts.c
8.91s: Clang :: Driver/linux-ld.c
8.28s: Clang :: Preprocessor/predefined-arch-macros.c
8.01s: Clang :: Driver/cl-options.c
7.75s: LLVM :: CodeGen/ARM/build-attributes.ll
7.70s: Clang :: Driver/x86-target-features.c
7.56s: LLVM :: CodeGen/AMDGPU/memintrinsic-unroll.ll
7.26s: Clang :: Analysis/a_flaky_crash.cpp
7.24s: LLVM :: CodeGen/RISCV/attributes.ll

```

</details>

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