Fixes Issue #606

Author: m-schmidt

arm/Asmexpand.ml

@@ -167,7 +167,7 @@ let offset_in_range chunk ofs =
   match chunk with
   | Mint8signed | Mint16signed | Mint16unsigned  ->
     Int.eq (Asmgen.mk_immed_mem_small ofs) ofs
-  | Mint8unsigned | Mint32 ->
+  | Mbool | Mint8unsigned | Mint32 ->
     Int.eq (Asmgen.mk_immed_mem_word ofs) ofs
   | Mfloat32 | Mfloat64 ->
     Int.eq (Asmgen.mk_immed_mem_float ofs) ofs

x.s

@@ -0,0 +1,27 @@
+@ File generated by CompCert 3.18
+@ Command line: -S ../CompCert-private/x.c
+	.syntax	unified
+	.arch	armv7-a
+	.fpu	vfpv3-d16
+	.eabi_attribute Tag_ABI_VFP_args, 1
+	.arm
+	.text
+	.balign 4
+	.globl f
+f:
+	.cfi_startproc
+	mov	r12, sp
+	sub	sp, sp, #8
+	.cfi_adjust_cfa_offset	8
+	str	r12, [sp, #0]
+	str	lr, [sp, #4]
+	.cfi_rel_offset	lr, 4
+	ldrb	r0, [r0, #1]
+	ldr	lr, [sp, #4]
+	add	sp, sp, #8
+	bx	lr
+	.cfi_endproc
+	.type	f, %function
+	.size	f, . - f
+
+	.section .note.GNU-stack,"",%progbits