C++ PATCH for c++/49107 (excessive instantiation due to noexcept)

Paolo Carlini paolo.carlini@oracle.com
Thu Jun 9 08:55:00 GMT 2011


On 06/08/2011 11:32 PM, Jason Merrill wrote:
> 49107 is an issue with the addition of noexcept to the standard 
> library causing extra instantiations, to the point that code that 
> worked before doesn't work now due to circular dependency.  Someone 
> suggested that to avoid this problem we could defer instantiation of 
> noexcept-specifiers until they are actually needed.  This patch 
> implements that suggestion, and does in fact seem to fix the problem.
Thanks a lot Jason.

I'm trying to figure out which are the implications for the library of 
the comment you added to c++/48468, I think it would be now more 
difficult to implement consolidated is_nothrow_* traits, thus not 
computing first via sfinae the corresponding is_* trait. But doesn't 
seem a serious limitation...

Thanks again,
Paolo.



More information about the Gcc-patches mailing list