[Bug c++/99479] New: [modules] ICE Aborted signal terminated program cc1plus

[Bug c++/99479] New: [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

            Bug ID: 99479
           Summary: [modules] ICE Aborted signal terminated program
                    cc1plus
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: alexander.lelyakin at googlemail dot com
  Target Milestone: ---

g++ -std=c++20 -fmodules-ts -x c++-system-header iostream
g++ -std=c++20 -fmodules-ts -x c++-system-header cstdbool
g++ -std=c++20 -fmodules-ts -x c++-system-header complex
g++ -std=c++20 -fmodules-ts -x c++-system-header coroutine
g++ -std=c++20 -fmodules-ts -x c++-system-header condition_variable
g++ -std=c++20 -fmodules-ts -x c++-system-header future
----
corrupted double-linked list
corrupted double-linked list
g++: internal compiler error: Aborted signal terminated program cc1plus
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210308 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

--- Comment #1 from Alexander Lelyakin <alexander.lelyakin at googlemail dot com> ---
There is a shorter sequence:

g++ -std=c++20 -fmodules-ts -x c++-system-header condition_variable
g++ -std=c++20 -fmodules-ts -x c++-system-header future
----
corrupted double-linked list
corrupted double-linked list
g++: internal compiler error: Aborted signal terminated program cc1plus
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210310 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

--- Comment #2 from Alexander Lelyakin <alexander.lelyakin at googlemail dot com> ---
There is a shorter sequence:

g++ -std=c++20 -fmodules-ts -x c++-system-header unordered_map
g++ -std=c++20 -fmodules-ts -x c++-system-header deque
g++ -std=c++20 -fmodules-ts -x c++-system-header condition_variable
g++ -std=c++20 -fmodules-ts -x c++-system-header streambuf
g++ -std=c++20 -fmodules-ts -x c++-system-header future
----
corrupted double-linked list
corrupted double-linked list
g++: internal compiler error: Aborted signal terminated program cc1plus
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210311 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

--- Comment #3 from Alexander Lelyakin <alexander.lelyakin at googlemail dot com> ---
in gcc version 20210323:
All three sequences now produce "Segmentation fault" instead of "corrupted
double-linked list".

However the error "corrupted double-linked list" is still reproducible:
----
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header cstdarg
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header source_location
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header locale
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header shared_mutex
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header compare
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header concepts
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header cinttypes
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header numeric
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header string_view
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header iostream
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header variant
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header iosfwd
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header cwchar
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header filesystem
----
corrupted double-linked list
corrupted double-linked list
g++: internal compiler error: Aborted signal terminated program cc1plus
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210323 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

--- Comment #4 from Alexander Lelyakin <alexander.lelyakin at googlemail dot com> ---
There is a shorter sequence:
----
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header locale
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header cstdalign
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header ranges
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header string_view
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header atomic
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header filesystem
----
corrupted double-linked list
corrupted double-linked list
g++: internal compiler error: Aborted signal terminated program cc1plus
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210323 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

--- Comment #5 from Alexander Lelyakin <alexander.lelyakin at googlemail dot com> ---
There is a shorter sequence:
----
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header cwchar
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header cmath
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header type_traits
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header
condition_variable
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header future
----
corrupted double-linked list
corrupted double-linked list
g++: internal compiler error: Aborted signal terminated program cc1plus
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210324 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

--- Comment #6 from Alexander Lelyakin <alexander.lelyakin at googlemail dot com> ---
There is a shorter sequence:

/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header
condition_variable
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header cerrno
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header csignal
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header future
----
corrupted double-linked list
corrupted double-linked list
g++: internal compiler error: Aborted signal terminated program cc1plus
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210326 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-03-30
     Ever confirmed|0                           |1
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #7 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Reproduced.  I see:

$ xg++ -std=c++20 -fmodules-ts -x c++-system-header future
In file included from
/home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/bits/ios_base.h:41,
                 from
/home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/ios:42,
                 from
/home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/ostream:38,
                 from
/home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/bits/unique_ptr.h:42,
                 from
/home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/bits/shared_ptr_base.h:59,
                 from
/home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/bits/shared_ptr.h:53,
                 from
/home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/condition_variable:43,
                 from
/home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/future:39:
/home/mpolacek/x/trunk/x86_64-pc-linux-gnu/libstdc++-v3/include/bits/locale_classes.h:163:23:
internal compiler error: in install_entity, at cp/module.cc:7465
  163 |     locale(const std::string& __s) : locale(__s.c_str()) { }
      |                       ^~~~~~
0xc09df4 trees_in::install_entity(tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:7465
0xc0c78e trees_in::decl_value()
        /home/mpolacek/src/gcc/gcc/cp/module.cc:7977
0xc124b7 trees_in::tree_node(bool)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:9151
0xc2bdd1 module_state::read_cluster(unsigned int)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:14791
0xc35172 module_state::load_section(unsigned int, binding_slot*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:18062
0xc37490 module_state::lazy_load(unsigned int, binding_slot*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:18720
0xc149c3 trees_in::tree_node(bool)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:9662
0xc07feb trees_in::lang_decl_vals(tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:6867
0xc086df trees_in::lang_vals(tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:7029
0xc0882e trees_in::tree_node_vals(tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:7060
0xc0c587 trees_in::decl_value()
        /home/mpolacek/src/gcc/gcc/cp/module.cc:7939
0xc124b7 trees_in::tree_node(bool)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:9151
0xbffa8e trees_in::chained_decls()
        /home/mpolacek/src/gcc/gcc/cp/module.cc:4839
0xc068dc trees_in::core_vals(tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:6541
0xc08812 trees_in::tree_node_vals(tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:7058
0xc118d4 trees_in::tree_value()
        /home/mpolacek/src/gcc/gcc/cp/module.cc:8928
0xc1249f trees_in::tree_node(bool)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:9146
0xc068fb trees_in::core_vals(tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:6543
0xc08812 trees_in::tree_node_vals(tree_node*)
        /home/mpolacek/src/gcc/gcc/cp/module.cc:7058
0xc118d4 trees_in::tree_value()
        /home/mpolacek/src/gcc/gcc/cp/module.cc:8928

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

--- Comment #8 from Alexander Lelyakin <alexander.lelyakin at googlemail dot com> ---
in last version:
----
commit 864caa158f6db6b653c6a88ff32ce5ce0b4660a8
Author: Jonathan Wakely <jwakely@redhat.com>
Date:   Mon Mar 29 17:08:32 2021 +0100
----

I see that instead of short message, i have reported before, there is a long
list of error messages, followed by "corrupted double-linked list"

But I have still found a sequence that reproduces an old short message:
----
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header ranges
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header locale
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header unordered_set
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header numbers
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header shared_mutex
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header bitset
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header array
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header string_view
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header complex
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header filesystem
----
corrupted double-linked list
corrupted double-linked list
g++: internal compiler error: Aborted signal terminated program cc1plus
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210329 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

--- Comment #9 from Alexander Lelyakin <alexander.lelyakin at googlemail dot com> ---
Todays shortest sequence:

usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header
condition_variable
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header iosfwd
/usr/local/bin/g++ -std=c++20 -fmodules-ts -x c++-system-header future
----
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:156:74: error: wrong number of
template arguments (1, should be 2)
  156 |   template<typename _CharT, typename _InIter =
istreambuf_iterator<_CharT> >
      |                                                                        
 ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:451:11: note: provided for
‘template<class _CharT, class _Traits> class std::istreambuf_iterator’
  451 |     class istreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:158:75: error: wrong number of
template arguments (1, should be 2)
  158 |   template<typename _CharT, typename _OutIter =
ostreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:454:11: note: provided for
‘template<class _CharT, class _Traits> class std::ostreambuf_iterator’
  454 |     class ostreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:177:75: error: wrong number of
template arguments (1, should be 2)
  177 |   template<typename _CharT, typename _InIter = 
istreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:451:11: note: provided for
‘template<class _CharT, class _Traits> class std::istreambuf_iterator’
  451 |     class istreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:179:75: error: wrong number of
template arguments (1, should be 2)
  179 |   template<typename _CharT, typename _InIter = 
istreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:451:11: note: provided for
‘template<class _CharT, class _Traits> class std::istreambuf_iterator’
  451 |     class istreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:182:75: error: wrong number of
template arguments (1, should be 2)
  182 |   template<typename _CharT, typename _OutIter =
ostreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:454:11: note: provided for
‘template<class _CharT, class _Traits> class std::ostreambuf_iterator’
  454 |     class ostreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:184:75: error: wrong number of
template arguments (1, should be 2)
  184 |   template<typename _CharT, typename _OutIter =
ostreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:454:11: note: provided for
‘template<class _CharT, class _Traits> class std::ostreambuf_iterator’
  454 |     class ostreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:190:75: error: wrong number of
template arguments (1, should be 2)
  190 |   template<typename _CharT, typename _InIter = 
istreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:451:11: note: provided for
‘template<class _CharT, class _Traits> class std::istreambuf_iterator’
  451 |     class istreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:192:75: error: wrong number of
template arguments (1, should be 2)
  192 |   template<typename _CharT, typename _OutIter =
ostreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:454:11: note: provided for
‘template<class _CharT, class _Traits> class std::ostreambuf_iterator’
  454 |     class ostreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
corrupted double-linked list
corrupted double-linked list
g++: internal compiler error: Aborted signal terminated program cc1plus
Please submit a full bug report,
with preprocessed source if appropriate.
See <https://gcc.gnu.org/bugs/> for instructions.
----
g++ (GCC) 11.0.1 20210416 (experimental)
Copyright (C) 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[alexander.lelyakin at googlemail dot com]

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

--- Comment #10 from Alexander Lelyakin <alexander.lelyakin at googlemail dot com> ---
However adding parameter:
 --param=hash-table-verification-limit=1000 
turns this error to PR99861 ICE in hashtab_chk_error
----
/usr/local/bin/g++ --param=hash-table-verification-limit=$N -std=c++20
-fmodules-ts -x c++-system-header condition_variable
/usr/local/bin/g++ --param=hash-table-verification-limit=$N -std=c++20
-fmodules-ts -x c++-system-header iosfwd
/usr/local/bin/g++ --param=hash-table-verification-limit=$N -std=c++20
-fmodules-ts -x c++-system-header future
----
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:156:74: error: wrong number of
template arguments (1, should be 2)
  156 |   template<typename _CharT, typename _InIter =
istreambuf_iterator<_CharT> >
      |                                                                        
 ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:451:11: note: provided for
‘template<class _CharT, class _Traits> class std::istreambuf_iterator’
  451 |     class istreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:158:75: error: wrong number of
template arguments (1, should be 2)
  158 |   template<typename _CharT, typename _OutIter =
ostreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:454:11: note: provided for
‘template<class _CharT, class _Traits> class std::ostreambuf_iterator’
  454 |     class ostreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:177:75: error: wrong number of
template arguments (1, should be 2)
  177 |   template<typename _CharT, typename _InIter = 
istreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:451:11: note: provided for
‘template<class _CharT, class _Traits> class std::istreambuf_iterator’
  451 |     class istreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:179:75: error: wrong number of
template arguments (1, should be 2)
  179 |   template<typename _CharT, typename _InIter = 
istreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:451:11: note: provided for
‘template<class _CharT, class _Traits> class std::istreambuf_iterator’
  451 |     class istreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:182:75: error: wrong number of
template arguments (1, should be 2)
  182 |   template<typename _CharT, typename _OutIter =
ostreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:454:11: note: provided for
‘template<class _CharT, class _Traits> class std::ostreambuf_iterator’
  454 |     class ostreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:184:75: error: wrong number of
template arguments (1, should be 2)
  184 |   template<typename _CharT, typename _OutIter =
ostreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:454:11: note: provided for
‘template<class _CharT, class _Traits> class std::ostreambuf_iterator’
  454 |     class ostreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:190:75: error: wrong number of
template arguments (1, should be 2)
  190 |   template<typename _CharT, typename _InIter = 
istreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:451:11: note: provided for
‘template<class _CharT, class _Traits> class std::istreambuf_iterator’
  451 |     class istreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
In file included from /usr/local/include/c++/11.0.1/string:43,
                 from /usr/local/include/c++/11.0.1/stdexcept:39,
                 from /usr/local/include/c++/11.0.1/system_error:41,
                 from /usr/local/include/c++/11.0.1/mutex:42,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/localefwd.h:192:75: error: wrong number of
template arguments (1, should be 2)
  192 |   template<typename _CharT, typename _OutIter =
ostreambuf_iterator<_CharT> >
      |                                                                        
  ^
In file included from /usr/local/include/c++/11.0.1/array:40,
                 from /usr/local/include/c++/11.0.1/tuple:39,
                 from /usr/local/include/c++/11.0.1/mutex:38,
                 from /usr/local/include/c++/11.0.1/future:38:
/usr/local/include/c++/11.0.1/bits/stl_algobase.h:454:11: note: provided for
‘template<class _CharT, class _Traits> class std::ostreambuf_iterator’
  454 |     class ostreambuf_iterator;
      |           ^~~~~~~~~~~~~~~~~~~
hash table checking failed: equal operator returns true for a pair of values
with a different hash value
In file included from /usr/local/include/c++/11.0.1/future:43:
/usr/local/include/c++/11.0.1/bits/atomic_futex.h:77:5: internal compiler
error: in hashtab_chk_error, at hash-table.c:137
   77 |     atomic<unsigned> _M_data;
      |     ^~~~~~
0x92f6f7 hashtab_chk_error()
        ../../gcc/gcc/hash-table.c:137
0xb3ee45 hash_table<spec_hasher, false, xcallocator>::verify(spec_entry*
const&, unsigned int)
        ../../gcc/gcc/hash-table.h:1033
0xb3f3ce hash_table<spec_hasher, false,
xcallocator>::find_slot_with_hash(spec_entry* const&, unsigned int,
insert_option)
        ../../gcc/gcc/hash-table.h:968
0xafbf3b match_mergeable_specialization(bool, spec_entry*)
        ../../gcc/gcc/cp/pt.c:30034
0xa75038 trees_in::key_mergeable(int, merge_kind, tree_node*, tree_node*,
tree_node*, tree_node*, bool)
        ../../gcc/gcc/cp/module.cc:10670
0xa78c34 trees_in::decl_value()
        ../../gcc/gcc/cp/module.cc:7903
0xa71a97 trees_in::tree_node(bool)
        ../../gcc/gcc/cp/module.cc:9153
0xa780bb module_state::read_cluster(unsigned int)
        ../../gcc/gcc/cp/module.cc:14811
0xa785bd module_state::load_section(unsigned int, binding_slot*)
        ../../gcc/gcc/cp/module.cc:18082
0xa7867f module_state::lazy_load(unsigned int, binding_slot*)
        ../../gcc/gcc/cp/module.cc:18740
0xa72900 trees_in::tree_node(bool)
        ../../gcc/gcc/cp/module.cc:9664
0xa77dbb module_state::read_cluster(unsigned int)
        ../../gcc/gcc/cp/module.cc:14717
0xa785bd module_state::load_section(unsigned int, binding_slot*)
        ../../gcc/gcc/cp/module.cc:18082
0xa7867f module_state::lazy_load(unsigned int, binding_slot*)
        ../../gcc/gcc/cp/module.cc:18740
0xa72900 trees_in::tree_node(bool)
        ../../gcc/gcc/cp/module.cc:9664
0xa77dbb module_state::read_cluster(unsigned int)
        ../../gcc/gcc/cp/module.cc:14717
0xa785bd module_state::load_section(unsigned int, binding_slot*)
        ../../gcc/gcc/cp/module.cc:18082
0xa78778 lazy_load_binding(unsigned int, tree_node*, tree_node*, binding_slot*)
        ../../gcc/gcc/cp/module.cc:18773
0xa8a39e name_lookup::search_namespace_only(tree_node*)
        ../../gcc/gcc/cp/name-lookup.c:928
0xa8b9eb name_lookup::search_unqualified(tree_node*, cp_binding_level*)
        ../../gcc/gcc/cp/name-lookup.c:1158
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

--- Comment #11 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 99737 has been marked as a duplicate of this bug. ***

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

--- Comment #12 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 100129 has been marked as a duplicate of this bug. ***

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |seurer at gcc dot gnu.org

--- Comment #13 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 100052 has been marked as a duplicate of this bug. ***

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99479
Bug 99479 depends on bug 99861, which changed state.

Bug 99861 Summary: [modules] ICE in hashtab_chk_error
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99861

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |DUPLICATE

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

--- Comment #14 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 99861 has been marked as a duplicate of this bug. ***

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

--- Comment #15 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 99722 has been marked as a duplicate of this bug. ***

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

--- Comment #16 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Rereducing via PR 100129 so I don't hit the hash-table-verification issue
(which is not modules related) but rather try to find the GC issue.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

--- Comment #17 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
==20277== Invalid write of size 8
==20277==    at 0xB1C11C: name_lookup::search_unqualified(tree_node*,
cp_binding_level*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB1DE2D: lookup_name(tree_node*, LOOK_where, LOOK_want) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB2F229: cp_parser_lookup_name(cp_parser*, tree_node*,
tag_types, bool, bool, bool, tree_node**, unsigned int) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB5ADF8: cp_parser_template_name(cp_parser*, bool, bool, bool,
tag_types, bool*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB5B409: cp_parser_template_id(cp_parser*, bool, bool,
tag_types, bool) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB5BD6B: cp_parser_class_name(cp_parser*, bool, bool,
tag_types, bool, bool, bool, bool) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB5271E: cp_parser_nested_name_specifier_opt(cp_parser*, bool,
bool, bool, bool, bool) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB76BF0: cp_parser_template_introduction(cp_parser*, bool) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB79543: cp_parser_declaration(cp_parser*, tree_node*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB789F9: cp_parser_declaration_seq_opt(cp_parser*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB78E64: cp_parser_namespace_definition(cp_parser*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB79587: cp_parser_declaration(cp_parser*, tree_node*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==  Address 0x5ef55f8 is 8 bytes inside a block of size 136 free'd
==20277==    at 0x4C33D2F: realloc (in
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==20277==    by 0x21A1640: xrealloc (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB12E5A:
name_lookup::queue_namespace(vec<std::pair<tree_node*, tree_node*>, va_heap,
vl_embed>*, int, tree_node*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB12D50:
name_lookup::queue_namespace(vec<std::pair<tree_node*, tree_node*>, va_heap,
vl_embed>*, int, tree_node*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB1C0BA: name_lookup::search_unqualified(tree_node*,
cp_binding_level*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB1DE2D: lookup_name(tree_node*, LOOK_where, LOOK_want) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0x9C527D: build_op_delete_call(tree_code, tree_node*,
tree_node*, bool, tree_node*, tree_node*, int) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB24CDA: build_delete_destructor_body(tree_node*, tree_node*)
(in /home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB26C3C: maybe_clone_body(tree_node*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xAE1CC6: post_load_processing() (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB0BDE8: lazy_load_pendings(tree_node*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB14368: get_class_binding(tree_node*, tree_node*, bool) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==  Block was alloc'd at
==20277==    at 0x4C33D2F: realloc (in
/usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==20277==    by 0x21A1640: xrealloc (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB12E5A:
name_lookup::queue_namespace(vec<std::pair<tree_node*, tree_node*>, va_heap,
vl_embed>*, int, tree_node*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB12D50:
name_lookup::queue_namespace(vec<std::pair<tree_node*, tree_node*>, va_heap,
vl_embed>*, int, tree_node*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB1C0BA: name_lookup::search_unqualified(tree_node*,
cp_binding_level*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB1DE2D: lookup_name(tree_node*, LOOK_where, LOOK_want) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB2F229: cp_parser_lookup_name(cp_parser*, tree_node*,
tag_types, bool, bool, bool, tree_node**, unsigned int) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB5ADF8: cp_parser_template_name(cp_parser*, bool, bool, bool,
tag_types, bool*) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB5B409: cp_parser_template_id(cp_parser*, bool, bool,
tag_types, bool) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB5BD6B: cp_parser_class_name(cp_parser*, bool, bool,
tag_types, bool, bool, bool, bool) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB5271E: cp_parser_nested_name_specifier_opt(cp_parser*, bool,
bool, bool, bool, bool) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)
==20277==    by 0xB6A917: cp_parser_simple_type_specifier(cp_parser*,
cp_decl_specifier_seq*, int) (in
/home/apinski/upstream-gcc/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/cc1plus)

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

--- Comment #18 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Going to finish reducing the testcase using valgrind since it is an use after
free bug.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

--- Comment #19 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Created attachment 52106
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52106&action=edit
reduced testcase

Not even though it says PR 100129, this is the reduced testcase.
just execute t.sh which does:
gcc header.hh -std=c++20 -fmodules-ts
gcc t.cc -std=c++20 -fmodules-ts -wrapper valgrind,--error-exitcode=1

And you will see the valgrind failures.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #20 from Patrick Palka <ppalka at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #19)
> Created attachment 52106 [details]
> reduced testcase
> 
> Not even though it says PR 100129, this is the reduced testcase.
> just execute t.sh which does:
> gcc header.hh -std=c++20 -fmodules-ts
> gcc t.cc -std=c++20 -fmodules-ts -wrapper valgrind,--error-exitcode=1
> 
> And you will see the valgrind failures.

Looks like name_lookup::search_unqualified uses a static vector under the
assumption that the function isn't recursive:

  /* Make static to avoid continual reallocation.  We're not
     recursive.  */
  static using_queue *queue = NULL;

but with modules, this assumption appears to be untrue:

#0  name_lookup::search_unqualified (this=0x7fffffffcde0, scope=<namespace_decl
0x7ffff7263098 std>, level=0x7ffff73ba048) at
/home/patrick/code/gcc/gcc/cp/name-lookup.cc:1133
#1  0x0000000000aa33f5 in lookup_name (name=name@entry=<identifier_node
0x7ffff7261980 operator delete>, where=<optimized out>,
where@entry=LOOK_where::BLOCK_NAMESPACE, want=want@entry=LOOK_want::NORMAL)
    at /home/patrick/code/gcc/gcc/cp/name-lookup.cc:7736
#2  0x00000000009492be in build_op_delete_call (code=code@entry=DELETE_EXPR,
addr=<parm_decl 0x7ffff7fc5180 this>, size=<integer_cst 0x7ffff73b9150>,
global_p=global_p@entry=false, 
    placement=placement@entry=<tree 0x0>, alloc_fn=alloc_fn@entry=<tree 0x0>,
complain=3) at /home/patrick/code/gcc/gcc/cp/call.cc:7264
#3  0x0000000000aa9e63 in build_delete_destructor_body
(delete_dtor=<function_decl 0x7ffff7399800 __dt_del >,
complete_dtor=<function_decl 0x7ffff7399900 __dt_comp >)
    at /home/patrick/code/gcc/gcc/cp/optimize.cc:139
#4  0x0000000000aab5f9 in maybe_clone_body (fn=fn@entry=<function_decl
0x7ffff7399700 __dt >) at /home/patrick/code/gcc/gcc/cp/optimize.cc:592
#5  0x0000000000a678f8 in post_load_processing () at
/home/patrick/code/gcc/gcc/cp/module.cc:17185
#6  0x0000000000a8e61a in lazy_load_binding (mod=<optimized out>,
ns=ns@entry=<namespace_decl 0x7ffff7263098 std>, id=<identifier_node
0x7ffff7260b40 atomic>, mslot=mslot@entry=0x7ffff73a9d30)
    at /home/patrick/code/gcc/gcc/cp/module.cc:18792
#7  0x0000000000aa000f in name_lookup::search_namespace_only
(this=0x7fffffffd210, scope=<namespace_decl 0x7ffff7263098 std>) at
/home/patrick/code/gcc/gcc/cp/name-lookup.cc:927
#8  0x0000000000aa165c in name_lookup::search_unqualified (this=0x7fffffffd210,
scope=<namespace_decl 0x7ffff7263098 std>, level=<optimized out>) at
/home/patrick/code/gcc/gcc/cp/name-lookup.cc:1155
...

Using a non-static vector fixes the valgrind error.  Is this a fix that's worth
applying at this point?

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[pinskia at gcc dot gnu.org]

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

--- Comment #21 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Patrick Palka from comment #20)
> Using a non-static vector fixes the valgrind error.  Is this a fix that's
> worth applying at this point?

I do think it might fix a bunch of modules issues where the ICE can come and
go. Maybe when GCC 12 branches off, we remove the static but keep this bug
report open and see if there is a way to fix this for GCC 13? The number of
ICEs reported against modules keep on growing as more people are using it and
getting rid of the biggest memory corruption issue will at least allow more
people to test out modules in my mind.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[cvs-commit at gcc dot gnu.org]

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

--- Comment #22 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:7e7a96f774ed892e5cef53fcb68297cd0d513820

commit r12-8051-g7e7a96f774ed892e5cef53fcb68297cd0d513820
Author: Patrick Palka <ppalka@redhat.com>
Date:   Thu Apr 7 16:09:52 2022 -0400

    c++: use after free during name lookup w/ modules [PR99479]

    name_lookup::search_unqualified uses a statically allocated vector
    in order to avoid repeated reallocation, under the assumption that
    the function can't be called recursively.  With modules however,
    this assumption turns out to be false, and search_unqualified can
    be called recursively as demonstrated by the testcase in comment #19
    of PR99479[1] where the recursive call causes the vector to get
    reallocated which invalidates the reference to queue[ix] held by the
    parent call.

    This patch makes search_unqualified instead use an auto_vec with 16
    elements of internal storage.  In turn we can simplify the API of some
    member functions to take the vector by reference and return void.

    [1]: https://gcc.gnu.org/PR99479#c19

            PR c++/99479

    gcc/cp/ChangeLog:

            * name-lookup.cc (name_lookup::using_queue): Change to an
            auto_vec (with 16 elements of internal storage).
            (name_lookup::queue_namespace): Change return type to void,
            take queue parameter by reference and adjust function body
            accordingly.
            (name_lookup::do_queue_usings): Inline into ...
            (name_lookup::queue_usings): ... here.  As in queue_namespace.
            (name_lookup::search_unqualified): Don't make queue static,
            remove length variable, and adjust function body accordingly.

[Bug c++/99479] [modules] ICE Aborted signal terminated program cc1plus

[LpSolit at gmail dot com]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED
   Target Milestone|---                         |12.0

--- Comment #23 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed since GCC 12