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: [EMAIL PROTECTED] Hauptstaetterstr. 58 http://www.redhat.de/ D-70178 Stuttgart
msg17384/pgp00000.pgp
Description: PGP signature
