<div dir="ltr"><div dir="ltr"><div dir="ltr">On Tue, Jan 28, 2020 at 10:40 AM via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">Hi @clang,<br>
<br>
I have a small proposal for an improved error message. Consider<br>
<br>
<a href="https://godbolt.org/z/j3i9jy" rel="noreferrer" target="_blank">https://godbolt.org/z/j3i9jy</a><br>
<br>
There the function foo for the template class is instantiated for int, because foo is virtual. A non-virtual function wouldn't get instantiated (since it is not used) and no error would be generated. Currently the diagnostic only hints to the constructor as the final instantiation context. An extended message, that the function is instantiated, because it is virtual, would be helpful. <br>
Otherwise, with a larger c'tor and a more complex class hierarchy it is not so easy to tell, what is going on.<br></blockquote><div><br></div><div>I don't think that posting "proposed new error message" ideas to cfe-dev@ is likely to be useful, unless you are posting to say that you are working on a patch.</div><div><br></div><div>If anyone <i><b>does</b></i> work on a patch to improve Clang's notes on why a template function is being instantiated: I offer this other example, which came up on the <a href="https://cppalliance.org/slack/">Cpplang Slack workspace</a> last week.</div><div><a href="https://godbolt.org/z/9E8FKL">https://godbolt.org/z/9E8FKL</a><br></div><div>The destructor of Indestructible<true> is instantiated because it's needed by A<Indestructible<true>>'s implicitly defaulted destructor. The compiler error message doesn't indicate this relationship.  I believe the root cause is the same as Olaf's case.  A patch that improves the handling of one should improve the other as well, I would hope.</div><div><br></div><div>–Arthur</div><div><br></div></div></div></div>