Re: [PATCH v2 00/28] Fixes for static checkers