diff options
author | David Malcolm <dmalcolm@redhat.com> | 2018-05-01 00:02:49 +0000 |
---|---|---|
committer | David Malcolm <dmalcolm@gcc.gnu.org> | 2018-05-01 00:02:49 +0000 |
commit | 47ae164c051c575234f4bef916f10346765d9565 (patch) | |
tree | 760ea48318070f852bfd3d074f8b830bba1bb83e /gcc/selftest.h | |
parent | fe43c635035edcd29eca0a8e3b08d8bcf14d9ba8 (diff) | |
download | gcc-47ae164c051c575234f4bef916f10346765d9565.zip gcc-47ae164c051c575234f4bef916f10346765d9565.tar.gz gcc-47ae164c051c575234f4bef916f10346765d9565.tar.bz2 |
selftest: remove "Yoda ordering" in assertions
gcc/ChangeLog:
* selftest.c (assert_streq): Rename "expected" and "actual" to
"val1" and "val2". Extend NULL-handling to cover both inputs
symmetrically, while still requiring both to be non-NULL for a pass.
* selftest.h (assert_streq): Rename "expected" and "actual" to
"val1" and "val2".
(ASSERT_EQ): Likewise.
(ASSERT_EQ_AT): Likewise.
(ASSERT_KNOWN_EQ): Likewise.
(ASSERT_KNOWN_EQ_AT): Likewise.
(ASSERT_NE): Likewise.
(ASSERT_MAYBE_NE): Likewise.
(ASSERT_MAYBE_NE_AT): Likewise.
(ASSERT_STREQ): Likewise. Clarify that both must be non-NULL for
the assertion to pass.
(ASSERT_STREQ_AT): Likewise.
From-SVN: r259782
Diffstat (limited to 'gcc/selftest.h')
-rw-r--r-- | gcc/selftest.h | 66 |
1 files changed, 33 insertions, 33 deletions
diff --git a/gcc/selftest.h b/gcc/selftest.h index fbc2bfe..fc47b2c 100644 --- a/gcc/selftest.h +++ b/gcc/selftest.h @@ -67,8 +67,8 @@ extern void fail_formatted (const location &loc, const char *fmt, ...) /* Implementation detail of ASSERT_STREQ. */ extern void assert_streq (const location &loc, - const char *desc_expected, const char *desc_actual, - const char *val_expected, const char *val_actual); + const char *desc_val1, const char *desc_val2, + const char *val1, const char *val2); /* Implementation detail of ASSERT_STR_CONTAINS. */ @@ -263,71 +263,71 @@ extern int num_passes; ::selftest::pass ((LOC), desc_); \ SELFTEST_END_STMT -/* Evaluate EXPECTED and ACTUAL and compare them with ==, calling +/* Evaluate VAL1 and VAL2 and compare them with ==, calling ::selftest::pass if they are equal, ::selftest::fail if they are non-equal. */ -#define ASSERT_EQ(EXPECTED, ACTUAL) \ - ASSERT_EQ_AT ((SELFTEST_LOCATION), (EXPECTED), (ACTUAL)) +#define ASSERT_EQ(VAL1, VAL2) \ + ASSERT_EQ_AT ((SELFTEST_LOCATION), (VAL1), (VAL2)) /* Like ASSERT_EQ, but treat LOC as the effective location of the selftest. */ -#define ASSERT_EQ_AT(LOC, EXPECTED, ACTUAL) \ +#define ASSERT_EQ_AT(LOC, VAL1, VAL2) \ SELFTEST_BEGIN_STMT \ - const char *desc_ = "ASSERT_EQ (" #EXPECTED ", " #ACTUAL ")"; \ - if ((EXPECTED) == (ACTUAL)) \ + const char *desc_ = "ASSERT_EQ (" #VAL1 ", " #VAL2 ")"; \ + if ((VAL1) == (VAL2)) \ ::selftest::pass ((LOC), desc_); \ else \ ::selftest::fail ((LOC), desc_); \ SELFTEST_END_STMT -/* Evaluate EXPECTED and ACTUAL and compare them with known_eq, calling +/* Evaluate VAL1 and VAL2 and compare them with known_eq, calling ::selftest::pass if they are always equal, ::selftest::fail if they might be non-equal. */ -#define ASSERT_KNOWN_EQ(EXPECTED, ACTUAL) \ - ASSERT_KNOWN_EQ_AT ((SELFTEST_LOCATION), (EXPECTED), (ACTUAL)) +#define ASSERT_KNOWN_EQ(VAL1, VAL2) \ + ASSERT_KNOWN_EQ_AT ((SELFTEST_LOCATION), (VAL1), (VAL2)) /* Like ASSERT_KNOWN_EQ, but treat LOC as the effective location of the selftest. */ -#define ASSERT_KNOWN_EQ_AT(LOC, EXPECTED, ACTUAL) \ +#define ASSERT_KNOWN_EQ_AT(LOC, VAL1, VAL2) \ SELFTEST_BEGIN_STMT \ - const char *desc = "ASSERT_KNOWN_EQ (" #EXPECTED ", " #ACTUAL ")"; \ - if (known_eq (EXPECTED, ACTUAL)) \ + const char *desc = "ASSERT_KNOWN_EQ (" #VAL1 ", " #VAL2 ")"; \ + if (known_eq (VAL1, VAL2)) \ ::selftest::pass ((LOC), desc); \ else \ ::selftest::fail ((LOC), desc); \ SELFTEST_END_STMT -/* Evaluate EXPECTED and ACTUAL and compare them with !=, calling +/* Evaluate VAL1 and VAL2 and compare them with !=, calling ::selftest::pass if they are non-equal, ::selftest::fail if they are equal. */ -#define ASSERT_NE(EXPECTED, ACTUAL) \ +#define ASSERT_NE(VAL1, VAL2) \ SELFTEST_BEGIN_STMT \ - const char *desc_ = "ASSERT_NE (" #EXPECTED ", " #ACTUAL ")"; \ - if ((EXPECTED) != (ACTUAL)) \ + const char *desc_ = "ASSERT_NE (" #VAL1 ", " #VAL2 ")"; \ + if ((VAL1) != (VAL2)) \ ::selftest::pass (SELFTEST_LOCATION, desc_); \ else \ ::selftest::fail (SELFTEST_LOCATION, desc_); \ SELFTEST_END_STMT -/* Evaluate EXPECTED and ACTUAL and compare them with maybe_ne, calling +/* Evaluate VAL1 and VAL2 and compare them with maybe_ne, calling ::selftest::pass if they might be non-equal, ::selftest::fail if they are known to be equal. */ -#define ASSERT_MAYBE_NE(EXPECTED, ACTUAL) \ - ASSERT_MAYBE_NE_AT ((SELFTEST_LOCATION), (EXPECTED), (ACTUAL)) +#define ASSERT_MAYBE_NE(VAL1, VAL2) \ + ASSERT_MAYBE_NE_AT ((SELFTEST_LOCATION), (VAL1), (VAL2)) /* Like ASSERT_MAYBE_NE, but treat LOC as the effective location of the selftest. */ -#define ASSERT_MAYBE_NE_AT(LOC, EXPECTED, ACTUAL) \ +#define ASSERT_MAYBE_NE_AT(LOC, VAL1, VAL2) \ SELFTEST_BEGIN_STMT \ - const char *desc = "ASSERT_MAYBE_NE (" #EXPECTED ", " #ACTUAL ")"; \ - if (maybe_ne (EXPECTED, ACTUAL)) \ + const char *desc = "ASSERT_MAYBE_NE (" #VAL1 ", " #VAL2 ")"; \ + if (maybe_ne (VAL1, VAL2)) \ ::selftest::pass ((LOC), desc); \ else \ ::selftest::fail ((LOC), desc); \ @@ -371,23 +371,23 @@ extern int num_passes; ::selftest::fail ((LOC), desc_); \ SELFTEST_END_STMT -/* Evaluate EXPECTED and ACTUAL and compare them with strcmp, calling - ::selftest::pass if they are equal, - ::selftest::fail if they are non-equal. */ +/* Evaluate VAL1 and VAL2 and compare them with strcmp, calling + ::selftest::pass if they are equal (and both are non-NULL), + ::selftest::fail if they are non-equal, or are both NULL. */ -#define ASSERT_STREQ(EXPECTED, ACTUAL) \ +#define ASSERT_STREQ(VAL1, VAL2) \ SELFTEST_BEGIN_STMT \ - ::selftest::assert_streq (SELFTEST_LOCATION, #EXPECTED, #ACTUAL, \ - (EXPECTED), (ACTUAL)); \ + ::selftest::assert_streq (SELFTEST_LOCATION, #VAL1, #VAL2, \ + (VAL1), (VAL2)); \ SELFTEST_END_STMT /* Like ASSERT_STREQ, but treat LOC as the effective location of the selftest. */ -#define ASSERT_STREQ_AT(LOC, EXPECTED, ACTUAL) \ +#define ASSERT_STREQ_AT(LOC, VAL1, VAL2) \ SELFTEST_BEGIN_STMT \ - ::selftest::assert_streq ((LOC), #EXPECTED, #ACTUAL, \ - (EXPECTED), (ACTUAL)); \ + ::selftest::assert_streq ((LOC), #VAL1, #VAL2, \ + (VAL1), (VAL2)); \ SELFTEST_END_STMT /* Evaluate HAYSTACK and NEEDLE and use strstr to determine if NEEDLE |