|
From: | Paolo Bonzini |
Subject: | [Qemu-devel] defining VIXL_DEBUG? |
Date: | Mon, 18 Jan 2016 11:21:37 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.4.0 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |