| commit | 6d03a6668b7f59e5a755b82fe05e3584ce91f1b7 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 14 Jan 2010 14:42:19 +0000 (14 17:42 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 14 Jan 2010 14:42:19 +0000 (14 17:42 +0300) | ||
| tree | 896064ead30701d1de45a190026173a26251def0 | treesnapshot (tar.gz zip) |
| parent | 8582ba0f1ce3dc3913be559b82aeb609b5e64aa3 | commitdiff |
add check_dev_queue_xmit.c
After you call dev_queue_xmit(skb), you are not allowed to use 'skb' again.
This test only found one bug originally and that bug has been fixed. It is
turned off unless you pass --rare.
Signed-off-by: Dan Carpenter <error27@gmail.com>
After you call dev_queue_xmit(skb), you are not allowed to use 'skb' again.
This test only found one bug originally and that bug has been fixed. It is
turned off unless you pass --rare.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_dev_queue_xmit.c | [new file with mode: 0644] | blob |
| smatch.c | diffblobblamehistory | |
| smatch_data/kernel.dev_queue_xmit | [new file with mode: 0644] | blob |