unreachable code: don't warn about empty statements

[smatch.git] / validation / sizeof-bool.c

static int a(void)
{
        return sizeof(_Bool);
}
/*
 * check-name: sizeof(_Bool) is valid
 * check-description: sizeof(_Bool) was rejected because _Bool is not an even
 * number of bytes
 * check-error-start
sizeof-bool.c:3:16: warning: expression using sizeof bool
 * check-error-end
 */