#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ sink(char *);
int /*<<< orphan*/ string_range(int);
int /*<<< orphan*/ strncat(char *, int /*<<< orphan*/, int);
void test_strncat_range(void) {
  char buf[5] = "";
  (strncat((buf), (string_range(0)), (0)), sink((buf)));
  (strncat((buf), (string_range(0)), (1)), sink((buf)));
  (strncat((buf), (string_range(0)), (2)), sink((buf)));
  (strncat((buf), (string_range(0)), (3)), sink((buf)));
  (strncat((buf), (string_range(0)), (4)), sink((buf)));
  (strncat((buf + 5), (string_range(0)), (0)), sink((buf + 5)));
  (strncat((buf + 5), (string_range(0)), (1)), sink((buf + 5)));
  (strncat((buf + 5), (string_range(1)), (1)), sink((buf + 5)));
  (strncat((buf), (string_range(0)), (5)), sink((buf)));
  (strncat((buf), (string_range(0)), (6)), sink((buf)));
  (strncat((buf), (string_range(1)), (0)), sink((buf)));
  (strncat((buf), (string_range(1)), (1)), sink((buf)));
  (strncat((buf), (string_range(1)), (2)), sink((buf)));
  (strncat((buf), (string_range(1)), (3)), sink((buf)));
  (strncat((buf), (string_range(1)), (4)), sink((buf)));
  (strncat((buf), (string_range(1)), (5)), sink((buf)));
  (strncat((buf), (string_range(1)), (6)), sink((buf)));
  (strncat((buf), (string_range(2)), (6)), sink((buf)));
  (strncat((buf), (string_range(5)), (6)), sink((buf)));
  (strncat((buf), (string_range(7)), (6)), sink((buf)));
  {
    char buf2[5] = "12";
    (strncat((buf2), (string_range(4)), (4)), sink((buf2)));
  }
}


x86 assembly (clang, -O0):
<test_strncat_range>:
push   %rbp
mov    %rsp,%rbp
sub    $0xc0,%rsp
lea    -0x5(%rbp),%rdi
xor    %esi,%esi
mov    $0x5,%edx
call   1030 <memset@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0xb8(%rbp)
xor    %edi,%edi
call   1060 <string_range@plt>
mov    -0xb8(%rbp),%rdi
mov    %eax,%esi
xor    %edx,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0xb0(%rbp)
xor    %edi,%edi
call   1060 <string_range@plt>
mov    -0xb0(%rbp),%rdi
mov    %eax,%esi
mov    $0x1,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0xa8(%rbp)
xor    %edi,%edi
call   1060 <string_range@plt>
mov    -0xa8(%rbp),%rdi
mov    %eax,%esi
mov    $0x2,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0xa0(%rbp)
xor    %edi,%edi
call   1060 <string_range@plt>
mov    -0xa0(%rbp),%rdi
mov    %eax,%esi
mov    $0x3,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x98(%rbp)
xor    %edi,%edi
call   1060 <string_range@plt>
mov    -0x98(%rbp),%rdi
mov    %eax,%esi
mov    $0x4,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
add    $0x5,%rax
mov    %rax,-0x90(%rbp)
xor    %edi,%edi
call   1060 <string_range@plt>
mov    -0x90(%rbp),%rdi
mov    %eax,%esi
xor    %edx,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
add    $0x5,%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
add    $0x5,%rax
mov    %rax,-0x88(%rbp)
xor    %edi,%edi
call   1060 <string_range@plt>
mov    -0x88(%rbp),%rdi
mov    %eax,%esi
mov    $0x1,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
add    $0x5,%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
add    $0x5,%rax
mov    %rax,-0x80(%rbp)
mov    $0x1,%edi
call   1060 <string_range@plt>
mov    -0x80(%rbp),%rdi
mov    %eax,%esi
mov    $0x1,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
add    $0x5,%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x78(%rbp)
xor    %edi,%edi
call   1060 <string_range@plt>
mov    -0x78(%rbp),%rdi
mov    %eax,%esi
mov    $0x5,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x70(%rbp)
xor    %edi,%edi
call   1060 <string_range@plt>
mov    -0x70(%rbp),%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x68(%rbp)
mov    $0x1,%edi
call   1060 <string_range@plt>
mov    -0x68(%rbp),%rdi
mov    %eax,%esi
xor    %edx,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    $0x1,%edi
call   1060 <string_range@plt>
mov    -0x60(%rbp),%rdi
mov    %eax,%esi
mov    $0x1,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x58(%rbp)
mov    $0x1,%edi
call   1060 <string_range@plt>
mov    -0x58(%rbp),%rdi
mov    %eax,%esi
mov    $0x2,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x50(%rbp)
mov    $0x1,%edi
call   1060 <string_range@plt>
mov    -0x50(%rbp),%rdi
mov    %eax,%esi
mov    $0x3,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x48(%rbp)
mov    $0x1,%edi
call   1060 <string_range@plt>
mov    -0x48(%rbp),%rdi
mov    %eax,%esi
mov    $0x4,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    $0x1,%edi
call   1060 <string_range@plt>
mov    -0x40(%rbp),%rdi
mov    %eax,%esi
mov    $0x5,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x38(%rbp)
mov    $0x1,%edi
call   1060 <string_range@plt>
mov    -0x38(%rbp),%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    $0x2,%edi
call   1060 <string_range@plt>
mov    -0x30(%rbp),%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x28(%rbp)
mov    $0x5,%edi
call   1060 <string_range@plt>
mov    -0x28(%rbp),%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
lea    -0x5(%rbp),%rax
mov    %rax,-0x20(%rbp)
mov    $0x7,%edi
call   1060 <string_range@plt>
mov    -0x20(%rbp),%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1040 <strncat@plt>
lea    -0x5(%rbp),%rdi
call   1050 <sink@plt>
mov    0xb25(%rip),%eax
mov    %eax,-0xa(%rbp)
mov    0xb20(%rip),%al
mov    %al,-0x6(%rbp)
lea    -0xa(%rbp),%rax
mov    %rax,-0x18(%rbp)
mov    $0x4,%edi
call   1060 <string_range@plt>
mov    -0x18(%rbp),%rdi
mov    %eax,%esi
mov    $0x4,%edx
call   1040 <strncat@plt>
lea    -0xa(%rbp),%rdi
call   1050 <sink@plt>
add    $0xc0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_strncat_range>:
push   %r14
push   %rbx
sub    $0x18,%rsp
movb   $0x0,0xc(%rsp)
movl   $0x0,0x8(%rsp)
xor    %edi,%edi
call   1050 <string_range@plt>
lea    0x8(%rsp),%rbx
mov    %rbx,%rdi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
xor    %edi,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
xor    %edi,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x2,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
xor    %edi,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x3,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
xor    %edi,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x4,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
lea    0xd(%rsp),%r14
xor    %edi,%edi
call   1050 <string_range@plt>
mov    %r14,%rdi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <strncat@plt>
mov    %r14,%rdi
call   1040 <sink@plt>
xor    %edi,%edi
call   1050 <string_range@plt>
mov    %r14,%rdi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <strncat@plt>
mov    %r14,%rdi
call   1040 <sink@plt>
mov    $0x1,%edi
call   1050 <string_range@plt>
mov    %r14,%rdi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <strncat@plt>
mov    %r14,%rdi
call   1040 <sink@plt>
xor    %edi,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x5,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
xor    %edi,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x1,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
xor    %edx,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x1,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x1,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x1,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x2,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x1,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x3,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x1,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x4,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x1,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x5,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x1,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x2,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x5,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
mov    $0x7,%edi
call   1050 <string_range@plt>
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x6,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
movb   $0x0,0x14(%rsp)
movl   $0x3231,0x10(%rsp)
mov    $0x4,%edi
call   1050 <string_range@plt>
lea    0x10(%rsp),%rbx
mov    %rbx,%rdi
mov    %eax,%esi
mov    $0x4,%edx
call   1030 <strncat@plt>
mov    %rbx,%rdi
call   1040 <sink@plt>
add    $0x18,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
@__const.test_strncat_range.buf2 = [5 x i8] c"12\00\00\00"
define void @test_strncat_range() {
%1 = alloca [5 x i8]
%2 = alloca [5 x i8]
%3 = bitcast [5 x i8]* %1 to i8*
%4 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%5 = call i32 @string_range(i32 0)
%6 = call i32 @strncat(i8* %4, i32 %5, i32 0)
%7 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%8 = call i32 @sink(i8* %7)
%9 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%10 = call i32 @string_range(i32 0)
%11 = call i32 @strncat(i8* %9, i32 %10, i32 1)
%12 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%13 = call i32 @sink(i8* %12)
%14 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%15 = call i32 @string_range(i32 0)
%16 = call i32 @strncat(i8* %14, i32 %15, i32 2)
%17 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%18 = call i32 @sink(i8* %17)
%19 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%20 = call i32 @string_range(i32 0)
%21 = call i32 @strncat(i8* %19, i32 %20, i32 3)
%22 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%23 = call i32 @sink(i8* %22)
%24 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%25 = call i32 @string_range(i32 0)
%26 = call i32 @strncat(i8* %24, i32 %25, i32 4)
%27 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%28 = call i32 @sink(i8* %27)
%29 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%30 = getelementptr inbounds i8, i8* %29, i64 5
%31 = call i32 @string_range(i32 0)
%32 = call i32 @strncat(i8* %30, i32 %31, i32 0)
%33 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%34 = getelementptr inbounds i8, i8* %33, i64 5
%35 = call i32 @sink(i8* %34)
%36 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%37 = getelementptr inbounds i8, i8* %36, i64 5
%38 = call i32 @string_range(i32 0)
%39 = call i32 @strncat(i8* %37, i32 %38, i32 1)
%40 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%41 = getelementptr inbounds i8, i8* %40, i64 5
%42 = call i32 @sink(i8* %41)
%43 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%44 = getelementptr inbounds i8, i8* %43, i64 5
%45 = call i32 @string_range(i32 1)
%46 = call i32 @strncat(i8* %44, i32 %45, i32 1)
%47 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%48 = getelementptr inbounds i8, i8* %47, i64 5
%49 = call i32 @sink(i8* %48)
%50 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%51 = call i32 @string_range(i32 0)
%52 = call i32 @strncat(i8* %50, i32 %51, i32 5)
%53 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%54 = call i32 @sink(i8* %53)
%55 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%56 = call i32 @string_range(i32 0)
%57 = call i32 @strncat(i8* %55, i32 %56, i32 6)
%58 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%59 = call i32 @sink(i8* %58)
%60 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%61 = call i32 @string_range(i32 1)
%62 = call i32 @strncat(i8* %60, i32 %61, i32 0)
%63 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%64 = call i32 @sink(i8* %63)
%65 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%66 = call i32 @string_range(i32 1)
%67 = call i32 @strncat(i8* %65, i32 %66, i32 1)
%68 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%69 = call i32 @sink(i8* %68)
%70 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%71 = call i32 @string_range(i32 1)
%72 = call i32 @strncat(i8* %70, i32 %71, i32 2)
%73 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%74 = call i32 @sink(i8* %73)
%75 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%76 = call i32 @string_range(i32 1)
%77 = call i32 @strncat(i8* %75, i32 %76, i32 3)
%78 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%79 = call i32 @sink(i8* %78)
%80 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%81 = call i32 @string_range(i32 1)
%82 = call i32 @strncat(i8* %80, i32 %81, i32 4)
%83 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%84 = call i32 @sink(i8* %83)
%85 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%86 = call i32 @string_range(i32 1)
%87 = call i32 @strncat(i8* %85, i32 %86, i32 5)
%88 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%89 = call i32 @sink(i8* %88)
%90 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%91 = call i32 @string_range(i32 1)
%92 = call i32 @strncat(i8* %90, i32 %91, i32 6)
%93 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%94 = call i32 @sink(i8* %93)
%95 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%96 = call i32 @string_range(i32 2)
%97 = call i32 @strncat(i8* %95, i32 %96, i32 6)
%98 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%99 = call i32 @sink(i8* %98)
%100 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%101 = call i32 @string_range(i32 5)
%102 = call i32 @strncat(i8* %100, i32 %101, i32 6)
%103 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%104 = call i32 @sink(i8* %103)
%105 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%106 = call i32 @string_range(i32 7)
%107 = call i32 @strncat(i8* %105, i32 %106, i32 6)
%108 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%109 = call i32 @sink(i8* %108)
%110 = bitcast [5 x i8]* %2 to i8*
%111 = getelementptr inbounds [5 x i8], [5 x i8]* %2, i64 0, i64 0
%112 = call i32 @string_range(i32 4)
%113 = call i32 @strncat(i8* %111, i32 %112, i32 4)
%114 = getelementptr inbounds [5 x i8], [5 x i8]* %2, i64 0, i64 0
%115 = call i32 @sink(i8* %114)
ret void
}

LLVM IR (-O2):
@__const.test_strncat_range.buf2 = [5 x i8] c"12\00\00\00"
define void @test_strncat_range() {
%1 = alloca [5 x i8]
%2 = alloca [5 x i8]
%3 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 0
%4 = tail call i32 @string_range(i32 0)
%5 = call i32 @strncat(i8* %3, i32 %4, i32 0)
%6 = call i32 @sink(i8* %3)
%7 = call i32 @string_range(i32 0)
%8 = call i32 @strncat(i8* %3, i32 %7, i32 1)
%9 = call i32 @sink(i8* %3)
%10 = call i32 @string_range(i32 0)
%11 = call i32 @strncat(i8* %3, i32 %10, i32 2)
%12 = call i32 @sink(i8* %3)
%13 = call i32 @string_range(i32 0)
%14 = call i32 @strncat(i8* %3, i32 %13, i32 3)
%15 = call i32 @sink(i8* %3)
%16 = call i32 @string_range(i32 0)
%17 = call i32 @strncat(i8* %3, i32 %16, i32 4)
%18 = call i32 @sink(i8* %3)
%19 = getelementptr inbounds [5 x i8], [5 x i8]* %1, i64 0, i64 5
%20 = call i32 @string_range(i32 0)
%21 = call i32 @strncat(i8* %19, i32 %20, i32 0)
%22 = call i32 @sink(i8* %19)
%23 = call i32 @string_range(i32 0)
%24 = call i32 @strncat(i8* %19, i32 %23, i32 1)
%25 = call i32 @sink(i8* %19)
%26 = call i32 @string_range(i32 1)
%27 = call i32 @strncat(i8* %19, i32 %26, i32 1)
%28 = call i32 @sink(i8* %19)
%29 = call i32 @string_range(i32 0)
%30 = call i32 @strncat(i8* %3, i32 %29, i32 5)
%31 = call i32 @sink(i8* %3)
%32 = call i32 @string_range(i32 0)
%33 = call i32 @strncat(i8* %3, i32 %32, i32 6)
%34 = call i32 @sink(i8* %3)
%35 = call i32 @string_range(i32 1)
%36 = call i32 @strncat(i8* %3, i32 %35, i32 0)
%37 = call i32 @sink(i8* %3)
%38 = call i32 @string_range(i32 1)
%39 = call i32 @strncat(i8* %3, i32 %38, i32 1)
%40 = call i32 @sink(i8* %3)
%41 = call i32 @string_range(i32 1)
%42 = call i32 @strncat(i8* %3, i32 %41, i32 2)
%43 = call i32 @sink(i8* %3)
%44 = call i32 @string_range(i32 1)
%45 = call i32 @strncat(i8* %3, i32 %44, i32 3)
%46 = call i32 @sink(i8* %3)
%47 = call i32 @string_range(i32 1)
%48 = call i32 @strncat(i8* %3, i32 %47, i32 4)
%49 = call i32 @sink(i8* %3)
%50 = call i32 @string_range(i32 1)
%51 = call i32 @strncat(i8* %3, i32 %50, i32 5)
%52 = call i32 @sink(i8* %3)
%53 = call i32 @string_range(i32 1)
%54 = call i32 @strncat(i8* %3, i32 %53, i32 6)
%55 = call i32 @sink(i8* %3)
%56 = call i32 @string_range(i32 2)
%57 = call i32 @strncat(i8* %3, i32 %56, i32 6)
%58 = call i32 @sink(i8* %3)
%59 = call i32 @string_range(i32 5)
%60 = call i32 @strncat(i8* %3, i32 %59, i32 6)
%61 = call i32 @sink(i8* %3)
%62 = call i32 @string_range(i32 7)
%63 = call i32 @strncat(i8* %3, i32 %62, i32 6)
%64 = call i32 @sink(i8* %3)
%65 = getelementptr inbounds [5 x i8], [5 x i8]* %2, i64 0, i64 0
%66 = call i32 @string_range(i32 4)
%67 = call i32 @strncat(i8* %65, i32 %66, i32 4)
%68 = call i32 @sink(i8* %65)
ret void
}