[Qemu-devel] defining VIXL_DEBUG?

[Paolo Bonzini <pbonzini@redhat.com>]

I've gotten four new Coverity reports in libvixl.  All of them are
caused by Coverity assuming that LaneSizeInBitsFromFormat can return 0.
 The actual code in the function is

    default: VIXL_UNREACHABLE(); return 0;

so this is obviously a false positive.  Defining VIXL_DEBUG would cause
VIXL_UNREACHABLE() to call abort().  Any opinion about whether/where to
do so?

Thanks,

Paolo