[llubi] Improve diagnostics and add stacktrace (#195449)

nofe1248 · web-flow · commit f66331e032c9 · 2026-05-02T23:55:26.000+08:00
This PR improves UB diagnostics by making `reportImmediateUB` return a
temporary streamable object. Stacktrace on UB is also added.
diff --git a/llvm/test/tools/llubi/alloca_large_count.ll b/llvm/test/tools/llubi/alloca_large_count.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
-; CHECK-NEXT: Immediate UB detected: Alloca with large array size that overflows uint64_t.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %alloc_dyn = alloca i32, i128 -1, align 4 at @main
+; CHECK-NEXT: Immediate UB detected: Alloca with large array size that overflows uint64_t. Size: -1
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/alloca_large_size.ll b/llvm/test/tools/llubi/alloca_large_size.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %alloc_dyn = alloca i32, i32 100, align 4 at @main
 ; CHECK-NEXT: Error: Insufficient stack space.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/alloca_poison_count.ll b/llvm/test/tools/llubi/alloca_poison_count.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %alloc_dyn = alloca i32, i32 poison, align 4 at @main
 ; CHECK-NEXT: Immediate UB detected: Alloca with poison array size.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/alloca_size_overflow.ll b/llvm/test/tools/llubi/alloca_size_overflow.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
-; CHECK-NEXT: Immediate UB detected: Alloca with allocation size that overflows uint64_t.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %alloc_dyn = alloca i32, i64 -1, align 4 at @main
+; CHECK-NEXT: Immediate UB detected: Alloca with allocation size that overflows uint64_t. Size: -1
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/assume_false.ll b/llvm/test/tools/llubi/assume_false.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   call void @llvm.assume(i1 false) at @main
 ; CHECK-NEXT: Immediate UB detected: Assume on false or poison condition.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/assume_poison.ll b/llvm/test/tools/llubi/assume_poison.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   call void @llvm.assume(i1 poison) at @main
 ; CHECK-NEXT: Immediate UB detected: Assume on false or poison condition.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/br_poison.ll b/llvm/test/tools/llubi/br_poison.ll
@@ -9,5 +9,7 @@ exit:
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   br i1 poison, label %exit, label %exit at @main
 ; CHECK-NEXT: Immediate UB detected: Branch on poison condition.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/call_mismatched_signature.ll b/llvm/test/tools/llubi/call_mismatched_signature.ll
@@ -10,5 +10,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
-; CHECK-NEXT: Immediate UB detected: Indirect call through a function pointer with mismatched signature.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   call void @foo() at @main
+; CHECK-NEXT: Immediate UB detected: Indirect call through a function pointer with mismatched signature. Expected: void (), Actual: i32 ()
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/call_poison.ll b/llvm/test/tools/llubi/call_poison.ll
@@ -7,5 +7,7 @@ entry:
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   call void poison() at @main
 ; CHECK-NEXT: Immediate UB detected: Indirect call through poison function pointer.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/divrem_ub1.ll b/llvm/test/tools/llubi/divrem_ub1.ll
@@ -8,5 +8,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0 %res = {{sdiv|udiv|srem|urem}} <2 x i32> splat (i32 10), zeroinitializer at @main
 ; CHECK-NEXT: Immediate UB detected: Division by zero.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/divrem_ub2.ll b/llvm/test/tools/llubi/divrem_ub2.ll
@@ -8,5 +8,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0 %res = {{sdiv|udiv|srem|urem}} i32 10, poison at @main
 ; CHECK-NEXT: Immediate UB detected: Division by zero (refine RHS to 0).
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/divrem_ub3.ll b/llvm/test/tools/llubi/divrem_ub3.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0 %res = {{sdiv|udiv|srem|urem}} i8 -128, -1 at @main
 ; CHECK-NEXT: Immediate UB detected: Signed division overflow.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/divrem_ub4.ll b/llvm/test/tools/llubi/divrem_ub4.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0 %res = {{sdiv|udiv|srem|urem}} i8 poison, -1 at @main
 ; CHECK-NEXT: Immediate UB detected: Signed division overflow (refine LHS to INT_MIN).
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/indirectbr_invalid.ll b/llvm/test/tools/llubi/indirectbr_invalid.ll
@@ -12,5 +12,7 @@ exit:
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   indirectbr ptr blockaddress(@main, %bb2), [label %exit] at @main
 ; CHECK-NEXT: Immediate UB detected: Indirect branch on unlisted target BB.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/indirectbr_poison.ll b/llvm/test/tools/llubi/indirectbr_poison.ll
@@ -9,5 +9,7 @@ exit:
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   indirectbr ptr poison, [label %exit] at @main
 ; CHECK-NEXT: Immediate UB detected: Indirect branch on poison.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/infinite_loop.ll b/llvm/test/tools/llubi/infinite_loop.ll
@@ -19,5 +19,7 @@ loop:
 ; CHECK-NEXT:   br label %loop jump to %loop
 ; CHECK-NEXT:   br label %loop jump to %loop
 ; CHECK-NEXT:   br label %loop jump to %loop
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   br label %loop at @main
 ; CHECK-NEXT: Error: Exceeded maximum number of execution steps.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/invoke_poison.ll b/llvm/test/tools/llubi/invoke_poison.ll
@@ -13,5 +13,8 @@ exit:
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   invoke void poison()
+; CHECK-NEXT:           to label %exit unwind label %cleanup at @main
 ; CHECK-NEXT: Immediate UB detected: Indirect call through poison function pointer.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_cxx_memory_large_size.ll b/llvm/test/tools/llubi/lib_cxx_memory_large_size.ll
@@ -11,5 +11,7 @@ define i32 @main() {
 }
 ; CHECK: Entering function: main
 ; CHECK-NEXT:   %ptr_1 = call ptr @_Znwm(i64 50) => ptr 0x10 [ptr_1]
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %ptr_2 = call ptr @_Znwm(i64 100) at @main
 ; CHECK-NEXT: Error: Insufficient heap space.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_double_free.ll b/llvm/test/tools/llubi/lib_double_free.ll
@@ -17,5 +17,7 @@ entry:
 ; CHECK: Entering function: main
 ; CHECK-NEXT:   %ptr = call ptr @malloc(i64 4) => ptr 0x10 [ptr]
 ; CHECK-NEXT:   call void @free(ptr %ptr)
-; CHECK-NEXT: Immediate UB detected: double-freeing a memory object.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   call void @free(ptr %ptr) at @main
+; CHECK-NEXT: Immediate UB detected: double-freeing a memory object allocated at 0x10.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_free_nullary_pointer.ll b/llvm/test/tools/llubi/lib_free_nullary_pointer.ll
@@ -11,5 +11,7 @@ define i32 @main() {
 }
 ; CHECK: Entering function: main
 ; CHECK-NEXT:   %p = getelementptr i8, ptr null, i64 42 => ptr 0x2A [dangling]
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   call void @free(ptr %p) at @main
 ; CHECK-NEXT: Immediate UB detected: freeing a pointer with nullary provenance.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_free_out_of_bound.ll b/llvm/test/tools/llubi/lib_free_out_of_bound.ll
@@ -14,5 +14,7 @@ define i32 @main() {
 ; CHECK: Entering function: main
 ; CHECK-NEXT:   %p = call ptr @malloc(i64 4) => ptr 0x10 [p]
 ; CHECK-NEXT:   %p_oob = getelementptr i8, ptr %p, i64 8 => ptr 0x18 [p + 8]
-; CHECK-NEXT: Immediate UB detected: freeing a pointer that does not point to the start of an allocation.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   call void @free(ptr %p_oob) at @main
+; CHECK-NEXT: Immediate UB detected: freeing a pointer that does not point to the start of an allocation. Pointer address: 0x18, allocation base: 0x10.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_free_stack.ll b/llvm/test/tools/llubi/lib_free_stack.ll
@@ -11,5 +11,7 @@ define i32 @main() {
 }
 ; CHECK: Entering function: main
 ; CHECK-NEXT:   %p = alloca i32, align 4 => ptr 0x8 [p]
-; CHECK-NEXT: Immediate UB detected: freeing a non-heap allocation.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   call void @free(ptr %p) at @main
+; CHECK-NEXT: Immediate UB detected: freeing a non-heap allocation at 0x8.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_poison_argument.ll b/llvm/test/tools/llubi/lib_poison_argument.ll
@@ -9,5 +9,7 @@ define i32 @main() {
   ret i32 0
 }
 ; CHECK: Entering function: main
-; CHECK-NEXT: Immediate UB detected: Poison argument passed to a library call.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %1 = call i32 @puts(ptr poison) at @main
+; CHECK-NEXT: Immediate UB detected: Poison argument passed to a library call at argument index 0.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_printf_not_enough_argument.ll b/llvm/test/tools/llubi/lib_printf_not_enough_argument.ll
@@ -14,5 +14,7 @@ define i32 @main() {
 ; CHECK: Entering function: main
 ; CHECK-NEXT:   %fmt = alloca [18 x i8], align 1 => ptr 0x8 [fmt]
 ; CHECK-NEXT:   store [18 x i8] c"Ints: %d, %i, %u\0A\00", ptr %fmt, align 1
-; CHECK-NEXT: Immediate UB detected: Not enough arguments provided for the format string.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %1 = call i32 (ptr, ...) @printf(ptr %fmt, i32 42, i32 -42) at @main
+; CHECK-NEXT: Immediate UB detected: Not enough arguments provided for the format string. Required argument for 'u'.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_printf_unknown_specifier.ll b/llvm/test/tools/llubi/lib_printf_unknown_specifier.ll
@@ -14,5 +14,7 @@ define i32 @main() {
 ; CHECK: Entering function: main
 ; CHECK-NEXT:   %fmt = alloca [4 x i8], align 1 => ptr 0x8 [fmt]
 ; CHECK-NEXT:   store [4 x i8] c"%m\0A\00", ptr %fmt, align 1
-; CHECK-NEXT: Immediate UB detected: Unknown or unsupported format specifier in printf.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %1 = call i32 (ptr, ...) @printf(ptr %fmt, i32 0) at @main
+; CHECK-NEXT: Immediate UB detected: Unknown or unsupported format specifier 'm' in printf.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_read_nullary_string.ll b/llvm/test/tools/llubi/lib_read_nullary_string.ll
@@ -9,5 +9,7 @@ define i32 @main() {
   ret i32 0
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %1 = call i32 @puts(ptr null) at @main
 ; CHECK-NEXT: Immediate UB detected: Invalid memory access via a pointer with nullary provenance.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/lib_uninit_string.ll b/llvm/test/tools/llubi/lib_uninit_string.ll
@@ -14,5 +14,7 @@ entry:
 }
 ; CHECK: Entering function: main
 ; CHECK-NEXT:   %ptr = call ptr @malloc(i64 10) => ptr 0x10 [ptr]
-; CHECK-NEXT: Immediate UB detected: Read uninitialized or poison memory while parsing C-string.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %0 = call i32 @puts(ptr %ptr) at @main
+; CHECK-NEXT: Immediate UB detected: Read uninitialized or poison memory while parsing C-string at offset 0.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/loadstore_misaligned.ll b/llvm/test/tools/llubi/loadstore_misaligned.ll
@@ -10,5 +10,7 @@ define void @main() {
 ; CHECK: Entering function: main
 ; CHECK-NEXT: %alloc = alloca [2 x i32], align 8 => ptr 0x8 [alloc]
 ; CHECK-NEXT: %gep = getelementptr inbounds [2 x i32], ptr %alloc, i64 0, i64 1 => ptr 0xC [alloc + 4]
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0 {{store i32 0|%res = load i32}}, ptr %gep, align 8 at @main
 ; CHECK-NEXT: Immediate UB detected: Misaligned memory access.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/loadstore_null.ll b/llvm/test/tools/llubi/loadstore_null.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0 {{store i32 0|%res = load i32}}, ptr null, align 4 at @main
 ; CHECK-NEXT: Immediate UB detected: Invalid memory access via a pointer with nullary provenance.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/loadstore_oob1.ll b/llvm/test/tools/llubi/loadstore_oob1.ll
@@ -10,5 +10,7 @@ define void @main() {
 ; CHECK: Entering function: main
 ; CHECK-NEXT: %alloc = alloca [2 x i32], align 4 => ptr 0x8 [alloc]
 ; CHECK-NEXT: %gep = getelementptr inbounds [2 x i32], ptr %alloc, i64 0, i64 2 => ptr 0x10 [alloc + 8]
-; CHECK-NEXT: Immediate UB detected: Memory access is out of bounds.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   {{store i32 0|%res = load i32}}, ptr %gep, align 4 at @main
+; CHECK-NEXT: Immediate UB detected: Memory access is out of bounds. Accessed size: 4, Address: 0x10, Object base: 0x8, Object size: 8.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/loadstore_poison.ll b/llvm/test/tools/llubi/loadstore_poison.ll
@@ -6,5 +6,7 @@ define void @main() {
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0 {{store i32 0|%res = load i32}}, ptr poison, align 4 at @main
 ; CHECK-NEXT: Immediate UB detected: Invalid memory access with a poison pointer.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/loadstore_uaf.ll b/llvm/test/tools/llubi/loadstore_uaf.ll
@@ -17,5 +17,7 @@ define void @main() {
 ; CHECK-NEXT:   ret ptr %alloc
 ; CHECK-NEXT: Exiting function: stack_object
 ; CHECK-NEXT:   %alloc = call ptr @stack_object() => ptr 0x8 [dangling]
-; CHECK-NEXT: Immediate UB detected: Try to access a dead memory object.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   {{store i32 0|%res = load i32}}, ptr %alloc, align 4 at @main
+; CHECK-NEXT: Immediate UB detected: Try to access a dead memory object at address 0x8.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/stack_overflow.ll b/llvm/test/tools/llubi/stack_overflow.ll
@@ -103,5 +103,16 @@ entry:
 ; CHECK-NEXT:   br i1 %cmp, label %if.then, label %if.else jump to %if.then
 ; CHECK-NEXT:   %sub1 = sub i32 %n, 1 => i32 41
 ; CHECK-NEXT:   %sub2 = sub i32 %n, 2 => i32 40
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   %call1 = call i32 @fib(i32 %sub1) at @fib
+; CHECK-NEXT: #1   %call1 = call i32 @fib(i32 %sub1) at @fib
+; CHECK-NEXT: #2   %call1 = call i32 @fib(i32 %sub1) at @fib
+; CHECK-NEXT: #3   %call1 = call i32 @fib(i32 %sub1) at @fib
+; CHECK-NEXT: #4   %call1 = call i32 @fib(i32 %sub1) at @fib
+; CHECK-NEXT: #5   %call1 = call i32 @fib(i32 %sub1) at @fib
+; CHECK-NEXT: #6   %call1 = call i32 @fib(i32 %sub1) at @fib
+; CHECK-NEXT: #7   %call1 = call i32 @fib(i32 %sub1) at @fib
+; CHECK-NEXT: #8   %call1 = call i32 @fib(i32 %sub1) at @fib
+; CHECK-NEXT: #9   %res2 = call i32 @fib(i32 50) at @main
 ; CHECK-NEXT: Error: Maximum stack depth exceeded.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/store_dead.ll b/llvm/test/tools/llubi/store_dead.ll
@@ -14,5 +14,7 @@ define void @main() {
 ; CHECK-NEXT:   call void @llvm.lifetime.start.p0(ptr %alloc)
 ; CHECK-NEXT:   store i32 0, ptr %alloc, align 4
 ; CHECK-NEXT:   call void @llvm.lifetime.end.p0(ptr %alloc)
-; CHECK-NEXT: Immediate UB detected: Try to access a dead memory object.
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   store i32 0, ptr %alloc, align 4 at @main
+; CHECK-NEXT: Immediate UB detected: Try to access a dead memory object at address 0x8.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/switch_poison.ll b/llvm/test/tools/llubi/switch_poison.ll
@@ -9,5 +9,8 @@ exit:
   ret void
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   switch i32 poison, label %exit [
+; CHECK-NEXT:   ] at @main
 ; CHECK-NEXT: Immediate UB detected: Switch on poison condition.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/test/tools/llubi/unreachable.ll b/llvm/test/tools/llubi/unreachable.ll
@@ -5,5 +5,7 @@ define void @main() {
   unreachable
 }
 ; CHECK: Entering function: main
+; CHECK-NEXT: Stacktrace:
+; CHECK-NEXT: #0   unreachable at @main
 ; CHECK-NEXT: Immediate UB detected: Unreachable code.
 ; CHECK-NEXT: error: Execution of function 'main' failed.
diff --git a/llvm/tools/llubi/lib/ExecutorBase.cpp b/llvm/tools/llubi/lib/ExecutorBase.cpp
diff --git a/llvm/tools/llubi/lib/ExecutorBase.h b/llvm/tools/llubi/lib/ExecutorBase.h
diff --git a/llvm/tools/llubi/lib/Interpreter.cpp b/llvm/tools/llubi/lib/Interpreter.cpp
diff --git a/llvm/tools/llubi/lib/Library.cpp b/llvm/tools/llubi/lib/Library.cpp

Original file line number	Diff line number	Diff line change
`@@ -6,5 +6,7 @@ define void @main() {`
`6`	`6`	`ret void`
`7`	`7`	`}`
`8`	`8`	`; CHECK: Entering function: main`
`9`		`-; CHECK-NEXT: Immediate UB detected: Alloca with large array size that overflows uint64_t.`
	`9`	`+; CHECK-NEXT: Stacktrace:`
	`10`	`+; CHECK-NEXT: #0 %alloc_dyn = alloca i32, i128 -1, align 4 at @main`
	`11`	`+; CHECK-NEXT: Immediate UB detected: Alloca with large array size that overflows uint64_t. Size: -1`
`10`	`12`	`; CHECK-NEXT: error: Execution of function 'main' failed.`
Original file line number	Diff line number	Diff line change
`@@ -9,5 +9,7 @@ exit:`
`9`	`9`	`ret void`
`10`	`10`	`}`
`11`	`11`	`; CHECK: Entering function: main`
	`12`	`+; CHECK-NEXT: Stacktrace:`
	`13`	`+; CHECK-NEXT: #0 br i1 poison, label %exit, label %exit at @main`
`12`	`14`	`; CHECK-NEXT: Immediate UB detected: Branch on poison condition.`
`13`	`15`	`; CHECK-NEXT: error: Execution of function 'main' failed.`
Original file line number	Diff line number	Diff line change
`@@ -10,5 +10,7 @@ define void @main() {`
`10`	`10`	`ret void`
`11`	`11`	`}`
`12`	`12`	`; CHECK: Entering function: main`
`13`		`-; CHECK-NEXT: Immediate UB detected: Indirect call through a function pointer with mismatched signature.`
	`13`	`+; CHECK-NEXT: Stacktrace:`
	`14`	`+; CHECK-NEXT: #0 call void @foo() at @main`
	`15`	`+; CHECK-NEXT: Immediate UB detected: Indirect call through a function pointer with mismatched signature. Expected: void (), Actual: i32 ()`
`14`	`16`	`; CHECK-NEXT: error: Execution of function 'main' failed.`
Original file line number	Diff line number	Diff line change
`@@ -7,5 +7,7 @@ entry:`
`7`	`7`	`ret void`
`8`	`8`	`}`
`9`	`9`	`; CHECK: Entering function: main`
	`10`	`+; CHECK-NEXT: Stacktrace:`
	`11`	`+; CHECK-NEXT: #0 call void poison() at @main`
`10`	`12`	`; CHECK-NEXT: Immediate UB detected: Indirect call through poison function pointer.`
`11`	`13`	`; CHECK-NEXT: error: Execution of function 'main' failed.`
Original file line number	Diff line number	Diff line change
`@@ -8,5 +8,7 @@ define void @main() {`
`8`	`8`	`ret void`
`9`	`9`	`}`
`10`	`10`	`; CHECK: Entering function: main`
	`11`	`+; CHECK-NEXT: Stacktrace:`
	`12`	`+; CHECK-NEXT: #0 %res = {{sdiv\|udiv\|srem\|urem}} <2 x i32> splat (i32 10), zeroinitializer at @main`
`11`	`13`	`; CHECK-NEXT: Immediate UB detected: Division by zero.`
`12`	`14`	`; CHECK-NEXT: error: Execution of function 'main' failed.`