	.file	"res_search.c"
	.section	.debug_abbrev,"",@progbits
.Ldebug_abbrev0:
	.section	.debug_info,"",@progbits
.Ldebug_info0:
	.section	.debug_line,"",@progbits
.Ldebug_line0:
	.text
.Ltext0:
	.cfi_sections	.debug_frame
	.section	.rodata
.LC0:
	.string	"Error: res_search()"
.LC1:
	.string	"Success!"
	.text
.globl fn
	.type	fn, @function
fn:
.LFB0:
	.file 1 "res_search.c"
	.loc 1 9 0
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$8056, %esp
	.loc 1 10 0
	movl	8(%ebp), %eax
	movl	%eax, -12(%ebp)
	.loc 1 14 0
	movl	$8000, 16(%esp)
	leal	-8012(%ebp), %eax
	movl	%eax, 12(%esp)
	movl	$1, 8(%esp)
	movl	$1, 4(%esp)
	movl	-12(%ebp), %eax
	movl	%eax, (%esp)
	call	__res_search
	cmpl	$-1, %eax
	jne	.L2
	.loc 1 16 0
	movl	$.LC0, (%esp)
	call	puts
	jmp	.L3
.L2:
	.loc 1 20 0
	movl	$.LC1, (%esp)
	call	puts
.L3:
	.loc 1 22 0
	movl	$0, %eax
	.loc 1 23 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE0:
	.size	fn, .-fn
	.section	.rodata
.LC2:
	.string	"Usage: %s <domain>\n"
.LC3:
	.string	"Error: res_init()"
.LC4:
	.string	"Failed to create thread."
	.text
.globl main
	.type	main, @function
main:
.LFB1:
	.loc 1 26 0
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	andl	$-16, %esp
	pushl	%ebx
	subl	$44, %esp
	.loc 1 28 0
	cmpl	$2, 8(%ebp)
	je	.L6
	.cfi_escape 0x10,0x3,0x7,0x75,0x0,0x9,0xf0,0x1a,0x34,0x1c
	.loc 1 30 0
	movl	12(%ebp), %eax
	movl	(%eax), %edx
	movl	$.LC2, %eax
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 31 0
	movl	$1, %eax
	jmp	.L7
.L6:
	.loc 1 34 0
	call	__res_state
	movl	%eax, %ebx
	call	__res_state
	movl	8(%eax), %eax
	orl	$2, %eax
	movl	%eax, 8(%ebx)
	.loc 1 35 0
	call	__res_init
	testl	%eax, %eax
	je	.L8
	.loc 1 37 0
	movl	$.LC3, (%esp)
	call	puts
	.loc 1 38 0
	movl	$1, %eax
	jmp	.L7
.L8:
	.loc 1 42 0
	movl	12(%ebp), %eax
	addl	$4, %eax
	movl	(%eax), %eax
	movl	%eax, 12(%esp)
	movl	$fn, 8(%esp)
	movl	$0, 4(%esp)
	leal	28(%esp), %eax
	movl	%eax, (%esp)
	call	pthread_create
	testl	%eax, %eax
	je	.L9
	.loc 1 44 0
	movl	$.LC4, (%esp)
	call	puts
	.loc 1 45 0
	movl	$1, %eax
	jmp	.L7
.L9:
	.loc 1 48 0
	movl	28(%esp), %eax
	movl	$0, 4(%esp)
	movl	%eax, (%esp)
	call	pthread_join
	.loc 1 63 0
	movl	$0, %eax
.L7:
	.loc 1 64 0
	addl	$44, %esp
	popl	%ebx
	.cfi_restore 3
	movl	%ebp, %esp
	.cfi_def_cfa_register 4
	popl	%ebp
	.cfi_restore 5
	.cfi_def_cfa_offset 4
	ret
	.cfi_endproc
.LFE1:
	.size	main, .-main
.Letext0:
	.file 2 "/usr/include/bits/pthreadtypes.h"
	.section	.debug_info
	.long	0x124
	.value	0x3
	.long	.Ldebug_abbrev0
	.byte	0x4
	.uleb128 0x1
	.long	.LASF14
	.byte	0x1
	.long	.LASF15
	.long	.LASF16
	.long	.Ltext0
	.long	.Letext0
	.long	.Ldebug_line0
	.uleb128 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF0
	.uleb128 0x2
	.byte	0x1
	.byte	0x8
	.long	.LASF1
	.uleb128 0x2
	.byte	0x2
	.byte	0x7
	.long	.LASF2
	.uleb128 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF3
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF4
	.uleb128 0x2
	.byte	0x2
	.byte	0x5
	.long	.LASF5
	.uleb128 0x3
	.byte	0x4
	.byte	0x5
	.string	"int"
	.uleb128 0x2
	.byte	0x8
	.byte	0x5
	.long	.LASF6
	.uleb128 0x2
	.byte	0x8
	.byte	0x7
	.long	.LASF7
	.uleb128 0x2
	.byte	0x4
	.byte	0x5
	.long	.LASF8
	.uleb128 0x4
	.byte	0x4
	.uleb128 0x5
	.byte	0x4
	.long	0x73
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF9
	.uleb128 0x6
	.long	.LASF17
	.byte	0x2
	.byte	0x24
	.long	0x3a
	.uleb128 0x7
	.byte	0x1
	.string	"fn"
	.byte	0x1
	.byte	0x8
	.byte	0x1
	.long	0x6b
	.long	.LFB0
	.long	.LFE0
	.byte	0x1
	.byte	0x9c
	.long	0xca
	.uleb128 0x8
	.string	"arg"
	.byte	0x1
	.byte	0x8
	.long	0x6b
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.uleb128 0x9
	.string	"dn"
	.byte	0x1
	.byte	0xa
	.long	0x6d
	.byte	0x2
	.byte	0x91
	.sleb128 -20
	.uleb128 0xa
	.long	.LASF10
	.byte	0x1
	.byte	0xc
	.long	0xca
	.byte	0x3
	.byte	0x91
	.sleb128 -8020
	.byte	0x0
	.uleb128 0xb
	.long	0x2c
	.long	0xdb
	.uleb128 0xc
	.long	0x25
	.value	0x1f3f
	.byte	0x0
	.uleb128 0xd
	.byte	0x1
	.long	.LASF11
	.byte	0x1
	.byte	0x19
	.byte	0x1
	.long	0x4f
	.long	.LFB1
	.long	.LFE1
	.byte	0x1
	.byte	0x9c
	.long	0x121
	.uleb128 0xe
	.long	.LASF12
	.byte	0x1
	.byte	0x19
	.long	0x4f
	.byte	0x2
	.byte	0x91
	.sleb128 0
	.uleb128 0xe
	.long	.LASF13
	.byte	0x1
	.byte	0x19
	.long	0x121
	.byte	0x2
	.byte	0x91
	.sleb128 4
	.uleb128 0x9
	.string	"pid"
	.byte	0x1
	.byte	0x1b
	.long	0x7a
	.byte	0x2
	.byte	0x74
	.sleb128 28
	.byte	0x0
	.uleb128 0x5
	.byte	0x4
	.long	0x6d
	.byte	0x0
	.section	.debug_abbrev
	.uleb128 0x1
	.uleb128 0x11
	.byte	0x1
	.uleb128 0x25
	.uleb128 0xe
	.uleb128 0x13
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x1b
	.uleb128 0xe
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x10
	.uleb128 0x6
	.byte	0x0
	.byte	0x0
	.uleb128 0x2
	.uleb128 0x24
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.byte	0x0
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x24
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0x8
	.byte	0x0
	.byte	0x0
	.uleb128 0x4
	.uleb128 0xf
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.byte	0x0
	.byte	0x0
	.uleb128 0x5
	.uleb128 0xf
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x6
	.uleb128 0x16
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x7
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3f
	.uleb128 0xc
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x27
	.uleb128 0xc
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x40
	.uleb128 0xa
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0x8
	.uleb128 0x5
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0x9
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x8
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0xa
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0xb
	.uleb128 0x1
	.byte	0x1
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xc
	.uleb128 0x21
	.byte	0x0
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2f
	.uleb128 0x5
	.byte	0x0
	.byte	0x0
	.uleb128 0xd
	.uleb128 0x2e
	.byte	0x1
	.uleb128 0x3f
	.uleb128 0xc
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x27
	.uleb128 0xc
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x40
	.uleb128 0xa
	.uleb128 0x1
	.uleb128 0x13
	.byte	0x0
	.byte	0x0
	.uleb128 0xe
	.uleb128 0x5
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.byte	0x0
	.section	.debug_pubnames,"",@progbits
	.long	0x1e
	.value	0x2
	.long	.Ldebug_info0
	.long	0x128
	.long	0x85
	.string	"fn"
	.long	0xdb
	.string	"main"
	.long	0x0
	.section	.debug_pubtypes,"",@progbits
	.long	0x1c
	.value	0x2
	.long	.Ldebug_info0
	.long	0x128
	.long	0x7a
	.string	"pthread_t"
	.long	0x0
	.section	.debug_aranges,"",@progbits
	.long	0x1c
	.value	0x2
	.long	.Ldebug_info0
	.byte	0x4
	.byte	0x0
	.value	0x0
	.value	0x0
	.long	.Ltext0
	.long	.Letext0-.Ltext0
	.long	0x0
	.long	0x0
	.section	.debug_str,"MS",@progbits,1
.LASF6:
	.string	"long long int"
.LASF2:
	.string	"short unsigned int"
.LASF14:
	.string	"GNU C 4.4.5 20101112 (Red Hat 4.4.5-2)"
.LASF0:
	.string	"unsigned int"
.LASF11:
	.string	"main"
.LASF3:
	.string	"long unsigned int"
.LASF7:
	.string	"long long unsigned int"
.LASF1:
	.string	"unsigned char"
.LASF15:
	.string	"res_search.c"
.LASF9:
	.string	"char"
.LASF8:
	.string	"long int"
.LASF12:
	.string	"argc"
.LASF16:
	.string	"/root/genprog-many-bugs/valgrind-bug-12474-12475/valgrind/none/tests"
.LASF4:
	.string	"signed char"
.LASF13:
	.string	"argv"
.LASF5:
	.string	"short int"
.LASF10:
	.string	"buff"
.LASF17:
	.string	"pthread_t"
	.ident	"GCC: (GNU) 4.4.5 20101112 (Red Hat 4.4.5-2)"
	.section	.note.GNU-stack,"",@progbits
