On 5 December 2011 17:51, Jason Merrill <ja...@redhat.com> wrote:
> While applying it I noticed that we were sharing the argument trees between
> the two calls in a way that might be problematic, and I went ahead and fixed
> that.

Ouch. Thanks.

> I noticed that template/meminit1.C is ill-formed in C++11 as well, due to
> "If a constructor delegates to itself directly or indirectly, the program is
> ill-formed; no diagnostic is required."  For this simple case of direct
> delegation to itself, it should be pretty easy to give an error.  I'll open
> a PR for this.

I suppose that for complete checking of such things, we need to have a complete
class (all ctors defined), and then we'll have interesting times
instantiating whatever
dependent constructor templates. I personally think that bit should be undefined
behavior rather than ill-formed, but I guess that's for a different
forum to discuss.

> Tested x86_64-pc-linux-gnu, applying to trunk.

Thanks!

Reply via email to