SMATCH: add missing LeaveCriticalSection

[Michael Stefaniuc]

On Sun, Feb 09, 2003 at 04:27:22PM -0800, Dan Kegel wrote:
> Michael Stefaniuc wrote:
> > on some error path the critical section wasn't released.
> > Found with smatch's help.
> 
> I'm impressed.  Didn't know smatch could detect this kind of
> thing in Wine code.
I had to adapt a script from smatch to do this, but to be honest,
searching for missing LeaveCriticalSection's is a trivial task for
smatch. I'll do some more wine specific scripts, easier ones first to
get used to smatch.

> For those who haven't heard of smatch, see http://smatch.sf.net

bye
	michael
-- 
Michael Stefaniuc               Tel.: +49-711-96437-199
System Administration           Fax.: +49-711-96437-111
Red Hat GmbH                    Email: mstefani at redhat.com
Hauptstaetterstr. 58            http://www.redhat.de/
D-70178 Stuttgart
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 232 bytes
Desc: not available
Url : http://www.winehq.org/pipermail/wine-devel/attachments/20030210/7a6bf8ba/attachment.pgp