[PATCH 0/3] Avoid some warnings reported by Coverity