Add validation for restrict and attribute warning
commit37f041aba632b7ffc46eb779df07804d9d7d547a
authorChristopher Li <sparse@chrisli.org>
Mon, 22 Jun 2009 01:45:23 +0000 (21 18:45 -0700)
committerChristopher Li <sparse@chrisli.org>
Sat, 18 Jul 2009 05:30:10 +0000 (18 05:30 +0000)
tree8ae2ec2ed563db09e221cfa72fc6beb1223437fb
parent977365deff2986acc7a41a377fc8defda406af6c
Add validation for restrict and attribute warning

Some simple test to excise the recent patch.

Signed-off-by: Christopher Li <sparse@chrisli.org>
validation/attr-warning.c [new file with mode: 0644]
validation/restrict-array.c [new file with mode: 0644]