public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
From: "johelegp at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/103339] [modules] ICE in exporting module on use of outside specialization
Date: Tue, 23 Nov 2021 17:00:42 +0000	[thread overview]
Message-ID: <bug-103339-4-eOIlwgF0oF@http.gcc.gnu.org/bugzilla/> (raw)
In-Reply-To: <bug-103339-4@http.gcc.gnu.org/bugzilla/>

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

--- Comment #1 from Johel Ernesto Guerrero Peña <johelegp at gmail dot com> ---
In non-reduced code, I got the error from Bug 99861 which I solved with the
workaround above:

```
hash table checking failed: equal operator returns true for a pair of values
with a different hash value
In module waarudo.numbers, imported at
/home/johel/Documents/C++/Repos/waarudo/tests/test.waarudo.numbers.cpp:4:
/home/johel/Documents/C++/Repos/waarudo/sources/waarudo.numbers.cpp: In
substitution of ‘template<class T> using number_difference_t = typename
waarudo::number_difference@waarudo.numbers::type [with T = short unsigned
int]’:
/home/johel/Documents/C++/Repos/waarudo/sources/waarudo.numbers.cpp:57:24:  
required by substitution of ‘template<class Q>  requires  scalar_quantity<Q>
using x_component =
waarudo::component@waarudo.geometries<waarudo::x@waarudo.geometries, Q> [with Q
= waarudo::pixels@waarudo.quantities<short unsigned int>]’
/home/johel/Documents/C++/Repos/waarudo/tests/test.waarudo.numbers.cpp:111:9:  
required from ‘{anonymous}::test()::<lambda()>::<lambda(unsigned
char)>::<lambda(I)> [with I = short unsigned int]’
/usr/include/boost/mp11/algorithm.hpp:1039:29:   required from ‘constexpr F
boost::mp11::detail::mp_for_each_impl(boost::mp11::mp_list<Q ...>, F&&) [with T
= {unsigned char, short unsigned int}; F =
{anonymous}::test()::<lambda()>::<lambda(unsigned char)>::<lambda(I)>]’
/usr/include/boost/mp11/algorithm.hpp:1072:36:   required from ‘constexpr F
boost::mp11::mp_for_each(F&&) [with L = boost::mp11::mp_list<unsigned char,
short unsigned int>; F = {anonymous}::test()::<lambda()>::<lambda(unsigned
char)>::<lambda(I)>]’
/home/johel/Documents/C++/Repos/waarudo/tests/test.waarudo.numbers.cpp:110:58: 
 required from here
/home/johel/Documents/C++/Repos/waarudo/sources/waarudo.numbers.cpp:25:32:
internal compiler error: in hashtab_chk_error, at hash-table.c:137
   25 | export template<class T> using number_difference_t     = typename
number_difference<T>::type;
      |                                ^~~~~~~~~~~~~~~~~~~
0x20f297d internal_error(char const*, ...)
        ???:0
0x97de46 fancy_abort(char const*, int, char const*)
        ???:0
0x97dc52 hashtab_chk_error()
        ???:0
0x9eb38e hash_table<atom_hasher, false, xcallocator>::verify(tree_node* const&,
unsigned int)
        ???:0
0x9ea2c8 constraints_satisfied_p(tree_node*, tree_node*)
        ???:0
0xb8a0ec most_specialized_partial_spec(tree_node*, int)
        ???:0
0xba6a27 instantiate_class_template(tree_node*)
        ???:0
0xbf7c74 complete_type_or_maybe_complain(tree_node*, tree_node*, int)
        ???:0
0xb8d16a tsubst(tree_node*, tree_node*, int, tree_node*)
        ???:0
0xb8be48 tsubst(tree_node*, tree_node*, int, tree_node*)
        ???:0
0x9ea286 tsubst_requires_expr(tree_node*, tree_node*, int, tree_node*)
        ???:0
0x9ea2c8 constraints_satisfied_p(tree_node*, tree_node*)
        ???:0
0xb8bfba tsubst(tree_node*, tree_node*, int, tree_node*)
        ???:0
0xb8e487 tsubst_template_args(tree_node*, tree_node*, int, tree_node*)
        ???:0
0xb8e8df tsubst_argument_pack(tree_node*, tree_node*, int, tree_node*)
        ???:0
0xb8e664 tsubst_template_args(tree_node*, tree_node*, int, tree_node*)
        ???:0
0xb8e487 tsubst_template_args(tree_node*, tree_node*, int, tree_node*)
        ???:0
0xb8e8df tsubst_argument_pack(tree_node*, tree_node*, int, tree_node*)
        ???:0
0xb8e664 tsubst_template_args(tree_node*, tree_node*, int, tree_node*)
        ???:0
0xb8e487 tsubst_template_args(tree_node*, tree_node*, int, tree_node*)
        ???:0
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://bugs.archlinux.org/> for instructions.
```

Workaround:
```C++
template<class T> using workaround_gcc_bug_103339 = std::type_identity_t<T>;

export template<class T> using number_representation_t =
  typename number_representation<workaround_gcc_bug_103339<T>>::type;
```

  reply	other threads:[~2021-11-23 17:00 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-11-20  6:36 [Bug c++/103339] New: " johelegp at gmail dot com
2021-11-23 17:00 ` johelegp at gmail dot com [this message]
2021-11-23 17:11 ` [Bug c++/103339] " johelegp at gmail dot com
2021-11-23 18:15 ` johelegp at gmail dot com
2022-10-18  0:26 ` ppalka at gcc dot gnu.org
2022-10-18  0:30 ` johelegp at gmail dot com
2024-02-10  4:38 ` nshead at gcc dot gnu.org

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=bug-103339-4-eOIlwgF0oF@http.gcc.gnu.org/bugzilla/ \
    --to=gcc-bugzilla@gcc.gnu.org \
    --cc=gcc-bugs@gcc.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).