Wrong error `non-type template argument refers to subobject` for extern arrays

[llvmbot]

Bugzilla Link	28139
Version	3.8
OS	Windows NT
Reporter	LLVM Bugzilla Contributor

Extended Description

code:

template<int const * pci> struct X {};

extern int const ai[];
X<ai> xi;

int const ai[] = {0,1,2,3};

Then compiled with clang++ -std=c++1z test.cpp

Error test.cpp:4:3: error: non-type template argument refers to subobject '&ai' is reported.

[llvmbot]

+1. QtCreator with enabled clang-code-model shows the same error.

[AaronBallman]

This issue was fixed in Clang 6: https://godbolt.org/z/f6dxsWYsv

[llvmbot]

@llvm/issue-subscribers-clang-frontend

Author: None (llvmbot)

Details

| | | | --- | --- | | Bugzilla Link | [28139](https://llvm.org/bz28139) | | Version | 3.8 | | OS | Windows NT | | Reporter | LLVM Bugzilla Contributor |

Extended Description

code:

template<int const * pci> struct X {};

extern int const ai[];
X<ai> xi;

int const ai[] = {0,1,2,3};

Then compiled with clang++ -std=c++1z test.cpp

Error test.cpp:4:3: error: non-type template argument refers to subobject '&ai' is reported.