Re: [PATCH-for-5.0] gdbstub: Introduce gdb_get_freg32() to get float32 registers

[Philippe Mathieu-Daudé]

On 4/14/20 5:19 PM, Richard Henderson wrote:

On 4/14/20 4:18 AM, Philippe Mathieu-Daudé wrote:

+static inline int gdb_get_freg32(GByteArray *array, float32 val)
+{
+    uint8_t buf[4];
+
+    QEMU_BUILD_BUG_ON(sizeof(CPU_FloatU) != sizeof(buf));

Why bother withe the BUG_ON when you could just put the sizeof(CPU_FloatU) into
the array bounds above?

Ah good idea, thanks :)

r~