check_overflow: handle casts like ((char *)array)[10];
commit41326824007a815fb3ff6847b9d7a11347b30817
authorDan Carpenter <error27@gmail.com>
Mon, 15 Feb 2010 10:12:59 +0000 (15 13:12 +0300)
committerDan Carpenter <error27@gmail.com>
Mon, 15 Feb 2010 10:12:59 +0000 (15 13:12 +0300)
treebb4b6321f10d3a164cc709e7429a8e68b4cffc7c
parent99f3199f33650f282f7758587816bbc4ebc71a78
check_overflow:  handle casts like ((char *)array)[10];

Signed-off-by: Dan Carpenter <error27@gmail.com>
check_overflow.c
validation/sm_array_overflow4.c