github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 55674 tests passed
* 1372 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\23\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\23\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:21: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>:18:36: note: pattern attempts to capture variables: "TMP3"
# | %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>:48:43: note: pattern attempts to capture variables: "TMP1"
# | %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>:69:53: note: pattern attempts to capture variables: "TMP2"
# | %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>:98:32: note: pattern attempts to capture variables: "TMP2"
# | %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:21'0 { search range start
(exclusive)
# | next:21'1 error: no match found
in search range
# | next:21'2 with "META6" equal to
"!6"
# | next:21'3 pattern attempts to
capture variables: "TMP3"
# | 19: %3 = tail call i1 @llvm.allow.ubsan.check(i8 28),
!nosanitize !6
# | next:21'4 ?
possible intended match
# | 20: %4 = xor i1 %3, true, !nosanitize !6
# | 21: %5 = or i1 %0, %4, !nosanitize !6
# | 22: %6 = tail call i1 @llvm.allow.ubsan.check(i8 42),
!nosanitize !6
# | 23: %7 = xor i1 %6, true, !nosanitize !6
# | 24: %8 = or i1 %or, %7, !nosanitize !6
# | .
# | .
# | .
# | 41:
# | 42: ; Function Attrs: noreturn nounwind uwtable
# | 43: declare void @__ubsan_handle_divrem_overflow_abort(ptr, i64,
i64) local_unnamed_addr #2
# | 44:
# | 45: ; Function Attrs: nounwind
# | 46: define dso_local i32 @null(ptr nofree noundef readonly
captures(address_is_null) %x) local_unnamed_addr #0 {
# | next:21'5 }
search range end (exclusive)
# | 47: entry:
# | 48: %0 = icmp eq ptr %x, null, !nosanitize !6
# | next:94'0 { search range
start (exclusive)
# | next:94'1 error: no match
found in search range
# | next:94'2 with "META6"
equal to "!6"
# | next:94'3 pattern
attempts to capture variables: "TMP1"
# | 49: %1 = tail call i1 @llvm.allow.ubsan.check(i8 30),
!nosanitize !6
# | next:94'4 ?
possible intended match
# | 50: %.not1 = and i1 %0, %1
# | 51: br i1 %.not1, label %handler.type_mismatch, label %cont,
!prof !8, !nosanitize !6
# | 52:
# | 53: handler.type_mismatch: ; preds = %entry
# | 54: tail call void @__ubsan_handle_type_mismatch_v1_abort(ptr
nonnull @2, i64 0) #6, !nosanitize !6
# | .
# | .
# | .
# | 61:
# | 62: ; Function Attrs: noreturn nounwind uwtable
# | 63: declare void @__ubsan_handle_type_mismatch_v1_abort(ptr,
i64) local_unnamed_addr #2
# | 64:
# | 65: ; Function Attrs: nounwind
# | 66: define dso_local noundef i32 @overflow(i32 noundef %x, i32
noundef %y) local_unnamed_addr #0 {
# | next:94'5 }
search range end (exclusive)
# | 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 {
search range start (exclusive)
# | next:143'1
error: no match found in search range
# | next:143'2 with
"META6" equal to "!6"
# | next:143'3
pattern attempts to capture variables: "TMP2"
# | 70: %2 = tail call i1 @llvm.allow.ubsan.check(i8 42),
!nosanitize !6
# | next:143'4 ?
possible intended match
# | 71: %.demorgan = and i1 %1, %2
# | 72: br i1 %.demorgan, label %handler.add_overflow, label %cont,
!prof !8, !nosanitize !6
# | 73:
# | 74: handler.add_overflow: ; preds = %entry
# | 75: %3 = zext i32 %x to i64, !nosanitize !6
# | .
# | .
# | .
# | 87:
# | 88: ; Function Attrs: noreturn nounwind uwtable
# | 89: declare void @__ubsan_handle_add_overflow_abort(ptr, i64,
i64) local_unnamed_addr #2
# | 90:
# | 91: ; Function Attrs: nounwind
# | 92: define dso_local double @lbounds(i32 noundef %b, i32 noundef
%i) local_unnamed_addr #0 {
# | next:143'5 }
search range end (exclusive)
# | 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 { search range start
(exclusive)
# | next:203'1 error: no match found in
search range
# | next:203'2 with "META6" equal to "!6"
# | next:203'3 pattern attempts to
capture variables: "TMP2"
# | 99: %2 = call i1 @llvm.allow.ubsan.check(i8 72), !nosanitize !6
# | next:203'4 ?
possible intended match
# | 100: %3 = and i1 %1, %2, !nosanitize !6
# | 101: br i1 %3, label %trap, label %4
# | 102:
# | 103: 4: ; preds = %entry
# | 104: %arrayidx = getelementptr inbounds [8 x i8], ptr %vla, i64
%idxprom
# | .
# | .
# | .
# | 136: !6 = !{}
# | 137: !7 = !{!"branch_weights", i32 1048575, i32 1}
# | 138: !8 = !{!"branch_weights", i32 1, i32 1048575}
# | 139: !9 = !{!3, !3, i64 0}
# | 140: !10 = !{!11, !11, i64 0}
# | 141: !11 = !{!"double", !4, i64 0}
# | next:203'5 } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# 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/207712
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
