[Boost-bugs] [Boost C++ Libraries] #7461: detail::win32::ReleaseSemaphore may be called with count_to_release euql to 0

Subject: [Boost-bugs] [Boost C++ Libraries] #7461: detail::win32::ReleaseSemaphore may be called with count_to_release euql to 0
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2012-10-02 20:00:57

#7461: detail::win32::ReleaseSemaphore may be called with count_to_release euql to
0
----------------------------------------------------+-----------------------
 Reporter:  Jesper Storm Bache <jsbache@…>          |       Owner:  anthonyw
     Type:  Bugs                                    |      Status:  new     
Milestone:  To Be Determined                        |   Component:  thread  
  Version:  Boost 1.52.0                            |    Severity:  Problem 
 Keywords:                                          |  
----------------------------------------------------+-----------------------
 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)

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/7461>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.