lists.openwall.net   lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date:   Tue, 11 Jan 2022 10:34:12 -0800
From:   Daniel Latypov <dlatypov@...gle.com>
To:     David Gow <davidgow@...gle.com>
Cc:     brendanhiggins@...gle.com, linux-kernel@...r.kernel.org,
        kunit-dev@...glegroups.com, linux-kselftest@...r.kernel.org,
        skhan@...uxfoundation.org, torvalds@...ux-foundation.org
Subject: Re: [PATCH 3/6] kunit: drop unused kunit* field in kunit_assert

On Mon, Jan 10, 2022 at 10:51 PM David Gow <davidgow@...gle.com> wrote:
>
> On Sat, Jan 8, 2022 at 9:23 AM Daniel Latypov <dlatypov@...gle.com> wrote:
> >
> > The `struct kunit* test` field in kunit_assert is unused.
> > Note: we have access to `test` where we need it via the string_stream
> > object. I assume `test` in `kunit_assert` predates this and was leftover
> > after some refactoring.
>
> Note that I don't like the idea of accessing 'test' via the string
> stream in general, but we don't seem to ever actually do this (as far
> as I can tell). Maybe if we wanted to be super nitpicky, rewording the
> note to say "if we need it" rather than "where we need it" would be
> clearer.

Ah, I had meant "where we need it" == "where string_stream needs it,
as its the only user that doesn't get test passed as a parameter
everywhere".

Updated the wording to
  Note: string_stream needs it, but it has its own `test` field.

>
> >
> > This patch removes the field and cleans up the macros to avoid
> > needlessly passing around `test`.
> >
> > Signed-off-by: Daniel Latypov <dlatypov@...gle.com>
> > ---
>
> Looks good, thanks!
>
> Reviewed-by: David Gow <davidgow@...gle.com>
>
>
> >  include/kunit/assert.h | 45 ++++++++++++------------------------------
> >  include/kunit/test.h   | 14 +++++--------
> >  2 files changed, 18 insertions(+), 41 deletions(-)
> >
> > diff --git a/include/kunit/assert.h b/include/kunit/assert.h
> > index ad889b539ab3..3da6c792496c 100644
> > --- a/include/kunit/assert.h
> > +++ b/include/kunit/assert.h
> > @@ -30,7 +30,6 @@ enum kunit_assert_type {
> >
> >  /**
> >   * struct kunit_assert - Data for printing a failed assertion or expectation.
> > - * @test: the test case this expectation/assertion is associated with.
> >   * @type: the type (either an expectation or an assertion) of this kunit_assert.
> >   * @line: the source code line number that the expectation/assertion is at.
> >   * @file: the file path of the source file that the expectation/assertion is in.
> > @@ -41,7 +40,6 @@ enum kunit_assert_type {
> >   * format a string to a user reporting the failure.
> >   */
> >  struct kunit_assert {
> > -       struct kunit *test;
> >         enum kunit_assert_type type;
> >         int line;
> >         const char *file;
> > @@ -60,14 +58,12 @@ struct kunit_assert {
> >
> >  /**
> >   * KUNIT_INIT_ASSERT_STRUCT() - Initializer for a &struct kunit_assert.
> > - * @kunit: The test case that this expectation/assertion is associated with.
> >   * @assert_type: The type (assertion or expectation) of this kunit_assert.
> >   * @fmt: The formatting function which builds a string out of this kunit_assert.
> >   *
> >   * The base initializer for a &struct kunit_assert.
> >   */
> > -#define KUNIT_INIT_ASSERT_STRUCT(kunit, assert_type, fmt) {                   \
> > -       .test = kunit,                                                         \
> > +#define KUNIT_INIT_ASSERT_STRUCT(assert_type, fmt) {                          \
> >         .type = assert_type,                                                   \
> >         .file = __FILE__,                                                      \
> >         .line = __LINE__,                                                      \
> > @@ -96,15 +92,13 @@ void kunit_fail_assert_format(const struct kunit_assert *assert,
> >
> >  /**
> >   * KUNIT_INIT_FAIL_ASSERT_STRUCT() - Initializer for &struct kunit_fail_assert.
> > - * @test: The test case that this expectation/assertion is associated with.
> >   * @type: The type (assertion or expectation) of this kunit_assert.
> >   *
> >   * Initializes a &struct kunit_fail_assert. Intended to be used in
> >   * KUNIT_EXPECT_* and KUNIT_ASSERT_* macros.
> >   */
> > -#define KUNIT_INIT_FAIL_ASSERT_STRUCT(test, type) {                           \
> > -       .assert = KUNIT_INIT_ASSERT_STRUCT(test,                               \
> > -                                          type,                               \
> > +#define KUNIT_INIT_FAIL_ASSERT_STRUCT(type) {                         \
> > +       .assert = KUNIT_INIT_ASSERT_STRUCT(type,                               \
> >                                            kunit_fail_assert_format)           \
> >  }
> >
> > @@ -129,7 +123,6 @@ void kunit_unary_assert_format(const struct kunit_assert *assert,
> >
> >  /**
> >   * KUNIT_INIT_UNARY_ASSERT_STRUCT() - Initializes &struct kunit_unary_assert.
> > - * @test: The test case that this expectation/assertion is associated with.
> >   * @type: The type (assertion or expectation) of this kunit_assert.
> >   * @cond: A string representation of the expression asserted true or false.
> >   * @expect_true: True if of type KUNIT_{EXPECT|ASSERT}_TRUE, false otherwise.
> > @@ -137,9 +130,8 @@ void kunit_unary_assert_format(const struct kunit_assert *assert,
> >   * Initializes a &struct kunit_unary_assert. Intended to be used in
> >   * KUNIT_EXPECT_* and KUNIT_ASSERT_* macros.
> >   */
> > -#define KUNIT_INIT_UNARY_ASSERT_STRUCT(test, type, cond, expect_true) {               \
> > -       .assert = KUNIT_INIT_ASSERT_STRUCT(test,                               \
> > -                                          type,                               \
> > +#define KUNIT_INIT_UNARY_ASSERT_STRUCT(type, cond, expect_true) {             \
> > +       .assert = KUNIT_INIT_ASSERT_STRUCT(type,                               \
> >                                            kunit_unary_assert_format),         \
> >         .condition = cond,                                                     \
> >         .expected_true = expect_true                                           \
> > @@ -167,7 +159,6 @@ void kunit_ptr_not_err_assert_format(const struct kunit_assert *assert,
> >  /**
> >   * KUNIT_INIT_PTR_NOT_ERR_ASSERT_STRUCT() - Initializes a
> >   *     &struct kunit_ptr_not_err_assert.
> > - * @test: The test case that this expectation/assertion is associated with.
> >   * @type: The type (assertion or expectation) of this kunit_assert.
> >   * @txt: A string representation of the expression passed to the expectation.
> >   * @val: The actual evaluated pointer value of the expression.
> > @@ -175,9 +166,8 @@ void kunit_ptr_not_err_assert_format(const struct kunit_assert *assert,
> >   * Initializes a &struct kunit_ptr_not_err_assert. Intended to be used in
> >   * KUNIT_EXPECT_* and KUNIT_ASSERT_* macros.
> >   */
> > -#define KUNIT_INIT_PTR_NOT_ERR_STRUCT(test, type, txt, val) {                 \
> > -       .assert = KUNIT_INIT_ASSERT_STRUCT(test,                               \
> > -                                          type,                               \
> > +#define KUNIT_INIT_PTR_NOT_ERR_STRUCT(type, txt, val) {                               \
> > +       .assert = KUNIT_INIT_ASSERT_STRUCT(type,                               \
> >                                            kunit_ptr_not_err_assert_format),   \
> >         .text = txt,                                                           \
> >         .value = val                                                           \
> > @@ -212,7 +202,6 @@ void kunit_binary_assert_format(const struct kunit_assert *assert,
> >  /**
> >   * KUNIT_INIT_BINARY_ASSERT_STRUCT() - Initializes a
> >   *     &struct kunit_binary_assert.
> > - * @test: The test case that this expectation/assertion is associated with.
> >   * @type: The type (assertion or expectation) of this kunit_assert.
> >   * @op_str: A string representation of the comparison operator (e.g. "==").
> >   * @left_str: A string representation of the expression in the left slot.
> > @@ -223,15 +212,13 @@ void kunit_binary_assert_format(const struct kunit_assert *assert,
> >   * Initializes a &struct kunit_binary_assert. Intended to be used in
> >   * KUNIT_EXPECT_* and KUNIT_ASSERT_* macros.
> >   */
> > -#define KUNIT_INIT_BINARY_ASSERT_STRUCT(test,                                 \
> > -                                       type,                                  \
> > +#define KUNIT_INIT_BINARY_ASSERT_STRUCT(type,                                 \
> >                                         op_str,                                \
> >                                         left_str,                              \
> >                                         left_val,                              \
> >                                         right_str,                             \
> >                                         right_val) {                           \
> > -       .assert = KUNIT_INIT_ASSERT_STRUCT(test,                               \
> > -                                          type,                               \
> > +       .assert = KUNIT_INIT_ASSERT_STRUCT(type,                               \
> >                                            kunit_binary_assert_format),        \
> >         .operation = op_str,                                                   \
> >         .left_text = left_str,                                                 \
> > @@ -269,7 +256,6 @@ void kunit_binary_ptr_assert_format(const struct kunit_assert *assert,
> >  /**
> >   * KUNIT_INIT_BINARY_PTR_ASSERT_STRUCT() - Initializes a
> >   *     &struct kunit_binary_ptr_assert.
> > - * @test: The test case that this expectation/assertion is associated with.
> >   * @type: The type (assertion or expectation) of this kunit_assert.
> >   * @op_str: A string representation of the comparison operator (e.g. "==").
> >   * @left_str: A string representation of the expression in the left slot.
> > @@ -280,15 +266,13 @@ void kunit_binary_ptr_assert_format(const struct kunit_assert *assert,
> >   * Initializes a &struct kunit_binary_ptr_assert. Intended to be used in
> >   * KUNIT_EXPECT_* and KUNIT_ASSERT_* macros.
> >   */
> > -#define KUNIT_INIT_BINARY_PTR_ASSERT_STRUCT(test,                             \
> > -                                           type,                              \
> > +#define KUNIT_INIT_BINARY_PTR_ASSERT_STRUCT(type,                             \
> >                                             op_str,                            \
> >                                             left_str,                          \
> >                                             left_val,                          \
> >                                             right_str,                         \
> >                                             right_val) {                       \
> > -       .assert = KUNIT_INIT_ASSERT_STRUCT(test,                               \
> > -                                          type,                               \
> > +       .assert = KUNIT_INIT_ASSERT_STRUCT(type,                               \
> >                                            kunit_binary_ptr_assert_format),    \
> >         .operation = op_str,                                                   \
> >         .left_text = left_str,                                                 \
> > @@ -326,7 +310,6 @@ void kunit_binary_str_assert_format(const struct kunit_assert *assert,
> >  /**
> >   * KUNIT_INIT_BINARY_STR_ASSERT_STRUCT() - Initializes a
> >   *     &struct kunit_binary_str_assert.
> > - * @test: The test case that this expectation/assertion is associated with.
> >   * @type: The type (assertion or expectation) of this kunit_assert.
> >   * @op_str: A string representation of the comparison operator (e.g. "==").
> >   * @left_str: A string representation of the expression in the left slot.
> > @@ -337,15 +320,13 @@ void kunit_binary_str_assert_format(const struct kunit_assert *assert,
> >   * Initializes a &struct kunit_binary_str_assert. Intended to be used in
> >   * KUNIT_EXPECT_* and KUNIT_ASSERT_* macros.
> >   */
> > -#define KUNIT_INIT_BINARY_STR_ASSERT_STRUCT(test,                             \
> > -                                           type,                              \
> > +#define KUNIT_INIT_BINARY_STR_ASSERT_STRUCT(type,                             \
> >                                             op_str,                            \
> >                                             left_str,                          \
> >                                             left_val,                          \
> >                                             right_str,                         \
> >                                             right_val) {                       \
> > -       .assert = KUNIT_INIT_ASSERT_STRUCT(test,                               \
> > -                                          type,                               \
> > +       .assert = KUNIT_INIT_ASSERT_STRUCT(type,                               \
> >                                            kunit_binary_str_assert_format),    \
> >         .operation = op_str,                                                   \
> >         .left_text = left_str,                                                 \
> > diff --git a/include/kunit/test.h b/include/kunit/test.h
> > index 690a28dfc795..ebd45593321e 100644
> > --- a/include/kunit/test.h
> > +++ b/include/kunit/test.h
> > @@ -789,7 +789,7 @@ void kunit_failed_assertion(struct kunit *test,
> >         KUNIT_ASSERTION(test,                                                  \
> >                         false,                                                 \
> >                         kunit_fail_assert,                                     \
> > -                       KUNIT_INIT_FAIL_ASSERT_STRUCT(test, assert_type),      \
> > +                       KUNIT_INIT_FAIL_ASSERT_STRUCT(assert_type),      \
> >                         fmt,                                                   \
> >                         ##__VA_ARGS__)
> >
> > @@ -819,8 +819,7 @@ void kunit_failed_assertion(struct kunit *test,
> >         KUNIT_ASSERTION(test,                                                  \
> >                         !!(condition) == !!expected_true,                      \
> >                         kunit_unary_assert,                                    \
> > -                       KUNIT_INIT_UNARY_ASSERT_STRUCT(test,                   \
> > -                                                      assert_type,            \
> > +                       KUNIT_INIT_UNARY_ASSERT_STRUCT(assert_type,            \
> >                                                        #condition,             \
> >                                                        expected_true),         \
> >                         fmt,                                                   \
> > @@ -878,8 +877,7 @@ do {                                                                               \
> >         KUNIT_ASSERTION(test,                                                  \
> >                         __left op __right,                                     \
> >                         assert_class,                                          \
> > -                       ASSERT_CLASS_INIT(test,                                \
> > -                                         assert_type,                         \
> > +                       ASSERT_CLASS_INIT(assert_type,                         \
> >                                           #op,                                 \
> >                                           #left,                               \
> >                                           __left,                              \
> > @@ -1233,8 +1231,7 @@ do {                                                                             \
> >         KUNIT_ASSERTION(test,                                                  \
> >                         strcmp(__left, __right) op 0,                          \
> >                         kunit_binary_str_assert,                               \
> > -                       KUNIT_INIT_BINARY_STR_ASSERT_STRUCT(test,              \
> > -                                                       assert_type,           \
> > +                       KUNIT_INIT_BINARY_STR_ASSERT_STRUCT(assert_type,       \
> >                                                         #op,                   \
> >                                                         #left,                 \
> >                                                         __left,                \
> > @@ -1293,8 +1290,7 @@ do {                                                                             \
> >         KUNIT_ASSERTION(test,                                                  \
> >                         !IS_ERR_OR_NULL(__ptr),                                \
> >                         kunit_ptr_not_err_assert,                              \
> > -                       KUNIT_INIT_PTR_NOT_ERR_STRUCT(test,                    \
> > -                                                     assert_type,             \
> > +                       KUNIT_INIT_PTR_NOT_ERR_STRUCT(assert_type,             \
> >                                                       #ptr,                    \
> >                                                       __ptr),                  \
> >                         fmt,                                                   \
> > --
> > 2.34.1.575.g55b058a8bb-goog
> >

Powered by blists - more mailing lists

Powered by Openwall GNU/*/Linux Powered by OpenVZ