This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/84489] [6/7/8 Regression] Non-type template parameter dependency
- From: "msebor at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Wed, 21 Feb 2018 21:34:19 +0000
- Subject: [Bug c++/84489] [6/7/8 Regression] Non-type template parameter dependency
- Auto-submitted: auto-generated
- References: <bug-84489-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84489
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Known to work| |5.4.0
Keywords| |rejects-valid
Last reconfirmed| |2018-02-21
CC| |msebor at gcc dot gnu.org
Ever confirmed|0 |1
Summary|Non-type template parameter |[6/7/8 Regression] Non-type
|dependency |template parameter
| |dependency
Known to fail| |6.4.0, 7.3.0, 8.0
--- Comment #1 from Martin Sebor <msebor at gcc dot gnu.org> ---
The error is present with with the top of trunk. The first revision that fails
to compile the code is r223301 (gcc 6.0.0). It refers to DR 1391 but I'm not
sure that the DR has a bearing on whether the test case is valid. Other
compilers including Clang, EDG, Intel ICC, and MSVC, successfully compile the
code so I'll confirm this report as valid on that basis.
r223301 | jason | 2015-05-18 13:14:11 -0400 (Mon, 18 May 2015) | 3 lines
DR 1391
* pt.c (type_unification_real): Check convertibility here.
(unify_one_argument): Not here.