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