* [PATCH v2] kunit: fix bug in KUNIT_EXPECT_MEMEQ
@ 2023-01-27 20:39 Rae Moar
2023-01-28 7:57 ` David Gow
0 siblings, 1 reply; 2+ messages in thread
From: Rae Moar @ 2023-01-27 20:39 UTC (permalink / raw)
To: brendanhiggins, davidgow, dlatypov
Cc: skhan, kunit-dev, linux-kernel, linux-kselftest, Rae Moar,
kernel test robot
In KUNIT_EXPECT_MEMEQ and KUNIT_EXPECT_MEMNEQ, add check if one of the
inputs is NULL and fail if this is the case.
Currently, the kernel crashes if one of the inputs is NULL. Instead,
fail the test and add an appropriate error message.
Fixes: b8a926bea8b1 ("kunit: Introduce KUNIT_EXPECT_MEMEQ and KUNIT_EXPECT_MEMNEQ macros")
This was found by the kernel test robot:
https://lore.kernel.org/all/202212191448.D6EDPdOh-lkp@intel.com/
Reported-by: kernel test robot <lkp@intel.com>
Signed-off-by: Rae Moar <rmoar@google.com>
Reviewed-by: David Gow <davidgow@google.com>
---
Changes since v1:
- Fix formatting of backslashes
- Add Fixes: ... statement to commit message
include/kunit/test.h | 5 +++--
lib/kunit/assert.c | 40 +++++++++++++++++++++++++---------------
2 files changed, 28 insertions(+), 17 deletions(-)
diff --git a/include/kunit/test.h b/include/kunit/test.h
index 87ea90576b50..a20bff149bdf 100644
--- a/include/kunit/test.h
+++ b/include/kunit/test.h
@@ -683,8 +683,9 @@ do { \
.right_text = #right, \
}; \
\
- if (likely(memcmp(__left, __right, __size) op 0)) \
- break; \
+ if (likely(__left && __right)) \
+ if (likely(memcmp(__left, __right, __size) op 0)) \
+ break; \
\
_KUNIT_FAILED(test, \
assert_type, \
diff --git a/lib/kunit/assert.c b/lib/kunit/assert.c
index f5b50babe38d..05a09652f5a1 100644
--- a/lib/kunit/assert.c
+++ b/lib/kunit/assert.c
@@ -241,24 +241,34 @@ void kunit_mem_assert_format(const struct kunit_assert *assert,
mem_assert = container_of(assert, struct kunit_mem_assert,
assert);
- string_stream_add(stream,
- KUNIT_SUBTEST_INDENT "Expected %s %s %s, but\n",
- mem_assert->text->left_text,
- mem_assert->text->operation,
- mem_assert->text->right_text);
+ if (!mem_assert->left_value) {
+ string_stream_add(stream,
+ KUNIT_SUBTEST_INDENT "Expected %s is not null, but is\n",
+ mem_assert->text->left_text);
+ } else if (!mem_assert->right_value) {
+ string_stream_add(stream,
+ KUNIT_SUBTEST_INDENT "Expected %s is not null, but is\n",
+ mem_assert->text->right_text);
+ } else {
+ string_stream_add(stream,
+ KUNIT_SUBTEST_INDENT "Expected %s %s %s, but\n",
+ mem_assert->text->left_text,
+ mem_assert->text->operation,
+ mem_assert->text->right_text);
- string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
- mem_assert->text->left_text);
- kunit_assert_hexdump(stream, mem_assert->left_value,
- mem_assert->right_value, mem_assert->size);
+ string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
+ mem_assert->text->left_text);
+ kunit_assert_hexdump(stream, mem_assert->left_value,
+ mem_assert->right_value, mem_assert->size);
- string_stream_add(stream, "\n");
+ string_stream_add(stream, "\n");
- string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
- mem_assert->text->right_text);
- kunit_assert_hexdump(stream, mem_assert->right_value,
- mem_assert->left_value, mem_assert->size);
+ string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
+ mem_assert->text->right_text);
+ kunit_assert_hexdump(stream, mem_assert->right_value,
+ mem_assert->left_value, mem_assert->size);
- kunit_assert_print_msg(message, stream);
+ kunit_assert_print_msg(message, stream);
+ }
}
EXPORT_SYMBOL_GPL(kunit_mem_assert_format);
base-commit: 5835ffc27381c2d32c3f0d7b575cb3397555ab47
--
2.39.1.456.gfc5497dd1b-goog
^ permalink raw reply related [flat|nested] 2+ messages in thread
* Re: [PATCH v2] kunit: fix bug in KUNIT_EXPECT_MEMEQ
2023-01-27 20:39 [PATCH v2] kunit: fix bug in KUNIT_EXPECT_MEMEQ Rae Moar
@ 2023-01-28 7:57 ` David Gow
0 siblings, 0 replies; 2+ messages in thread
From: David Gow @ 2023-01-28 7:57 UTC (permalink / raw)
To: Rae Moar
Cc: brendanhiggins, dlatypov, skhan, kunit-dev, linux-kernel,
linux-kselftest, kernel test robot
[-- Attachment #1: Type: text/plain, Size: 5253 bytes --]
On Sat, 28 Jan 2023 at 04:40, Rae Moar <rmoar@google.com> wrote:
>
> In KUNIT_EXPECT_MEMEQ and KUNIT_EXPECT_MEMNEQ, add check if one of the
> inputs is NULL and fail if this is the case.
>
> Currently, the kernel crashes if one of the inputs is NULL. Instead,
> fail the test and add an appropriate error message.
>
> Fixes: b8a926bea8b1 ("kunit: Introduce KUNIT_EXPECT_MEMEQ and KUNIT_EXPECT_MEMNEQ macros")
>
> This was found by the kernel test robot:
> https://lore.kernel.org/all/202212191448.D6EDPdOh-lkp@intel.com/
>
> Reported-by: kernel test robot <lkp@intel.com>
>
> Signed-off-by: Rae Moar <rmoar@google.com>
> Reviewed-by: David Gow <davidgow@google.com>
> ---
>
> Changes since v1:
> - Fix formatting of backslashes
> - Add Fixes: ... statement to commit message
>
Looks good to me, now.
Thanks.
— David
> include/kunit/test.h | 5 +++--
> lib/kunit/assert.c | 40 +++++++++++++++++++++++++---------------
> 2 files changed, 28 insertions(+), 17 deletions(-)
>
> diff --git a/include/kunit/test.h b/include/kunit/test.h
> index 87ea90576b50..a20bff149bdf 100644
> --- a/include/kunit/test.h
> +++ b/include/kunit/test.h
> @@ -683,8 +683,9 @@ do { \
> .right_text = #right, \
> }; \
> \
> - if (likely(memcmp(__left, __right, __size) op 0)) \
> - break; \
> + if (likely(__left && __right)) \
> + if (likely(memcmp(__left, __right, __size) op 0)) \
> + break; \
> \
> _KUNIT_FAILED(test, \
> assert_type, \
> diff --git a/lib/kunit/assert.c b/lib/kunit/assert.c
> index f5b50babe38d..05a09652f5a1 100644
> --- a/lib/kunit/assert.c
> +++ b/lib/kunit/assert.c
> @@ -241,24 +241,34 @@ void kunit_mem_assert_format(const struct kunit_assert *assert,
> mem_assert = container_of(assert, struct kunit_mem_assert,
> assert);
>
> - string_stream_add(stream,
> - KUNIT_SUBTEST_INDENT "Expected %s %s %s, but\n",
> - mem_assert->text->left_text,
> - mem_assert->text->operation,
> - mem_assert->text->right_text);
> + if (!mem_assert->left_value) {
> + string_stream_add(stream,
> + KUNIT_SUBTEST_INDENT "Expected %s is not null, but is\n",
> + mem_assert->text->left_text);
> + } else if (!mem_assert->right_value) {
> + string_stream_add(stream,
> + KUNIT_SUBTEST_INDENT "Expected %s is not null, but is\n",
> + mem_assert->text->right_text);
> + } else {
> + string_stream_add(stream,
> + KUNIT_SUBTEST_INDENT "Expected %s %s %s, but\n",
> + mem_assert->text->left_text,
> + mem_assert->text->operation,
> + mem_assert->text->right_text);
>
> - string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
> - mem_assert->text->left_text);
> - kunit_assert_hexdump(stream, mem_assert->left_value,
> - mem_assert->right_value, mem_assert->size);
> + string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
> + mem_assert->text->left_text);
> + kunit_assert_hexdump(stream, mem_assert->left_value,
> + mem_assert->right_value, mem_assert->size);
>
> - string_stream_add(stream, "\n");
> + string_stream_add(stream, "\n");
>
> - string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
> - mem_assert->text->right_text);
> - kunit_assert_hexdump(stream, mem_assert->right_value,
> - mem_assert->left_value, mem_assert->size);
> + string_stream_add(stream, KUNIT_SUBSUBTEST_INDENT "%s ==\n",
> + mem_assert->text->right_text);
> + kunit_assert_hexdump(stream, mem_assert->right_value,
> + mem_assert->left_value, mem_assert->size);
>
> - kunit_assert_print_msg(message, stream);
> + kunit_assert_print_msg(message, stream);
> + }
> }
> EXPORT_SYMBOL_GPL(kunit_mem_assert_format);
>
> base-commit: 5835ffc27381c2d32c3f0d7b575cb3397555ab47
> --
> 2.39.1.456.gfc5497dd1b-goog
>
[-- Attachment #2: S/MIME Cryptographic Signature --]
[-- Type: application/pkcs7-signature, Size: 4003 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2023-01-28 7:57 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-01-27 20:39 [PATCH v2] kunit: fix bug in KUNIT_EXPECT_MEMEQ Rae Moar
2023-01-28 7:57 ` David Gow
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox