RGBCube/serenity
1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-27 16:37:47 +00:00
Code Issues Activity Actions

AK+Kernel+Userland: Enable some more compiletime format string checks

Browse source 
This enables format string checks for three more functions:
- String::formatted()
- Builder::appendff()
- KBufferBuilder::appendff()
This commit is contained in:
AnotherTest 2021-02-23 09:58:15 +03:30 • committed by Andreas Kling
parent c989e55195
commit 7c2754c3a6
6 changed files with 24 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

4
AK/String.h
View file

@ -270,9 +270,9 @@ public:
static String vformatted(StringView fmtstr, TypeErasedFormatParams);
template<typename... Parameters>
static String formatted(StringView fmtstr, const Parameters&... parameters)
static String formatted(CheckedFormatString<Parameters...>&& fmtstr, const Parameters&... parameters)
{
return vformatted(fmtstr, VariadicFormatParams { parameters... });
return vformatted(fmtstr.view(), VariadicFormatParams { parameters... });
}
template<typename T>

4
AK/StringBuilder.h
View file

@ -52,9 +52,9 @@ public:
void append_escaped_for_json(const StringView&);
template<typename... Parameters>
void appendff(StringView fmtstr, const Parameters&... parameters)
void appendff(CheckedFormatString<Parameters...>&& fmtstr, const Parameters&... parameters)
{
vformat(*this, fmtstr, VariadicFormatParams { parameters... });
vformat(*this, fmtstr.view(), VariadicFormatParams { parameters... });
}
String build() const;

20
AK/Tests/TestFormat.cpp
View file

@ -58,8 +58,10 @@ TEST_CASE(reorder_format_arguments)
{
EXPECT_EQ(String::formatted("{1}{0}", "a", "b"), "ba");
EXPECT_EQ(String::formatted("{0}{1}", "a", "b"), "ab");
EXPECT_EQ(String::formatted("{0}{0}{0}", "a", "b"), "aaa");
EXPECT_EQ(String::formatted("{1}{}{0}", "a", "b", "c"), "baa");
// Compiletime check bypass: ignoring a passed argument.
EXPECT_EQ(String::formatted(StringView { "{0}{0}{0}" }, "a", "b"), "aaa");
// Compiletime check bypass: ignoring a passed argument.
EXPECT_EQ(String::formatted(StringView { "{1}{}{0}" }, "a", "b", "c"), "baa");
}
TEST_CASE(escape_braces)
@ -123,16 +125,18 @@ TEST_CASE(zero_pad)
TEST_CASE(replacement_field)
{
EXPECT_EQ(String::formatted("{:*>{1}}", 13, static_cast<size_t>(10)), "********13");
EXPECT_EQ(String::formatted("{:*<{1}}", 7, 4), "7***");
EXPECT_EQ(String::formatted("{:{2}}", -5, 8, 16), " -5");
EXPECT_EQ(String::formatted("{{{:*^{1}}}}", 1, 3), "{*1*}");
EXPECT_EQ(String::formatted("{:0{}}", 1, 3), "001");
// FIXME: Compiletime check bypass: cannot parse '}}' correctly.
EXPECT_EQ(String::formatted(StringView { "{:*>{1}}" }, 13, static_cast<size_t>(10)), "********13");
EXPECT_EQ(String::formatted(StringView { "{:*<{1}}" }, 7, 4), "7***");
EXPECT_EQ(String::formatted(StringView { "{:{2}}" }, -5, 8, 16), " -5");
EXPECT_EQ(String::formatted(StringView { "{{{:*^{1}}}}" }, 1, 3), "{*1*}");
EXPECT_EQ(String::formatted(StringView { "{:0{}}" }, 1, 3), "001");
}
TEST_CASE(replacement_field_regression)
{
EXPECT_EQ(String::formatted("{:{}}", "", static_cast<unsigned long>(6)), " ");
// FIXME: Compiletime check bypass: cannot parse '}}' correctly.
EXPECT_EQ(String::formatted(StringView { "{:{}}" }, "", static_cast<unsigned long>(6)), " ");
}
TEST_CASE(complex_string_specifiers)