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. :) -- Kees Cook