id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
3963,state_machine<>::post_event is not protected,Arne Babnik <boost@…>,Andreas Huber,"According to documentation, the member function state_machine<>::post_event() is protected to ensure that it's only called from within state reactions. However, in the actual code this function is declared public, which allows to call it from outside the state machine with unknown consequences.",Bugs,closed,Boost 1.43.0,statechart,Boost 1.42.0,Optimization,fixed,,boost@…