On Tue, Jan 07, 2020 at 05:01:06PM +0300, Dan Carpenter wrote:
621 } while (0); OPTIONAL_HANDLER(_assert) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ The problem is the OPTIONAL_HANDLER(). Smatch thinks it should be included inside the do {} while(0) loop.
It looks weird, but it is intentional. :)