On 02/12/2014 10:44 PM, Jakub Hrozek wrote:
> Coverity found some errors which seem completely unrelated - code
that
> was prefixed by a comment saying "we should never get here" was marked as
> dead code. I suspect that this is due to a new scanner version and dead
> code is a soft error anyway, so I'm going to push the patches.
>
> Thanks everyone for the work put into the patchset and the patience!
Pushed to master.
Thank you, Jakub!
Sincerely,
Nick