	.file	"15533.c"
	.intel_syntax noprefix
	.text
	.globl	malloc_no_check_bad
	.type	malloc_no_check_bad, @function
malloc_no_check_bad:
.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	edi, 4
	call	malloc@PLT
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 42
	mov	rax, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE6:
	.size	malloc_no_check_bad, .-malloc_no_check_bad
	.section	.rodata
.LC0:
	.string	"the_stack_data/15533.c"
.LC1:
	.string	"p"
	.text
	.globl	malloc_assert_ok
	.type	malloc_assert_ok, @function
malloc_assert_ok:
.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	edi, 4
	call	malloc@PLT
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -8[rbp], 0
	jne	.L4
	lea	rcx, __PRETTY_FUNCTION__.0[rip]
	mov	edx, 20
	lea	rsi, .LC0[rip]
	lea	rdi, .LC1[rip]
	call	__assert_fail@PLT
.L4:
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 42
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	free@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE7:
	.size	malloc_assert_ok, .-malloc_assert_ok
	.globl	create_null_path_ok
	.type	create_null_path_ok, @function
create_null_path_ok:
.LFB8:
	.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
	cmp	QWORD PTR -8[rbp], 0
	je	.L7
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 32
.L7:
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE8:
	.size	create_null_path_ok, .-create_null_path_ok
	.globl	call_create_null_path_then_deref_unconditionally_ok
	.type	call_create_null_path_then_deref_unconditionally_ok, @function
call_create_null_path_then_deref_unconditionally_ok:
.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, 8
	mov	QWORD PTR -8[rbp], rdi
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	create_null_path_ok
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 52
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE9:
	.size	call_create_null_path_then_deref_unconditionally_ok, .-call_create_null_path_then_deref_unconditionally_ok
	.globl	create_null_path2_latent_FN
	.type	create_null_path2_latent_FN, @function
create_null_path2_latent_FN:
.LFB10:
	.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 -8[rbp], 0
	cmp	QWORD PTR -24[rbp], 0
	je	.L10
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 32
.L10:
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 52
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE10:
	.size	create_null_path2_latent_FN, .-create_null_path2_latent_FN
	.globl	malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN
	.type	malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN, @function
malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN:
.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	QWORD PTR -24[rbp], rdi
	mov	edi, 4
	call	malloc@PLT
	mov	QWORD PTR -8[rbp], rax
	cmp	QWORD PTR -24[rbp], 0
	je	.L12
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 32
.L12:
	mov	rax, QWORD PTR -24[rbp]
	mov	rdi, rax
	call	create_null_path_ok
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 52
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	free@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE11:
	.size	malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN, .-malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN
	.globl	nullptr_deref_young_bad
	.type	nullptr_deref_young_bad, @function
nullptr_deref_young_bad:
.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, 560
	mov	QWORD PTR -552[rbp], rdi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -528[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -520[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -512[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -504[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -496[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -488[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -480[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -472[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -464[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -456[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -448[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -440[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -432[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -424[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -416[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -408[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -400[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -392[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -384[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -376[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -368[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -360[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -352[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -344[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -336[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -328[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -320[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -312[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -304[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -296[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -288[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -280[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -272[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -264[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -256[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -248[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -240[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -232[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -224[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -216[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -208[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -200[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -192[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -184[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -176[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -168[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -160[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -152[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -144[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -136[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -128[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -120[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -112[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -104[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -96[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -88[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -80[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -72[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -64[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -56[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -48[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -40[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -24[rbp], rax
	mov	QWORD PTR -16[rbp], 0
	mov	rax, QWORD PTR -16[rbp]
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -532[rbp], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L14
	call	__stack_chk_fail@PLT
.L14:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE12:
	.size	nullptr_deref_young_bad, .-nullptr_deref_young_bad
	.globl	FN_nullptr_deref_old_bad
	.type	FN_nullptr_deref_old_bad, @function
FN_nullptr_deref_old_bad:
.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, 560
	mov	QWORD PTR -552[rbp], rdi
	mov	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	QWORD PTR -528[rbp], 0
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -520[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -512[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -504[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -496[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -488[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -480[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -472[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -464[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -456[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -448[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -440[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -432[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -424[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -416[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -408[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -400[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -392[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -384[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -376[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -368[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -360[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -352[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -344[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -336[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -328[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -320[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -312[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -304[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -296[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -288[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -280[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -272[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -264[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -256[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -248[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -240[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -232[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -224[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -216[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -208[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -200[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -192[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -184[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -176[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -168[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -160[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -152[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -144[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -136[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -128[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -120[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -112[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -104[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -96[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -88[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -80[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -72[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -64[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -56[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -48[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -40[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -32[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -24[rbp], rax
	mov	rax, QWORD PTR -552[rbp]
	mov	QWORD PTR -16[rbp], rax
	mov	rax, QWORD PTR -528[rbp]
	mov	eax, DWORD PTR [rax]
	mov	DWORD PTR -532[rbp], eax
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L16
	call	__stack_chk_fail@PLT
.L16:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE13:
	.size	FN_nullptr_deref_old_bad, .-FN_nullptr_deref_old_bad
	.globl	malloc_free_ok
	.type	malloc_free_ok, @function
malloc_free_ok:
.LFB14:
	.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	edi, 4
	call	malloc@PLT
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	free@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE14:
	.size	malloc_free_ok, .-malloc_free_ok
	.globl	wrap_free
	.type	wrap_free, @function
wrap_free:
.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	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	free@PLT
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE15:
	.size	wrap_free, .-wrap_free
	.globl	interproc_free_ok
	.type	interproc_free_ok, @function
interproc_free_ok:
.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	edi, 4
	call	malloc@PLT
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -8[rbp]
	mov	rdi, rax
	call	wrap_free
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE16:
	.size	interproc_free_ok, .-interproc_free_ok
	.globl	wrap_malloc
	.type	wrap_malloc, @function
wrap_malloc:
.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	edi, 4
	call	malloc@PLT
	mov	rdx, rax
	mov	rax, QWORD PTR -8[rbp]
	mov	QWORD PTR [rax], rdx
	mov	rax, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR [rax]
	test	rax, rax
	jne	.L22
	mov	eax, 0
	call	no_return@PLT
.L22:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE17:
	.size	wrap_malloc, .-wrap_malloc
	.globl	call_no_return_good
	.type	call_no_return_good, @function
call_no_return_good:
.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	rax, QWORD PTR fs:40
	mov	QWORD PTR -8[rbp], rax
	xor	eax, eax
	mov	QWORD PTR -16[rbp], 0
	lea	rax, -16[rbp]
	mov	rdi, rax
	call	wrap_malloc
	mov	rax, QWORD PTR -16[rbp]
	mov	DWORD PTR [rax], 5
	mov	rax, QWORD PTR -16[rbp]
	mov	rdi, rax
	call	free@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
.LFE18:
	.size	call_no_return_good, .-call_no_return_good
	.globl	bug_after_malloc_result_test_bad
	.type	bug_after_malloc_result_test_bad, @function
bug_after_malloc_result_test_bad:
.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, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	edi, 4
	call	malloc@PLT
	mov	QWORD PTR -24[rbp], rax
	cmp	QWORD PTR -24[rbp], 0
	je	.L27
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 42
.L27:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE19:
	.size	bug_after_malloc_result_test_bad, .-bug_after_malloc_result_test_bad
	.globl	bug_after_abduction_bad
	.type	bug_after_abduction_bad, @function
bug_after_abduction_bad:
.LFB20:
	.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	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 42
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 42
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE20:
	.size	bug_after_abduction_bad, .-bug_after_abduction_bad
	.globl	bug_with_allocation_bad
	.type	bug_with_allocation_bad, @function
bug_with_allocation_bad:
.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, 32
	mov	QWORD PTR -24[rbp], rdi
	mov	edi, 4
	call	malloc@PLT
	mov	QWORD PTR -24[rbp], rax
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 42
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE21:
	.size	bug_with_allocation_bad, .-bug_with_allocation_bad
	.globl	null_alias_bad
	.type	null_alias_bad, @function
null_alias_bad:
.LFB22:
	.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	QWORD PTR -8[rbp], 0
	mov	edi, 8
	call	malloc@PLT
	mov	QWORD PTR -24[rbp], rax
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 42
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE22:
	.size	null_alias_bad, .-null_alias_bad
	.globl	dereference
	.type	dereference, @function
dereference:
.LFB23:
	.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
	nop
	pop	rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE23:
	.size	dereference, .-dereference
	.globl	several_dereferences_ok
	.type	several_dereferences_ok, @function
several_dereferences_ok:
.LFB24:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	sub	rsp, 40
	mov	QWORD PTR -24[rbp], rdi
	mov	QWORD PTR -32[rbp], rsi
	mov	QWORD PTR -40[rbp], rdx
	mov	rax, QWORD PTR -24[rbp]
	mov	QWORD PTR -8[rbp], rax
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], 52
	mov	rax, QWORD PTR -32[rbp]
	mov	rdi, rax
	call	dereference
	mov	rax, QWORD PTR -32[rbp]
	mov	DWORD PTR [rax], 42
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 32
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 777
	mov	rax, QWORD PTR -32[rbp]
	mov	DWORD PTR [rax], 888
	mov	rax, QWORD PTR -40[rbp]
	mov	DWORD PTR [rax], 999
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE24:
	.size	several_dereferences_ok, .-several_dereferences_ok
	.globl	report_correct_error_among_multiple_bad
	.type	report_correct_error_among_multiple_bad, @function
report_correct_error_among_multiple_bad:
.LFB25:
	.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], 0
	mov	rdx, QWORD PTR -8[rbp]
	mov	rcx, QWORD PTR -8[rbp]
	mov	rax, QWORD PTR -8[rbp]
	mov	rsi, rcx
	mov	rdi, rax
	call	several_dereferences_ok
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE25:
	.size	report_correct_error_among_multiple_bad, .-report_correct_error_among_multiple_bad
	.globl	unknown_is_functional_ok
	.type	unknown_is_functional_ok, @function
unknown_is_functional_ok:
.LFB26:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 24
	.cfi_offset 3, -24
	mov	QWORD PTR -24[rbp], 0
	mov	edi, 10
	call	unknown@PLT
	mov	ebx, eax
	mov	edi, 10
	call	unknown@PLT
	cmp	ebx, eax
	je	.L36
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 42
.L36:
	nop
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE26:
	.size	unknown_is_functional_ok, .-unknown_is_functional_ok
	.globl	unknown_with_different_values_bad
	.type	unknown_with_different_values_bad, @function
unknown_with_different_values_bad:
.LFB27:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 24
	.cfi_offset 3, -24
	mov	QWORD PTR -24[rbp], 0
	mov	edi, 32
	call	unknown@PLT
	mov	ebx, eax
	mov	edi, 52
	call	unknown@PLT
	cmp	ebx, eax
	je	.L39
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 42
.L39:
	nop
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE27:
	.size	unknown_with_different_values_bad, .-unknown_with_different_values_bad
	.globl	unknown_from_parameters_latent
	.type	unknown_from_parameters_latent, @function
unknown_from_parameters_latent:
.LFB28:
	.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	DWORD PTR -20[rbp], edi
	mov	QWORD PTR -8[rbp], 0
	mov	eax, DWORD PTR -20[rbp]
	mov	edi, eax
	call	unknown@PLT
	cmp	eax, 999
	jne	.L42
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 42
.L42:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE28:
	.size	unknown_from_parameters_latent, .-unknown_from_parameters_latent
	.globl	random_non_functional_bad
	.type	random_non_functional_bad, @function
random_non_functional_bad:
.LFB29:
	.cfi_startproc
	endbr64
	push	rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	mov	rbp, rsp
	.cfi_def_cfa_register 6
	push	rbx
	sub	rsp, 24
	.cfi_offset 3, -24
	call	random@PLT
	mov	rbx, rax
	call	random@PLT
	cmp	rbx, rax
	je	.L45
	mov	QWORD PTR -24[rbp], 0
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 42
.L45:
	nop
	mov	rbx, QWORD PTR -8[rbp]
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE29:
	.size	random_non_functional_bad, .-random_non_functional_bad
	.globl	FNlatent_random_modelled_bad
	.type	FNlatent_random_modelled_bad, @function
FNlatent_random_modelled_bad:
.LFB30:
	.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	DWORD PTR -20[rbp], edi
	call	random@PLT
	mov	DWORD PTR -12[rbp], eax
	mov	eax, DWORD PTR -12[rbp]
	cmp	eax, DWORD PTR -20[rbp]
	jne	.L48
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 42
.L48:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE30:
	.size	FNlatent_random_modelled_bad, .-FNlatent_random_modelled_bad
	.globl	arithmetic_weakness_ok
	.type	arithmetic_weakness_ok, @function
arithmetic_weakness_ok:
.LFB31:
	.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
	call	random@PLT
	mov	DWORD PTR -16[rbp], eax
	call	random@PLT
	mov	DWORD PTR -12[rbp], eax
	mov	eax, DWORD PTR -16[rbp]
	cmp	eax, DWORD PTR -12[rbp]
	jge	.L51
	mov	eax, DWORD PTR -16[rbp]
	cmp	eax, DWORD PTR -12[rbp]
	jle	.L51
	mov	QWORD PTR -8[rbp], 0
	mov	rax, QWORD PTR -8[rbp]
	mov	DWORD PTR [rax], 42
.L51:
	nop
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE31:
	.size	arithmetic_weakness_ok, .-arithmetic_weakness_ok
	.globl	FNsuppressed_no_invalidation_compare_to_NULL_bad
	.type	FNsuppressed_no_invalidation_compare_to_NULL_bad, @function
FNsuppressed_no_invalidation_compare_to_NULL_bad:
.LFB32:
	.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	eax, 0
	call	unknown_int_pointer@PLT
	mov	QWORD PTR -16[rbp], rax
	lea	rax, -28[rbp]
	mov	QWORD PTR -24[rbp], rax
	cmp	QWORD PTR -16[rbp], 0
	jne	.L53
	mov	rax, QWORD PTR -16[rbp]
	mov	QWORD PTR -24[rbp], rax
.L53:
	mov	rax, QWORD PTR -24[rbp]
	mov	DWORD PTR [rax], 42
	nop
	mov	rax, QWORD PTR -8[rbp]
	sub	rax, QWORD PTR fs:40
	je	.L54
	call	__stack_chk_fail@PLT
.L54:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE32:
	.size	FNsuppressed_no_invalidation_compare_to_NULL_bad, .-FNsuppressed_no_invalidation_compare_to_NULL_bad
	.section	.rodata
	.align 16
	.type	__PRETTY_FUNCTION__.0, @object
	.size	__PRETTY_FUNCTION__.0, 17
__PRETTY_FUNCTION__.0:
	.string	"malloc_assert_ok"
	.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	"15533.c"
	.text
	.align	2
	.global	malloc_no_check_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	malloc_no_check_bad, %function
malloc_no_check_bad:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	mov	r0, #4
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	mov	r2, #42
	str	r2, [r3]
	ldr	r3, [fp, #-8]
	mov	r0, r3
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	malloc_no_check_bad, .-malloc_no_check_bad
	.section	.rodata
	.align	2
.LC0:
	.ascii	"the_stack_data/15533.c\000"
	.align	2
.LC1:
	.ascii	"p\000"
	.text
	.align	2
	.global	malloc_assert_ok
	.syntax unified
	.arm
	.fpu softvfp
	.type	malloc_assert_ok, %function
malloc_assert_ok:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	mov	r0, #4
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	cmp	r3, #0
	bne	.L4
	ldr	r3, .L5
	mov	r2, #20
	ldr	r1, .L5+4
	ldr	r0, .L5+8
	bl	__assert_fail
.L4:
	ldr	r3, [fp, #-8]
	mov	r2, #42
	str	r2, [r3]
	ldr	r0, [fp, #-8]
	bl	free
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L6:
	.align	2
.L5:
	.word	__PRETTY_FUNCTION__.4799
	.word	.LC0
	.word	.LC1
	.size	malloc_assert_ok, .-malloc_assert_ok
	.align	2
	.global	create_null_path_ok
	.syntax unified
	.arm
	.fpu softvfp
	.type	create_null_path_ok, %function
create_null_path_ok:
	@ 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]
	cmp	r3, #0
	beq	.L9
	ldr	r3, [fp, #-8]
	mov	r2, #32
	str	r2, [r3]
.L9:
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	create_null_path_ok, .-create_null_path_ok
	.align	2
	.global	call_create_null_path_then_deref_unconditionally_ok
	.syntax unified
	.arm
	.fpu softvfp
	.type	call_create_null_path_then_deref_unconditionally_ok, %function
call_create_null_path_then_deref_unconditionally_ok:
	@ 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	r0, [fp, #-8]
	bl	create_null_path_ok
	ldr	r3, [fp, #-8]
	mov	r2, #52
	str	r2, [r3]
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	call_create_null_path_then_deref_unconditionally_ok, .-call_create_null_path_then_deref_unconditionally_ok
	.align	2
	.global	create_null_path2_latent_FN
	.syntax unified
	.arm
	.fpu softvfp
	.type	create_null_path2_latent_FN, %function
create_null_path2_latent_FN:
	@ 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]
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L12
	ldr	r3, [fp, #-16]
	mov	r2, #32
	str	r2, [r3]
.L12:
	ldr	r3, [fp, #-16]
	mov	r2, #52
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	create_null_path2_latent_FN, .-create_null_path2_latent_FN
	.align	2
	.global	malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN
	.syntax unified
	.arm
	.fpu softvfp
	.type	malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN, %function
malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN:
	@ 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]
	mov	r0, #4
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L14
	ldr	r3, [fp, #-16]
	mov	r2, #32
	str	r2, [r3]
.L14:
	ldr	r0, [fp, #-16]
	bl	create_null_path_ok
	ldr	r3, [fp, #-16]
	mov	r2, #52
	str	r2, [r3]
	ldr	r0, [fp, #-8]
	bl	free
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN, .-malloc_then_call_create_null_path_then_deref_unconditionally_latent_FN
	.section	.rodata
	.align	2
.LC2:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	nullptr_deref_young_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	nullptr_deref_young_bad, %function
nullptr_deref_young_bad:
	@ args = 0, pretend = 0, frame = 280
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #280
	str	r0, [fp, #-280]
	ldr	r3, .L17
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-268]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-264]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-260]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-256]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-252]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-248]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-244]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-240]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-236]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-232]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-228]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-224]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-220]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-216]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-212]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-208]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-204]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-200]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-196]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-192]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-188]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-184]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-180]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-176]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-172]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-168]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-164]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-160]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-156]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-152]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-148]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-144]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-140]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-136]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-132]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-128]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-124]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-120]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-116]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-112]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-108]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-104]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-100]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-96]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-92]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-88]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-84]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-76]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-72]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-68]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-64]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-60]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-56]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-48]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-44]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-40]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-36]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-28]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-16]
	mov	r3, #0
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-12]
	ldr	r3, [r3]
	str	r3, [fp, #-272]
	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	nullptr_deref_young_bad, .-nullptr_deref_young_bad
	.section	.rodata
	.align	2
.LC3:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	FN_nullptr_deref_old_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	FN_nullptr_deref_old_bad, %function
FN_nullptr_deref_old_bad:
	@ args = 0, pretend = 0, frame = 280
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #280
	str	r0, [fp, #-280]
	ldr	r3, .L21
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-268]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-264]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-260]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-256]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-252]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-248]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-244]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-240]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-236]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-232]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-228]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-224]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-220]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-216]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-212]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-208]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-204]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-200]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-196]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-192]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-188]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-184]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-180]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-176]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-172]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-168]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-164]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-160]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-156]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-152]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-148]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-144]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-140]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-136]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-132]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-128]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-124]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-120]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-116]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-112]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-108]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-104]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-100]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-96]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-92]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-88]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-84]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-80]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-76]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-72]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-68]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-64]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-60]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-56]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-52]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-48]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-44]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-40]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-36]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-32]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-28]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-24]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-20]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-280]
	str	r3, [fp, #-12]
	ldr	r3, [fp, #-268]
	ldr	r3, [r3]
	str	r3, [fp, #-272]
	nop
	ldr	r3, .L21
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L20
	bl	__stack_chk_fail
.L20:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L22:
	.align	2
.L21:
	.word	.LC3
	.size	FN_nullptr_deref_old_bad, .-FN_nullptr_deref_old_bad
	.align	2
	.global	malloc_free_ok
	.syntax unified
	.arm
	.fpu softvfp
	.type	malloc_free_ok, %function
malloc_free_ok:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	mov	r0, #4
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-8]
	ldr	r0, [fp, #-8]
	bl	free
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	malloc_free_ok, .-malloc_free_ok
	.align	2
	.global	wrap_free
	.syntax unified
	.arm
	.fpu softvfp
	.type	wrap_free, %function
wrap_free:
	@ 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	r0, [fp, #-8]
	bl	free
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	wrap_free, .-wrap_free
	.align	2
	.global	interproc_free_ok
	.syntax unified
	.arm
	.fpu softvfp
	.type	interproc_free_ok, %function
interproc_free_ok:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	mov	r0, #4
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-8]
	ldr	r0, [fp, #-8]
	bl	wrap_free
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	interproc_free_ok, .-interproc_free_ok
	.align	2
	.global	wrap_malloc
	.syntax unified
	.arm
	.fpu softvfp
	.type	wrap_malloc, %function
wrap_malloc:
	@ 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]
	mov	r0, #4
	bl	malloc
	mov	r3, r0
	mov	r2, r3
	ldr	r3, [fp, #-8]
	str	r2, [r3]
	ldr	r3, [fp, #-8]
	ldr	r3, [r3]
	cmp	r3, #0
	bne	.L28
	bl	no_return
.L28:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	wrap_malloc, .-wrap_malloc
	.section	.rodata
	.align	2
.LC4:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	call_no_return_good
	.syntax unified
	.arm
	.fpu softvfp
	.type	call_no_return_good, %function
call_no_return_good:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	ldr	r3, .L31
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	mov	r3, #0
	str	r3, [fp, #-12]
	sub	r3, fp, #12
	mov	r0, r3
	bl	wrap_malloc
	ldr	r3, [fp, #-12]
	mov	r2, #5
	str	r2, [r3]
	ldr	r3, [fp, #-12]
	mov	r0, r3
	bl	free
	nop
	ldr	r3, .L31
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L30
	bl	__stack_chk_fail
.L30:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L32:
	.align	2
.L31:
	.word	.LC4
	.size	call_no_return_good, .-call_no_return_good
	.align	2
	.global	bug_after_malloc_result_test_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	bug_after_malloc_result_test_bad, %function
bug_after_malloc_result_test_bad:
	@ 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]
	mov	r0, #4
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-16]
	cmp	r3, #0
	beq	.L35
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	mov	r2, #42
	str	r2, [r3]
.L35:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	bug_after_malloc_result_test_bad, .-bug_after_malloc_result_test_bad
	.align	2
	.global	bug_after_abduction_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	bug_after_abduction_bad, %function
bug_after_abduction_bad:
	@ 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]
	ldr	r3, [fp, #-16]
	mov	r2, #42
	str	r2, [r3]
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	mov	r2, #42
	str	r2, [r3]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	bug_after_abduction_bad, .-bug_after_abduction_bad
	.align	2
	.global	bug_with_allocation_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	bug_with_allocation_bad, %function
bug_with_allocation_bad:
	@ 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]
	mov	r0, #4
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-16]
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	mov	r2, #42
	str	r2, [r3]
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	bug_with_allocation_bad, .-bug_with_allocation_bad
	.align	2
	.global	null_alias_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	null_alias_bad, %function
null_alias_bad:
	@ 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]
	mov	r3, #0
	str	r3, [fp, #-8]
	mov	r0, #4
	bl	malloc
	mov	r3, r0
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-16]
	mov	r2, #42
	str	r2, [r3]
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	null_alias_bad, .-null_alias_bad
	.align	2
	.global	dereference
	.syntax unified
	.arm
	.fpu softvfp
	.type	dereference, %function
dereference:
	@ 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]
	nop
	add	sp, fp, #0
	@ sp needed
	ldr	fp, [sp], #4
	bx	lr
	.size	dereference, .-dereference
	.align	2
	.global	several_dereferences_ok
	.syntax unified
	.arm
	.fpu softvfp
	.type	several_dereferences_ok, %function
several_dereferences_ok:
	@ args = 0, pretend = 0, frame = 24
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #24
	str	r0, [fp, #-16]
	str	r1, [fp, #-20]
	str	r2, [fp, #-24]
	ldr	r3, [fp, #-16]
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-24]
	mov	r2, #52
	str	r2, [r3]
	ldr	r0, [fp, #-20]
	bl	dereference
	ldr	r3, [fp, #-20]
	mov	r2, #42
	str	r2, [r3]
	ldr	r3, [fp, #-16]
	mov	r2, #32
	str	r2, [r3]
	ldr	r3, [fp, #-16]
	ldr	r2, .L41
	str	r2, [r3]
	ldr	r3, [fp, #-20]
	mov	r2, #888
	str	r2, [r3]
	ldr	r3, [fp, #-24]
	ldr	r2, .L41+4
	str	r2, [r3]
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L42:
	.align	2
.L41:
	.word	777
	.word	999
	.size	several_dereferences_ok, .-several_dereferences_ok
	.align	2
	.global	report_correct_error_among_multiple_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	report_correct_error_among_multiple_bad, %function
report_correct_error_among_multiple_bad:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #8
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r2, [fp, #-8]
	ldr	r1, [fp, #-8]
	ldr	r0, [fp, #-8]
	bl	several_dereferences_ok
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	report_correct_error_among_multiple_bad, .-report_correct_error_among_multiple_bad
	.align	2
	.global	unknown_is_functional_ok
	.syntax unified
	.arm
	.fpu softvfp
	.type	unknown_is_functional_ok, %function
unknown_is_functional_ok:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #12
	mov	r3, #0
	str	r3, [fp, #-16]
	mov	r0, #10
	bl	unknown
	mov	r4, r0
	mov	r0, #10
	bl	unknown
	mov	r3, r0
	cmp	r4, r3
	beq	.L46
	ldr	r3, [fp, #-16]
	mov	r2, #42
	str	r2, [r3]
.L46:
	nop
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
	.size	unknown_is_functional_ok, .-unknown_is_functional_ok
	.align	2
	.global	unknown_with_different_values_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	unknown_with_different_values_bad, %function
unknown_with_different_values_bad:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #12
	mov	r3, #0
	str	r3, [fp, #-16]
	mov	r0, #32
	bl	unknown
	mov	r4, r0
	mov	r0, #52
	bl	unknown
	mov	r3, r0
	cmp	r4, r3
	beq	.L49
	ldr	r3, [fp, #-16]
	mov	r2, #42
	str	r2, [r3]
.L49:
	nop
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
	.size	unknown_with_different_values_bad, .-unknown_with_different_values_bad
	.align	2
	.global	unknown_from_parameters_latent
	.syntax unified
	.arm
	.fpu softvfp
	.type	unknown_from_parameters_latent, %function
unknown_from_parameters_latent:
	@ 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]
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r0, [fp, #-16]
	bl	unknown
	mov	r3, r0
	ldr	r2, .L53
	cmp	r3, r2
	bne	.L52
	ldr	r3, [fp, #-8]
	mov	r2, #42
	str	r2, [r3]
.L52:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L54:
	.align	2
.L53:
	.word	999
	.size	unknown_from_parameters_latent, .-unknown_from_parameters_latent
	.align	2
	.global	random_non_functional_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	random_non_functional_bad, %function
random_non_functional_bad:
	@ args = 0, pretend = 0, frame = 8
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{r4, fp, lr}
	add	fp, sp, #8
	sub	sp, sp, #12
	bl	random
	mov	r4, r0
	bl	random
	mov	r3, r0
	cmp	r4, r3
	beq	.L57
	mov	r3, #0
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-16]
	mov	r2, #42
	str	r2, [r3]
.L57:
	nop
	sub	sp, fp, #8
	@ sp needed
	pop	{r4, fp, pc}
	.size	random_non_functional_bad, .-random_non_functional_bad
	.align	2
	.global	FNlatent_random_modelled_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	FNlatent_random_modelled_bad, %function
FNlatent_random_modelled_bad:
	@ 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]
	bl	random
	str	r0, [fp, #-12]
	ldr	r2, [fp, #-12]
	ldr	r3, [fp, #-16]
	cmp	r2, r3
	bne	.L60
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	mov	r2, #42
	str	r2, [r3]
.L60:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	FNlatent_random_modelled_bad, .-FNlatent_random_modelled_bad
	.align	2
	.global	arithmetic_weakness_ok
	.syntax unified
	.arm
	.fpu softvfp
	.type	arithmetic_weakness_ok, %function
arithmetic_weakness_ok:
	@ args = 0, pretend = 0, frame = 16
	@ frame_needed = 1, uses_anonymous_args = 0
	push	{fp, lr}
	add	fp, sp, #4
	sub	sp, sp, #16
	bl	random
	str	r0, [fp, #-16]
	bl	random
	str	r0, [fp, #-12]
	ldr	r2, [fp, #-16]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	bge	.L63
	ldr	r2, [fp, #-16]
	ldr	r3, [fp, #-12]
	cmp	r2, r3
	ble	.L63
	mov	r3, #0
	str	r3, [fp, #-8]
	ldr	r3, [fp, #-8]
	mov	r2, #42
	str	r2, [r3]
.L63:
	nop
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
	.size	arithmetic_weakness_ok, .-arithmetic_weakness_ok
	.section	.rodata
	.align	2
.LC5:
	.word	__stack_chk_guard
	.text
	.align	2
	.global	FNsuppressed_no_invalidation_compare_to_NULL_bad
	.syntax unified
	.arm
	.fpu softvfp
	.type	FNsuppressed_no_invalidation_compare_to_NULL_bad, %function
FNsuppressed_no_invalidation_compare_to_NULL_bad:
	@ 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, .L67
	ldr	r3, [r3]
	str	r3, [fp, #-8]
	mov	r3,#0
	bl	unknown_int_pointer
	str	r0, [fp, #-12]
	sub	r3, fp, #20
	str	r3, [fp, #-16]
	ldr	r3, [fp, #-12]
	cmp	r3, #0
	bne	.L65
	ldr	r3, [fp, #-12]
	str	r3, [fp, #-16]
.L65:
	ldr	r3, [fp, #-16]
	mov	r2, #42
	str	r2, [r3]
	nop
	ldr	r3, .L67
	ldr	r2, [r3]
	ldr	r3, [fp, #-8]
	eors	r2, r3, r2
	mov	r3, #0
	beq	.L66
	bl	__stack_chk_fail
.L66:
	sub	sp, fp, #4
	@ sp needed
	pop	{fp, pc}
.L68:
	.align	2
.L67:
	.word	.LC5
	.size	FNsuppressed_no_invalidation_compare_to_NULL_bad, .-FNsuppressed_no_invalidation_compare_to_NULL_bad
	.section	.rodata
	.align	2
	.type	__PRETTY_FUNCTION__.4799, %object
	.size	__PRETTY_FUNCTION__.4799, 17
__PRETTY_FUNCTION__.4799:
	.ascii	"malloc_assert_ok\000"
	.ident	"GCC: (Ubuntu 9.4.0-1ubuntu1~20.04.2) 9.4.0"
	.section	.note.GNU-stack,"",%progbits
