	.file	"1002548.c"
	.intel_syntax noprefix
	.text
	.globl	f1
	.type	f1, @function
f1:
.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, 64
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	lea	rax, -48[rbp]
	mov	QWORD PTR -56[rbp], rax
	add	QWORD PTR -56[rbp], 4
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L2
	call	__stack_chk_fail@PLT
.L2:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	f1, .-f1
	.globl	f2
	.type	f2, @function
f2:
.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, 16
	mov	eax, 0
	call	foo@PLT
	mov	QWORD PTR -8[rbp], rax
	add	QWORD PTR -8[rbp], 1
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	f2, .-f2
	.type	domain_port, @function
domain_port:
.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, 64
	mov	QWORD PTR -40[rbp], rdi
	mov	QWORD PTR -48[rbp], rsi
	mov	QWORD PTR -56[rbp], rdx
	mov	DWORD PTR -20[rbp], 0
	mov	rax, QWORD PTR -48[rbp]
	sub	rax, QWORD PTR -40[rbp]
	mov	rdx, rax
	mov	rax, QWORD PTR -40[rbp]
	mov	esi, 58
	mov	rdi, rax
	call	memchr@PLT
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	add	rax, 1
	mov	QWORD PTR -16[rbp], rax
	jmp	.L5
.L6:
	mov	edx, DWORD PTR -20[rbp]
	mov	eax, edx
	sal	eax, 2
	add	eax, edx
	add	eax, eax
	mov	edx, eax
	mov	rax, QWORD PTR -16[rbp]
	movzx	eax, BYTE PTR [rax]
	movsx	eax, al
	sub	eax, 48
	add	eax, edx
	mov	DWORD PTR -20[rbp], eax
	add	QWORD PTR -16[rbp], 1
.L5:
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -48[rbp]
	jb	.L6
	mov	eax, DWORD PTR -20[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	domain_port, .-domain_port
	.globl	f3
	.type	f3, @function
f3:
.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, 80
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	lea	rax, -72[rbp]
	lea	rdx, -76[rbp]
	sub	rax, rdx
	sar	rax, 2
	mov	DWORD PTR -68[rbp], eax
	lea	rax, -48[rbp]
	add	rax, 8
	mov	QWORD PTR -64[rbp], rax
	lea	rax, -48[rbp]
	add	rax, 32
	mov	QWORD PTR -56[rbp], rax
	mov	rax, QWORD PTR -56[rbp]
	sub	rax, QWORD PTR -64[rbp]
	sar	rax, 2
	mov	DWORD PTR -68[rbp], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L9
	call	__stack_chk_fail@PLT
.L9:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.size	f3, .-f3
	.globl	f4
	.type	f4, @function
f4:
.LFB4:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	QWORD PTR -8[rbp], 65536
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE4:
	.size	f4, .-f4
	.globl	f5
	.type	f5, @function
f5:
.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, 64
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	lea	rax, -60[rbp]
	add	rax, 4
	mov	QWORD PTR -56[rbp], rax
	lea	rax, -48[rbp]
	add	rax, 4
	mov	QWORD PTR -56[rbp], rax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L12
	call	__stack_chk_fail@PLT
.L12:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE5:
	.size	f5, .-f5
	.globl	f6
	.type	f6, @function
f6:
.LFB6:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	rax, QWORD PTR -32[rbp]
	sub	rax, QWORD PTR -24[rbp]
	sar	rax, 2
	mov	DWORD PTR -4[rbp], eax
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	f6, .-f6
	.globl	null_operand
	.type	null_operand, @function
null_operand:
.LFB7:
	.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	QWORD PTR -8[rbp], rdi
.L15:
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	test	rax, rax
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	test	rax, rax
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	test	rax, rax
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	test	rax, rax
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	test	rax, rax
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	null_operand, .-null_operand
	.globl	const_locs
	.type	const_locs, @function
const_locs:
.LFB8:
	.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 -24[rbp], 4096
	mov	QWORD PTR -16[rbp], 4352
.L17:
	mov	rax, QWORD PTR -24[rbp]
	cmp	QWORD PTR -16[rbp], rax
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -24[rbp]
	cmp	QWORD PTR -16[rbp], rax
	seta	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -24[rbp]
	cmp	QWORD PTR -16[rbp], rax
	setnb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rdx, QWORD PTR -24[rbp]
	mov	rax, QWORD PTR -16[rbp]
	sub	rax, rdx
	cmp	rax, 256
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -24[rbp]
	lea	rdx, .L17[rip]
	cmp	rax, rdx
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -24[rbp]
	lea	rdx, .L17[rip]
	cmp	rax, rdx
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rdx, QWORD PTR -24[rbp]
	lea	rax, -24[rbp]
	cmp	rdx, rax
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rdx, QWORD PTR -24[rbp]
	lea	rax, -24[rbp]
	cmp	rdx, rax
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L18
	call	__stack_chk_fail@PLT
.L18:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	const_locs, .-const_locs
	.globl	array_matching_types
	.type	array_matching_types, @function
array_matching_types:
.LFB9:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 64
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	lea	rax, -48[rbp]
	add	rax, 8
	mov	QWORD PTR -64[rbp], rax
	lea	rax, -48[rbp]
	add	rax, 20
	mov	QWORD PTR -56[rbp], rax
	mov	rax, QWORD PTR -64[rbp]
	cmp	rax, QWORD PTR -56[rbp]
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -64[rbp]
	cmp	rax, QWORD PTR -56[rbp]
	setb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -64[rbp]
	cmp	rax, QWORD PTR -56[rbp]
	setbe	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -56[rbp]
	cmp	rax, QWORD PTR -64[rbp]
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L20
	call	__stack_chk_fail@PLT
.L20:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	array_matching_types, .-array_matching_types
	.globl	array_different_types
	.type	array_different_types, @function
array_different_types:
.LFB10:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 64
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	lea	rax, -48[rbp]
	add	rax, 8
	mov	QWORD PTR -64[rbp], rax
	lea	rax, -48[rbp]
	add	rax, 20
	mov	QWORD PTR -56[rbp], rax
	mov	rax, QWORD PTR -64[rbp]
	cmp	rax, QWORD PTR -56[rbp]
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -64[rbp]
	cmp	rax, QWORD PTR -56[rbp]
	setb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -64[rbp]
	cmp	rax, QWORD PTR -56[rbp]
	setbe	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L22
	call	__stack_chk_fail@PLT
.L22:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	array_different_types, .-array_different_types
	.globl	struct_fields
	.type	struct_fields, @function
struct_fields:
.LFB11:
	.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	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	lea	rdx, -24[rbp]
	lea	rax, -16[rbp]
	cmp	rdx, rax
	seta	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	lea	rdx, -24[rbp]
	lea	rax, -16[rbp]
	cmp	rdx, rax
	setnb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L24
	call	__stack_chk_fail@PLT
.L24:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	struct_fields, .-struct_fields
	.globl	mixed_region_types
	.type	mixed_region_types, @function
mixed_region_types:
.LFB12:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 48
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	lea	rax, -16[rbp]
	mov	QWORD PTR -40[rbp], rax
	lea	rax, -24[rbp]
	mov	QWORD PTR -32[rbp], rax
	mov	edi, 1
	call	clang_analyzer_eval@PLT
	lea	rdx, -40[rbp]
	lea	rax, -32[rbp]
	cmp	rdx, rax
	seta	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	lea	rdx, -40[rbp]
	lea	rax, -32[rbp]
	cmp	rdx, rax
	setnb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L26
	call	__stack_chk_fail@PLT
.L26:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	mixed_region_types, .-mixed_region_types
	.globl	symbolic_region
	.type	symbolic_region, @function
symbolic_region:
.LFB13:
	.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	QWORD PTR -24[rbp], rdi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	lea	rax, -12[rbp]
	cmp	QWORD PTR -24[rbp], rax
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	lea	rax, -12[rbp]
	cmp	QWORD PTR -24[rbp], rax
	setb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	lea	rax, -12[rbp]
	cmp	QWORD PTR -24[rbp], rax
	setbe	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L28
	call	__stack_chk_fail@PLT
.L28:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	symbolic_region, .-symbolic_region
	.globl	PR7527
	.type	PR7527, @function
PR7527:
.LFB14:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	and	eax, 1
	test	eax, eax
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE14:
	.size	PR7527, .-PR7527
	.globl	use_symbols
	.type	use_symbols, @function
use_symbols:
.LFB15:
	.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	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	jb	.L35
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR -16[rbp]
	sar	rax, 2
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR -16[rbp]
	cmp	rax, 20
	jne	.L36
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR -16[rbp]
	cmp	rax, 20
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L31
.L35:
	nop
	jmp	.L31
.L36:
	nop
.L31:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE15:
	.size	use_symbols, .-use_symbols
	.globl	equal_implies_zero
	.type	equal_implies_zero, @function
equal_implies_zero:
.LFB16:
	.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	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	jne	.L38
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L37
.L38:
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
.L37:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.size	equal_implies_zero, .-equal_implies_zero
	.globl	zero_implies_equal
	.type	zero_implies_equal, @function
zero_implies_equal:
.LFB17:
	.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	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	jne	.L41
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L40
.L41:
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
.L40:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE17:
	.size	zero_implies_equal, .-zero_implies_equal
	.globl	comparisons_imply_size
	.type	comparisons_imply_size, @function
comparisons_imply_size:
.LFB18:
	.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	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setbe	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	jbe	.L44
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L43
.L44:
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setbe	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	sub	rax, QWORD PTR -8[rbp]
	not	rax
	shr	rax, 63
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	sub	rax, QWORD PTR -8[rbp]
	test	rax, rax
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	jb	.L46
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L43
.L46:
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	sub	rax, QWORD PTR -8[rbp]
	test	rax, rax
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
.L43:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE18:
	.size	comparisons_imply_size, .-comparisons_imply_size
	.globl	size_implies_comparison
	.type	size_implies_comparison, @function
size_implies_comparison:
.LFB19:
	.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	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setbe	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	sub	rax, QWORD PTR -8[rbp]
	test	rax, rax
	jns	.L48
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L47
.L48:
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setbe	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	sub	rax, QWORD PTR -8[rbp]
	not	rax
	shr	rax, 63
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	sub	rax, QWORD PTR -8[rbp]
	test	rax, rax
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	sub	rax, QWORD PTR -8[rbp]
	test	rax, rax
	jg	.L50
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L47
.L50:
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	setb	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	sub	rax, QWORD PTR -8[rbp]
	test	rax, rax
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
.L47:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE19:
	.size	size_implies_comparison, .-size_implies_comparison
	.globl	zero_implies_reversed_equal
	.type	zero_implies_reversed_equal, @function
zero_implies_reversed_equal:
.LFB20:
	.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	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	jne	.L52
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L51
.L52:
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	setne	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
.L51:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE20:
	.size	zero_implies_reversed_equal, .-zero_implies_reversed_equal
	.globl	canonical_equal
	.type	canonical_equal, @function
canonical_equal:
.LFB21:
	.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	QWORD PTR -8[rbp], rdi
	mov	QWORD PTR -16[rbp], rsi
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	jne	.L55
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L54
.L55:
	mov	rax, QWORD PTR -8[rbp]
	cmp	rax, QWORD PTR -16[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	mov	rax, QWORD PTR -16[rbp]
	cmp	rax, QWORD PTR -8[rbp]
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
.L54:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE21:
	.size	canonical_equal, .-canonical_equal
	.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	"1002548.c"
	.text
	.section	.rodata
	.align	2
.LC0:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	f1
	.syntax unified
	.arm
	.fpu softvfp
	.type	f1, %function
f1:
	@ args = 0, pretend = 0, frame = 48
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #48
	ldr	r3, .L3
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	sub	r3, fp, #48
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-52]
	add	r3, r3, #4
	str	r3, [fp, #-52]
	nop
	ldr	r3, .L3
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L2
	bl	__stack_chk_fail
.L2:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L4:
	.align	2
.L3:
	.word	.LC0
	.size	f1, .-f1
	.align	2
	.global	f2
	.syntax unified
	.arm
	.fpu softvfp
	.type	f2, %function
f2:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	bl	foo
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	add	r3, r3, #1
	str	r3, [fp, #-8]
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	f2, .-f2
	.align	2
	.syntax unified
	.arm
	.fpu softvfp
	.type	domain_port, %function
domain_port:
	@ args = 0, pretend = 0, frame = 32
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #32
	str	r0, [fp, #-24]
	str	r1, [fp, #-28]
	str	r2, [fp, #-32]
	mov	r3, #0
	str	r3, [fp, #-16]
	ldr	r2, [fp, #-28]
	ldr	r3, [fp, #-24]
	sub	r3, r2, r3
	mov	r2, r3
	mov	r1, #58
	ldr	r0, [fp, #-24]
	bl	memchr
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	add	r3, r3, #1
	str	r3, [fp, #-12]
	b	.L7
.L8:
	ldr	r2, [fp, #-16]
	mov	r3, r2
	lsl	r3, r3, #2
	add	r3, r3, r2
	lsl	r3, r3, #1
	mov	r2, r3
	ldr	r3, [fp, #-12]
	ldrb	r3, [r3]	@ zero_extendqisi2
	sub	r3, r3, #48
	add	r3, r2, r3
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-12]
	add	r3, r3, #1
	str	r3, [fp, #-12]
.L7:
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-28]
	cmp	r2, r3
	bcc	.L8
	ldr	r3, [fp, #-16]
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	domain_port, .-domain_port
	.section	.rodata
	.align	2
.LC1:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	f3
	.syntax unified
	.arm
	.fpu softvfp
	.type	f3, %function
f3:
	@ args = 0, pretend = 0, frame = 64
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #64
	ldr	r3, .L12
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	sub	r3, fp, #64
	sub	r2, fp, #68
	sub	r3, r3, r2
	asr	r3, r3, #2
	str	r3, [fp, #-60]
	sub	r3, fp, #48
	add	r3, r3, #8
	str	r3, [fp, #-56]
	sub	r3, fp, #48
	add	r3, r3, #32
	str	r3, [fp, #-52]
	ldr	r2, [fp, #-52]
	ldr	r3, [fp, #-56]
	sub	r3, r2, r3
	asr	r3, r3, #2
	str	r3, [fp, #-60]
	nop
	ldr	r3, .L12
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L11
	bl	__stack_chk_fail
.L11:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L13:
	.align	2
.L12:
	.word	.LC1
	.size	f3, .-f3
	.align	2
	.global	f4
	.syntax unified
	.arm
	.fpu softvfp
	.type	f4, %function
f4:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	mov	r3, #65536
	str	r3, [fp, #-8]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	f4, .-f4
	.section	.rodata
	.align	2
.LC2:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	f5
	.syntax unified
	.arm
	.fpu softvfp
	.type	f5, %function
f5:
	@ args = 0, pretend = 0, frame = 56
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #56
	ldr	r3, .L17
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	sub	r3, fp, #56
	add	r3, r3, #4
	str	r3, [fp, #-52]
	sub	r3, fp, #48
	add	r3, r3, #4
	str	r3, [fp, #-52]
	nop
	ldr	r3, .L17
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L16
	bl	__stack_chk_fail
.L16:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L18:
	.align	2
.L17:
	.word	.LC2
	.size	f5, .-f5
	.align	2
	.global	f6
	.syntax unified
	.arm
	.fpu softvfp
	.type	f6, %function
f6:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #20
	str	r0, [fp, #-16]
	str	r1, [fp, #-20]
	ldr	r2, [fp, #-20]
	ldr	r3, [fp, #-16]
	sub	r3, r2, r3
	asr	r3, r3, #2
	str	r3, [fp, #-8]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	f6, .-f6
	.align	2
	.global	null_operand
	.syntax unified
	.arm
	.fpu softvfp
	.type	null_operand, %function
null_operand:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
.L21:
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	null_operand, .-null_operand
	.section	.rodata
	.align	2
.LC4:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	const_locs
	.syntax unified
	.arm
	.fpu softvfp
	.type	const_locs, %function
const_locs:
	@ 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, .L25
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #4096
	str	r3, [fp, #-16]
	mov	r3, #4352
	str	r3, [fp, #-12]
.L23:
	ldr	r3, [fp, #-16]
	ldr	r2, [fp, #-12]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-16]
	ldr	r2, [fp, #-12]
	cmp	r2, r3
	movhi	r3, #1
	movls	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-16]
	ldr	r2, [fp, #-12]
	cmp	r2, r3
	movcs	r3, #1
	movcc	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-16]
	ldr	r2, [fp, #-12]
	sub	r3, r2, r3
	cmp	r3, #256
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-16]
	ldr	r3, .L25+4
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-16]
	ldr	r3, .L25+4
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-16]
	sub	r3, fp, #16
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-16]
	sub	r3, fp, #16
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	nop
	ldr	r3, .L25
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L24
	bl	__stack_chk_fail
.L24:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L26:
	.align	2
.L25:
	.word	.LC4
	.word	.L23
	.size	const_locs, .-const_locs
	.section	.rodata
	.align	2
.LC5:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	array_matching_types
	.syntax unified
	.arm
	.fpu softvfp
	.type	array_matching_types, %function
array_matching_types:
	@ args = 0, pretend = 0, frame = 56
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #56
	ldr	r3, .L29
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	sub	r3, fp, #48
	add	r3, r3, #8
	str	r3, [fp, #-56]
	sub	r3, fp, #48
	add	r3, r3, #20
	str	r3, [fp, #-52]
	ldr	r2, [fp, #-56]
	ldr	r3, [fp, #-52]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-56]
	ldr	r3, [fp, #-52]
	cmp	r2, r3
	movcc	r3, #1
	movcs	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-56]
	ldr	r3, [fp, #-52]
	cmp	r2, r3
	movls	r3, #1
	movhi	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-52]
	ldr	r3, [fp, #-56]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	nop
	ldr	r3, .L29
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L28
	bl	__stack_chk_fail
.L28:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L30:
	.align	2
.L29:
	.word	.LC5
	.size	array_matching_types, .-array_matching_types
	.section	.rodata
	.align	2
.LC6:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	array_different_types
	.syntax unified
	.arm
	.fpu softvfp
	.type	array_different_types, %function
array_different_types:
	@ args = 0, pretend = 0, frame = 56
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #56
	ldr	r3, .L33
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	sub	r3, fp, #48
	add	r3, r3, #8
	str	r3, [fp, #-56]
	sub	r3, fp, #48
	add	r3, r3, #20
	str	r3, [fp, #-52]
	ldr	r2, [fp, #-56]
	ldr	r3, [fp, #-52]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-56]
	ldr	r3, [fp, #-52]
	cmp	r2, r3
	movcc	r3, #1
	movcs	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-56]
	ldr	r3, [fp, #-52]
	cmp	r2, r3
	movls	r3, #1
	movhi	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	nop
	ldr	r3, .L33
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L32
	bl	__stack_chk_fail
.L32:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L34:
	.align	2
.L33:
	.word	.LC6
	.size	array_different_types, .-array_different_types
	.section	.rodata
	.align	2
.LC7:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	struct_fields
	.syntax unified
	.arm
	.fpu softvfp
	.type	struct_fields, %function
struct_fields:
	@ 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, .L37
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	mov	r0, #1
	bl	clang_analyzer_eval
	sub	r2, fp, #24
	sub	r3, fp, #16
	cmp	r2, r3
	movhi	r3, #1
	movls	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	sub	r2, fp, #24
	sub	r3, fp, #16
	cmp	r2, r3
	movcs	r3, #1
	movcc	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	nop
	ldr	r3, .L37
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L36
	bl	__stack_chk_fail
.L36:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L38:
	.align	2
.L37:
	.word	.LC7
	.size	struct_fields, .-struct_fields
	.section	.rodata
	.align	2
.LC8:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	mixed_region_types
	.syntax unified
	.arm
	.fpu softvfp
	.type	mixed_region_types, %function
mixed_region_types:
	@ args = 0, pretend = 0, frame = 32
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #32
	ldr	r3, .L41
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	sub	r3, fp, #16
	str	r3, [fp, #-32]
	sub	r3, fp, #24
	str	r3, [fp, #-28]
	mov	r0, #1
	bl	clang_analyzer_eval
	sub	r2, fp, #32
	sub	r3, fp, #28
	cmp	r2, r3
	movhi	r3, #1
	movls	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	sub	r2, fp, #32
	sub	r3, fp, #28
	cmp	r2, r3
	movcs	r3, #1
	movcc	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	nop
	ldr	r3, .L41
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L40
	bl	__stack_chk_fail
.L40:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L42:
	.align	2
.L41:
	.word	.LC8
	.size	mixed_region_types, .-mixed_region_types
	.section	.rodata
	.align	2
.LC9:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	symbolic_region
	.syntax unified
	.arm
	.fpu softvfp
	.type	symbolic_region, %function
symbolic_region:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	str	r0, [fp, #-16]
	ldr	r3, .L45
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	sub	r3, fp, #12
	ldr	r2, [fp, #-16]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	sub	r3, fp, #12
	ldr	r2, [fp, #-16]
	cmp	r2, r3
	movcc	r3, #1
	movcs	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	sub	r3, fp, #12
	ldr	r2, [fp, #-16]
	cmp	r2, r3
	movls	r3, #1
	movhi	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	nop
	ldr	r3, .L45
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L44
	bl	__stack_chk_fail
.L44:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L46:
	.align	2
.L45:
	.word	.LC9
	.size	symbolic_region, .-symbolic_region
	.align	2
	.global	PR7527
	.syntax unified
	.arm
	.fpu softvfp
	.type	PR7527, %function
PR7527:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	@ link register save eliminated.
	str	fp, [sp, #-4]!
	add	fp, sp, #0
	sub	sp, sp, #12
	str	r0, [fp, #-8]
	ldr	r3, [fp, #-8]
	and	r3, r3, #1
	cmp	r3, #0
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	PR7527, .-PR7527
	.align	2
	.global	use_symbols
	.syntax unified
	.arm
	.fpu softvfp
	.type	use_symbols, %function
use_symbols:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movcc	r3, #1
	movcs	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	bcc	.L53
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movcc	r3, #1
	movcs	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	sub	r3, r2, r3
	asr	r3, r3, #2
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	sub	r3, r2, r3
	cmp	r3, #20
	bne	.L54
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	sub	r3, r2, r3
	cmp	r3, #20
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L49
.L53:
	nop
	b	.L49
.L54:
	nop
.L49:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	use_symbols, .-use_symbols
	.align	2
	.global	equal_implies_zero
	.syntax unified
	.arm
	.fpu softvfp
	.type	equal_implies_zero, %function
equal_implies_zero:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	bne	.L56
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L55
.L56:
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
.L55:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	equal_implies_zero, .-equal_implies_zero
	.align	2
	.global	zero_implies_equal
	.syntax unified
	.arm
	.fpu softvfp
	.type	zero_implies_equal, %function
zero_implies_equal:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	bne	.L59
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L58
.L59:
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
.L58:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	zero_implies_equal, .-zero_implies_equal
	.align	2
	.global	comparisons_imply_size
	.syntax unified
	.arm
	.fpu softvfp
	.type	comparisons_imply_size, %function
comparisons_imply_size:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movls	r3, #1
	movhi	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	bls	.L62
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L61
.L62:
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movls	r3, #1
	movhi	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	sub	r3, r2, r3
	mvn	r3, r3
	lsr	r3, r3, #31
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	sub	r3, r2, r3
	cmp	r3, #0
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	bcc	.L64
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L61
.L64:
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movcc	r3, #1
	movcs	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	sub	r3, r2, r3
	cmp	r3, #0
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
.L61:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	comparisons_imply_size, .-comparisons_imply_size
	.align	2
	.global	size_implies_comparison
	.syntax unified
	.arm
	.fpu softvfp
	.type	size_implies_comparison, %function
size_implies_comparison:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movls	r3, #1
	movhi	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	sub	r3, r2, r3
	cmp	r3, #0
	bge	.L66
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L65
.L66:
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movls	r3, #1
	movhi	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	sub	r3, r2, r3
	mvn	r3, r3
	lsr	r3, r3, #31
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	sub	r3, r2, r3
	cmp	r3, #0
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	sub	r3, r2, r3
	cmp	r3, #0
	bgt	.L68
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L65
.L68:
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	movcc	r3, #1
	movcs	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	sub	r3, r2, r3
	cmp	r3, #0
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
.L65:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	size_implies_comparison, .-size_implies_comparison
	.align	2
	.global	zero_implies_reversed_equal
	.syntax unified
	.arm
	.fpu softvfp
	.type	zero_implies_reversed_equal, %function
zero_implies_reversed_equal:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	bne	.L70
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L69
.L70:
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	movne	r3, #1
	moveq	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
.L69:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	zero_implies_reversed_equal, .-zero_implies_reversed_equal
	.align	2
	.global	canonical_equal
	.syntax unified
	.arm
	.fpu softvfp
	.type	canonical_equal, %function
canonical_equal:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	str	r0, [fp, #-8]
	str	r1, [fp, #-12]
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	bne	.L73
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L72
.L73:
	ldr	r2, [fp, #-8]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-8]
	cmp	r2, r3
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
.L72:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	canonical_equal, .-canonical_equal
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
