github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 51520 tests passed
* 871 tests skipped
* 1 test failed
## Failed Tests
(click on a test name to see its output)
### Clang
<details>
<summary>Clang.CodeGen/allow-ubsan-check.c</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 5
c:\_work\llvm-project\llvm-project\build\bin\clang.exe -cc1 -internal-isystem
C:\_work\llvm-project\llvm-project\build\lib\clang\22\include -nostdsysteminc
-triple x86_64-pc-linux-gnu -emit-llvm -O1 -o -
C:\_work\llvm-project\llvm-project\clang\test\CodeGen\allow-ubsan-check.c
-fsanitize=signed-integer-overflow,integer-divide-by-zero,null,local-bounds
-mllvm -ubsan-guard-checks |
c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\clang\test\CodeGen\allow-ubsan-check.c
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\clang.exe'
-cc1 -internal-isystem
'C:\_work\llvm-project\llvm-project\build\lib\clang\22\include' -nostdsysteminc
-triple x86_64-pc-linux-gnu -emit-llvm -O1 -o -
'C:\_work\llvm-project\llvm-project\clang\test\CodeGen\allow-ubsan-check.c'
-fsanitize=signed-integer-overflow,integer-divide-by-zero,null,local-bounds
-mllvm -ubsan-guard-checks
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
'C:\_work\llvm-project\llvm-project\clang\test\CodeGen\allow-ubsan-check.c'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\clang\test\CodeGen\allow-ubsan-check.c:19:16:
error: CHECK-NEXT: expected string not found in input
# | // CHECK-NEXT: [[TMP3:%.*]] = tail call i1 @llvm.allow.ubsan.check(i8 27),
!nosanitize [[META6]]
# | ^
# | <stdin>:18:36: note: scanning from here
# | %or = or i1 %1, %2, !nosanitize !6
# | ^
# | <stdin>:18:36: note: with "META6" equal to "!6"
# | %or = or i1 %1, %2, !nosanitize !6
# | ^
# | <stdin>:19:2: note: possible intended match here
# | %3 = tail call i1 @llvm.allow.ubsan.check(i8 28), !nosanitize !6
# | ^
# |
C:\_work\llvm-project\llvm-project\clang\test\CodeGen\allow-ubsan-check.c:94:16:
error: CHECK-NEXT: expected string not found in input
# | // CHECK-NEXT: [[TMP1:%.*]] = tail call i1 @llvm.allow.ubsan.check(i8 29),
!nosanitize [[META6]]
# | ^
# | <stdin>:48:43: note: scanning from here
# | %0 = icmp eq ptr %x, null, !nosanitize !6
# | ^
# | <stdin>:48:43: note: with "META6" equal to "!6"
# | %0 = icmp eq ptr %x, null, !nosanitize !6
# | ^
# | <stdin>:49:2: note: possible intended match here
# | %1 = tail call i1 @llvm.allow.ubsan.check(i8 30), !nosanitize !6
# | ^
# |
C:\_work\llvm-project\llvm-project\clang\test\CodeGen\allow-ubsan-check.c:143:16:
error: CHECK-NEXT: expected string not found in input
# | // CHECK-NEXT: [[TMP2:%.*]] = tail call i1 @llvm.allow.ubsan.check(i8 41),
!nosanitize [[META6]]
# | ^
# | <stdin>:69:53: note: scanning from here
# | %1 = extractvalue { i32, i1 } %0, 1, !nosanitize !6
# | ^
# | <stdin>:69:53: note: with "META6" equal to "!6"
# | %1 = extractvalue { i32, i1 } %0, 1, !nosanitize !6
# | ^
# | <stdin>:70:2: note: possible intended match here
# | %2 = tail call i1 @llvm.allow.ubsan.check(i8 42), !nosanitize !6
# | ^
# |
C:\_work\llvm-project\llvm-project\clang\test\CodeGen\allow-ubsan-check.c:203:16:
error: CHECK-NEXT: expected string not found in input
# | // CHECK-NEXT: [[TMP2:%.*]] = call i1 @llvm.allow.ubsan.check(i8 71),
!nosanitize [[META6]]
# | ^
# | <stdin>:98:32: note: scanning from here
# | %1 = icmp ule i64 %0, %idxprom
# | ^
# | <stdin>:98:32: note: with "META6" equal to "!6"
# | %1 = icmp ule i64 %0, %idxprom
# | ^
# | <stdin>:99:2: note: possible intended match here
# | %2 = call i1 @llvm.allow.ubsan.check(i8 72), !nosanitize !6
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\clang\test\CodeGen\allow-ubsan-check.c
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 13: define dso_local noundef i32 @div(i32 noundef %x, i32
noundef %y) local_unnamed_addr #0 {
# | 14: entry:
# | 15: %0 = icmp ne i32 %y, 0, !nosanitize !6
# | 16: %1 = icmp ne i32 %x, -2147483648, !nosanitize !6
# | 17: %2 = icmp ne i32 %y, -1, !nosanitize !6
# | 18: %or = or i1 %1, %2, !nosanitize !6
# | next:19'0 X error: no match found
# | next:19'1 with "META6" equal to
"!6"
# | 19: %3 = tail call i1 @llvm.allow.ubsan.check(i8 28),
!nosanitize !6
# | next:19'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:19'2 ?
possible intended match
# | 20: %4 = xor i1 %3, true, !nosanitize !6
# | next:19'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 21: %5 = or i1 %0, %4, !nosanitize !6
# | next:19'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 22: %6 = tail call i1 @llvm.allow.ubsan.check(i8 42),
!nosanitize !6
# | next:19'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 23: %7 = xor i1 %6, true, !nosanitize !6
# | next:19'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 24: %8 = or i1 %or, %7, !nosanitize !6
# | next:19'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 43: declare void @__ubsan_handle_divrem_overflow_abort(ptr, i64,
i64) local_unnamed_addr #2
# | next:19'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 44:
# | next:19'0 ~
# | 45: ; Function Attrs: nounwind
# | next:19'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 46: define dso_local i32 @null(ptr noundef readonly
captures(address_is_null) %x) local_unnamed_addr #0 {
# | next:19'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 47: entry:
# | 48: %0 = icmp eq ptr %x, null, !nosanitize !6
# | next:94'0 X error: no match
found
# | next:94'1 with "META6"
equal to "!6"
# | 49: %1 = tail call i1 @llvm.allow.ubsan.check(i8 30),
!nosanitize !6
# | next:94'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:94'2 ?
possible intended match
# | 50: %.not1 = and i1 %0, %1
# | next:94'0 ~~~~~~~~~~~~~~~~~~~~~~~~
# | 51: br i1 %.not1, label %handler.type_mismatch, label %cont,
!prof !8, !nosanitize !6
# | next:94'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 52:
# | next:94'0 ~
# | 53: handler.type_mismatch: ; preds = %entry
# | next:94'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 54: tail call void @__ubsan_handle_type_mismatch_v1_abort(ptr
nonnull @2, i64 0) #6, !nosanitize !6
# | next:94'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 64:
# | next:94'0 ~
# | 65: ; Function Attrs: nounwind
# | next:94'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 66: define dso_local noundef i32 @overflow(i32 noundef %x, i32
noundef %y) local_unnamed_addr #0 {
# | next:94'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 67: entry:
# | 68: %0 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32
%x, i32 %y), !nosanitize !6
# | 69: %1 = extractvalue { i32, i1 } %0, 1, !nosanitize !6
# | next:143'0 X error:
no match found
# | next:143'1 with
"META6" equal to "!6"
# | 70: %2 = tail call i1 @llvm.allow.ubsan.check(i8 42),
!nosanitize !6
# | next:143'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:143'2 ?
possible intended match
# | 71: %.demorgan = and i1 %1, %2
# | next:143'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 72: br i1 %.demorgan, label %handler.add_overflow, label %cont,
!prof !8, !nosanitize !6
# | next:143'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 73:
# | next:143'0 ~
# | 74: handler.add_overflow: ; preds = %entry
# | next:143'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 75: %3 = zext i32 %x to i64, !nosanitize !6
# | next:143'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | 93: entry:
# | 94: %0 = zext i32 %b to i64
# | 95: %vla = alloca double, i64 %0, align 16
# | 96: call void @use(ptr noundef nonnull %vla) #7
# | 97: %idxprom = sext i32 %i to i64
# | 98: %1 = icmp ule i64 %0, %idxprom
# | next:203'0 X error: no match found
# | next:203'1 with "META6" equal to "!6"
# | 99: %2 = call i1 @llvm.allow.ubsan.check(i8 72), !nosanitize !6
# | next:203'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:203'2 ?
possible intended match
# | 100: %3 = and i1 %1, %2, !nosanitize !6
# | next:203'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 101: br i1 %3, label %trap, label %4
# | next:203'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 102:
# | next:203'0 ~
# | 103: 4: ; preds = %entry
# | next:203'0 ~~~~~~~~~~~~~~~~~~~~
# | 104: %arrayidx = getelementptr inbounds double, ptr %vla, i64
%idxprom
# | next:203'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# 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/172086
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
