check_overflow: handle arrays inside structs
commitd68e9a95f32be8e361d20ed62931b9ec9b6f0259
authorDan Carpenter <error27@gmail.com>
Wed, 23 Dec 2009 22:26:02 +0000 (24 00:26 +0200)
committerDan Carpenter <error27@gmail.com>
Wed, 23 Dec 2009 22:26:02 +0000 (24 00:26 +0200)
tree44961a7ac536b4622ac928131ae4580b555fc88c
parentfe88f3f30ca78d5d967f57ca5fdf339e543012af
check_overflow:  handle arrays inside structs

Before check_overflow only handled simple b[10] type arrays and ignored
arrays like b1.a.b[10].  This was reported by Xuan Ji and I have added
the test from his email to the validation scripts.

Reported-by: Li Xuan Ji <xuanji@gmail.com>
Signed-off-by: Dan Carpenter <error27@gmail.com>
check_overflow.c
smatch_type.c
validation/sm_overflow.c [new file with mode: 0644]