Thanks for reporting, ticket is here: https://trac.cppcheck.net/ticket/15052
Example added here: https://trac.cppcheck.net/ticket/14239
Thanks for reporting, ticket is here: https://trac.cppcheck.net/ticket/15051
See https://trac.cppcheck.net/ticket/10
See https://trac.cppcheck.net/ticket/14239
We don't warn about the expression return true || divisor;, which is arguably dubious, but may be intentional, similar to if (false) etc. So we won't report the induced unreadVariable either.
Thanks for reporting, ticket is here: https://trac.cppcheck.net/ticket/15037
There is a deliberate bailout to allow "trivial" initialization.