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,,