Tweaked Cover() macro to be friendlier to the Clang static analyzer

It's now clear that the macro's return value is the same as the value of
its parameter, which helps the analyzer figure out the flow of control
better.