shishantbiswas/c3c
1
1
Fork 0
mirror of https://github.com/c3lang/c3c.git synced 2026-02-27 12:01:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

String str = "" is now guaranteed to be null terminated. #2083

Browse Source
This commit is contained in:
Christoffer Lerno
2025-04-16 23:19:28 +02:00
parent 5cf48ad730
commit 6454856fdb
9 changed files with 123 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
test/test_suite/struct/init_cont_struct_array_locally.c3t
View File

@@ -59,15 +59,19 @@ entry:
%not_err = icmp eq i64 %3, 0
%4 = call i1 @llvm.expect.i1(i1 %not_err, i1 true)
br i1 %4, label %after_check, label %assign_optional
assign_optional: ; preds = %entry
store i64 %3, ptr %error_var5, align 8
br label %guard_block
after_check: ; preds = %entry
br label %noerr_block
guard_block: ; preds = %assign_optional
%5 = load i64, ptr %error_var5, align 8
store i64 %5, ptr %error_var, align 8
br label %guard_block28
noerr_block: ; preds = %after_check
%6 = load i64, ptr %retparam, align 8
store i64 %6, ptr %total, align 8
@@ -80,15 +84,19 @@ noerr_block: ; preds = %after_check
%not_err9 = icmp eq i64 %10, 0
%11 = call i1 @llvm.expect.i1(i1 %not_err9, i1 true)
br i1 %11, label %after_check11, label %assign_optional10
assign_optional10: ; preds = %noerr_block
store i64 %10, ptr %error_var6, align 8
br label %guard_block12
after_check11: ; preds = %noerr_block
br label %noerr_block13
guard_block12: ; preds = %assign_optional10
%12 = load i64, ptr %error_var6, align 8
store i64 %12, ptr %error_var, align 8
br label %guard_block28
noerr_block13: ; preds = %after_check11
%13 = load i64, ptr %retparam8, align 8
%add = add i64 %7, %13
@@ -101,15 +109,19 @@ noerr_block13: ; preds = %after_check11
%not_err17 = icmp eq i64 %17, 0
%18 = call i1 @llvm.expect.i1(i1 %not_err17, i1 true)
br i1 %18, label %after_check19, label %assign_optional18
assign_optional18: ; preds = %noerr_block13
store i64 %17, ptr %error_var14, align 8
br label %guard_block20
after_check19: ; preds = %noerr_block13
br label %noerr_block21
guard_block20: ; preds = %assign_optional18
%19 = load i64, ptr %error_var14, align 8
store i64 %19, ptr %error_var, align 8
br label %guard_block28
noerr_block21: ; preds = %after_check19
%20 = load i64, ptr %retparam16, align 8
%add22 = add i64 %14, %20
@@ -119,58 +131,75 @@ noerr_block21: ; preds = %after_check19
%not_err24 = icmp eq i64 %22, 0
%23 = call i1 @llvm.expect.i1(i1 %not_err24, i1 true)
br i1 %23, label %after_check26, label %assign_optional25
assign_optional25: ; preds = %noerr_block21
store i64 %22, ptr %error_var, align 8
br label %guard_block28
after_check26: ; preds = %noerr_block21
%24 = load i64, ptr %retparam23, align 8
%add27 = add i64 %21, %24
br label %noerr_block29
guard_block28: ; preds = %assign_optional25, %guard_block20, %guard_block12, %guard_block
br label %voiderr
noerr_block29: ; preds = %after_check26
store i64 %add27, ptr %len, align 8
%25 = call i64 @std.io.File.write_byte(ptr %0, i8 zeroext 10)
%not_err31 = icmp eq i64 %25, 0
%26 = call i1 @llvm.expect.i1(i1 %not_err31, i1 true)
br i1 %26, label %after_check33, label %assign_optional32
assign_optional32: ; preds = %noerr_block29
store i64 %25, ptr %error_var30, align 8
br label %guard_block34
after_check33: ; preds = %noerr_block29
br label %noerr_block35
guard_block34: ; preds = %assign_optional32
br label %voiderr
noerr_block35: ; preds = %after_check33
%27 = call i64 @std.io.File.flush(ptr %0)
%not_err37 = icmp eq i64 %27, 0
%28 = call i1 @llvm.expect.i1(i1 %not_err37, i1 true)
br i1 %28, label %after_check39, label %assign_optional38
assign_optional38: ; preds = %noerr_block35
store i64 %27, ptr %error_var36, align 8
br label %guard_block40
after_check39: ; preds = %noerr_block35
br label %noerr_block41
guard_block40: ; preds = %assign_optional38
br label %voiderr
noerr_block41: ; preds = %after_check39
%29 = load i64, ptr %len, align 8
%add42 = add i64 %29, 1
br label %voiderr
voiderr: ; preds = %noerr_block41, %guard_block40, %guard_block34, %guard_block28
call void @llvm.memcpy.p0.p0.i32(ptr align 1 %y, ptr align 1 @.__const, i32 2, i1 false)
%30 = call ptr @std.io.stdout()
%31 = call i64 @std.io.File.write(ptr %retparam46, ptr %30, ptr null, i64 0)
%31 = call i64 @std.io.File.write(ptr %retparam46, ptr %30, ptr @.emptystr, i64 0)
%not_err47 = icmp eq i64 %31, 0
%32 = call i1 @llvm.expect.i1(i1 %not_err47, i1 true)
br i1 %32, label %after_check49, label %assign_optional48
assign_optional48: ; preds = %voiderr
store i64 %31, ptr %error_var44, align 8
br label %guard_block50
after_check49: ; preds = %voiderr
br label %noerr_block51
guard_block50: ; preds = %assign_optional48
br label %voiderr65
noerr_block51: ; preds = %after_check49
%33 = load i64, ptr %retparam46, align 8
store i64 %33, ptr %len43, align 8
@@ -178,29 +207,38 @@ noerr_block51: ; preds = %after_check49
%not_err53 = icmp eq i64 %34, 0
%35 = call i1 @llvm.expect.i1(i1 %not_err53, i1 true)
br i1 %35, label %after_check55, label %assign_optional54
assign_optional54: ; preds = %noerr_block51
store i64 %34, ptr %error_var52, align 8
br label %guard_block56
after_check55: ; preds = %noerr_block51
br label %noerr_block57
guard_block56: ; preds = %assign_optional54
br label %voiderr65
noerr_block57: ; preds = %after_check55
%36 = call i64 @std.io.File.flush(ptr %30)
%not_err59 = icmp eq i64 %36, 0
%37 = call i1 @llvm.expect.i1(i1 %not_err59, i1 true)
br i1 %37, label %after_check61, label %assign_optional60
assign_optional60: ; preds = %noerr_block57
store i64 %36, ptr %error_var58, align 8
br label %guard_block62
after_check61: ; preds = %noerr_block57
br label %noerr_block63
guard_block62: ; preds = %assign_optional60
br label %voiderr65
noerr_block63: ; preds = %after_check61
%38 = load i64, ptr %len43, align 8
%add64 = add i64 %38, 1
br label %voiderr65
voiderr65: ; preds = %noerr_block63, %guard_block62, %guard_block56, %guard_block50
ret i32 0
}