[PATCH 0/7] A few Coverity related issues