coverity ignores