#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 */
struct hostent {
  int h_length;
  char **h_aliases;
  char **h_addr_list;
  char *h_name;
  int /*<<< orphan*/ h_addrtype;
};

/* Variables and functions */
int /*<<< orphan*/ assert(int);
int /*<<< orphan*/ memcpy(char *, char *, int);
int strlcpy(char *, char *, int);
scalar_t__ validate_hostent_copy(struct hostent const *, struct hostent *);
int copy_hostent(const struct hostent *src, char *buf, int len) {
  struct hostent *dst;
  int n;
  char **p, **q;
  assert(src != NULL);
  assert(buf != NULL);
  dst = (struct hostent *)buf;
  if ((len -= sizeof(struct hostent)) < 0)
    return (-1);
  dst->h_addrtype = src->h_addrtype;
  dst->h_length = src->h_length;
  buf += sizeof(struct hostent);
  dst->h_aliases = (char **)buf;
  for (p = src->h_aliases, q = dst->h_aliases, n = 0; *p; p++, q++, n++) {
    ;
  }
  if ((len -= ++n * sizeof(char *)) < 0)
    return (-1);
  buf = (char *)(q + 1);
  dst->h_addr_list = (char **)buf;
  for (p = src->h_addr_list, q = dst->h_addr_list, n = 0; *p; p++, q++, n++) {
    ;
  }
  if ((len -= ++n * sizeof(char *)) < 0)
    return (-1);
  buf = (char *)(q + 1);
  for (p = src->h_addr_list, q = dst->h_addr_list; *p; p++, q++) {
    if ((len -= src->h_length) < 0)
      return (-1);
    memcpy(buf, *p, src->h_length);
    *q = buf;
    buf += src->h_length;
  }
  *q = NULL;
  for (p = src->h_aliases, q = dst->h_aliases; *p; p++, q++) {
    n = strlcpy(buf, *p, len);
    *q = buf;
    buf += ++n;
    if ((len -= n) < 0)
      return (-1);
  }
  *q = NULL;
  dst->h_name = buf;
  n = strlcpy(buf, src->h_name, len);
  buf += ++n;
  if ((len -= n) < 0)
    return (-1);
  assert(validate_hostent_copy(src, dst) >= 0);
  return (0);
}


x86 assembly (clang, -O0):
<copy_hostent>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
mov    %edx,-0x1c(%rbp)
cmpq   $0x0,-0x10(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
cmpq   $0x0,-0x18(%rbp)
setne  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
mov    -0x18(%rbp),%rax
mov    %rax,-0x28(%rbp)
movslq -0x1c(%rbp),%rax
sub    $0x28,%rax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jge    119f <copy_hostent+0x5f>
movl   $0xffffffff,-0x4(%rbp)
jmp    14d3 <copy_hostent+0x393>
mov    -0x10(%rbp),%rax
mov    0x20(%rax),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,0x20(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x28(%rbp),%rax
mov    %ecx,(%rax)
mov    -0x18(%rbp),%rax
add    $0x28,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x8(%rax)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x38(%rbp),%rax
cmpq   $0x0,(%rax)
je     1229 <copy_hostent+0xe9>
jmp    1203 <copy_hostent+0xc3>
mov    -0x38(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11f0 <copy_hostent+0xb0>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
movslq %eax,%rcx
shl    $0x3,%rcx
movslq -0x1c(%rbp),%rax
sub    %rcx,%rax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jge    1258 <copy_hostent+0x118>
movl   $0xffffffff,-0x4(%rbp)
jmp    14d3 <copy_hostent+0x393>
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x10(%rax)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x38(%rbp),%rax
cmpq   $0x0,(%rax)
je     12c8 <copy_hostent+0x188>
jmp    12a2 <copy_hostent+0x162>
mov    -0x38(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    128f <copy_hostent+0x14f>
mov    -0x2c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
movslq %eax,%rcx
shl    $0x3,%rcx
movslq -0x1c(%rbp),%rax
sub    %rcx,%rax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jge    12f7 <copy_hostent+0x1b7>
movl   $0xffffffff,-0x4(%rbp)
jmp    14d3 <copy_hostent+0x393>
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x18(%rbp)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x10(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
cmpq   $0x0,(%rax)
je     139e <copy_hostent+0x25e>
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jge    134c <copy_hostent+0x20c>
movl   $0xffffffff,-0x4(%rbp)
jmp    14d3 <copy_hostent+0x393>
mov    -0x18(%rbp),%rdi
mov    -0x38(%rbp),%rax
mov    (%rax),%rsi
mov    -0x10(%rbp),%rax
mov    (%rax),%edx
call   1050 <memcpy@plt>
mov    -0x18(%rbp),%rcx
mov    -0x40(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x10(%rbp),%rax
mov    (%rax),%ecx
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x38(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
jmp    131b <copy_hostent+0x1db>
mov    -0x40(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x38(%rbp)
mov    -0x28(%rbp),%rax
mov    0x8(%rax),%rax
mov    %rax,-0x40(%rbp)
mov    -0x38(%rbp),%rax
cmpq   $0x0,(%rax)
je     1449 <copy_hostent+0x309>
mov    -0x18(%rbp),%rdi
mov    -0x38(%rbp),%rax
mov    (%rax),%rsi
mov    -0x1c(%rbp),%edx
call   1060 <strlcpy@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x18(%rbp),%rcx
mov    -0x40(%rbp),%rax
mov    %rcx,(%rax)
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jge    1427 <copy_hostent+0x2e7>
movl   $0xffffffff,-0x4(%rbp)
jmp    14d3 <copy_hostent+0x393>
jmp    142c <copy_hostent+0x2ec>
mov    -0x38(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x38(%rbp)
mov    -0x40(%rbp),%rax
add    $0x8,%rax
mov    %rax,-0x40(%rbp)
jmp    13c1 <copy_hostent+0x281>
mov    -0x40(%rbp),%rax
movq   $0x0,(%rax)
mov    -0x18(%rbp),%rcx
mov    -0x28(%rbp),%rax
mov    %rcx,0x18(%rax)
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%rsi
mov    -0x1c(%rbp),%edx
call   1060 <strlcpy@plt>
mov    %eax,-0x2c(%rbp)
mov    -0x2c(%rbp),%ecx
add    $0x1,%ecx
mov    %ecx,-0x2c(%rbp)
mov    -0x18(%rbp),%rax
movslq %ecx,%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x2c(%rbp),%ecx
mov    -0x1c(%rbp),%eax
sub    %ecx,%eax
mov    %eax,-0x1c(%rbp)
cmp    $0x0,%eax
jge    14ae <copy_hostent+0x36e>
movl   $0xffffffff,-0x4(%rbp)
jmp    14d3 <copy_hostent+0x393>
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%rsi
call   1030 <validate_hostent_copy@plt>
cmp    $0x0,%rax
setge  %al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<copy_hostent>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %edx,%r14d
mov    %rsi,%rbp
mov    %rdi,%r12
xor    %edi,%edi
test   %r12,%r12
setne  %dil
call   1040 <assert@plt>
xor    %edi,%edi
test   %rbp,%rbp
setne  %dil
call   1040 <assert@plt>
mov    %r14d,%r13d
add    $0xffffffd8,%r13d
mov    $0xffffffff,%edx
js     1319 <copy_hostent+0x1d9>
mov    0x20(%r12),%eax
mov    %eax,0x20(%rbp)
mov    (%r12),%eax
mov    %eax,0x0(%rbp)
lea    0x28(%rbp),%rbx
mov    %rbx,0x8(%rbp)
mov    0x8(%r12),%rcx
cmpq   $0x0,(%rcx)
je     11cb <copy_hostent+0x8b>
mov    $0x8,%eax
nopl   0x0(%rax)
add    $0x8,%rbx
cmpq   $0x0,(%rcx,%rax,1)
lea    0x8(%rax),%rax
jne    11b0 <copy_hostent+0x70>
neg    %eax
add    %eax,%r13d
jns    11d9 <copy_hostent+0x99>
jmp    1319 <copy_hostent+0x1d9>
mov    $0xfffffff8,%eax
add    %eax,%r13d
js     1319 <copy_hostent+0x1d9>
mov    %r14,%rdi
lea    0x8(%rbx),%r15
mov    %rbp,(%rsp)
mov    %r15,0x10(%rbp)
mov    0x10(%r12),%r14
mov    (%r14),%rsi
test   %rsi,%rsi
je     126d <copy_hostent+0x12d>
xor    %ecx,%ecx
nopw   0x0(%rax,%rax,1)
cmpq   $0x0,0x8(%r14,%rcx,1)
lea    0x8(%rcx),%rcx
jne    1200 <copy_hostent+0xc0>
lea    (%rax,%rdi,1),%r13d
add    $0xffffffd0,%r13d
sub    %rcx,%r13
test   %r13d,%r13d
js     1319 <copy_hostent+0x1d9>
add    %rcx,%rbx
add    $0x10,%rbx
test   %rsi,%rsi
je     127f <copy_hostent+0x13f>
mov    (%r12),%edx
add    $0x8,%r14
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
sub    %edx,%r13d
js     1314 <copy_hostent+0x1d4>
mov    %rbx,%rdi
call   1050 <memcpy@plt>
mov    %rbx,(%r15)
movslq (%r12),%rdx
add    %rdx,%rbx
add    $0x8,%r15
mov    (%r14),%rsi
add    $0x8,%r14
test   %rsi,%rsi
jne    1240 <copy_hostent+0x100>
jmp    127f <copy_hostent+0x13f>
cmp    $0x8,%r13d
jl     1319 <copy_hostent+0x1d9>
add    $0xfffffff8,%r13d
add    $0x10,%rbx
movq   $0x0,(%r15)
mov    0x8(%r12),%rbp
mov    (%rsp),%rax
mov    0x8(%rax),%r14
mov    0x0(%rbp),%rsi
test   %rsi,%rsi
je     12cc <copy_hostent+0x18c>
add    $0x8,%rbp
mov    %rbx,%rdi
mov    %r13d,%edx
call   1060 <strlcpy@plt>
mov    %rbx,(%r14)
add    $0x1,%eax
sub    %eax,%r13d
js     1314 <copy_hostent+0x1d4>
cltq
add    %rax,%rbx
add    $0x8,%r14
mov    0x0(%rbp),%rsi
add    $0x8,%rbp
test   %rsi,%rsi
jne    12a0 <copy_hostent+0x160>
movq   $0x0,(%r14)
mov    (%rsp),%rbp
mov    %rbx,0x18(%rbp)
mov    0x18(%r12),%rsi
mov    %rbx,%rdi
mov    %r13d,%edx
call   1060 <strlcpy@plt>
not    %eax
add    %r13d,%eax
mov    $0xffffffff,%edx
js     1319 <copy_hostent+0x1d9>
mov    %r12,%rdi
mov    %rbp,%rsi
call   1030 <validate_hostent_copy@plt>
shr    $0x3f,%rax
xor    $0x1,%eax
mov    %eax,%edi
call   1040 <assert@plt>
xor    %edx,%edx
jmp    1319 <copy_hostent+0x1d9>
mov    $0xffffffff,%edx
mov    %edx,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
%struct.hostent = type { i32, i8**, i8**, i8*, i32 }
define i32 @copy_hostent(%struct.hostent* %0, i8* %1, i32 %2) {
%4 = alloca i32
%5 = alloca %struct.hostent*
%6 = alloca i8*
%7 = alloca i32
%8 = alloca %struct.hostent*
%9 = alloca i32
%10 = alloca i8**
%11 = alloca i8**
store %struct.hostent* %0, %struct.hostent** %5
store i8* %1, i8** %6
store i32 %2, i32* %7
%12 = load %struct.hostent*, %struct.hostent** %5
%13 = icmp ne %struct.hostent* %12, null
%14 = zext i1 %13 to i32
%15 = call i32 @assert(i32 %14)
%16 = load i8*, i8** %6
%17 = icmp ne i8* %16, null
%18 = zext i1 %17 to i32
%19 = call i32 @assert(i32 %18)
%20 = load i8*, i8** %6
%21 = bitcast i8* %20 to %struct.hostent*
store %struct.hostent* %21, %struct.hostent** %8
%22 = load i32, i32* %7
%23 = sext i32 %22 to i64
%24 = sub i64 %23, 40
%25 = trunc i64 %24 to i32
store i32 %25, i32* %7
%26 = icmp slt i32 %25, 0
br i1 %26, label %27, label %28
27: ; preds = %3
store i32 -1, i32* %4
br label %218
28: ; preds = %3
%29 = load %struct.hostent*, %struct.hostent** %5
%30 = getelementptr inbounds %struct.hostent, %struct.hostent* %29, i32 0, i32 4
%31 = load i32, i32* %30
%32 = load %struct.hostent*, %struct.hostent** %8
%33 = getelementptr inbounds %struct.hostent, %struct.hostent* %32, i32 0, i32 4
store i32 %31, i32* %33
%34 = load %struct.hostent*, %struct.hostent** %5
%35 = getelementptr inbounds %struct.hostent, %struct.hostent* %34, i32 0, i32 0
%36 = load i32, i32* %35
%37 = load %struct.hostent*, %struct.hostent** %8
%38 = getelementptr inbounds %struct.hostent, %struct.hostent* %37, i32 0, i32 0
store i32 %36, i32* %38
%39 = load i8*, i8** %6
%40 = getelementptr inbounds i8, i8* %39, i64 40
store i8* %40, i8** %6
%41 = load i8*, i8** %6
%42 = bitcast i8* %41 to i8**
%43 = load %struct.hostent*, %struct.hostent** %8
%44 = getelementptr inbounds %struct.hostent, %struct.hostent* %43, i32 0, i32 1
store i8** %42, i8*** %44
%45 = load %struct.hostent*, %struct.hostent** %5
%46 = getelementptr inbounds %struct.hostent, %struct.hostent* %45, i32 0, i32 1
%47 = load i8**, i8*** %46
store i8** %47, i8*** %10
%48 = load %struct.hostent*, %struct.hostent** %8
%49 = getelementptr inbounds %struct.hostent, %struct.hostent* %48, i32 0, i32 1
%50 = load i8**, i8*** %49
store i8** %50, i8*** %11
store i32 0, i32* %9
br label %51
51: ; preds = %56, %28
%52 = load i8**, i8*** %10
%53 = load i8*, i8** %52
%54 = icmp ne i8* %53, null
br i1 %54, label %55, label %63
55: ; preds = %51
br label %56
56: ; preds = %55
%57 = load i8**, i8*** %10
%58 = getelementptr inbounds i8*, i8** %57, i32 1
store i8** %58, i8*** %10
%59 = load i8**, i8*** %11
%60 = getelementptr inbounds i8*, i8** %59, i32 1
store i8** %60, i8*** %11
%61 = load i32, i32* %9
%62 = add nsw i32 %61, 1
store i32 %62, i32* %9
br label %51
63: ; preds = %51
%64 = load i32, i32* %9
%65 = add nsw i32 %64, 1
store i32 %65, i32* %9
%66 = sext i32 %65 to i64
%67 = mul i64 %66, 8
%68 = load i32, i32* %7
%69 = sext i32 %68 to i64
%70 = sub i64 %69, %67
%71 = trunc i64 %70 to i32
store i32 %71, i32* %7
%72 = icmp slt i32 %71, 0
br i1 %72, label %73, label %74
73: ; preds = %63
store i32 -1, i32* %4
br label %218
74: ; preds = %63
%75 = load i8**, i8*** %11
%76 = getelementptr inbounds i8*, i8** %75, i64 1
%77 = bitcast i8** %76 to i8*
store i8* %77, i8** %6
%78 = load i8*, i8** %6
%79 = bitcast i8* %78 to i8**
%80 = load %struct.hostent*, %struct.hostent** %8
%81 = getelementptr inbounds %struct.hostent, %struct.hostent* %80, i32 0, i32 2
store i8** %79, i8*** %81
%82 = load %struct.hostent*, %struct.hostent** %5
%83 = getelementptr inbounds %struct.hostent, %struct.hostent* %82, i32 0, i32 2
%84 = load i8**, i8*** %83
store i8** %84, i8*** %10
%85 = load %struct.hostent*, %struct.hostent** %8
%86 = getelementptr inbounds %struct.hostent, %struct.hostent* %85, i32 0, i32 2
%87 = load i8**, i8*** %86
store i8** %87, i8*** %11
store i32 0, i32* %9
br label %88
88: ; preds = %93, %74
%89 = load i8**, i8*** %10
%90 = load i8*, i8** %89
%91 = icmp ne i8* %90, null
br i1 %91, label %92, label %100
92: ; preds = %88
br label %93
93: ; preds = %92
%94 = load i8**, i8*** %10
%95 = getelementptr inbounds i8*, i8** %94, i32 1
store i8** %95, i8*** %10
%96 = load i8**, i8*** %11
%97 = getelementptr inbounds i8*, i8** %96, i32 1
store i8** %97, i8*** %11
%98 = load i32, i32* %9
%99 = add nsw i32 %98, 1
store i32 %99, i32* %9
br label %88
100: ; preds = %88
%101 = load i32, i32* %9
%102 = add nsw i32 %101, 1
store i32 %102, i32* %9
%103 = sext i32 %102 to i64
%104 = mul i64 %103, 8
%105 = load i32, i32* %7
%106 = sext i32 %105 to i64
%107 = sub i64 %106, %104
%108 = trunc i64 %107 to i32
store i32 %108, i32* %7
%109 = icmp slt i32 %108, 0
br i1 %109, label %110, label %111
110: ; preds = %100
store i32 -1, i32* %4
br label %218
111: ; preds = %100
%112 = load i8**, i8*** %11
%113 = getelementptr inbounds i8*, i8** %112, i64 1
%114 = bitcast i8** %113 to i8*
store i8* %114, i8** %6
%115 = load %struct.hostent*, %struct.hostent** %5
%116 = getelementptr inbounds %struct.hostent, %struct.hostent* %115, i32 0, i32 2
%117 = load i8**, i8*** %116
store i8** %117, i8*** %10
%118 = load %struct.hostent*, %struct.hostent** %8
%119 = getelementptr inbounds %struct.hostent, %struct.hostent* %118, i32 0, i32 2
%120 = load i8**, i8*** %119
store i8** %120, i8*** %11
br label %121
121: ; preds = %149, %111
%122 = load i8**, i8*** %10
%123 = load i8*, i8** %122
%124 = icmp ne i8* %123, null
br i1 %124, label %125, label %154
125: ; preds = %121
%126 = load %struct.hostent*, %struct.hostent** %5
%127 = getelementptr inbounds %struct.hostent, %struct.hostent* %126, i32 0, i32 0
%128 = load i32, i32* %127
%129 = load i32, i32* %7
%130 = sub nsw i32 %129, %128
store i32 %130, i32* %7
%131 = icmp slt i32 %130, 0
br i1 %131, label %132, label %133
132: ; preds = %125
store i32 -1, i32* %4
br label %218
133: ; preds = %125
%134 = load i8*, i8** %6
%135 = load i8**, i8*** %10
%136 = load i8*, i8** %135
%137 = load %struct.hostent*, %struct.hostent** %5
%138 = getelementptr inbounds %struct.hostent, %struct.hostent* %137, i32 0, i32 0
%139 = load i32, i32* %138
%140 = call i32 @memcpy(i8* %134, i8* %136, i32 %139)
%141 = load i8*, i8** %6
%142 = load i8**, i8*** %11
store i8* %141, i8** %142
%143 = load %struct.hostent*, %struct.hostent** %5
%144 = getelementptr inbounds %struct.hostent, %struct.hostent* %143, i32 0, i32 0
%145 = load i32, i32* %144
%146 = load i8*, i8** %6
%147 = sext i32 %145 to i64
%148 = getelementptr inbounds i8, i8* %146, i64 %147
store i8* %148, i8** %6
br label %149
149: ; preds = %133
%150 = load i8**, i8*** %10
%151 = getelementptr inbounds i8*, i8** %150, i32 1
store i8** %151, i8*** %10
%152 = load i8**, i8*** %11
%153 = getelementptr inbounds i8*, i8** %152, i32 1
store i8** %153, i8*** %11
br label %121
154: ; preds = %121
%155 = load i8**, i8*** %11
store i8* null, i8** %155
%156 = load %struct.hostent*, %struct.hostent** %5
%157 = getelementptr inbounds %struct.hostent, %struct.hostent* %156, i32 0, i32 1
%158 = load i8**, i8*** %157
store i8** %158, i8*** %10
%159 = load %struct.hostent*, %struct.hostent** %8
%160 = getelementptr inbounds %struct.hostent, %struct.hostent* %159, i32 0, i32 1
%161 = load i8**, i8*** %160
store i8** %161, i8*** %11
br label %162
162: ; preds = %185, %154
%163 = load i8**, i8*** %10
%164 = load i8*, i8** %163
%165 = icmp ne i8* %164, null
br i1 %165, label %166, label %190
166: ; preds = %162
%167 = load i8*, i8** %6
%168 = load i8**, i8*** %10
%169 = load i8*, i8** %168
%170 = load i32, i32* %7
%171 = call i32 @strlcpy(i8* %167, i8* %169, i32 %170)
store i32 %171, i32* %9
%172 = load i8*, i8** %6
%173 = load i8**, i8*** %11
store i8* %172, i8** %173
%174 = load i32, i32* %9
%175 = add nsw i32 %174, 1
store i32 %175, i32* %9
%176 = load i8*, i8** %6
%177 = sext i32 %175 to i64
%178 = getelementptr inbounds i8, i8* %176, i64 %177
store i8* %178, i8** %6
%179 = load i32, i32* %9
%180 = load i32, i32* %7
%181 = sub nsw i32 %180, %179
store i32 %181, i32* %7
%182 = icmp slt i32 %181, 0
br i1 %182, label %183, label %184
183: ; preds = %166
store i32 -1, i32* %4
br label %218
184: ; preds = %166
br label %185
185: ; preds = %184
%186 = load i8**, i8*** %10
%187 = getelementptr inbounds i8*, i8** %186, i32 1
store i8** %187, i8*** %10
%188 = load i8**, i8*** %11
%189 = getelementptr inbounds i8*, i8** %188, i32 1
store i8** %189, i8*** %11
br label %162
190: ; preds = %162
%191 = load i8**, i8*** %11
store i8* null, i8** %191
%192 = load i8*, i8** %6
%193 = load %struct.hostent*, %struct.hostent** %8
%194 = getelementptr inbounds %struct.hostent, %struct.hostent* %193, i32 0, i32 3
store i8* %192, i8** %194
%195 = load i8*, i8** %6
%196 = load %struct.hostent*, %struct.hostent** %5
%197 = getelementptr inbounds %struct.hostent, %struct.hostent* %196, i32 0, i32 3
%198 = load i8*, i8** %197
%199 = load i32, i32* %7
%200 = call i32 @strlcpy(i8* %195, i8* %198, i32 %199)
store i32 %200, i32* %9
%201 = load i32, i32* %9
%202 = add nsw i32 %201, 1
store i32 %202, i32* %9
%203 = load i8*, i8** %6
%204 = sext i32 %202 to i64
%205 = getelementptr inbounds i8, i8* %203, i64 %204
store i8* %205, i8** %6
%206 = load i32, i32* %9
%207 = load i32, i32* %7
%208 = sub nsw i32 %207, %206
store i32 %208, i32* %7
%209 = icmp slt i32 %208, 0
br i1 %209, label %210, label %211
210: ; preds = %190
store i32 -1, i32* %4
br label %218
211: ; preds = %190
%212 = load %struct.hostent*, %struct.hostent** %5
%213 = load %struct.hostent*, %struct.hostent** %8
%214 = call i64 @validate_hostent_copy(%struct.hostent* %212, %struct.hostent* %213)
%215 = icmp sge i64 %214, 0
%216 = zext i1 %215 to i32
%217 = call i32 @assert(i32 %216)
store i32 0, i32* %4
br label %218
218: ; preds = %211, %210, %183, %132, %110, %73, %27
%219 = load i32, i32* %4
ret i32 %219
}

LLVM IR (-O2):
%struct.hostent = type { i32, i8**, i8**, i8*, i32 }
define i32 @copy_hostent(%struct.hostent* %0, i8* %1, i32 %2) {
%4 = icmp ne %struct.hostent* %0, null
%5 = zext i1 %4 to i32
%6 = tail call i32 @assert(i32 %5)
%7 = icmp ne i8* %1, null
%8 = zext i1 %7 to i32
%9 = tail call i32 @assert(i32 %8)
%10 = bitcast i8* %1 to %struct.hostent*
%11 = add i32 %2, -40
%12 = icmp slt i32 %11, 0
br i1 %12, label %141, label %13
13: ; preds = %3
%14 = getelementptr inbounds %struct.hostent, %struct.hostent* %0, i64 0, i32 4
%15 = load i32, i32* %14
%16 = getelementptr inbounds i8, i8* %1, i64 32
%17 = bitcast i8* %16 to i32*
store i32 %15, i32* %17
%18 = getelementptr inbounds %struct.hostent, %struct.hostent* %0, i64 0, i32 0
%19 = load i32, i32* %18
%20 = bitcast i8* %1 to i32*
store i32 %19, i32* %20
%21 = getelementptr inbounds i8, i8* %1, i64 40
%22 = bitcast i8* %21 to i8**
%23 = getelementptr inbounds i8, i8* %1, i64 8
%24 = bitcast i8* %23 to i8***
%25 = bitcast i8* %23 to i8**
store i8* %21, i8** %25
%26 = getelementptr inbounds %struct.hostent, %struct.hostent* %0, i64 0, i32 1
%27 = load i8**, i8*** %26
%28 = load i8*, i8** %27
%29 = icmp eq i8* %28, null
br i1 %29, label %42, label %30
30: ; preds = %13, %30
%31 = phi i8** [ %35, %30 ], [ %22, %13 ]
%32 = phi i8** [ %34, %30 ], [ %27, %13 ]
%33 = phi i32 [ %36, %30 ], [ 1, %13 ]
%34 = getelementptr inbounds i8*, i8** %32, i64 1
%35 = getelementptr inbounds i8*, i8** %31, i64 1
%36 = add i32 %33, 1
%37 = load i8*, i8** %34
%38 = icmp eq i8* %37, null
br i1 %38, label %39, label %30
39: ; preds = %30
%40 = xor i32 %33, -1
%41 = shl i32 %40, 3
br label %42
42: ; preds = %39, %13
%43 = phi i32 [ -8, %13 ], [ %41, %39 ]
%44 = phi i8** [ %22, %13 ], [ %35, %39 ]
%45 = add i32 %43, %11
%46 = icmp slt i32 %45, 0
br i1 %46, label %141, label %47
47: ; preds = %42
%48 = getelementptr inbounds i8*, i8** %44, i64 1
%49 = getelementptr inbounds i8, i8* %1, i64 16
%50 = bitcast i8* %49 to i8***
store i8** %48, i8*** %50
%51 = getelementptr inbounds %struct.hostent, %struct.hostent* %0, i64 0, i32 2
%52 = load i8**, i8*** %51
%53 = load i8*, i8** %52
%54 = icmp eq i8* %53, null
br i1 %54, label %69, label %55
55: ; preds = %47, %55
%56 = phi i8** [ %60, %55 ], [ %48, %47 ]
%57 = phi i8** [ %59, %55 ], [ %52, %47 ]
%58 = phi i32 [ %61, %55 ], [ 1, %47 ]
%59 = getelementptr inbounds i8*, i8** %57, i64 1
%60 = getelementptr inbounds i8*, i8** %56, i64 1
%61 = add i32 %58, 1
%62 = load i8*, i8** %59
%63 = icmp eq i8* %62, null
br i1 %63, label %64, label %55
64: ; preds = %55
%65 = xor i32 %58, -1
%66 = shl i32 %65, 3
%67 = add i32 %66, %45
%68 = icmp slt i32 %67, 0
br i1 %68, label %141, label %75
69: ; preds = %47
%70 = icmp slt i32 %45, 8
br i1 %70, label %141, label %71
71: ; preds = %69
%72 = add nsw i32 %45, -8
%73 = getelementptr inbounds i8*, i8** %44, i64 2
%74 = bitcast i8** %73 to i8*
br label %98
75: ; preds = %64
%76 = getelementptr inbounds i8*, i8** %56, i64 2
%77 = bitcast i8** %76 to i8*
br i1 %54, label %98, label %78
78: ; preds = %75
%79 = load i32, i32* %18
br label %80
80: ; preds = %78, %89
%81 = phi i32 [ %91, %89 ], [ %79, %78 ]
%82 = phi i8* [ %96, %89 ], [ %53, %78 ]
%83 = phi i8** [ %95, %89 ], [ %48, %78 ]
%84 = phi i8** [ %94, %89 ], [ %52, %78 ]
%85 = phi i32 [ %87, %89 ], [ %67, %78 ]
%86 = phi i8* [ %93, %89 ], [ %77, %78 ]
%87 = sub nsw i32 %85, %81
%88 = icmp slt i32 %87, 0
br i1 %88, label %141, label %89
89: ; preds = %80
%90 = tail call i32 @memcpy(i8* %86, i8* %82, i32 %81)
store i8* %86, i8** %83
%91 = load i32, i32* %18
%92 = sext i32 %91 to i64
%93 = getelementptr inbounds i8, i8* %86, i64 %92
%94 = getelementptr inbounds i8*, i8** %84, i64 1
%95 = getelementptr inbounds i8*, i8** %83, i64 1
%96 = load i8*, i8** %94
%97 = icmp eq i8* %96, null
br i1 %97, label %98, label %80
98: ; preds = %89, %71, %75
%99 = phi i8* [ %77, %75 ], [ %74, %71 ], [ %93, %89 ]
%100 = phi i32 [ %67, %75 ], [ %72, %71 ], [ %87, %89 ]
%101 = phi i8** [ %48, %75 ], [ %48, %71 ], [ %95, %89 ]
store i8* null, i8** %101
%102 = load i8**, i8*** %26
%103 = load i8**, i8*** %24
%104 = load i8*, i8** %102
%105 = icmp eq i8* %104, null
br i1 %105, label %123, label %106
106: ; preds = %98, %116
%107 = phi i8* [ %121, %116 ], [ %104, %98 ]
%108 = phi i8** [ %120, %116 ], [ %103, %98 ]
%109 = phi i8** [ %119, %116 ], [ %102, %98 ]
%110 = phi i32 [ %114, %116 ], [ %100, %98 ]
%111 = phi i8* [ %118, %116 ], [ %99, %98 ]
%112 = tail call i32 @strlcpy(i8* %111, i8* %107, i32 %110)
store i8* %111, i8** %108
%113 = add nsw i32 %112, 1
%114 = sub nsw i32 %110, %113
%115 = icmp slt i32 %114, 0
br i1 %115, label %141, label %116
116: ; preds = %106
%117 = sext i32 %113 to i64
%118 = getelementptr inbounds i8, i8* %111, i64 %117
%119 = getelementptr inbounds i8*, i8** %109, i64 1
%120 = getelementptr inbounds i8*, i8** %108, i64 1
%121 = load i8*, i8** %119
%122 = icmp eq i8* %121, null
br i1 %122, label %123, label %106
123: ; preds = %116, %98
%124 = phi i8* [ %99, %98 ], [ %118, %116 ]
%125 = phi i32 [ %100, %98 ], [ %114, %116 ]
%126 = phi i8** [ %103, %98 ], [ %120, %116 ]
store i8* null, i8** %126
%127 = getelementptr inbounds i8, i8* %1, i64 24
%128 = bitcast i8* %127 to i8**
store i8* %124, i8** %128
%129 = getelementptr inbounds %struct.hostent, %struct.hostent* %0, i64 0, i32 3
%130 = load i8*, i8** %129
%131 = tail call i32 @strlcpy(i8* %124, i8* %130, i32 %125)
%132 = xor i32 %131, -1
%133 = add i32 %125, %132
%134 = icmp slt i32 %133, 0
br i1 %134, label %141, label %135
135: ; preds = %123
%136 = tail call i64 @validate_hostent_copy(%struct.hostent* %0, %struct.hostent* %10)
%137 = lshr i64 %136, 63
%138 = trunc i64 %137 to i32
%139 = xor i32 %138, 1
%140 = tail call i32 @assert(i32 %139)
br label %141
141: ; preds = %80, %106, %69, %123, %64, %42, %3, %135
%142 = phi i32 [ 0, %135 ], [ -1, %3 ], [ -1, %42 ], [ -1, %64 ], [ -1, %123 ], [ -1, %69 ], [ -1, %106 ], [ -1, %80 ]
ret i32 %142
}