[Bug gdb/31281] [gdb] intrusive_list.h:329: internal-error: push_back: Assertion elem_node->prev == INTRUSIVE_LIST_UNLINKED_VALUE failed.

["simon.marchi at polymtl dot ca" <sourceware-bugzilla@sourceware.org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=31281

--- Comment #14 from Simon Marchi <simon.marchi at polymtl dot ca> ---
(In reply to Tom de Vries from comment #13)
> (In reply to Simon Marchi from comment #12)
> > I made what I think is a fairly minimal reproducer: https://godbolt.org/z/rbevnhG1f
> 
> Great.
> 
> > Does this look sufficient to file a gcc bug?
> 
> I've managed to get rid of the template bit.
> 
> Also, I've removed the includes, the goal is to minimize the size of the
> preprocessed example.
> 
> Futhermore, I've replaced the new with an object declaration, which allows
> for simpler expressions ('.' instead of '->').
> 
> So, I get to:
> ...
> struct intrusive_list_node {
>   void *next;
> };
> 
> struct dummy {
>   void *base;
> };
> 
> struct thread_info : public dummy, public intrusive_list_node {
>   intrusive_list_node node;
> };
> 
> static thread_info ti;
> 
> int main (void) {
>   auto thread_info::*MemberNode = &thread_info::node;
>   auto node_ptr_1 = &(ti.*MemberNode);
>   auto node_ptr_2 = &ti.node;
>   return !(node_ptr_1 == node_ptr_2);
> }
> ...
> 
> gcc-13:
> ...
> $ g++ test.cpp; ./a.out; echo $?
> 0
> ...
> 
> gcc-14:
> ...
> $ g++ test.cpp; ./a.out; echo $?
> 1
> ...
> 
> I think this should be good enough to file.

Thank you very much for that, filed:

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

-- 
You are receiving this mail because:
You are on the CC list for the bug.