Hello, I've written a web page about Wine and Smatch: http://people.redhat.com/mstefani/wine/smatch/ It includes also a table with the bugs found by the smatch scripts. I could need a hand with the bugs (status BUG, UKNOWN) cause I don't know how to fix them correctly (and for some locking BUG's i am not sure that they are real bugs). Now that the fight with the web page is over I can go to write more smatch scripts ;). bye michael -- Michael Stefaniuc Tel.: +49-711-96437-199 System Administration Fax.: +49-711-96437-111 Red Hat GmbH Email: mstefani(a)redhat.com Hauptstaetterstr. 58 http://www.redhat.de/ D-70178 Stuttgart
Michael Stefaniuc <mstefani(a)redhat.de> writes:
It includes also a table with the bugs found by the smatch scripts. I could need a hand with the bugs (status BUG, UKNOWN) cause I don't know how to fix them correctly (and for some locking BUG's i am not sure that they are real bugs).
The ones in gdiobj.c and win.c are not bugs, the functions are supposed to return with the lock held. There should be a matching GDI_ReleaseObj/WIN_ReleasePtr after each call though. -- Alexandre Julliard julliard(a)winehq.com
On Mon, Mar 03, 2003 at 11:03:07AM -0800, Alexandre Julliard wrote:
Michael Stefaniuc <mstefani(a)redhat.de> writes:
It includes also a table with the bugs found by the smatch scripts. I could need a hand with the bugs (status BUG, UKNOWN) cause I don't know how to fix them correctly (and for some locking BUG's i am not sure that they are real bugs).
The ones in gdiobj.c and win.c are not bugs, the functions are supposed to return with the lock held. There should be a matching GDI_ReleaseObj/WIN_ReleasePtr after each call though. Thanks. So they are basicaly only "wrappers" around the locking function and can be treated as locking functions themself. Updated wine_locks.pl and the website acordingly.
bye michael -- Michael Stefaniuc Tel.: +49-711-96437-199 System Administration Fax.: +49-711-96437-111 Red Hat GmbH Email: mstefani(a)redhat.com Hauptstaetterstr. 58 http://www.redhat.de/ D-70178 Stuttgart
Michael Stefaniuc wrote: > Hello, > > I've written a web page about Wine and Smatch: > http://people.redhat.com/mstefani/wine/smatch/ - there's a return in excess in programs/wcmd/builtins.c - we shouldn't return 0 in dlls/winmm/wineoss/audio.c (as the comment says ;-) - the code in programs/winhelp/hlpfile.c is correct A+ -- Eric Pouech
On Mon, Mar 03, 2003 at 08:28:33PM +0100, Eric Pouech wrote: > Michael Stefaniuc wrote: > > I've written a web page about Wine and Smatch: > > http://people.redhat.com/mstefani/wine/smatch/ > - there's a return in excess in programs/wcmd/builtins.c That return needs to be deleted only? > - we shouldn't return 0 in dlls/winmm/wineoss/audio.c (as the comment > says ;-) I've read the comment but the script dosn't complain about the return, it complains about the ExitThread(0) before it. This is after a switch embeded into a while loop and smatch seems to not handle this quite correctly. I've change the status to NOTABUG. > - the code in programs/winhelp/hlpfile.c is correct Same like before, but this already had the NOTABUG status. bye michael -- Michael Stefaniuc Tel.: +49-711-96437-199 System Administration Fax.: +49-711-96437-111 Red Hat GmbH Email: mstefani(a)redhat.com Hauptstaetterstr. 58 http://www.redhat.de/ D-70178 Stuttgart
participants (3)
-
Alexandre Julliard -
Eric Pouech -
Michael Stefaniuc