	.file	"47093.c"
	.intel_syntax noprefix
	.text
	.globl	PR16833
	.type	PR16833, @function
PR16833:
.LFB0:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	mov	DWORD PTR -4[rbp], edi
	mov	eax, DWORD PTR -4[rbp]
	sub	eax, 134217728
	cmp	eax, 67108864
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE0:
	.size	PR16833, .-PR16833
	.globl	testAdjustment
	.type	testAdjustment, @function
testAdjustment:
.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	DWORD PTR -4[rbp], edi
	mov	eax, DWORD PTR -4[rbp]
	add	eax, 1
	cmp	eax, 2
	je	.L4
	cmp	eax, 2
	jl	.L5
	sub	eax, 3
	cmp	eax, 7
	ja	.L5
	jmp	.L8
.L4:
	cmp	DWORD PTR -4[rbp], 1
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L7
.L8:
	cmp	DWORD PTR -4[rbp], 1
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	cmp	DWORD PTR -4[rbp], 9
	setle	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	cmp	DWORD PTR -4[rbp], 2
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	cmp	DWORD PTR -4[rbp], 2
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	cmp	DWORD PTR -4[rbp], 9
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L7
.L5:
	call	clang_analyzer_warnIfReached@PLT
	nop
.L7:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE1:
	.size	testAdjustment, .-testAdjustment
	.globl	testUnknownVal
	.type	testUnknownVal, @function
testUnknownVal:
.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, 16
	mov	DWORD PTR -4[rbp], edi
	mov	DWORD PTR -8[rbp], esi
	mov	eax, DWORD PTR -4[rbp]
	and	eax, DWORD PTR -8[rbp]
	cmp	eax, 1
	je	.L10
	test	eax, eax
	jle	.L11
	sub	eax, 3
	cmp	eax, 7
	ja	.L11
	jmp	.L14
.L10:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L13
.L14:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L13
.L11:
	call	clang_analyzer_warnIfReached@PLT
	nop
.L13:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE2:
	.size	testUnknownVal, .-testUnknownVal
	.globl	testSwitchCond
	.type	testSwitchCond, @function
testSwitchCond:
.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	DWORD PTR -4[rbp], edi
	cmp	DWORD PTR -4[rbp], 10
	jle	.L26
	cmp	DWORD PTR -4[rbp], 10
	jle	.L17
	mov	eax, DWORD PTR -4[rbp]
	sub	eax, 11
	cmp	eax, 9
	ja	.L18
	jmp	.L24
.L17:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L20
.L24:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L20
.L18:
	call	clang_analyzer_warnIfReached@PLT
.L20:
	cmp	DWORD PTR -4[rbp], 9
	jle	.L21
	mov	eax, DWORD PTR -4[rbp]
	sub	eax, 10
	cmp	eax, 10
	ja	.L22
	jmp	.L25
.L21:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L16
.L25:
	call	clang_analyzer_warnIfReached@PLT
	cmp	DWORD PTR -4[rbp], 10
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L16
.L22:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L27
.L26:
	nop
.L16:
.L27:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE3:
	.size	testSwitchCond, .-testSwitchCond
	.globl	testDefaultUnreachable
	.type	testDefaultUnreachable, @function
testDefaultUnreachable:
.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, 16
	mov	DWORD PTR -4[rbp], edi
	cmp	DWORD PTR -4[rbp], 10
	jle	.L34
	cmp	DWORD PTR -4[rbp], 9
	jle	.L30
	mov	eax, DWORD PTR -4[rbp]
	sub	eax, 10
	cmp	eax, 2147483637
	ja	.L31
	jmp	.L33
.L30:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L29
.L33:
	call	clang_analyzer_warnIfReached@PLT
	cmp	DWORD PTR -4[rbp], 10
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L29
.L31:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L35
.L34:
	nop
.L29:
.L35:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE4:
	.size	testDefaultUnreachable, .-testDefaultUnreachable
	.globl	testBranchReachability
	.type	testBranchReachability, @function
testBranchReachability:
.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, 16
	mov	DWORD PTR -4[rbp], edi
	cmp	DWORD PTR -4[rbp], 10
	jle	.L50
	cmp	DWORD PTR -4[rbp], 19
	jg	.L50
	cmp	DWORD PTR -4[rbp], 26
	jge	.L38
	cmp	DWORD PTR -4[rbp], 25
	jg	.L39
	cmp	DWORD PTR -4[rbp], 17
	jge	.L40
	cmp	DWORD PTR -4[rbp], 16
	je	.L41
	cmp	DWORD PTR -4[rbp], 16
	jg	.L39
	cmp	DWORD PTR -4[rbp], 15
	jg	.L39
	cmp	DWORD PTR -4[rbp], 10
	jge	.L42
	cmp	DWORD PTR -4[rbp], 4
	jle	.L43
	mov	eax, DWORD PTR -4[rbp]
	sub	eax, 5
	cmp	eax, 4
	ja	.L39
	jmp	.L49
.L43:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L37
.L49:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L37
.L42:
	call	clang_analyzer_warnIfReached@PLT
	cmp	DWORD PTR -4[rbp], 10
	jle	.L45
	cmp	DWORD PTR -4[rbp], 15
	jg	.L45
	mov	eax, 1
	jmp	.L46
.L45:
	mov	eax, 0
.L46:
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L37
.L39:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L37
.L40:
	call	clang_analyzer_warnIfReached@PLT
	cmp	DWORD PTR -4[rbp], 16
	jle	.L47
	cmp	DWORD PTR -4[rbp], 19
	jg	.L47
	mov	eax, 1
	jmp	.L48
.L47:
	mov	eax, 0
.L48:
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L37
.L38:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L37
.L41:
	call	clang_analyzer_warnIfReached@PLT
	cmp	DWORD PTR -4[rbp], 16
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L37
.L50:
	nop
.L37:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE5:
	.size	testBranchReachability, .-testBranchReachability
	.globl	testDefaultBranchRange
	.type	testDefaultBranchRange, @function
testDefaultBranchRange:
.LFB6:
	.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	DWORD PTR -4[rbp], edi
	cmp	DWORD PTR -4[rbp], 20
	jge	.L52
	cmp	DWORD PTR -4[rbp], 9
	jle	.L53
	cmp	DWORD PTR -4[rbp], 16
	je	.L54
	jmp	.L57
.L53:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L56
.L52:
	call	clang_analyzer_warnIfReached@PLT
	cmp	DWORD PTR -4[rbp], 19
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	jmp	.L56
.L57:
	call	clang_analyzer_warnIfReached@PLT
	cmp	DWORD PTR -4[rbp], 16
	sete	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	cmp	DWORD PTR -4[rbp], 9
	setg	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
	cmp	DWORD PTR -4[rbp], 20
	setle	al
	movzx	eax, al
	mov	edi, eax
	call	clang_analyzer_eval@PLT
.L54:
	call	clang_analyzer_warnIfReached@PLT
	nop
.L56:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	testDefaultBranchRange, .-testDefaultBranchRange
	.globl	testAllUnreachableButDefault
	.type	testAllUnreachableButDefault, @function
testAllUnreachableButDefault:
.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	DWORD PTR -4[rbp], edi
	cmp	DWORD PTR -4[rbp], 0
	jns	.L66
	cmp	DWORD PTR -4[rbp], 20
	jge	.L60
	cmp	DWORD PTR -4[rbp], 9
	jg	.L61
	cmp	DWORD PTR -4[rbp], 0
	jns	.L62
	jmp	.L63
.L61:
	cmp	DWORD PTR -4[rbp], 16
	je	.L64
	jmp	.L63
.L62:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L65
.L60:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L65
.L63:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L65
.L64:
	call	clang_analyzer_warnIfReached@PLT
.L65:
	call	clang_analyzer_warnIfReached@PLT
.L66:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	testAllUnreachableButDefault, .-testAllUnreachableButDefault
	.globl	testAllUnreachable
	.type	testAllUnreachable, @function
testAllUnreachable:
.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, 16
	mov	DWORD PTR -4[rbp], edi
	cmp	DWORD PTR -4[rbp], 0
	jns	.L74
	cmp	DWORD PTR -4[rbp], 20
	jge	.L69
	cmp	DWORD PTR -4[rbp], 9
	jg	.L70
	cmp	DWORD PTR -4[rbp], 0
	jns	.L71
	jmp	.L72
.L70:
	cmp	DWORD PTR -4[rbp], 16
	je	.L73
	jmp	.L72
.L71:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L72
.L69:
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L72
.L73:
	call	clang_analyzer_warnIfReached@PLT
.L72:
	call	clang_analyzer_warnIfReached@PLT
.L74:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	testAllUnreachable, .-testAllUnreachable
	.globl	testDifferentTypes
	.type	testDifferentTypes, @function
testDifferentTypes:
.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, 16
	mov	DWORD PTR -4[rbp], edi
	mov	eax, DWORD PTR -4[rbp]
	add	eax, 1
	cmp	eax, 400000001
	ja	.L76
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L77
.L76:
	call	clang_analyzer_warnIfReached@PLT
	nop
.L77:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	testDifferentTypes, .-testDifferentTypes
	.globl	testDifferentTypes2
	.type	testDifferentTypes2, @function
testDifferentTypes2:
.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, 16
	mov	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, 1
	cmp	rax, 399999999
	ja	.L79
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L80
.L79:
	call	clang_analyzer_warnIfReached@PLT
	nop
.L80:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	testDifferentTypes2, .-testDifferentTypes2
	.globl	testDifferentTypes3
	.type	testDifferentTypes3, @function
testDifferentTypes3:
.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, 16
	mov	DWORD PTR -4[rbp], edi
	mov	eax, DWORD PTR -4[rbp]
	sub	eax, 1
	cmp	eax, 399999999
	ja	.L82
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L83
.L82:
	call	clang_analyzer_warnIfReached@PLT
	nop
.L83:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	testDifferentTypes3, .-testDifferentTypes3
	.globl	testConstant
	.type	testConstant, @function
testConstant:
.LFB12:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	call	clang_analyzer_warnIfReached@PLT
	nop
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	testConstant, .-testConstant
	.globl	testExhaustiveSwitch
	.type	testExhaustiveSwitch, @function
testExhaustiveSwitch:
.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, 16
	mov	DWORD PTR -4[rbp], edi
	mov	eax, DWORD PTR -4[rbp]
	and	eax, 5
	cmp	eax, 5
	ja	.L86
	call	clang_analyzer_warnIfReached@PLT
	jmp	.L87
.L86:
	call	clang_analyzer_warnIfReached@PLT
	nop
.L87:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	testExhaustiveSwitch, .-testExhaustiveSwitch
	.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	"47093.c"
	.text
	.align	2
	.global	PR16833
	.syntax unified
	.arm
	.fpu softvfp
	.type	PR16833, %function
PR16833:
	@ 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]
	add	r3, r3, #-134217728
	cmp	r3, #67108864
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	PR16833, .-PR16833
	.align	2
	.global	testAdjustment
	.syntax unified
	.arm
	.fpu softvfp
	.type	testAdjustment, %function
testAdjustment:
	@ 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]
	ldr	r3, [fp, #-8]
	add	r3, r3, #1
	cmp	r3, #2
	beq	.L4
	cmp	r3, #2
	blt	.L5
	sub	r3, r3, #3
	cmp	r3, #7
	bhi	.L5
	b	.L8
.L4:
	ldr	r3, [fp, #-8]
	cmp	r3, #1
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L7
.L8:
	ldr	r3, [fp, #-8]
	cmp	r3, #1
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #9
	movle	r3, #1
	movgt	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #2
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #2
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #9
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L7
.L5:
	bl	clang_analyzer_warnIfReached
	nop
.L7:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	testAdjustment, .-testAdjustment
	.align	2
	.global	testUnknownVal
	.syntax unified
	.arm
	.fpu softvfp
	.type	testUnknownVal, %function
testUnknownVal:
	@ 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]
	and	r3, r3, r2
	cmp	r3, #1
	beq	.L10
	cmp	r3, #0
	ble	.L11
	sub	r3, r3, #3
	cmp	r3, #7
	bhi	.L11
	b	.L14
.L10:
	bl	clang_analyzer_warnIfReached
	b	.L13
.L14:
	bl	clang_analyzer_warnIfReached
	b	.L13
.L11:
	bl	clang_analyzer_warnIfReached
	nop
.L13:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	testUnknownVal, .-testUnknownVal
	.align	2
	.global	testSwitchCond
	.syntax unified
	.arm
	.fpu softvfp
	.type	testSwitchCond, %function
testSwitchCond:
	@ 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]
	ldr	r3, [fp, #-8]
	cmp	r3, #10
	ble	.L26
	ldr	r3, [fp, #-8]
	cmp	r3, #10
	ble	.L17
	ldr	r3, [fp, #-8]
	sub	r3, r3, #11
	cmp	r3, #9
	bhi	.L18
	b	.L24
.L17:
	bl	clang_analyzer_warnIfReached
	b	.L20
.L24:
	bl	clang_analyzer_warnIfReached
	b	.L20
.L18:
	bl	clang_analyzer_warnIfReached
.L20:
	ldr	r3, [fp, #-8]
	cmp	r3, #9
	ble	.L21
	ldr	r3, [fp, #-8]
	sub	r3, r3, #10
	cmp	r3, #10
	bhi	.L22
	b	.L25
.L21:
	bl	clang_analyzer_warnIfReached
	b	.L16
.L25:
	bl	clang_analyzer_warnIfReached
	ldr	r3, [fp, #-8]
	cmp	r3, #10
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L16
.L22:
	bl	clang_analyzer_warnIfReached
	b	.L27
.L26:
	nop
.L16:
.L27:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	testSwitchCond, .-testSwitchCond
	.align	2
	.global	testDefaultUnreachable
	.syntax unified
	.arm
	.fpu softvfp
	.type	testDefaultUnreachable, %function
testDefaultUnreachable:
	@ 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]
	ldr	r3, [fp, #-8]
	cmp	r3, #10
	ble	.L34
	ldr	r3, [fp, #-8]
	cmp	r3, #9
	ble	.L30
	ldr	r3, [fp, #-8]
	sub	r3, r3, #10
	cmn	r3, #-2147483637
	bhi	.L31
	b	.L33
.L30:
	bl	clang_analyzer_warnIfReached
	b	.L29
.L33:
	bl	clang_analyzer_warnIfReached
	ldr	r3, [fp, #-8]
	cmp	r3, #10
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L29
.L31:
	bl	clang_analyzer_warnIfReached
	b	.L35
.L34:
	nop
.L29:
.L35:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	testDefaultUnreachable, .-testDefaultUnreachable
	.align	2
	.global	testBranchReachability
	.syntax unified
	.arm
	.fpu softvfp
	.type	testBranchReachability, %function
testBranchReachability:
	@ 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]
	ldr	r3, [fp, #-8]
	cmp	r3, #10
	ble	.L53
	ldr	r3, [fp, #-8]
	cmp	r3, #19
	bgt	.L53
	ldr	r3, [fp, #-8]
	cmp	r3, #26
	bge	.L38
	ldr	r3, [fp, #-8]
	cmp	r3, #4
	bgt	.L39
	b	.L52
.L47:
	ldr	r3, [fp, #-8]
	sub	r3, r3, #5
	cmp	r3, #20
	ldrls	pc, [pc, r3, asl #2]
	b	.L41
.L43:
	.word	.L46
	.word	.L46
	.word	.L46
	.word	.L46
	.word	.L46
	.word	.L45
	.word	.L45
	.word	.L45
	.word	.L45
	.word	.L45
	.word	.L45
	.word	.L44
	.word	.L42
	.word	.L42
	.word	.L42
	.word	.L42
	.word	.L42
	.word	.L42
	.word	.L42
	.word	.L42
	.word	.L42
.L39:
	ldr	r3, [fp, #-8]
	cmp	r3, #25
	bgt	.L41
	ldr	r3, [fp, #-8]
	cmp	r3, #5
	bge	.L47
	b	.L41
.L52:
	bl	clang_analyzer_warnIfReached
	b	.L37
.L46:
	bl	clang_analyzer_warnIfReached
	b	.L37
.L45:
	bl	clang_analyzer_warnIfReached
	ldr	r3, [fp, #-8]
	cmp	r3, #10
	ble	.L48
	ldr	r3, [fp, #-8]
	cmp	r3, #15
	bgt	.L48
	mov	r3, #1
	b	.L49
.L48:
	mov	r3, #0
.L49:
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L37
.L41:
	bl	clang_analyzer_warnIfReached
	b	.L37
.L42:
	bl	clang_analyzer_warnIfReached
	ldr	r3, [fp, #-8]
	cmp	r3, #16
	ble	.L50
	ldr	r3, [fp, #-8]
	cmp	r3, #19
	bgt	.L50
	mov	r3, #1
	b	.L51
.L50:
	mov	r3, #0
.L51:
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L37
.L38:
	bl	clang_analyzer_warnIfReached
	b	.L37
.L44:
	bl	clang_analyzer_warnIfReached
	ldr	r3, [fp, #-8]
	cmp	r3, #16
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L37
.L53:
	nop
.L37:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	testBranchReachability, .-testBranchReachability
	.align	2
	.global	testDefaultBranchRange
	.syntax unified
	.arm
	.fpu softvfp
	.type	testDefaultBranchRange, %function
testDefaultBranchRange:
	@ 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]
	ldr	r3, [fp, #-8]
	cmp	r3, #20
	bge	.L55
	ldr	r3, [fp, #-8]
	cmp	r3, #9
	ble	.L56
	ldr	r3, [fp, #-8]
	cmp	r3, #16
	beq	.L57
	b	.L60
.L56:
	bl	clang_analyzer_warnIfReached
	b	.L59
.L55:
	bl	clang_analyzer_warnIfReached
	ldr	r3, [fp, #-8]
	cmp	r3, #19
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	b	.L59
.L60:
	bl	clang_analyzer_warnIfReached
	ldr	r3, [fp, #-8]
	cmp	r3, #16
	moveq	r3, #1
	movne	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #9
	movgt	r3, #1
	movle	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
	ldr	r3, [fp, #-8]
	cmp	r3, #20
	movle	r3, #1
	movgt	r3, #0
	and	r3, r3, #255
	mov	r0, r3
	bl	clang_analyzer_eval
.L57:
	bl	clang_analyzer_warnIfReached
	nop
.L59:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	testDefaultBranchRange, .-testDefaultBranchRange
	.align	2
	.global	testAllUnreachableButDefault
	.syntax unified
	.arm
	.fpu softvfp
	.type	testAllUnreachableButDefault, %function
testAllUnreachableButDefault:
	@ 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]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bge	.L69
	ldr	r3, [fp, #-8]
	cmp	r3, #20
	bge	.L63
	ldr	r3, [fp, #-8]
	cmp	r3, #9
	bgt	.L64
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bge	.L65
	b	.L66
.L64:
	ldr	r3, [fp, #-8]
	cmp	r3, #16
	beq	.L67
	b	.L66
.L65:
	bl	clang_analyzer_warnIfReached
	b	.L68
.L63:
	bl	clang_analyzer_warnIfReached
	b	.L68
.L66:
	bl	clang_analyzer_warnIfReached
	b	.L68
.L67:
	bl	clang_analyzer_warnIfReached
.L68:
	bl	clang_analyzer_warnIfReached
.L69:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	testAllUnreachableButDefault, .-testAllUnreachableButDefault
	.align	2
	.global	testAllUnreachable
	.syntax unified
	.arm
	.fpu softvfp
	.type	testAllUnreachable, %function
testAllUnreachable:
	@ 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]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bge	.L77
	ldr	r3, [fp, #-8]
	cmp	r3, #20
	bge	.L72
	ldr	r3, [fp, #-8]
	cmp	r3, #9
	bgt	.L73
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bge	.L74
	b	.L75
.L73:
	ldr	r3, [fp, #-8]
	cmp	r3, #16
	beq	.L76
	b	.L75
.L74:
	bl	clang_analyzer_warnIfReached
	b	.L75
.L72:
	bl	clang_analyzer_warnIfReached
	b	.L75
.L76:
	bl	clang_analyzer_warnIfReached
.L75:
	bl	clang_analyzer_warnIfReached
.L77:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	testAllUnreachable, .-testAllUnreachable
	.align	2
	.global	testDifferentTypes
	.syntax unified
	.arm
	.fpu softvfp
	.type	testDifferentTypes, %function
testDifferentTypes:
	@ 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]
	ldr	r3, [fp, #-8]
	add	r3, r3, #1
	ldr	r2, .L81
	cmp	r3, r2
	bhi	.L79
	bl	clang_analyzer_warnIfReached
	b	.L80
.L79:
	bl	clang_analyzer_warnIfReached
	nop
.L80:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L82:
	.align	2
.L81:
	.word	400000001
	.size	testDifferentTypes, .-testDifferentTypes
	.align	2
	.global	testDifferentTypes2
	.syntax unified
	.arm
	.fpu softvfp
	.type	testDifferentTypes2, %function
testDifferentTypes2:
	@ 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]
	ldr	r3, [fp, #-8]
	sub	r3, r3, #1
	ldr	r2, .L86
	cmp	r3, r2
	bhi	.L84
	bl	clang_analyzer_warnIfReached
	b	.L85
.L84:
	bl	clang_analyzer_warnIfReached
	nop
.L85:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L87:
	.align	2
.L86:
	.word	399999999
	.size	testDifferentTypes2, .-testDifferentTypes2
	.align	2
	.global	testDifferentTypes3
	.syntax unified
	.arm
	.fpu softvfp
	.type	testDifferentTypes3, %function
testDifferentTypes3:
	@ 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]
	ldr	r3, [fp, #-8]
	sub	r3, r3, #1
	ldr	r2, .L91
	cmp	r3, r2
	bhi	.L89
	bl	clang_analyzer_warnIfReached
	b	.L90
.L89:
	bl	clang_analyzer_warnIfReached
	nop
.L90:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L92:
	.align	2
.L91:
	.word	399999999
	.size	testDifferentTypes3, .-testDifferentTypes3
	.align	2
	.global	testConstant
	.syntax unified
	.arm
	.fpu softvfp
	.type	testConstant, %function
testConstant:
	@ args = 0, pretend = 0, frame = 0
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	bl	clang_analyzer_warnIfReached
	nop
	nop
	pop	{fp, pc}
	.size	testConstant, .-testConstant
	.align	2
	.global	testExhaustiveSwitch
	.syntax unified
	.arm
	.fpu softvfp
	.type	testExhaustiveSwitch, %function
testExhaustiveSwitch:
	@ 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]
	ldr	r3, [fp, #-8]
	and	r3, r3, #5
	cmp	r3, #5
	bhi	.L95
	bl	clang_analyzer_warnIfReached
	b	.L96
.L95:
	bl	clang_analyzer_warnIfReached
	nop
.L96:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	testExhaustiveSwitch, .-testExhaustiveSwitch
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
