revert part of f4a459292e339
commitfcb9bbce01b2bb6fff667e190308186b8936c8db
authorDan Carpenter <error27@gmail.com>
Sat, 28 Nov 2009 16:59:57 +0000 (28 18:59 +0200)
committerDan Carpenter <error27@gmail.com>
Sat, 28 Nov 2009 16:59:57 +0000 (28 18:59 +0200)
tree72b5f87fd32b3a445343269541daaea37439c1ac
parent456678f5e00575789801e676f65264e7ba452d2c
revert part of f4a459292e339

Hm... I figured out what that code was supposed to do.  Added a test case
so I don't chop it out again.

Signed-off-by: Dan Carpenter <error27@gmail.com>
smatch_extra.c
validation/sm_locking5.c [new file with mode: 0644]