https://svn.boost.org/trac10/ticket/2929 <p> the bug described below is presented in all the boost versions starting from 1.36 and to development trunk </p> <pre class="wiki">#include &lt;boost/function.hpp&gt; void main() { boost::function&lt;void () &gt; f( &amp;main ); boost::function&lt;void () &gt; g; g.assign ( f, std::allocator&lt;int&gt;() ); } </pre><p> this code sample being compiled under MSVC 8.0 SP1 give the following warning </p> <p> warning C4717: 'boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;' : recursive on all control paths, function will cause runtime stack overflow </p> <p> if we run the sample, it does cause stack overflow with the following call stack: </p> <blockquote> <p> ... </p> </blockquote> <blockquote> <p> test_boost.exe!boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;(const boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt; &amp; <span class="underline">that={...}) + 0x39 bytes C++ </span></p> </blockquote> <blockquote> <p> test_boost.exe!boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;(const boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt; &amp; <span class="underline">that={...}) + 0x39 bytes C++ </span></p> </blockquote> <blockquote> <p> test_boost.exe!std::_Construct&lt;boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;,boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt; &gt;(boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt; * _Ptr=0x00185008, const boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt; &amp; _Val={...}) Line 53 + 0x33 bytes C++ </p> </blockquote> <blockquote> <p> test_boost.exe!std::allocator&lt;boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt; &gt;::construct(boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt; * _Ptr=0x00185008, const boost::detail::function::functor_wrapper&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt; &amp; _Val={...}) Line 156 + 0xd bytes C++ </p> </blockquote> <blockquote> <p> test_boost.exe!boost::detail::function::basic_vtable0&lt;void&gt;::assign_functor_a&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;(boost::function&lt;void <span class="underline">cdecl(void)&gt; f={...}, boost::detail::function::function_buffer &amp; functor={...}, std::allocator&lt;int&gt; a={...}, boost::mpl::bool_&lt;0&gt; </span>formal={...}) Line 591 + 0x60 bytes C++ </p> </blockquote> <blockquote> <p> test_boost.exe!boost::detail::function::basic_vtable0&lt;void&gt;::assign_to_a&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;(boost::function&lt;void <span class="underline">cdecl(void)&gt; f={...}, boost::detail::function::function_buffer &amp; functor={...}, std::allocator&lt;int&gt; a={...}, boost::detail::function::function_obj_tag </span>formal={...}) Line 615 C++ </p> </blockquote> <blockquote> <p> test_boost.exe!boost::detail::function::basic_vtable0&lt;void&gt;::assign_to_a&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;(boost::function&lt;void <span class="underline">cdecl(void)&gt; f={...}, boost::detail::function::function_buffer &amp; functor={...}, std::allocator&lt;int&gt; a={...}) Line 497 + 0x47 bytes C++ </span></p> </blockquote> <blockquote> <p> test_boost.exe!boost::function0&lt;void&gt;::assign_to_a&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;(boost::function&lt;void <span class="underline">cdecl(void)&gt; f={...}, std::allocator&lt;int&gt; a={...}) Line 949 + 0x3d bytes C++ </span></p> </blockquote> <blockquote> <p> test_boost.exe!boost::function0&lt;void&gt;::assign&lt;boost::function&lt;void __cdecl(void)&gt;,std::allocator&lt;int&gt; &gt;(boost::function&lt;void <span class="underline">cdecl(void)&gt; f={...}, std::allocator&lt;int&gt; a={...}) Line 802 + 0x34 bytes C++ </span></p> </blockquote> <blockquote> <p> test_boost.exe!main() Line 8 C++ </p> </blockquote> en-us /htdocs/site/boost.png https://svn.boost.org/trac10/ticket/2929 Trac 1.4.3 Steven Watanabe Thu, 09 Apr 2009 15:16:17 GMT https://svn.boost.org/trac10/ticket/2929 https://svn.boost.org/trac10/ticket/2929 <ul> <li><strong>attachment</strong> → <span class="trac-field-new">function_base.hpp.patch</span> </li> </ul> Ticket Steven Watanabe Thu, 09 Apr 2009 15:16:45 GMT https://svn.boost.org/trac10/ticket/2929#comment:2 https://svn.boost.org/trac10/ticket/2929#comment:2 <ul> <li><strong>status</strong> <span class="trac-field-old">new</span> → <span class="trac-field-new">closed</span> </li> <li><strong>resolution</strong> → <span class="trac-field-new">fixed</span> </li> </ul> <p> Replying to <a class="ticket" href="https://svn.boost.org/trac10/ticket/2929#comment:1" title="Comment 1">steven_watanabe</a>: </p> <blockquote class="citation"> <p> MSVC's copy constructor bug strikes again. Patch attached. </p> </blockquote> <p> it works! thank you for fast reply :) </p> Ticket Steven Watanabe Thu, 09 Apr 2009 15:52:24 GMT https://svn.boost.org/trac10/ticket/2929#comment:3 https://svn.boost.org/trac10/ticket/2929#comment:3 <ul> <li><strong>status</strong> <span class="trac-field-old">closed</span> → <span class="trac-field-new">reopened</span> </li> <li><strong>resolution</strong> <span class="trac-field-deleted">fixed</span> </li> </ul> <p> Whoa. This patch still needs to go into the trunk. </p> Ticket Daniel James Fri, 03 Jul 2009 22:22:04 GMT https://svn.boost.org/trac10/ticket/2929#comment:4 https://svn.boost.org/trac10/ticket/2929#comment:4 <ul> <li><strong>status</strong> <span class="trac-field-old">reopened</span> → <span class="trac-field-new">closed</span> </li> <li><strong>resolution</strong> → <span class="trac-field-new">fixed</span> </li> </ul> <p> (In <a class="changeset" href="https://svn.boost.org/trac10/changeset/54619" title="Work around Visual C++ copy constructor bug. Fixes #2929. Based on ...">[54619]</a>) Work around Visual C++ copy constructor bug. Fixes <a class="closed ticket" href="https://svn.boost.org/trac10/ticket/2929" title="#2929: Bugs: boost::function cause runtime stack overflow (closed: fixed)">#2929</a>. </p> <p> Based on the patch by Steven Watanabe. </p> Ticket Daniel James Wed, 08 Jul 2009 23:23:54 GMT