Re: buffer overflow check bug

[Dan Carpenter <dan.carpenter@xxxxxxxxxx>]

Gar...  I have no idea.  That seems like an issue in sparse.

Does anyone know why MOD_NORETURN gets set for:
extern void my_exit(const char*, ...) __attribute__ ((__noreturn__));

but not for:
extern __attribute__ ((__noreturn__)) void my_exit(const char*, ...);

GCC seems to accept both formats.

regards,
dan carpenter

--
To unsubscribe from this list: send the line "unsubscribe smatch" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html