macaw-aarch32: add test for binary containing empty section

macaw-aarch32/tests/arm/Makefile

@@ -28,6 +28,10 @@ all: $(patsubst %.c,%-a32.exe,$(wildcard *.c)) $(patsubst %.c,%-t32.exe,$(wildca
 %-mixed.s: %-mixed.c
 	$(A32CC) -fno-stack-protector -S -c $< -o $@
 
+# doesn't work with arm-none-eabi
+test-empty-section-a32.exe: test-empty-section.c
+	arm-linux-gnueabi-gcc -nostartfiles -O2 -static $< -o $@
+
 syscall.o: syscall.s
 	$(A32AS) $< -o $@
 

macaw-aarch32/tests/arm/test-empty-section-a32.mcw.expected

@@ -0,0 +1,5 @@
+R { funcs = [ (0x100d8, [(0x100d8,8), (0x100e0, 8)]),
+              (0x100e8, [(0x100e8,32)])
+            ]
+  , ignoreBlocks = []
+  }

macaw-aarch32/tests/arm/test-empty-section.c

@@ -0,0 +1,20 @@
+// test-empty-section.c
+// test for issue #302 (https://github.com/GaloisInc/macaw/issues/302)
+// results in a binary with an empty section when built as follows:
+//
+// arm-linux-gnueabi-gcc -nostartfiles -O2 -static test-empty-section.c -o test-empty-section-a32.exe
+//
+//
+#include <stdint.h>
+
+uint64_t x = 0;
+
+int __attribute__((noinline)) test_strd() {
+  x = 42;
+  return x == 42;
+}
+
+int main() {
+  test_strd();
+  return 0;
+}