[Bug c++/86588] peculiar build issue using range-v3

[Bug c++/86588] peculiar build issue using range-v3

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
On the trunk with "std=c++17 -fconcepts" It does not ICE any more but without
it, GCC does.

[Bug c++/86588] peculiar build issue using range-v3

[pinskia at gcc dot gnu.org]

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

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The error message for "-std=gnu++17 -fconcepts" case:

In file included from
/home/mi/h4nn3s/devel/seqan3/include/seqan3/range/view/take_line.hpp:46,
                 from test.cpp:1:
/home/mi/h4nn3s/devel/seqan3/include/seqan3/core/metafunction/range.hpp:218:8:
error: partial specialization ‘struct seqan3::innermost_value_type<t>’ does not
specialize any template arguments and is not more constrained than the primary
template; to define the primary template, remove the template argument list
/home/mi/h4nn3s/devel/seqan3/include/seqan3/core/metafunction/range.hpp:205:8:
note: primary template here
In file included from
/home/mi/h4nn3s/devel/seqan3/include/seqan3/range/view/take_line.hpp:46,
                 from test.cpp:1:
/home/mi/h4nn3s/devel/seqan3/include/seqan3/core/metafunction/range.hpp:255:18:
error: partial specialization ‘seqan3::dimension_v<t>’ does not specialize any
template arguments and is not more constrained than the primary template; to
define the primary template, remove the template argument list
/home/mi/h4nn3s/devel/seqan3/include/seqan3/core/metafunction/range.hpp:246:18:
note: primary template here

[Bug c++/86588] peculiar build issue using range-v3

[pinskia at gcc dot gnu.org]

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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #3)
> On the trunk with "std=c++17 -fconcepts" It does not ICE any more but
> without it, GCC does.

I reduced the testcase where just -std=c++17 ICEs and filed PR 103572. Note
that is unrelated to this bug as the reason why it is ICEing is because the
concept was not recognized (correct) and we get invalid code.

I still have not reduced the original testcase otherwise.

[Bug c++/86588] peculiar build issue using range-v3

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #6 from Martin Liška <marxin at gcc dot gnu.org> ---
Hm, I see the following error with -fconcepts -std=c++17:

$ g++-11 test.ii -c -fconcepts -std=c++17
In file included from
/home/mi/h4nn3s/devel/seqan3/include/seqan3/range/view/take_line.hpp:46,
                 from test.cpp:1:
/home/mi/h4nn3s/devel/seqan3/include/seqan3/core/metafunction/range.hpp:218:8:
error: partial specialization ‘struct seqan3::innermost_value_type<t>’ does not
specialize any template arguments and is not more constrained than the primary
template; to define the primary template, remove the template argument list
/home/mi/h4nn3s/devel/seqan3/include/seqan3/core/metafunction/range.hpp:205:8:
note: primary template here
In file included from
/home/mi/h4nn3s/devel/seqan3/include/seqan3/range/view/take_line.hpp:46,
                 from test.cpp:1:
/home/mi/h4nn3s/devel/seqan3/include/seqan3/core/metafunction/range.hpp:255:18:
error: partial specialization ‘seqan3::dimension_v<t>’ does not specialize any
template arguments and is not more constrained than the primary template; to
define the primary template, remove the template argument list
/home/mi/h4nn3s/devel/seqan3/include/seqan3/core/metafunction/range.hpp:246:18:
note: primary template here

Do you see the ICE w/ or w/o the 2 errors?