	.file	"430014.c"
	.intel_syntax noprefix
	.text
	.section	.rodata
.LC0:
	.string	"the_stack_data/430014.c"
	.align 8
.LC1:
	.string	"!__builtin_sadd_overflow(one, one, &result)"
.LC2:
	.string	"result == 2"
	.align 8
.LC3:
	.string	"__builtin_sadd_overflow(one, INT_MAX, &result)"
.LC4:
	.string	"result + 1 == INT_MAX"
	.align 8
.LC5:
	.string	"__builtin_sadd_overflow(-one, INT_MIN, &result)"
.LC6:
	.string	"0 && \"reachability\""
	.text
	.globl	check_int
	.type	check_int, @function
check_int:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -12[rbp], 1
	mov	eax, DWORD PTR -12[rbp]
	add	eax, eax
	mov	DWORD PTR -16[rbp], eax
	mov	edx, 0
	mov	eax, DWORD PTR -12[rbp]
	add	eax, eax
	jno	.L4
	mov	edx, 1
.L4:
	mov	eax, edx
	and	eax, 1
	xor	eax, 1
	test	al, al
	jne	.L6
	lea	rcx, __PRETTY_FUNCTION__.5[rip]
	mov	edx, 9
	lea	rsi, .LC0[rip]
	lea	rdi, .LC1[rip]
	call	__assert_fail@PLT
.L6:
	mov	eax, DWORD PTR -16[rbp]
	cmp	eax, 2
	je	.L7
	lea	rcx, __PRETTY_FUNCTION__.5[rip]
	mov	edx, 10
	lea	rsi, .LC0[rip]
	lea	rdi, .LC2[rip]
	call	__assert_fail@PLT
.L7:
	mov	eax, DWORD PTR -12[rbp]
	add	eax, 2147483647
	mov	DWORD PTR -16[rbp], eax
	mov	edx, 0
	mov	eax, DWORD PTR -12[rbp]
	add	eax, 2147483647
	jno	.L10
	mov	edx, 1
.L10:
	mov	eax, edx
	and	eax, 1
	test	al, al
	jne	.L12
	lea	rcx, __PRETTY_FUNCTION__.5[rip]
	mov	edx, 11
	lea	rsi, .LC0[rip]
	lea	rdi, .LC3[rip]
	call	__assert_fail@PLT
.L12:
	mov	DWORD PTR -16[rbp], 2147483646
	mov	eax, DWORD PTR -16[rbp]
	cmp	eax, 2147483646
	je	.L13
	lea	rcx, __PRETTY_FUNCTION__.5[rip]
	mov	edx, 13
	lea	rsi, .LC0[rip]
	lea	rdi, .LC4[rip]
	call	__assert_fail@PLT
.L13:
	mov	DWORD PTR -16[rbp], -2147483646
	mov	eax, DWORD PTR -12[rbp]
	neg	eax
	add	eax, -2147483648
	mov	DWORD PTR -16[rbp], eax
	mov	eax, DWORD PTR -12[rbp]
	neg	eax
	mov	edx, 0
	add	eax, -2147483648
	jno	.L16
	mov	edx, 1
.L16:
	mov	eax, edx
	and	eax, 1
	test	al, al
	jne	.L18
	lea	rcx, __PRETTY_FUNCTION__.5[rip]
	mov	edx, 15
	lea	rsi, .LC0[rip]
	lea	rdi, .LC5[rip]
	call	__assert_fail@PLT
.L18:
	lea	rcx, __PRETTY_FUNCTION__.5[rip]
	mov	edx, 16
	lea	rsi, .LC0[rip]
	lea	rdi, .LC6[rip]
	call	__assert_fail@PLT
	.cfi_endproc
.LFE0:
	.size	check_int, .-check_int
	.section	.rodata
	.align 8
.LC7:
	.string	"!__builtin_saddl_overflow(one, one, &result)"
.LC8:
	.string	"result == 2l"
	.align 8
.LC9:
	.string	"__builtin_saddl_overflow(one, LONG_MAX, &result)"
.LC10:
	.string	"result + 1l == LONG_MAX"
	.align 8
.LC11:
	.string	"__builtin_saddl_overflow(-one, LONG_MIN, &result)"
	.text
	.globl	check_long
	.type	check_long, @function
check_long:
.LFB1:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	QWORD PTR -16[rbp], 1
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rax
	mov	QWORD PTR -24[rbp], rax
	mov	edx, 0
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rax
	jno	.L23
	mov	edx, 1
.L23:
	mov	rax, rdx
	and	eax, 1
	xor	eax, 1
	test	al, al
	jne	.L25
	lea	rcx, __PRETTY_FUNCTION__.4[rip]
	mov	edx, 24
	lea	rsi, .LC0[rip]
	lea	rdi, .LC7[rip]
	call	__assert_fail@PLT
.L25:
	mov	rax, QWORD PTR -24[rbp]
	cmp	rax, 2
	je	.L26
	lea	rcx, __PRETTY_FUNCTION__.4[rip]
	mov	edx, 25
	lea	rsi, .LC0[rip]
	lea	rdi, .LC8[rip]
	call	__assert_fail@PLT
.L26:
	movabs	rdx, 9223372036854775807
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rdx
	mov	QWORD PTR -24[rbp], rax
	mov	ecx, 0
	movabs	rdx, 9223372036854775807
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rdx
	jno	.L29
	mov	ecx, 1
.L29:
	mov	rax, rcx
	and	eax, 1
	test	al, al
	jne	.L31
	lea	rcx, __PRETTY_FUNCTION__.4[rip]
	mov	edx, 26
	lea	rsi, .LC0[rip]
	lea	rdi, .LC9[rip]
	call	__assert_fail@PLT
.L31:
	movabs	rax, 9223372036854775806
	mov	QWORD PTR -24[rbp], rax
	mov	rax, QWORD PTR -24[rbp]
	movabs	rdx, 9223372036854775806
	cmp	rax, rdx
	je	.L32
	lea	rcx, __PRETTY_FUNCTION__.4[rip]
	mov	edx, 28
	lea	rsi, .LC0[rip]
	lea	rdi, .LC10[rip]
	call	__assert_fail@PLT
.L32:
	movabs	rax, -9223372036854775806
	mov	QWORD PTR -24[rbp], rax
	mov	rax, QWORD PTR -16[rbp]
	neg	rax
	mov	rdx, rax
	movabs	rax, -9223372036854775808
	add	rax, rdx
	mov	QWORD PTR -24[rbp], rax
	mov	rax, QWORD PTR -16[rbp]
	neg	rax
	mov	rdx, rax
	mov	ecx, 0
	movabs	rax, -9223372036854775808
	add	rax, rdx
	jno	.L35
	mov	ecx, 1
.L35:
	mov	rax, rcx
	and	eax, 1
	test	al, al
	jne	.L37
	lea	rcx, __PRETTY_FUNCTION__.4[rip]
	mov	edx, 31
	lea	rsi, .LC0[rip]
	lea	rdi, .LC11[rip]
	call	__assert_fail@PLT
.L37:
	lea	rcx, __PRETTY_FUNCTION__.4[rip]
	mov	edx, 32
	lea	rsi, .LC0[rip]
	lea	rdi, .LC6[rip]
	call	__assert_fail@PLT
	.cfi_endproc
.LFE1:
	.size	check_long, .-check_long
	.section	.rodata
	.align 8
.LC12:
	.string	"!__builtin_saddll_overflow(one, one, &result)"
.LC13:
	.string	"result == 2ll"
	.align 8
.LC14:
	.string	"__builtin_saddll_overflow(one, LLONG_MAX, &result)"
.LC15:
	.string	"result + 1ll == LLONG_MAX"
	.align 8
.LC16:
	.string	"__builtin_saddll_overflow(-one, LLONG_MIN, &result)"
	.text
	.globl	check_long_long
	.type	check_long_long, @function
check_long_long:
.LFB2:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	QWORD PTR -16[rbp], 1
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rax
	mov	QWORD PTR -24[rbp], rax
	mov	edx, 0
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rax
	jno	.L42
	mov	edx, 1
.L42:
	mov	rax, rdx
	and	eax, 1
	xor	eax, 1
	test	al, al
	jne	.L44
	lea	rcx, __PRETTY_FUNCTION__.3[rip]
	mov	edx, 40
	lea	rsi, .LC0[rip]
	lea	rdi, .LC12[rip]
	call	__assert_fail@PLT
.L44:
	mov	rax, QWORD PTR -24[rbp]
	cmp	rax, 2
	je	.L45
	lea	rcx, __PRETTY_FUNCTION__.3[rip]
	mov	edx, 41
	lea	rsi, .LC0[rip]
	lea	rdi, .LC13[rip]
	call	__assert_fail@PLT
.L45:
	movabs	rdx, 9223372036854775807
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rdx
	mov	QWORD PTR -24[rbp], rax
	mov	ecx, 0
	movabs	rdx, 9223372036854775807
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rdx
	jno	.L48
	mov	ecx, 1
.L48:
	mov	rax, rcx
	and	eax, 1
	test	al, al
	jne	.L50
	lea	rcx, __PRETTY_FUNCTION__.3[rip]
	mov	edx, 42
	lea	rsi, .LC0[rip]
	lea	rdi, .LC14[rip]
	call	__assert_fail@PLT
.L50:
	movabs	rax, 9223372036854775806
	mov	QWORD PTR -24[rbp], rax
	mov	rax, QWORD PTR -24[rbp]
	movabs	rdx, 9223372036854775806
	cmp	rax, rdx
	je	.L51
	lea	rcx, __PRETTY_FUNCTION__.3[rip]
	mov	edx, 44
	lea	rsi, .LC0[rip]
	lea	rdi, .LC15[rip]
	call	__assert_fail@PLT
.L51:
	movabs	rax, -9223372036854775806
	mov	QWORD PTR -24[rbp], rax
	mov	rax, QWORD PTR -16[rbp]
	neg	rax
	mov	rdx, rax
	movabs	rax, -9223372036854775808
	add	rax, rdx
	mov	QWORD PTR -24[rbp], rax
	mov	rax, QWORD PTR -16[rbp]
	neg	rax
	mov	rdx, rax
	mov	ecx, 0
	movabs	rax, -9223372036854775808
	add	rax, rdx
	jno	.L54
	mov	ecx, 1
.L54:
	mov	rax, rcx
	and	eax, 1
	test	al, al
	jne	.L56
	lea	rcx, __PRETTY_FUNCTION__.3[rip]
	mov	edx, 47
	lea	rsi, .LC0[rip]
	lea	rdi, .LC16[rip]
	call	__assert_fail@PLT
.L56:
	lea	rcx, __PRETTY_FUNCTION__.3[rip]
	mov	edx, 48
	lea	rsi, .LC0[rip]
	lea	rdi, .LC6[rip]
	call	__assert_fail@PLT
	.cfi_endproc
.LFE2:
	.size	check_long_long, .-check_long_long
	.section	.rodata
	.align 8
.LC17:
	.string	"!__builtin_uadd_overflow(one, one, &result)"
.LC18:
	.string	"result == 2u"
.LC19:
	.string	"result + 1u == UINT_MAX"
	.align 8
.LC20:
	.string	"__builtin_uadd_overflow(one, UINT_MAX, &result)"
	.text
	.globl	check_unsigned
	.type	check_unsigned, @function
check_unsigned:
.LFB3:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 16
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	DWORD PTR -12[rbp], 1
	mov	eax, DWORD PTR -12[rbp]
	add	eax, eax
	mov	DWORD PTR -16[rbp], eax
	mov	edx, 0
	mov	eax, DWORD PTR -12[rbp]
	add	eax, eax
	jnc	.L61
	mov	edx, 1
.L61:
	mov	eax, edx
	and	eax, 1
	xor	eax, 1
	test	al, al
	jne	.L63
	lea	rcx, __PRETTY_FUNCTION__.2[rip]
	mov	edx, 56
	lea	rsi, .LC0[rip]
	lea	rdi, .LC17[rip]
	call	__assert_fail@PLT
.L63:
	mov	eax, DWORD PTR -16[rbp]
	cmp	eax, 2
	je	.L64
	lea	rcx, __PRETTY_FUNCTION__.2[rip]
	mov	edx, 57
	lea	rsi, .LC0[rip]
	lea	rdi, .LC18[rip]
	call	__assert_fail@PLT
.L64:
	mov	DWORD PTR -16[rbp], -2
	mov	eax, DWORD PTR -16[rbp]
	cmp	eax, -2
	je	.L65
	lea	rcx, __PRETTY_FUNCTION__.2[rip]
	mov	edx, 59
	lea	rsi, .LC0[rip]
	lea	rdi, .LC19[rip]
	call	__assert_fail@PLT
.L65:
	mov	DWORD PTR -16[rbp], 2
	mov	eax, DWORD PTR -12[rbp]
	add	eax, -1
	mov	DWORD PTR -16[rbp], eax
	mov	edx, 0
	mov	eax, DWORD PTR -12[rbp]
	add	eax, -1
	jnc	.L68
	mov	edx, 1
.L68:
	mov	eax, edx
	and	eax, 1
	test	al, al
	jne	.L70
	lea	rcx, __PRETTY_FUNCTION__.2[rip]
	mov	edx, 61
	lea	rsi, .LC0[rip]
	lea	rdi, .LC20[rip]
	call	__assert_fail@PLT
.L70:
	lea	rcx, __PRETTY_FUNCTION__.2[rip]
	mov	edx, 62
	lea	rsi, .LC0[rip]
	lea	rdi, .LC6[rip]
	call	__assert_fail@PLT
	.cfi_endproc
.LFE3:
	.size	check_unsigned, .-check_unsigned
	.section	.rodata
	.align 8
.LC21:
	.string	"!__builtin_uaddl_overflow(one, one, &result)"
.LC22:
	.string	"result == 2ul"
.LC23:
	.string	"result + 1ul == ULONG_MAX"
	.align 8
.LC24:
	.string	"__builtin_uaddl_overflow(one, ULONG_MAX, &result)"
	.text
	.globl	check_unsigned_long
	.type	check_unsigned_long, @function
check_unsigned_long:
.LFB4:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	QWORD PTR -16[rbp], 1
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rax
	mov	QWORD PTR -24[rbp], rax
	mov	edx, 0
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rax
	jnc	.L75
	mov	edx, 1
.L75:
	mov	rax, rdx
	and	eax, 1
	xor	eax, 1
	test	al, al
	jne	.L77
	lea	rcx, __PRETTY_FUNCTION__.1[rip]
	mov	edx, 70
	lea	rsi, .LC0[rip]
	lea	rdi, .LC21[rip]
	call	__assert_fail@PLT
.L77:
	mov	rax, QWORD PTR -24[rbp]
	cmp	rax, 2
	je	.L78
	lea	rcx, __PRETTY_FUNCTION__.1[rip]
	mov	edx, 71
	lea	rsi, .LC0[rip]
	lea	rdi, .LC22[rip]
	call	__assert_fail@PLT
.L78:
	mov	QWORD PTR -24[rbp], -2
	mov	rax, QWORD PTR -24[rbp]
	cmp	rax, -2
	je	.L79
	lea	rcx, __PRETTY_FUNCTION__.1[rip]
	mov	edx, 73
	lea	rsi, .LC0[rip]
	lea	rdi, .LC23[rip]
	call	__assert_fail@PLT
.L79:
	mov	QWORD PTR -24[rbp], 2
	mov	rax, QWORD PTR -16[rbp]
	add	rax, -1
	mov	QWORD PTR -24[rbp], rax
	mov	edx, 0
	mov	rax, QWORD PTR -16[rbp]
	add	rax, -1
	jnc	.L82
	mov	edx, 1
.L82:
	mov	rax, rdx
	and	eax, 1
	test	al, al
	jne	.L84
	lea	rcx, __PRETTY_FUNCTION__.1[rip]
	mov	edx, 76
	lea	rsi, .LC0[rip]
	lea	rdi, .LC24[rip]
	call	__assert_fail@PLT
.L84:
	lea	rcx, __PRETTY_FUNCTION__.1[rip]
	mov	edx, 77
	lea	rsi, .LC0[rip]
	lea	rdi, .LC6[rip]
	call	__assert_fail@PLT
	.cfi_endproc
.LFE4:
	.size	check_unsigned_long, .-check_unsigned_long
	.section	.rodata
.LC25:
	.string	"result == 2ull"
.LC26:
	.string	"result + 1ull == ULLONG_MAX"
	.align 8
.LC27:
	.string	"__builtin_uaddl_overflow(one, ULLONG_MAX, &result)"
	.text
	.globl	check_unsigned_long_long
	.type	check_unsigned_long_long, @function
check_unsigned_long_long:
.LFB5:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 32
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	QWORD PTR -16[rbp], 1
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rax
	mov	rdx, rax
	lea	rax, -24[rbp]
	mov	QWORD PTR [rax], rdx
	mov	edx, 0
	mov	rax, QWORD PTR -16[rbp]
	add	rax, rax
	jnc	.L89
	mov	edx, 1
.L89:
	mov	rax, rdx
	and	eax, 1
	xor	eax, 1
	test	al, al
	jne	.L91
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 85
	lea	rsi, .LC0[rip]
	lea	rdi, .LC21[rip]
	call	__assert_fail@PLT
.L91:
	mov	rax, QWORD PTR -24[rbp]
	cmp	rax, 2
	je	.L92
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 86
	lea	rsi, .LC0[rip]
	lea	rdi, .LC25[rip]
	call	__assert_fail@PLT
.L92:
	mov	QWORD PTR -24[rbp], -2
	mov	rax, QWORD PTR -24[rbp]
	cmp	rax, -2
	je	.L93
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 88
	lea	rsi, .LC0[rip]
	lea	rdi, .LC26[rip]
	call	__assert_fail@PLT
.L93:
	mov	QWORD PTR -24[rbp], 2
	mov	rax, QWORD PTR -16[rbp]
	add	rax, -1
	mov	rdx, rax
	lea	rax, -24[rbp]
	mov	QWORD PTR [rax], rdx
	mov	edx, 0
	mov	rax, QWORD PTR -16[rbp]
	add	rax, -1
	jnc	.L96
	mov	edx, 1
.L96:
	mov	rax, rdx
	and	eax, 1
	test	al, al
	jne	.L98
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 91
	lea	rsi, .LC0[rip]
	lea	rdi, .LC27[rip]
	call	__assert_fail@PLT
.L98:
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 92
	lea	rsi, .LC0[rip]
	lea	rdi, .LC6[rip]
	call	__assert_fail@PLT
	.cfi_endproc
.LFE5:
	.size	check_unsigned_long_long, .-check_unsigned_long_long
	.globl	main
	.type	main, @function
main:
.LFB6:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	call	check_int
	call	check_long
	call	check_long_long
	call	check_unsigned
	call	check_unsigned_long
	call	check_unsigned_long_long
	mov	eax, 0
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	main, .-main
	.section	.rodata
	.align 8
	.type	__PRETTY_FUNCTION__.5, @object
	.size	__PRETTY_FUNCTION__.5, 10
__PRETTY_FUNCTION__.5:
	.string	"check_int"
	.align 8
	.type	__PRETTY_FUNCTION__.4, @object
	.size	__PRETTY_FUNCTION__.4, 11
__PRETTY_FUNCTION__.4:
	.string	"check_long"
	.align 16
	.type	__PRETTY_FUNCTION__.3, @object
	.size	__PRETTY_FUNCTION__.3, 16
__PRETTY_FUNCTION__.3:
	.string	"check_long_long"
	.align 8
	.type	__PRETTY_FUNCTION__.2, @object
	.size	__PRETTY_FUNCTION__.2, 15
__PRETTY_FUNCTION__.2:
	.string	"check_unsigned"
	.align 16
	.type	__PRETTY_FUNCTION__.1, @object
	.size	__PRETTY_FUNCTION__.1, 20
__PRETTY_FUNCTION__.1:
	.string	"check_unsigned_long"
	.align 16
	.type	__PRETTY_FUNCTION__.0, @object
	.size	__PRETTY_FUNCTION__.0, 25
__PRETTY_FUNCTION__.0:
	.string	"check_unsigned_long_long"
	.ident	"GCC: (Ubuntu 10.5.0-1ubuntu1~20.04) 10.5.0"
	.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"
	.align 8
	.long	 1f - 0f
	.long	 4f - 1f
	.long	 5
0:
	.string	 "GNU"
1:
	.align 8
	.long	 0xc0000002
	.long	 3f - 2f
2:
	.long	 0x3
3:
	.align 8
4:

	.arch armv5t
	.eabi_attribute 20, 1
	.eabi_attribute 21, 1
	.eabi_attribute 23, 3
	.eabi_attribute 24, 1
	.eabi_attribute 25, 1
	.eabi_attribute 26, 2
	.eabi_attribute 30, 6
	.eabi_attribute 34, 0
	.eabi_attribute 18, 4
	.file	"430014.c"
	.text
	.section	.rodata
	.align	2
.LC0:
	.ascii	"the_stack_data/430014.c\000"
	.align	2
.LC1:
	.ascii	"!__builtin_sadd_overflow(one, one, &result)\000"
	.align	2
.LC2:
	.ascii	"result == 2\000"
	.align	2
.LC3:
	.ascii	"__builtin_sadd_overflow(one, INT_MAX, &result)\000"
	.align	2
.LC4:
	.ascii	"result + 1 == INT_MAX\000"
	.align	2
.LC5:
	.ascii	"__builtin_sadd_overflow(-one, INT_MIN, &result)\000"
	.align	2
.LC6:
	.ascii	"0 && \"reachability\"\000"
	.align	2
.LC7:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	check_int
	.syntax unified
	.arm
	.fpu softvfp
	.type	check_int, %function
check_int:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L20
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #1
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-12]
	adds	r3, r3, r3
	str	r3, [fp, #-16]
	mov	r2, #0
	ldr	r3, [fp, #-12]
	adds	r3, r3, r3
	bvc	.L4
	mov	r2, #1
.L4:
	mov	r3, r2
	and	r3, r3, #1
	and	r3, r3, #255
	eor	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L6
	ldr	r3, .L20+4
	mov	r2, #9
	ldr	r1, .L20+8
	ldr	r0, .L20+12
	bl	__assert_fail
.L6:
	ldr	r3, [fp, #-16]
	cmp	r3, #2
	beq	.L7
	ldr	r3, .L20+4
	mov	r2, #10
	ldr	r1, .L20+8
	ldr	r0, .L20+16
	bl	__assert_fail
.L7:
	ldr	r3, [fp, #-12]
	mvn	r2, #-2147483648
	adds	r3, r3, r2
	str	r3, [fp, #-16]
	mov	r1, #0
	ldr	r3, [fp, #-12]
	mvn	r2, #-2147483648
	adds	r3, r3, r2
	bvc	.L10
	mov	r1, #1
.L10:
	mov	r3, r1
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L12
	ldr	r3, .L20+4
	mov	r2, #11
	ldr	r1, .L20+8
	ldr	r0, .L20+20
	bl	__assert_fail
.L12:
	mvn	r3, #-2147483647
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmn	r3, #-2147483646
	beq	.L13
	ldr	r3, .L20+4
	mov	r2, #13
	ldr	r1, .L20+8
	ldr	r0, .L20+24
	bl	__assert_fail
.L13:
	mov	r3, #-2147483646
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-12]
	rsb	r3, r3, #0
	mov	r2, #-2147483648
	adds	r3, r3, r2
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-12]
	rsb	r3, r3, #0
	mov	r1, #0
	mov	r2, #-2147483648
	adds	r3, r3, r2
	bvc	.L16
	mov	r1, #1
.L16:
	mov	r3, r1
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L18
	ldr	r3, .L20+4
	mov	r2, #15
	ldr	r1, .L20+8
	ldr	r0, .L20+28
	bl	__assert_fail
.L18:
	ldr	r3, .L20+4
	mov	r2, #16
	ldr	r1, .L20+8
	ldr	r0, .L20+32
	bl	__assert_fail
.L21:
	.align	2
.L20:
	.word	.LC7
	.word	__PRETTY_FUNCTION__.4213
	.word	.LC0
	.word	.LC1
	.word	.LC2
	.word	.LC3
	.word	.LC4
	.word	.LC5
	.word	.LC6
	.size	check_int, .-check_int
	.section	.rodata
	.align	2
.LC8:
	.ascii	"!__builtin_saddl_overflow(one, one, &result)\000"
	.align	2
.LC9:
	.ascii	"result == 2l\000"
	.align	2
.LC10:
	.ascii	"__builtin_saddl_overflow(one, LONG_MAX, &result)\000"
	.align	2
.LC11:
	.ascii	"result + 1l == LONG_MAX\000"
	.align	2
.LC12:
	.ascii	"__builtin_saddl_overflow(-one, LONG_MIN, &result)\000"
	.align	2
.LC13:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	check_long
	.syntax unified
	.arm
	.fpu softvfp
	.type	check_long, %function
check_long:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L41
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #1
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-12]
	adds	r3, r3, r3
	str	r3, [fp, #-16]
	mov	r2, #0
	ldr	r3, [fp, #-12]
	adds	r3, r3, r3
	bvc	.L25
	mov	r2, #1
.L25:
	mov	r3, r2
	and	r3, r3, #1
	and	r3, r3, #255
	eor	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L27
	ldr	r3, .L41+4
	mov	r2, #24
	ldr	r1, .L41+8
	ldr	r0, .L41+12
	bl	__assert_fail
.L27:
	ldr	r3, [fp, #-16]
	cmp	r3, #2
	beq	.L28
	ldr	r3, .L41+4
	mov	r2, #25
	ldr	r1, .L41+8
	ldr	r0, .L41+16
	bl	__assert_fail
.L28:
	ldr	r3, [fp, #-12]
	mvn	r2, #-2147483648
	adds	r3, r3, r2
	str	r3, [fp, #-16]
	mov	r1, #0
	ldr	r3, [fp, #-12]
	mvn	r2, #-2147483648
	adds	r3, r3, r2
	bvc	.L31
	mov	r1, #1
.L31:
	mov	r3, r1
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L33
	ldr	r3, .L41+4
	mov	r2, #26
	ldr	r1, .L41+8
	ldr	r0, .L41+20
	bl	__assert_fail
.L33:
	mvn	r3, #-2147483647
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmn	r3, #-2147483646
	beq	.L34
	ldr	r3, .L41+4
	mov	r2, #28
	ldr	r1, .L41+8
	ldr	r0, .L41+24
	bl	__assert_fail
.L34:
	mov	r3, #-2147483646
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-12]
	rsb	r3, r3, #0
	mov	r2, #-2147483648
	adds	r3, r3, r2
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-12]
	rsb	r3, r3, #0
	mov	r1, #0
	mov	r2, #-2147483648
	adds	r3, r3, r2
	bvc	.L37
	mov	r1, #1
.L37:
	mov	r3, r1
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L39
	ldr	r3, .L41+4
	mov	r2, #31
	ldr	r1, .L41+8
	ldr	r0, .L41+28
	bl	__assert_fail
.L39:
	ldr	r3, .L41+4
	mov	r2, #32
	ldr	r1, .L41+8
	ldr	r0, .L41+32
	bl	__assert_fail
.L42:
	.align	2
.L41:
	.word	.LC13
	.word	__PRETTY_FUNCTION__.4219
	.word	.LC0
	.word	.LC8
	.word	.LC9
	.word	.LC10
	.word	.LC11
	.word	.LC12
	.word	.LC6
	.size	check_long, .-check_long
	.section	.rodata
	.align	2
.LC14:
	.ascii	"!__builtin_saddll_overflow(one, one, &result)\000"
	.align	2
.LC15:
	.ascii	"result == 2ll\000"
	.align	2
.LC16:
	.ascii	"__builtin_saddll_overflow(one, LLONG_MAX, &result)\000"
	.align	2
.LC17:
	.ascii	"result + 1ll == LLONG_MAX\000"
	.align	2
.LC18:
	.ascii	"__builtin_saddll_overflow(-one, LLONG_MIN, &result)"
	.ascii	"\000"
	.align	2
.LC19:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	check_long_long
	.syntax unified
	.arm
	.fpu softvfp
	.type	check_long_long, %function
check_long_long:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, r5, r6, r7, fp, lr}
	add	fp, sp, #20
	sub	sp, sp, #24
	ldr	r3, .L62
	ldr	r3, [r3]
	str	r3, [fp, #-24]
	mov	r3,#0
	mov	r2, #1
	mov	r3, #0
	str	r2, [fp, #-36]
	str	r3, [fp, #-32]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r0, r2, r2
	adcs	r1, r3, r3
	mov	r2, r0
	mov	r3, r1
	str	r2, [fp, #-44]
	str	r3, [fp, #-40]
	mov	r0, #0
	mov	r1, #0
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	adds	r4, r2, r2
	adcs	r5, r3, r3
	bvc	.L46
	mov	r0, #1
	mov	r1, #0
.L46:
	mov	r2, r0
	mov	r3, r1
	mov	r3, r2
	and	r3, r3, #1
	and	r3, r3, #255
	eor	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L48
	ldr	r3, .L62+4
	mov	r2, #40
	ldr	r1, .L62+8
	ldr	r0, .L62+12
	bl	__assert_fail
.L48:
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	cmp	r3, #0
	cmpeq	r2, #2
	beq	.L49
	ldr	r3, .L62+4
	mov	r2, #41
	ldr	r1, .L62+8
	ldr	r0, .L62+16
	bl	__assert_fail
.L49:
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	mvn	r0, #0
	mvn	r1, #-2147483648
	adds	r4, r2, r0
	adcs	r5, r3, r1
	mov	r2, r4
	mov	r3, r5
	str	r2, [fp, #-44]
	str	r3, [fp, #-40]
	mov	r4, #0
	mov	r5, #0
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	mvn	r0, #0
	mvn	r1, #-2147483648
	adds	r6, r2, r0
	adcs	r7, r3, r1
	bvc	.L52
	mov	r4, #1
	mov	r5, #0
.L52:
	mov	r2, r4
	mov	r3, r5
	mov	r3, r2
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L54
	ldr	r3, .L62+4
	mov	r2, #42
	ldr	r1, .L62+8
	ldr	r0, .L62+20
	bl	__assert_fail
.L54:
	mvn	r2, #1
	mvn	r3, #-2147483648
	str	r2, [fp, #-44]
	str	r3, [fp, #-40]
	sub	r3, fp, #44
	ldmia	r3, {r2-r3}
	mvn	r0, #1
	mvn	r1, #-2147483648
	cmp	r3, r1
	cmpeq	r2, r0
	beq	.L55
	ldr	r3, .L62+4
	mov	r2, #44
	ldr	r1, .L62+8
	ldr	r0, .L62+24
	bl	__assert_fail
.L55:
	mov	r2, #2
	mov	r3, #-2147483648
	str	r2, [fp, #-44]
	str	r3, [fp, #-40]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	rsbs	r2, r2, #0
	rsc	r3, r3, #0
	mov	r0, #0
	mov	r1, #-2147483648
	adds	r4, r2, r0
	adcs	r5, r3, r1
	mov	r2, r4
	mov	r3, r5
	str	r2, [fp, #-44]
	str	r3, [fp, #-40]
	sub	r3, fp, #36
	ldmia	r3, {r2-r3}
	rsbs	r2, r2, #0
	rsc	r3, r3, #0
	mov	r4, #0
	mov	r5, #0
	mov	r0, #0
	mov	r1, #-2147483648
	adds	r6, r2, r0
	adcs	r7, r3, r1
	bvc	.L58
	mov	r4, #1
	mov	r5, #0
.L58:
	mov	r2, r4
	mov	r3, r5
	mov	r3, r2
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L60
	ldr	r3, .L62+4
	mov	r2, #47
	ldr	r1, .L62+8
	ldr	r0, .L62+28
	bl	__assert_fail
.L60:
	ldr	r3, .L62+4
	mov	r2, #48
	ldr	r1, .L62+8
	ldr	r0, .L62+32
	bl	__assert_fail
.L63:
	.align	2
.L62:
	.word	.LC19
	.word	__PRETTY_FUNCTION__.4225
	.word	.LC0
	.word	.LC14
	.word	.LC15
	.word	.LC16
	.word	.LC17
	.word	.LC18
	.word	.LC6
	.size	check_long_long, .-check_long_long
	.section	.rodata
	.align	2
.LC20:
	.ascii	"!__builtin_uadd_overflow(one, one, &result)\000"
	.align	2
.LC21:
	.ascii	"result == 2u\000"
	.align	2
.LC22:
	.ascii	"result + 1u == UINT_MAX\000"
	.align	2
.LC23:
	.ascii	"__builtin_uadd_overflow(one, UINT_MAX, &result)\000"
	.align	2
.LC24:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	check_unsigned
	.syntax unified
	.arm
	.fpu softvfp
	.type	check_unsigned, %function
check_unsigned:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L78
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #1
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-12]
	adds	r3, r3, r3
	str	r3, [fp, #-16]
	mov	r2, #0
	ldr	r3, [fp, #-12]
	adds	r3, r3, r3
	bcc	.L67
	mov	r2, #1
.L67:
	mov	r3, r2
	and	r3, r3, #1
	and	r3, r3, #255
	eor	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L69
	ldr	r3, .L78+4
	mov	r2, #56
	ldr	r1, .L78+8
	ldr	r0, .L78+12
	bl	__assert_fail
.L69:
	ldr	r3, [fp, #-16]
	cmp	r3, #2
	beq	.L70
	ldr	r3, .L78+4
	mov	r2, #57
	ldr	r1, .L78+8
	ldr	r0, .L78+16
	bl	__assert_fail
.L70:
	mvn	r3, #1
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmn	r3, #2
	beq	.L71
	ldr	r3, .L78+4
	mov	r2, #59
	ldr	r1, .L78+8
	ldr	r0, .L78+20
	bl	__assert_fail
.L71:
	mov	r3, #2
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-12]
	mvn	r2, #0
	adds	r3, r3, r2
	str	r3, [fp, #-16]
	mov	r1, #0
	ldr	r3, [fp, #-12]
	mvn	r2, #0
	adds	r3, r3, r2
	bcc	.L74
	mov	r1, #1
.L74:
	mov	r3, r1
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L76
	ldr	r3, .L78+4
	mov	r2, #61
	ldr	r1, .L78+8
	ldr	r0, .L78+24
	bl	__assert_fail
.L76:
	ldr	r3, .L78+4
	mov	r2, #62
	ldr	r1, .L78+8
	ldr	r0, .L78+28
	bl	__assert_fail
.L79:
	.align	2
.L78:
	.word	.LC24
	.word	__PRETTY_FUNCTION__.4231
	.word	.LC0
	.word	.LC20
	.word	.LC21
	.word	.LC22
	.word	.LC23
	.word	.LC6
	.size	check_unsigned, .-check_unsigned
	.section	.rodata
	.align	2
.LC25:
	.ascii	"!__builtin_uaddl_overflow(one, one, &result)\000"
	.align	2
.LC26:
	.ascii	"result == 2ul\000"
	.align	2
.LC27:
	.ascii	"result + 1ul == ULONG_MAX\000"
	.align	2
.LC28:
	.ascii	"__builtin_uaddl_overflow(one, ULONG_MAX, &result)\000"
	.align	2
.LC29:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	check_unsigned_long
	.syntax unified
	.arm
	.fpu softvfp
	.type	check_unsigned_long, %function
check_unsigned_long:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	ldr	r3, .L94
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #1
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-12]
	adds	r3, r3, r3
	str	r3, [fp, #-16]
	mov	r2, #0
	ldr	r3, [fp, #-12]
	adds	r3, r3, r3
	bcc	.L83
	mov	r2, #1
.L83:
	mov	r3, r2
	and	r3, r3, #1
	and	r3, r3, #255
	eor	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L85
	ldr	r3, .L94+4
	mov	r2, #70
	ldr	r1, .L94+8
	ldr	r0, .L94+12
	bl	__assert_fail
.L85:
	ldr	r3, [fp, #-16]
	cmp	r3, #2
	beq	.L86
	ldr	r3, .L94+4
	mov	r2, #71
	ldr	r1, .L94+8
	ldr	r0, .L94+16
	bl	__assert_fail
.L86:
	mvn	r3, #1
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmn	r3, #2
	beq	.L87
	ldr	r3, .L94+4
	mov	r2, #73
	ldr	r1, .L94+8
	ldr	r0, .L94+20
	bl	__assert_fail
.L87:
	mov	r3, #2
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-12]
	mvn	r2, #0
	adds	r3, r3, r2
	str	r3, [fp, #-16]
	mov	r1, #0
	ldr	r3, [fp, #-12]
	mvn	r2, #0
	adds	r3, r3, r2
	bcc	.L90
	mov	r1, #1
.L90:
	mov	r3, r1
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L92
	ldr	r3, .L94+4
	mov	r2, #76
	ldr	r1, .L94+8
	ldr	r0, .L94+24
	bl	__assert_fail
.L92:
	ldr	r3, .L94+4
	mov	r2, #77
	ldr	r1, .L94+8
	ldr	r0, .L94+28
	bl	__assert_fail
.L95:
	.align	2
.L94:
	.word	.LC29
	.word	__PRETTY_FUNCTION__.4237
	.word	.LC0
	.word	.LC25
	.word	.LC26
	.word	.LC27
	.word	.LC28
	.word	.LC6
	.size	check_unsigned_long, .-check_unsigned_long
	.section	.rodata
	.align	2
.LC30:
	.ascii	"result == 2ull\000"
	.align	2
.LC31:
	.ascii	"result + 1ull == ULLONG_MAX\000"
	.align	2
.LC32:
	.ascii	"__builtin_uaddl_overflow(one, ULLONG_MAX, &result)\000"
	.align	2
.LC33:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	check_unsigned_long_long
	.syntax unified
	.arm
	.fpu softvfp
	.type	check_unsigned_long_long, %function
check_unsigned_long_long:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	ldr	r3, .L110
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r2, #1
	mov	r3, #0
	str	r2, [fp, #-20]
	str	r3, [fp, #-16]
	ldr	r2, [fp, #-20]
	ldr	r3, [fp, #-20]
	adds	r3, r2, r3
	mov	r2, r3
	sub	r3, fp, #28
	str	r2, [r3]
	ldr	r2, [fp, #-20]
	ldr	r3, [fp, #-20]
	mov	r1, #0
	adds	r3, r2, r3
	bcc	.L99
	mov	r1, #1
.L99:
	mov	r3, r1
	and	r3, r3, #1
	and	r3, r3, #255
	eor	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L101
	ldr	r3, .L110+4
	mov	r2, #85
	ldr	r1, .L110+8
	ldr	r0, .L110+12
	bl	__assert_fail
.L101:
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	cmp	r3, #0
	cmpeq	r2, #2
	beq	.L102
	ldr	r3, .L110+4
	mov	r2, #86
	ldr	r1, .L110+8
	ldr	r0, .L110+16
	bl	__assert_fail
.L102:
	mvn	r2, #1
	mvn	r3, #0
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	sub	r3, fp, #28
	ldmia	r3, {r2-r3}
	mvn	r0, #1
	mvn	r1, #0
	cmp	r3, r1
	cmpeq	r2, r0
	beq	.L103
	ldr	r3, .L110+4
	mov	r2, #88
	ldr	r1, .L110+8
	ldr	r0, .L110+20
	bl	__assert_fail
.L103:
	mov	r2, #2
	mov	r3, #0
	str	r2, [fp, #-28]
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-20]
	mvn	r2, #0
	adds	r3, r3, r2
	mov	r2, r3
	sub	r3, fp, #28
	str	r2, [r3]
	ldr	r3, [fp, #-20]
	mov	r1, #0
	mvn	r2, #0
	adds	r3, r3, r2
	bcc	.L106
	mov	r1, #1
.L106:
	mov	r3, r1
	and	r3, r3, #1
	and	r3, r3, #255
	cmp	r3, #0
	bne	.L108
	ldr	r3, .L110+4
	mov	r2, #91
	ldr	r1, .L110+8
	ldr	r0, .L110+24
	bl	__assert_fail
.L108:
	ldr	r3, .L110+4
	mov	r2, #92
	ldr	r1, .L110+8
	ldr	r0, .L110+28
	bl	__assert_fail
.L111:
	.align	2
.L110:
	.word	.LC33
	.word	__PRETTY_FUNCTION__.4243
	.word	.LC0
	.word	.LC25
	.word	.LC30
	.word	.LC31
	.word	.LC32
	.word	.LC6
	.size	check_unsigned_long_long, .-check_unsigned_long_long
	.align	2
	.global	main
	.syntax unified
	.arm
	.fpu softvfp
	.type	main, %function
main:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	bl	check_int
	bl	check_long
	bl	check_long_long
	bl	check_unsigned
	bl	check_unsigned_long
	bl	check_unsigned_long_long
	mov	r3, #0
	mov	r0, r3
	pop	{fp, pc}
	.size	main, .-main
	.section	.rodata
	.align	2
	.type	__PRETTY_FUNCTION__.4213, %object
	.size	__PRETTY_FUNCTION__.4213, 10
__PRETTY_FUNCTION__.4213:
	.ascii	"check_int\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4219, %object
	.size	__PRETTY_FUNCTION__.4219, 11
__PRETTY_FUNCTION__.4219:
	.ascii	"check_long\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4225, %object
	.size	__PRETTY_FUNCTION__.4225, 16
__PRETTY_FUNCTION__.4225:
	.ascii	"check_long_long\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4231, %object
	.size	__PRETTY_FUNCTION__.4231, 15
__PRETTY_FUNCTION__.4231:
	.ascii	"check_unsigned\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4237, %object
	.size	__PRETTY_FUNCTION__.4237, 20
__PRETTY_FUNCTION__.4237:
	.ascii	"check_unsigned_long\000"
	.align	2
	.type	__PRETTY_FUNCTION__.4243, %object
	.size	__PRETTY_FUNCTION__.4243, 25
__PRETTY_FUNCTION__.4243:
	.ascii	"check_unsigned_long_long\000"
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
