BUG() macros shouldn't be warned as dead-code under coverity.
It's fine for our BUG() checks to be dead code: they're functionally equivalent to nonfatal assertions. Leaving them in is good defensive programming, since they prevent us from introducing bugs later on.