[cfe-users] dynmaic_cast in uninstantiated function templates
Mat Sutcliffe via cfe-users
cfe-users at lists.llvm.org
Wed Oct 24 09:42:03 PDT 2018
On Wed, 24 Oct 2018 at 02:06, Olaf wrote:
>
> the code below compiles on gcc and icc, but not on clang with the error:
>
> source_file.cpp:14:16: error: 'B' is an incomplete type
> if (auto b = dynamic_cast<B*>(a))
>
> However fn is an uninstantiated function template.
> Is this a glitch in clang or is clang the only one right here?
>
> class B;
>
> template<class T>
> void fn(A* a, T& x)
> {
> dynamic_cast<B*>(a);
> }
All three compilers are correct here, as far as the standard is
concerned. The code is ill-formed, but implementations are not
required to diagnose this kind of error. There is no type T that could
produce a well-formed instantiation of fn.
More information about the cfe-users
mailing list