check_overflow: remove false positives caused by printk() asserts
commit0c6300c256a90fe231b45d3a269b087cc6de6360
authorDan Carpenter <error27@gmail.com>
Sun, 7 Mar 2010 12:50:41 +0000 (7 15:50 +0300)
committerDan Carpenter <error27@gmail.com>
Sun, 7 Mar 2010 12:50:41 +0000 (7 15:50 +0300)
treef3af14f880a4e11066dac12292f1ce06238ca544
parent9d2d5bc9de8455362cc013e9501a95cebf0fc04f
check_overflow: remove false positives caused by printk() asserts

Lot's of places have code like this:
if (offset >= ARRAY_SIZE(foo))
printk("too high\n");
foo[offset] = x;

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_overflow.c
smatch_extra.c
smatch_extra.h