From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-500538-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 14981 invoked by alias); 26 Oct 2015 06:43:27 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 14911 invoked by uid 48); 26 Oct 2015 06:43:23 -0000
From: "trippels at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/68092] [C++1z] error: Two symbols with same comdat_group are not linked by the same_comdat_group list.
Date: Mon, 26 Oct 2015 06:43:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 6.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: trippels at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution:
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status cf_reconfirmed_on cc short_desc everconfirmed
Message-ID: <bug-68092-4-z84Rgbf4Bk@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-68092-4@http.gcc.gnu.org/bugzilla/>
References: <bug-68092-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-10/txt/msg02093.txt.bz2

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68092

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-10-26
                 CC|                            |trippels at gcc dot gnu.org
            Summary|[possibly concepts] ICE:    |[C++1z] error: Two symbols
                   |symtab_node::verify failed. |with same comdat_group are
                   |Overloaded function by      |not linked by the
                   |concept requires            |same_comdat_group list.
     Ever confirmed|0                           |1

--- Comment #6 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
markus@x4 tmp % cat class.ii
template <int> bool ConceptTest();
template <int N> class A {
  void foo() const requires ConceptTest<N>() {}
  int foo() const {}
};
template class A<3>;

markus@x4 tmp % g++ -c -std=c++1z class.ii
class.ii:6:20: error: Two symbols with same comdat_group are not linked by the
same_comdat_group list.
 template class A<3>;
                    ^
_ZNK1AILi3EE3fooEv/1 (void A<N>::foo() const [with int N = 3]) @0x7f2d92c57170
  Type: function definition analyzed
  Visibility: forced_by_abi public weak comdat_group:_ZNK1AILi3EE3fooEv
one_only
  previous sharing asm name: 0
  References: 
  Referring: 
  First run: 0
  Function flags: body
  Called by: 
  Calls: 
_ZNK1AILi3EE3fooEv/0 (void A<N>::foo() const requires
predicate((ConceptTest<N>)()) [with int N = 3]) @0x7f2d92c57000
  Type: function definition analyzed
  Visibility: forced_by_abi public weak comdat_group:_ZNK1AILi3EE3fooEv
one_only
  next sharing asm name: 1
  References: 
  Referring: 
  First run: 0
  Function flags: body
  Called by: 
  Calls: 
class.ii:6:20: internal compiler error: symtab_node::verify failed