| commit | 93f1f982369777595023f14bad79315682027386 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 22 Apr 2009 13:07:46 +0000 (22 16:07 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 22 Apr 2009 13:07:46 +0000 (22 16:07 +0300) | ||
| tree | eb9a90bd6c8ebf1f372b48c18ce6b2cf91fb159f | treesnapshot (tar.gz zip) |
| parent | 65b4b6230da66b678a780d2d95225d7e285081b4 | commitdiff |
Revert "Here is a bug in handling compound conditions."
This reverts commit b0c9f07df86564778335632b712ab596d2e828fa.
This wasn't a bug in smatch. I got confused by the return values or
mutex_trylock() or something.
This reverts commit b0c9f07df86564778335632b712ab596d2e828fa.
This wasn't a bug in smatch. I got confused by the return values or
mutex_trylock() or something.
| validation/smatch_closet/sm_locking5.c | [deleted file] | blobblamehistory |