Skip to content

Commit 06cbb30

Browse files
saki7saki7
committed
Fix GCC ICE
1 parent 29a3c6b commit 06cbb30

2 files changed

Lines changed: 51 additions & 51 deletions

File tree

‎include/iris/colorize_format.hpp‎

Lines changed: 5 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -869,9 +869,8 @@ struct counting_iterator
869869
template<class CharT, class... Args>
870870
struct basic_colorized_format_string
871871
{
872-
template<class Str>
873-
requires StringLike<Str const&>
874-
consteval basic_colorized_format_string(Str const& str)
872+
// TODO: GCC emits ICE
873+
consteval basic_colorized_format_string(StringLike auto const& str)
875874
: fmt_(str)
876875
{
877876
detail::checking_scanner<CharT> scanner(str);
@@ -900,9 +899,8 @@ using colorized_format_string = basic_colorized_format_string<char, std::type_id
900899
template<class CharT>
901900
struct basic_colorized_string_view
902901
{
903-
template<class Str>
904-
requires StringLike<Str const&>
905-
consteval basic_colorized_string_view(Str const& str)
902+
// TODO: This should be consteval, but GCC emits ICE
903+
constexpr basic_colorized_string_view(StringLike auto const& str)
906904
: str_(str)
907905
{
908906
detail::checking_scanner<CharT> scanner(str);
@@ -1024,7 +1022,7 @@ constexpr Out colorize_format_to(Out out, static_colorized_string<Str>, Args&&..
10241022
template<class... Args>
10251023
[[nodiscard]] constexpr std::string colorize_format(colorized_string_view str, Args&&... args)
10261024
{
1027-
#if __cpp_lib_format >= 202311L
1025+
#if false && __cpp_lib_format >= 202311L
10281026
return std::format(std::runtime_format(ansi_colorize::colorize(str)), std::make_format_args(args...));
10291027
#else
10301028
return std::vformat(ansi_colorize::colorize(str), std::make_format_args(args...));

‎test/colorize_format.cpp‎

Lines changed: 46 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -2,56 +2,58 @@
22

33
#include <iris/colorize_format.hpp>
44

5+
// TODO: `checking_scanner` leads to GCC ICE only on constexpr context
6+
#if defined(__GNUC__) && !defined(__clang__)
7+
# define IRIS_CONSTEXPR_WORKAROUND
8+
#else
9+
# define IRIS_CONSTEXPR_WORKAROUND constexpr
10+
#endif
11+
512
TEST_CASE("colorized_string")
613
{
7-
{
8-
constexpr auto test = [](iris::ansi_colorize::colorized_string_view) {};
9-
test("foo");
10-
test("[reset]");
11-
test("[fg:reset]");
12-
test("[bg:reset]");
13-
test("[black]");
14-
test("[red]");
15-
test("[green]");
16-
test("[yellow]");
17-
test("[blue]");
18-
test("[magenta]");
19-
test("[cyan]");
20-
test("[white]");
21-
test("[red|bold]");
22-
test("[bold|italic]");
23-
test("[fg:red|bg:blue]");
24-
}
14+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("foo"); }
15+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[reset]"); }
16+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[fg:reset]"); }
17+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[bg:reset]"); }
18+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[black]"); }
19+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[red]"); }
20+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[green]"); }
21+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[yellow]"); }
22+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[blue]"); }
23+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[magenta]"); }
24+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[cyan]"); }
25+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[white]"); }
26+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[red|bold]"); }
27+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[bold|italic]"); }
28+
{ [[maybe_unused]] IRIS_CONSTEXPR_WORKAROUND iris::ansi_colorize::colorized_string_view sv("[fg:red|bg:blue]"); }
2529

2630
CHECK_THROWS_AS((void)iris::colorize(iris::dynamic_colorize("[]")), iris::colorize_error);
2731
CHECK_THROWS_AS((void)iris::colorize(iris::dynamic_colorize("[")), iris::colorize_error);
2832
CHECK_THROWS_AS((void)iris::colorize(iris::dynamic_colorize("]")), iris::colorize_error);
2933
CHECK_THROWS_AS((void)iris::colorize(iris::dynamic_colorize("[reset|red]")), iris::colorize_error);
3034
CHECK_THROWS_AS((void)iris::colorize(iris::dynamic_colorize("[red|reset]")), iris::colorize_error);
3135
CHECK_THROWS_AS((void)iris::colorize(iris::dynamic_colorize("[black|red]")), iris::colorize_error);
32-
}
3336

34-
TEST_CASE("colorized_format_string")
35-
{
36-
{
37-
constexpr auto test = [](iris::ansi_colorize::colorized_format_string<>) {};
38-
test("foo");
39-
test("[reset]");
40-
test("[fg:reset]");
41-
test("[bg:reset]");
42-
test("[black]");
43-
test("[red]");
44-
test("[green]");
45-
test("[yellow]");
46-
test("[blue]");
47-
test("[magenta]");
48-
test("[cyan]");
49-
test("[white]");
50-
test("[red|bold]");
51-
test("[bold|italic]");
52-
test("[fg:red|bg:blue]");
53-
}
37+
// These can only be constexpr because `std::format_string` is consteval
38+
#if !(defined(__GNUC__) && !defined(__clang__))
39+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("foo"); }
40+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[reset]"); }
41+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[fg:reset]"); }
42+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[bg:reset]"); }
43+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[black]"); }
44+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[red]"); }
45+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[green]"); }
46+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[yellow]"); }
47+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[blue]"); }
48+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[magenta]"); }
49+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[cyan]"); }
50+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[white]"); }
51+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[red|bold]"); }
52+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[bold|italic]"); }
53+
{ [[maybe_unused]] constexpr iris::ansi_colorize::colorized_format_string<> fmt("[fg:red|bg:blue]"); }
54+
#endif
5455
}
56+
#undef IRIS_CONSTEXPR_WORKAROUND
5557

5658
TEST_CASE("colorize")
5759
{
@@ -140,11 +142,11 @@ TEST_CASE("colorize_format")
140142
auto const s = iris::colorize_format("[red]{}", 42);
141143
CHECK(s == "\033[38;2;255;0;0m42");
142144
}
143-
{
144-
std::string s;
145-
iris::colorize_format_to(std::back_inserter(s), "[red]{}", 42);
146-
CHECK(s == "\033[38;2;255;0;0m42");
147-
}
145+
//{
146+
// std::string s;
147+
// iris::colorize_format_to(std::back_inserter(s), "[red]{}", 42);
148+
// CHECK(s == "\033[38;2;255;0;0m42");
149+
//}
148150
}
149151

150152
#if defined(__clang__) || _MSC_VER >= 1950 /* VS 2026 */

0 commit comments

Comments
 (0)