[Bug c++/32158] uninitialized_fill compile failure if no default assignment operator

[mark at codesourcery dot com]

------- Comment #5 from mark at codesourcery dot com  2007-05-30 21:38 -------
Subject: Re:  uninitialized_fill compile failure if no default
 assignment operator

pcarlini at suse dot de wrote:
> ------- Comment #3 from pcarlini at suse dot de  2007-05-30 21:25 -------
> Thanks Mark. In fact, we have already a test for that, in ext/is_pod.cc. But we
> have a problem with templates. This:
> 
>   template<typename T>
>     struct A
>     {
>       A() { }
>     };
> 
> has __is_pod(A<int>) true. Actually, the problem affects also other front-end
> traits, probably most of them :( :( They are not working correctly with
> templates. First blush, any hint where I should fix my implementation?

Perhaps you need to call complete_type in the traits implementation to
ensure that A<int> is completed, if it can be.  (Or, if __is_pod
requires, by the language standards, a complete type, you can use
complete_type_or_else.)


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32158