From 60bbfe63a1c40021b44150c385194fc885237dca Mon Sep 17 00:00:00 2001 From: Paul Elliott Date: Tue, 13 Feb 2024 15:06:10 +0000 Subject: [PATCH] Add metatests for failing TEST_EQUAL and TEST_LE_* After getting caught with deadlock issues when these tests fail, add a metatest to test them failing. Signed-off-by: Paul Elliott --- programs/test/metatest.c | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) diff --git a/programs/test/metatest.c b/programs/test/metatest.c index 8e798cd4cd..b68fdf78c5 100644 --- a/programs/test/metatest.c +++ b/programs/test/metatest.c @@ -71,6 +71,41 @@ void meta_test_fail(const char *name) mbedtls_test_fail("Forced test failure", __LINE__, __FILE__); } +void meta_test_not_equal(const char *name) +{ + int left = 20; + int right = 10; + + (void) name; + + TEST_EQUAL(left, right); +exit: + ; +} + +void meta_test_not_le_s(const char *name) +{ + int left = 20; + int right = 10; + + (void) name; + + TEST_LE_S(left, right); +exit: + ; +} + +void meta_test_not_le_u(const char *name) +{ + size_t left = 20; + size_t right = 10; + + (void) name; + + TEST_LE_U(left, right); +exit: + ; +} /****************************************************************/ /* Platform features */ @@ -286,6 +321,9 @@ typedef struct { */ metatest_t metatests[] = { { "test_fail", "any", meta_test_fail }, + { "test_not_equal", "any", meta_test_not_equal }, + { "test_not_le_s", "any", meta_test_not_le_s }, + { "test_not_le_u", "any", meta_test_not_le_u }, { "null_dereference", "any", null_pointer_dereference }, { "null_call", "any", null_pointer_call }, { "read_after_free", "asan", read_after_free },