Coverity test