Coverity pragma