List of issues discovered by static checkers

[kyukhin]

This issue will contain a list of the problems discovered by clang-analyzer/clang-tidy/Coverity etc.
The recent report is available here, master branch only.

• Tons of the hits caught by clang-analyzer are about passing a pointer to an exception. There's a proposal to remove exceptions at all.
• This hit might be fixed by inserting assert() (or if-check?) checking new_tuple to be non-NULL somewhere here.
• This report shows that wi field might be NULL here.