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