id	summary	reporter	owner	description	type	status	milestone	component	version	severity	resolution	keywords	cc
7461	detail::win32::ReleaseSemaphore may be called with count_to_release equal to 0	Jesper Storm Bache <jsbache@…>	viboes	"ReleaseSemaphore is documented by Microsoft as:
""... lReleaseCount [in] The amount by which the semaphore object's current count is to be increased. The value must be greater than zero""
http://msdn.microsoft.com/en-us/library/windows/desktop/ms685071(v=vs.85).aspx

When I run boundschecker on boost threads, I get a error because count_to_release is 0 in the following:
            void release(unsigned count_to_release)
            {
                notified=true;
                detail::win32::ReleaseSemaphore(semaphore,count_to_release,0);
            }
(this is line 71 in boost_1_51_0/boost/thread/win32/condition_variable.hpp)"	Bugs	closed	Boost 1.55.0	thread	Boost 1.51.0	Problem	fixed