[cfe-dev] Deducing a partial specialization fails

[Hubert Tong via cfe-dev]

On Tue, May 28, 2019 at 9:01 AM via cfe-dev <cfe-dev at lists.llvm.org> wrote:

> Please consider the example here:
>
> https://godbolt.org/z/4AwrXz
>
> Clang up to version 3.9.1 and all recent versions of other compilers
> accept the code. Clang version >=4.0 fails.
> If you move the definition of AccessorPointersT to Foo, it works again and
> the partial specialization is deduced correctly.
> Is this a bug or a pedantic interpretation of the c++ standard by clang?
>
I am guessing it is a bug having to do with the template from whose
specialization's arguments we should deduce from being dependent.


>
>
> Best Olaf
>
> --
> Deutsches Zentrum für Luft- und Raumfahrt (DLR)
>
> Institut für Softwaremethoden zur Produkt-Virtualisierung | SP DD |
> Zwickauer Strasse 46 | 01069 Dresden
>
>
> Dr. Olaf Krzikalla | Hochleistungsrechnen
> Telefon +49 351 210718 119 | olaf.krzikalla at dlr.de
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20190528/921fb07b/attachment.html>