coverity: dead code