Files
c3c/test/test_suite/assert/unreachable_macro_4.c3t
2025-06-16 22:56:34 +02:00

25 lines
531 B
Plaintext

// #target: windows-x64
module test;
fn void main()
{
int[] kaput = { unreachable() };
}
/* #expect: test.ll
define void @test.main() #0 {
entry:
%kaput = alloca %"int[]", align 8
%literal = alloca [1 x i32], align 4
%blockret = alloca i32, align 4
unreachable
after_macro: ; No predecessors!
store i32 poison, ptr %literal, align 4
%0 = insertvalue %"int[]" undef, ptr %literal, 0
%1 = insertvalue %"int[]" %0, i64 1, 1
store %"int[]" %1, ptr %kaput, align 8
ret void
}