| 1 | /* SPDX-License-Identifier: GPL-2.0 */ | 
|---|
| 2 | /* | 
|---|
| 3 | * Base unit test (KUnit) API. | 
|---|
| 4 | * | 
|---|
| 5 | * Copyright (C) 2019, Google LLC. | 
|---|
| 6 | * Author: Brendan Higgins <brendanhiggins@google.com> | 
|---|
| 7 | */ | 
|---|
| 8 |  | 
|---|
| 9 | #ifndef _KUNIT_TEST_H | 
|---|
| 10 | #define _KUNIT_TEST_H | 
|---|
| 11 |  | 
|---|
| 12 | #include <kunit/assert.h> | 
|---|
| 13 | #include <kunit/try-catch.h> | 
|---|
| 14 |  | 
|---|
| 15 | #include <linux/args.h> | 
|---|
| 16 | #include <linux/compiler.h> | 
|---|
| 17 | #include <linux/container_of.h> | 
|---|
| 18 | #include <linux/err.h> | 
|---|
| 19 | #include <linux/init.h> | 
|---|
| 20 | #include <linux/jump_label.h> | 
|---|
| 21 | #include <linux/kconfig.h> | 
|---|
| 22 | #include <linux/kref.h> | 
|---|
| 23 | #include <linux/list.h> | 
|---|
| 24 | #include <linux/module.h> | 
|---|
| 25 | #include <linux/slab.h> | 
|---|
| 26 | #include <linux/spinlock.h> | 
|---|
| 27 | #include <linux/string.h> | 
|---|
| 28 | #include <linux/types.h> | 
|---|
| 29 |  | 
|---|
| 30 | #include <asm/rwonce.h> | 
|---|
| 31 | #include <asm/sections.h> | 
|---|
| 32 |  | 
|---|
| 33 | /* Static key: true if any KUnit tests are currently running */ | 
|---|
| 34 | DECLARE_STATIC_KEY_FALSE(kunit_running); | 
|---|
| 35 |  | 
|---|
| 36 | struct kunit; | 
|---|
| 37 | struct string_stream; | 
|---|
| 38 |  | 
|---|
| 39 | /* Maximum size of parameter description string. */ | 
|---|
| 40 | #define KUNIT_PARAM_DESC_SIZE 128 | 
|---|
| 41 |  | 
|---|
| 42 | /* Maximum size of a status comment. */ | 
|---|
| 43 | #define  256 | 
|---|
| 44 |  | 
|---|
| 45 | /* | 
|---|
| 46 | * TAP specifies subtest stream indentation of 4 spaces, 8 spaces for a | 
|---|
| 47 | * sub-subtest.  See the "Subtests" section in | 
|---|
| 48 | * https://node-tap.org/tap-protocol/ | 
|---|
| 49 | */ | 
|---|
| 50 | #define KUNIT_INDENT_LEN		4 | 
|---|
| 51 | #define KUNIT_SUBTEST_INDENT		"    " | 
|---|
| 52 | #define KUNIT_SUBSUBTEST_INDENT		"        " | 
|---|
| 53 |  | 
|---|
| 54 | /** | 
|---|
| 55 | * enum kunit_status - Type of result for a test or test suite | 
|---|
| 56 | * @KUNIT_SUCCESS: Denotes the test suite has not failed nor been skipped | 
|---|
| 57 | * @KUNIT_FAILURE: Denotes the test has failed. | 
|---|
| 58 | * @KUNIT_SKIPPED: Denotes the test has been skipped. | 
|---|
| 59 | */ | 
|---|
| 60 | enum kunit_status { | 
|---|
| 61 | KUNIT_SUCCESS, | 
|---|
| 62 | KUNIT_FAILURE, | 
|---|
| 63 | KUNIT_SKIPPED, | 
|---|
| 64 | }; | 
|---|
| 65 |  | 
|---|
| 66 | /* Attribute struct/enum definitions */ | 
|---|
| 67 |  | 
|---|
| 68 | /* | 
|---|
| 69 | * Speed Attribute is stored as an enum and separated into categories of | 
|---|
| 70 | * speed: very_slow, slow, and normal. These speeds are relative to | 
|---|
| 71 | * other KUnit tests. | 
|---|
| 72 | * | 
|---|
| 73 | * Note: unset speed attribute acts as default of KUNIT_SPEED_NORMAL. | 
|---|
| 74 | */ | 
|---|
| 75 | enum kunit_speed { | 
|---|
| 76 | KUNIT_SPEED_UNSET, | 
|---|
| 77 | KUNIT_SPEED_VERY_SLOW, | 
|---|
| 78 | KUNIT_SPEED_SLOW, | 
|---|
| 79 | KUNIT_SPEED_NORMAL, | 
|---|
| 80 | KUNIT_SPEED_MAX = KUNIT_SPEED_NORMAL, | 
|---|
| 81 | }; | 
|---|
| 82 |  | 
|---|
| 83 | /* Holds attributes for each test case and suite */ | 
|---|
| 84 | struct kunit_attributes { | 
|---|
| 85 | enum kunit_speed speed; | 
|---|
| 86 | }; | 
|---|
| 87 |  | 
|---|
| 88 | /** | 
|---|
| 89 | * struct kunit_case - represents an individual test case. | 
|---|
| 90 | * | 
|---|
| 91 | * @run_case: the function representing the actual test case. | 
|---|
| 92 | * @name:     the name of the test case. | 
|---|
| 93 | * @generate_params: the generator function for parameterized tests. | 
|---|
| 94 | * @attr:     the attributes associated with the test | 
|---|
| 95 | * @param_init: The init function to run before a parameterized test. | 
|---|
| 96 | * @param_exit: The exit function to run after a parameterized test. | 
|---|
| 97 | * | 
|---|
| 98 | * A test case is a function with the signature, | 
|---|
| 99 | * ``void (*)(struct kunit *)`` | 
|---|
| 100 | * that makes expectations and assertions (see KUNIT_EXPECT_TRUE() and | 
|---|
| 101 | * KUNIT_ASSERT_TRUE()) about code under test. Each test case is associated | 
|---|
| 102 | * with a &struct kunit_suite and will be run after the suite's init | 
|---|
| 103 | * function and followed by the suite's exit function. | 
|---|
| 104 | * | 
|---|
| 105 | * A test case should be static and should only be created with the | 
|---|
| 106 | * KUNIT_CASE() macro; additionally, every array of test cases should be | 
|---|
| 107 | * terminated with an empty test case. | 
|---|
| 108 | * | 
|---|
| 109 | * Example: | 
|---|
| 110 | * | 
|---|
| 111 | * .. code-block:: c | 
|---|
| 112 | * | 
|---|
| 113 | *	void add_test_basic(struct kunit *test) | 
|---|
| 114 | *	{ | 
|---|
| 115 | *		KUNIT_EXPECT_EQ(test, 1, add(1, 0)); | 
|---|
| 116 | *		KUNIT_EXPECT_EQ(test, 2, add(1, 1)); | 
|---|
| 117 | *		KUNIT_EXPECT_EQ(test, 0, add(-1, 1)); | 
|---|
| 118 | *		KUNIT_EXPECT_EQ(test, INT_MAX, add(0, INT_MAX)); | 
|---|
| 119 | *		KUNIT_EXPECT_EQ(test, -1, add(INT_MAX, INT_MIN)); | 
|---|
| 120 | *	} | 
|---|
| 121 | * | 
|---|
| 122 | *	static struct kunit_case example_test_cases[] = { | 
|---|
| 123 | *		KUNIT_CASE(add_test_basic), | 
|---|
| 124 | *		{} | 
|---|
| 125 | *	}; | 
|---|
| 126 | * | 
|---|
| 127 | */ | 
|---|
| 128 | struct kunit_case { | 
|---|
| 129 | void (*run_case)(struct kunit *test); | 
|---|
| 130 | const char *name; | 
|---|
| 131 | const void* (*generate_params)(struct kunit *test, | 
|---|
| 132 | const void *prev, char *desc); | 
|---|
| 133 | struct kunit_attributes attr; | 
|---|
| 134 | int (*param_init)(struct kunit *test); | 
|---|
| 135 | void (*param_exit)(struct kunit *test); | 
|---|
| 136 |  | 
|---|
| 137 | /* private: internal use only. */ | 
|---|
| 138 | enum kunit_status status; | 
|---|
| 139 | char *module_name; | 
|---|
| 140 | struct string_stream *log; | 
|---|
| 141 | }; | 
|---|
| 142 |  | 
|---|
| 143 | static inline char *kunit_status_to_ok_not_ok(enum kunit_status status) | 
|---|
| 144 | { | 
|---|
| 145 | switch (status) { | 
|---|
| 146 | case KUNIT_SKIPPED: | 
|---|
| 147 | case KUNIT_SUCCESS: | 
|---|
| 148 | return "ok"; | 
|---|
| 149 | case KUNIT_FAILURE: | 
|---|
| 150 | return "not ok"; | 
|---|
| 151 | } | 
|---|
| 152 | return "invalid"; | 
|---|
| 153 | } | 
|---|
| 154 |  | 
|---|
| 155 | /** | 
|---|
| 156 | * KUNIT_CASE - A helper for creating a &struct kunit_case | 
|---|
| 157 | * | 
|---|
| 158 | * @test_name: a reference to a test case function. | 
|---|
| 159 | * | 
|---|
| 160 | * Takes a symbol for a function representing a test case and creates a | 
|---|
| 161 | * &struct kunit_case object from it. See the documentation for | 
|---|
| 162 | * &struct kunit_case for an example on how to use it. | 
|---|
| 163 | */ | 
|---|
| 164 | #define KUNIT_CASE(test_name)			\ | 
|---|
| 165 | { .run_case = test_name, .name = #test_name,	\ | 
|---|
| 166 | .module_name = KBUILD_MODNAME} | 
|---|
| 167 |  | 
|---|
| 168 | /** | 
|---|
| 169 | * KUNIT_CASE_ATTR - A helper for creating a &struct kunit_case | 
|---|
| 170 | * with attributes | 
|---|
| 171 | * | 
|---|
| 172 | * @test_name: a reference to a test case function. | 
|---|
| 173 | * @attributes: a reference to a struct kunit_attributes object containing | 
|---|
| 174 | * test attributes | 
|---|
| 175 | */ | 
|---|
| 176 | #define KUNIT_CASE_ATTR(test_name, attributes)			\ | 
|---|
| 177 | { .run_case = test_name, .name = #test_name,	\ | 
|---|
| 178 | .attr = attributes, .module_name = KBUILD_MODNAME} | 
|---|
| 179 |  | 
|---|
| 180 | /** | 
|---|
| 181 | * KUNIT_CASE_SLOW - A helper for creating a &struct kunit_case | 
|---|
| 182 | * with the slow attribute | 
|---|
| 183 | * | 
|---|
| 184 | * @test_name: a reference to a test case function. | 
|---|
| 185 | */ | 
|---|
| 186 |  | 
|---|
| 187 | #define KUNIT_CASE_SLOW(test_name)			\ | 
|---|
| 188 | { .run_case = test_name, .name = #test_name,	\ | 
|---|
| 189 | .attr.speed = KUNIT_SPEED_SLOW, .module_name = KBUILD_MODNAME} | 
|---|
| 190 |  | 
|---|
| 191 | /** | 
|---|
| 192 | * KUNIT_CASE_PARAM - A helper for creation a parameterized &struct kunit_case | 
|---|
| 193 | * | 
|---|
| 194 | * @test_name: a reference to a test case function. | 
|---|
| 195 | * @gen_params: a reference to a parameter generator function. | 
|---|
| 196 | * | 
|---|
| 197 | * The generator function:: | 
|---|
| 198 | * | 
|---|
| 199 | *	const void* gen_params(const void *prev, char *desc) | 
|---|
| 200 | * | 
|---|
| 201 | * is used to lazily generate a series of arbitrarily typed values that fit into | 
|---|
| 202 | * a void*. The argument @prev is the previously returned value, which should be | 
|---|
| 203 | * used to derive the next value; @prev is set to NULL on the initial generator | 
|---|
| 204 | * call. When no more values are available, the generator must return NULL. | 
|---|
| 205 | * Optionally write a string into @desc (size of KUNIT_PARAM_DESC_SIZE) | 
|---|
| 206 | * describing the parameter. | 
|---|
| 207 | */ | 
|---|
| 208 | #define KUNIT_CASE_PARAM(test_name, gen_params)			\ | 
|---|
| 209 | { .run_case = test_name, .name = #test_name,	\ | 
|---|
| 210 | .generate_params = gen_params, .module_name = KBUILD_MODNAME} | 
|---|
| 211 |  | 
|---|
| 212 | /** | 
|---|
| 213 | * KUNIT_CASE_PARAM_ATTR - A helper for creating a parameterized &struct | 
|---|
| 214 | * kunit_case with attributes | 
|---|
| 215 | * | 
|---|
| 216 | * @test_name: a reference to a test case function. | 
|---|
| 217 | * @gen_params: a reference to a parameter generator function. | 
|---|
| 218 | * @attributes: a reference to a struct kunit_attributes object containing | 
|---|
| 219 | * test attributes | 
|---|
| 220 | */ | 
|---|
| 221 | #define KUNIT_CASE_PARAM_ATTR(test_name, gen_params, attributes)	\ | 
|---|
| 222 | { .run_case = test_name, .name = #test_name,	\ | 
|---|
| 223 | .generate_params = gen_params,				\ | 
|---|
| 224 | .attr = attributes, .module_name = KBUILD_MODNAME} | 
|---|
| 225 |  | 
|---|
| 226 | /** | 
|---|
| 227 | * KUNIT_CASE_PARAM_WITH_INIT - Define a parameterized KUnit test case with custom | 
|---|
| 228 | * param_init() and param_exit() functions. | 
|---|
| 229 | * @test_name: The function implementing the test case. | 
|---|
| 230 | * @gen_params: The function to generate parameters for the test case. | 
|---|
| 231 | * @init: A reference to the param_init() function to run before a parameterized test. | 
|---|
| 232 | * @exit: A reference to the param_exit() function to run after a parameterized test. | 
|---|
| 233 | * | 
|---|
| 234 | * Provides the option to register param_init() and param_exit() functions. | 
|---|
| 235 | * param_init/exit will be passed the parameterized test context and run once | 
|---|
| 236 | * before and once after the parameterized test. The init function can be used | 
|---|
| 237 | * to add resources to share between parameter runs, pass parameter arrays, | 
|---|
| 238 | * and any other setup logic. The exit function can be used to clean up resources | 
|---|
| 239 | * that were not managed by the parameterized test, and any other teardown logic. | 
|---|
| 240 | * | 
|---|
| 241 | * Note: If you are registering a parameter array in param_init() with | 
|---|
| 242 | * kunit_register_param_array() then you need to pass kunit_array_gen_params() | 
|---|
| 243 | * to this as the generator function. | 
|---|
| 244 | */ | 
|---|
| 245 | #define KUNIT_CASE_PARAM_WITH_INIT(test_name, gen_params, init, exit)		\ | 
|---|
| 246 | { .run_case = test_name, .name = #test_name,			\ | 
|---|
| 247 | .generate_params = gen_params,				\ | 
|---|
| 248 | .param_init = init, .param_exit = exit,			\ | 
|---|
| 249 | .module_name = KBUILD_MODNAME} | 
|---|
| 250 |  | 
|---|
| 251 | /** | 
|---|
| 252 | * struct kunit_suite - describes a related collection of &struct kunit_case | 
|---|
| 253 | * | 
|---|
| 254 | * @name:	the name of the test. Purely informational. | 
|---|
| 255 | * @suite_init:	called once per test suite before the test cases. | 
|---|
| 256 | * @suite_exit:	called once per test suite after all test cases. | 
|---|
| 257 | * @init:	called before every test case. | 
|---|
| 258 | * @exit:	called after every test case. | 
|---|
| 259 | * @test_cases:	a null terminated array of test cases. | 
|---|
| 260 | * @attr:	the attributes associated with the test suite | 
|---|
| 261 | * | 
|---|
| 262 | * A kunit_suite is a collection of related &struct kunit_case s, such that | 
|---|
| 263 | * @init is called before every test case and @exit is called after every | 
|---|
| 264 | * test case, similar to the notion of a *test fixture* or a *test class* | 
|---|
| 265 | * in other unit testing frameworks like JUnit or Googletest. | 
|---|
| 266 | * | 
|---|
| 267 | * Note that @exit and @suite_exit will run even if @init or @suite_init | 
|---|
| 268 | * fail: make sure they can handle any inconsistent state which may result. | 
|---|
| 269 | * | 
|---|
| 270 | * Every &struct kunit_case must be associated with a kunit_suite for KUnit | 
|---|
| 271 | * to run it. | 
|---|
| 272 | */ | 
|---|
| 273 | struct kunit_suite { | 
|---|
| 274 | const char name[256]; | 
|---|
| 275 | int (*suite_init)(struct kunit_suite *suite); | 
|---|
| 276 | void (*suite_exit)(struct kunit_suite *suite); | 
|---|
| 277 | int (*init)(struct kunit *test); | 
|---|
| 278 | void (*exit)(struct kunit *test); | 
|---|
| 279 | struct kunit_case *test_cases; | 
|---|
| 280 | struct kunit_attributes attr; | 
|---|
| 281 |  | 
|---|
| 282 | /* private: internal use only */ | 
|---|
| 283 | char [KUNIT_STATUS_COMMENT_SIZE]; | 
|---|
| 284 | struct dentry *debugfs; | 
|---|
| 285 | struct string_stream *log; | 
|---|
| 286 | int suite_init_err; | 
|---|
| 287 | bool is_init; | 
|---|
| 288 | }; | 
|---|
| 289 |  | 
|---|
| 290 | /* Stores an array of suites, end points one past the end */ | 
|---|
| 291 | struct kunit_suite_set { | 
|---|
| 292 | struct kunit_suite * const *start; | 
|---|
| 293 | struct kunit_suite * const *end; | 
|---|
| 294 | }; | 
|---|
| 295 |  | 
|---|
| 296 | /* Stores the pointer to the parameter array and its metadata. */ | 
|---|
| 297 | struct kunit_params { | 
|---|
| 298 | /* | 
|---|
| 299 | * Reference to the parameter array for a parameterized test. This | 
|---|
| 300 | * is NULL if a parameter array wasn't directly passed to the | 
|---|
| 301 | * parameterized test context struct kunit via kunit_register_params_array(). | 
|---|
| 302 | */ | 
|---|
| 303 | const void *params; | 
|---|
| 304 | /* Reference to a function that gets the description of a parameter. */ | 
|---|
| 305 | void (*get_description)(struct kunit *test, const void *param, char *desc); | 
|---|
| 306 | size_t num_params; | 
|---|
| 307 | size_t elem_size; | 
|---|
| 308 | }; | 
|---|
| 309 |  | 
|---|
| 310 | /** | 
|---|
| 311 | * struct kunit - represents a running instance of a test. | 
|---|
| 312 | * | 
|---|
| 313 | * @priv: for user to store arbitrary data. Commonly used to pass data | 
|---|
| 314 | *	  created in the init function (see &struct kunit_suite). | 
|---|
| 315 | * @parent: reference to the parent context of type struct kunit that can | 
|---|
| 316 | *	    be used for storing shared resources. | 
|---|
| 317 | * @params_array: for storing the parameter array. | 
|---|
| 318 | * | 
|---|
| 319 | * Used to store information about the current context under which the test | 
|---|
| 320 | * is running. Most of this data is private and should only be accessed | 
|---|
| 321 | * indirectly via public functions; the exceptions are @priv, @parent and | 
|---|
| 322 | * @params_array which can be used by the test writer to store arbitrary data, | 
|---|
| 323 | * access the parent context, and to store the parameter array, respectively. | 
|---|
| 324 | */ | 
|---|
| 325 | struct kunit { | 
|---|
| 326 | void *priv; | 
|---|
| 327 | struct kunit *parent; | 
|---|
| 328 | struct kunit_params params_array; | 
|---|
| 329 |  | 
|---|
| 330 | /* private: internal use only. */ | 
|---|
| 331 | const char *name; /* Read only after initialization! */ | 
|---|
| 332 | struct string_stream *log; /* Points at case log after initialization */ | 
|---|
| 333 | struct kunit_try_catch try_catch; | 
|---|
| 334 | /* param_value is the current parameter value for a test case. */ | 
|---|
| 335 | const void *param_value; | 
|---|
| 336 | /* param_index stores the index of the parameter in parameterized tests. */ | 
|---|
| 337 | int param_index; | 
|---|
| 338 | /* | 
|---|
| 339 | * success starts as true, and may only be set to false during a | 
|---|
| 340 | * test case; thus, it is safe to update this across multiple | 
|---|
| 341 | * threads using WRITE_ONCE; however, as a consequence, it may only | 
|---|
| 342 | * be read after the test case finishes once all threads associated | 
|---|
| 343 | * with the test case have terminated. | 
|---|
| 344 | */ | 
|---|
| 345 | spinlock_t lock; /* Guards all mutable test state. */ | 
|---|
| 346 | enum kunit_status status; /* Read only after test_case finishes! */ | 
|---|
| 347 | /* | 
|---|
| 348 | * Because resources is a list that may be updated multiple times (with | 
|---|
| 349 | * new resources) from any thread associated with a test case, we must | 
|---|
| 350 | * protect it with some type of lock. | 
|---|
| 351 | */ | 
|---|
| 352 | struct list_head resources; /* Protected by lock. */ | 
|---|
| 353 |  | 
|---|
| 354 | char [KUNIT_STATUS_COMMENT_SIZE]; | 
|---|
| 355 | /* Saves the last seen test. Useful to help with faults. */ | 
|---|
| 356 | struct kunit_loc last_seen; | 
|---|
| 357 | }; | 
|---|
| 358 |  | 
|---|
| 359 | static inline void kunit_set_failure(struct kunit *test) | 
|---|
| 360 | { | 
|---|
| 361 | WRITE_ONCE(test->status, KUNIT_FAILURE); | 
|---|
| 362 | } | 
|---|
| 363 |  | 
|---|
| 364 | bool kunit_enabled(void); | 
|---|
| 365 | bool kunit_autorun(void); | 
|---|
| 366 | const char *kunit_action(void); | 
|---|
| 367 | const char *kunit_filter_glob(void); | 
|---|
| 368 | char *kunit_filter(void); | 
|---|
| 369 | char *kunit_filter_action(void); | 
|---|
| 370 |  | 
|---|
| 371 | void kunit_init_test(struct kunit *test, const char *name, struct string_stream *log); | 
|---|
| 372 |  | 
|---|
| 373 | int kunit_run_tests(struct kunit_suite *suite); | 
|---|
| 374 |  | 
|---|
| 375 | size_t kunit_suite_num_test_cases(struct kunit_suite *suite); | 
|---|
| 376 |  | 
|---|
| 377 | unsigned int kunit_test_case_num(struct kunit_suite *suite, | 
|---|
| 378 | struct kunit_case *test_case); | 
|---|
| 379 |  | 
|---|
| 380 | struct kunit_suite_set | 
|---|
| 381 | kunit_filter_suites(const struct kunit_suite_set *suite_set, | 
|---|
| 382 | const char *filter_glob, | 
|---|
| 383 | char *filters, | 
|---|
| 384 | char *filter_action, | 
|---|
| 385 | int *err); | 
|---|
| 386 | void kunit_free_suite_set(struct kunit_suite_set suite_set); | 
|---|
| 387 |  | 
|---|
| 388 | int __kunit_test_suites_init(struct kunit_suite * const * const suites, int num_suites, | 
|---|
| 389 | bool run_tests); | 
|---|
| 390 |  | 
|---|
| 391 | void __kunit_test_suites_exit(struct kunit_suite **suites, int num_suites); | 
|---|
| 392 |  | 
|---|
| 393 | void kunit_exec_run_tests(struct kunit_suite_set *suite_set, bool builtin); | 
|---|
| 394 | void kunit_exec_list_tests(struct kunit_suite_set *suite_set, bool include_attr); | 
|---|
| 395 |  | 
|---|
| 396 | struct kunit_suite_set kunit_merge_suite_sets(struct kunit_suite_set init_suite_set, | 
|---|
| 397 | struct kunit_suite_set suite_set); | 
|---|
| 398 |  | 
|---|
| 399 | const void *kunit_array_gen_params(struct kunit *test, const void *prev, char *desc); | 
|---|
| 400 |  | 
|---|
| 401 | #if IS_BUILTIN(CONFIG_KUNIT) | 
|---|
| 402 | int kunit_run_all_tests(void); | 
|---|
| 403 | #else | 
|---|
| 404 | static inline int kunit_run_all_tests(void) | 
|---|
| 405 | { | 
|---|
| 406 | return 0; | 
|---|
| 407 | } | 
|---|
| 408 | #endif /* IS_BUILTIN(CONFIG_KUNIT) */ | 
|---|
| 409 |  | 
|---|
| 410 | #define __kunit_test_suites(unique_array, ...)				       \ | 
|---|
| 411 | static struct kunit_suite *unique_array[]			       \ | 
|---|
| 412 | __aligned(sizeof(struct kunit_suite *))				       \ | 
|---|
| 413 | __used __section(".kunit_test_suites") = { __VA_ARGS__ } | 
|---|
| 414 |  | 
|---|
| 415 | /** | 
|---|
| 416 | * kunit_test_suites() - used to register one or more &struct kunit_suite | 
|---|
| 417 | *			 with KUnit. | 
|---|
| 418 | * | 
|---|
| 419 | * @__suites: a statically allocated list of &struct kunit_suite. | 
|---|
| 420 | * | 
|---|
| 421 | * Registers @suites with the test framework. | 
|---|
| 422 | * This is done by placing the array of struct kunit_suite * in the | 
|---|
| 423 | * .kunit_test_suites ELF section. | 
|---|
| 424 | * | 
|---|
| 425 | * When builtin, KUnit tests are all run via the executor at boot, and when | 
|---|
| 426 | * built as a module, they run on module load. | 
|---|
| 427 | * | 
|---|
| 428 | */ | 
|---|
| 429 | #define kunit_test_suites(__suites...)						\ | 
|---|
| 430 | __kunit_test_suites(__UNIQUE_ID(array),				\ | 
|---|
| 431 | ##__suites) | 
|---|
| 432 |  | 
|---|
| 433 | #define kunit_test_suite(suite)	kunit_test_suites(&suite) | 
|---|
| 434 |  | 
|---|
| 435 | #define __kunit_init_test_suites(unique_array, ...)			       \ | 
|---|
| 436 | static struct kunit_suite *unique_array[]			       \ | 
|---|
| 437 | __aligned(sizeof(struct kunit_suite *))				       \ | 
|---|
| 438 | __used __section(".kunit_init_test_suites") = { __VA_ARGS__ } | 
|---|
| 439 |  | 
|---|
| 440 | /** | 
|---|
| 441 | * kunit_test_init_section_suites() - used to register one or more &struct | 
|---|
| 442 | *				      kunit_suite containing init functions or | 
|---|
| 443 | *				      init data. | 
|---|
| 444 | * | 
|---|
| 445 | * @__suites: a statically allocated list of &struct kunit_suite. | 
|---|
| 446 | * | 
|---|
| 447 | * This functions similar to kunit_test_suites() except that it compiles the | 
|---|
| 448 | * list of suites during init phase. | 
|---|
| 449 | * | 
|---|
| 450 | * This macro also suffixes the array and suite declarations it makes with | 
|---|
| 451 | * _probe; so that modpost suppresses warnings about referencing init data | 
|---|
| 452 | * for symbols named in this manner. | 
|---|
| 453 | * | 
|---|
| 454 | * Note: these init tests are not able to be run after boot so there is no | 
|---|
| 455 | * "run" debugfs file generated for these tests. | 
|---|
| 456 | * | 
|---|
| 457 | * Also, do not mark the suite or test case structs with __initdata because | 
|---|
| 458 | * they will be used after the init phase with debugfs. | 
|---|
| 459 | */ | 
|---|
| 460 | #define kunit_test_init_section_suites(__suites...)			\ | 
|---|
| 461 | __kunit_init_test_suites(CONCATENATE(__UNIQUE_ID(array), _probe), \ | 
|---|
| 462 | ##__suites) | 
|---|
| 463 |  | 
|---|
| 464 | #define kunit_test_init_section_suite(suite)	\ | 
|---|
| 465 | kunit_test_init_section_suites(&suite) | 
|---|
| 466 |  | 
|---|
| 467 | #define kunit_suite_for_each_test_case(suite, test_case)		\ | 
|---|
| 468 | for (test_case = suite->test_cases; test_case->run_case; test_case++) | 
|---|
| 469 |  | 
|---|
| 470 | enum kunit_status kunit_suite_has_succeeded(struct kunit_suite *suite); | 
|---|
| 471 |  | 
|---|
| 472 | /** | 
|---|
| 473 | * kunit_kmalloc_array() - Like kmalloc_array() except the allocation is *test managed*. | 
|---|
| 474 | * @test: The test context object. | 
|---|
| 475 | * @n: number of elements. | 
|---|
| 476 | * @size: The size in bytes of the desired memory. | 
|---|
| 477 | * @gfp: flags passed to underlying kmalloc(). | 
|---|
| 478 | * | 
|---|
| 479 | * Just like `kmalloc_array(...)`, except the allocation is managed by the test case | 
|---|
| 480 | * and is automatically cleaned up after the test case concludes. See kunit_add_action() | 
|---|
| 481 | * for more information. | 
|---|
| 482 | * | 
|---|
| 483 | * Note that some internal context data is also allocated with GFP_KERNEL, | 
|---|
| 484 | * regardless of the gfp passed in. | 
|---|
| 485 | */ | 
|---|
| 486 | void *kunit_kmalloc_array(struct kunit *test, size_t n, size_t size, gfp_t gfp); | 
|---|
| 487 |  | 
|---|
| 488 | /** | 
|---|
| 489 | * kunit_kmalloc() - Like kmalloc() except the allocation is *test managed*. | 
|---|
| 490 | * @test: The test context object. | 
|---|
| 491 | * @size: The size in bytes of the desired memory. | 
|---|
| 492 | * @gfp: flags passed to underlying kmalloc(). | 
|---|
| 493 | * | 
|---|
| 494 | * See kmalloc() and kunit_kmalloc_array() for more information. | 
|---|
| 495 | * | 
|---|
| 496 | * Note that some internal context data is also allocated with GFP_KERNEL, | 
|---|
| 497 | * regardless of the gfp passed in. | 
|---|
| 498 | */ | 
|---|
| 499 | static inline void *kunit_kmalloc(struct kunit *test, size_t size, gfp_t gfp) | 
|---|
| 500 | { | 
|---|
| 501 | return kunit_kmalloc_array(test, n: 1, size, gfp); | 
|---|
| 502 | } | 
|---|
| 503 |  | 
|---|
| 504 | /** | 
|---|
| 505 | * kunit_kfree() - Like kfree except for allocations managed by KUnit. | 
|---|
| 506 | * @test: The test case to which the resource belongs. | 
|---|
| 507 | * @ptr: The memory allocation to free. | 
|---|
| 508 | */ | 
|---|
| 509 | void kunit_kfree(struct kunit *test, const void *ptr); | 
|---|
| 510 |  | 
|---|
| 511 | /** | 
|---|
| 512 | * kunit_kzalloc() - Just like kunit_kmalloc(), but zeroes the allocation. | 
|---|
| 513 | * @test: The test context object. | 
|---|
| 514 | * @size: The size in bytes of the desired memory. | 
|---|
| 515 | * @gfp: flags passed to underlying kmalloc(). | 
|---|
| 516 | * | 
|---|
| 517 | * See kzalloc() and kunit_kmalloc_array() for more information. | 
|---|
| 518 | */ | 
|---|
| 519 | static inline void *kunit_kzalloc(struct kunit *test, size_t size, gfp_t gfp) | 
|---|
| 520 | { | 
|---|
| 521 | return kunit_kmalloc(test, size, gfp: gfp | __GFP_ZERO); | 
|---|
| 522 | } | 
|---|
| 523 |  | 
|---|
| 524 | /** | 
|---|
| 525 | * kunit_kcalloc() - Just like kunit_kmalloc_array(), but zeroes the allocation. | 
|---|
| 526 | * @test: The test context object. | 
|---|
| 527 | * @n: number of elements. | 
|---|
| 528 | * @size: The size in bytes of the desired memory. | 
|---|
| 529 | * @gfp: flags passed to underlying kmalloc(). | 
|---|
| 530 | * | 
|---|
| 531 | * See kcalloc() and kunit_kmalloc_array() for more information. | 
|---|
| 532 | */ | 
|---|
| 533 | static inline void *kunit_kcalloc(struct kunit *test, size_t n, size_t size, gfp_t gfp) | 
|---|
| 534 | { | 
|---|
| 535 | return kunit_kmalloc_array(test, n, size, gfp: gfp | __GFP_ZERO); | 
|---|
| 536 | } | 
|---|
| 537 |  | 
|---|
| 538 |  | 
|---|
| 539 | /** | 
|---|
| 540 | * kunit_kfree_const() - conditionally free test managed memory | 
|---|
| 541 | * @test: The test context object. | 
|---|
| 542 | * @x: pointer to the memory | 
|---|
| 543 | * | 
|---|
| 544 | * Calls kunit_kfree() only if @x is not in .rodata section. | 
|---|
| 545 | * See kunit_kstrdup_const() for more information. | 
|---|
| 546 | */ | 
|---|
| 547 | void kunit_kfree_const(struct kunit *test, const void *x); | 
|---|
| 548 |  | 
|---|
| 549 | /** | 
|---|
| 550 | * kunit_kstrdup() - Duplicates a string into a test managed allocation. | 
|---|
| 551 | * | 
|---|
| 552 | * @test: The test context object. | 
|---|
| 553 | * @str: The NULL-terminated string to duplicate. | 
|---|
| 554 | * @gfp: flags passed to underlying kmalloc(). | 
|---|
| 555 | * | 
|---|
| 556 | * See kstrdup() and kunit_kmalloc_array() for more information. | 
|---|
| 557 | */ | 
|---|
| 558 | static inline char *kunit_kstrdup(struct kunit *test, const char *str, gfp_t gfp) | 
|---|
| 559 | { | 
|---|
| 560 | size_t len; | 
|---|
| 561 | char *buf; | 
|---|
| 562 |  | 
|---|
| 563 | if (!str) | 
|---|
| 564 | return NULL; | 
|---|
| 565 |  | 
|---|
| 566 | len = strlen(str) + 1; | 
|---|
| 567 | buf = kunit_kmalloc(test, size: len, gfp); | 
|---|
| 568 | if (buf) | 
|---|
| 569 | memcpy(to: buf, from: str, len); | 
|---|
| 570 | return buf; | 
|---|
| 571 | } | 
|---|
| 572 |  | 
|---|
| 573 | /** | 
|---|
| 574 | * kunit_kstrdup_const() - Conditionally duplicates a string into a test managed allocation. | 
|---|
| 575 | * | 
|---|
| 576 | * @test: The test context object. | 
|---|
| 577 | * @str: The NULL-terminated string to duplicate. | 
|---|
| 578 | * @gfp: flags passed to underlying kmalloc(). | 
|---|
| 579 | * | 
|---|
| 580 | * Calls kunit_kstrdup() only if @str is not in the rodata section. Must be freed with | 
|---|
| 581 | * kunit_kfree_const() -- not kunit_kfree(). | 
|---|
| 582 | * See kstrdup_const() and kunit_kmalloc_array() for more information. | 
|---|
| 583 | */ | 
|---|
| 584 | const char *kunit_kstrdup_const(struct kunit *test, const char *str, gfp_t gfp); | 
|---|
| 585 |  | 
|---|
| 586 | /** | 
|---|
| 587 | * kunit_attach_mm() - Create and attach a new mm if it doesn't already exist. | 
|---|
| 588 | * | 
|---|
| 589 | * Allocates a &struct mm_struct and attaches it to @current. In most cases, call | 
|---|
| 590 | * kunit_vm_mmap() without calling kunit_attach_mm() directly. Only necessary when | 
|---|
| 591 | * code under test accesses the mm before executing the mmap (e.g., to perform | 
|---|
| 592 | * additional initialization beforehand). | 
|---|
| 593 | * | 
|---|
| 594 | * Return: 0 on success, -errno on failure. | 
|---|
| 595 | */ | 
|---|
| 596 | int kunit_attach_mm(void); | 
|---|
| 597 |  | 
|---|
| 598 | /** | 
|---|
| 599 | * kunit_vm_mmap() - Allocate KUnit-tracked vm_mmap() area | 
|---|
| 600 | * @test: The test context object. | 
|---|
| 601 | * @file: struct file pointer to map from, if any | 
|---|
| 602 | * @addr: desired address, if any | 
|---|
| 603 | * @len: how many bytes to allocate | 
|---|
| 604 | * @prot: mmap PROT_* bits | 
|---|
| 605 | * @flag: mmap flags | 
|---|
| 606 | * @offset: offset into @file to start mapping from. | 
|---|
| 607 | * | 
|---|
| 608 | * See vm_mmap() for more information. | 
|---|
| 609 | */ | 
|---|
| 610 | unsigned long kunit_vm_mmap(struct kunit *test, struct file *file, | 
|---|
| 611 | unsigned long addr, unsigned long len, | 
|---|
| 612 | unsigned long prot, unsigned long flag, | 
|---|
| 613 | unsigned long offset); | 
|---|
| 614 |  | 
|---|
| 615 | void kunit_cleanup(struct kunit *test); | 
|---|
| 616 |  | 
|---|
| 617 | void __printf(2, 3) kunit_log_append(struct string_stream *log, const char *fmt, ...); | 
|---|
| 618 |  | 
|---|
| 619 | /** | 
|---|
| 620 | * kunit_mark_skipped() - Marks @test as skipped | 
|---|
| 621 | * | 
|---|
| 622 | * @test: The test context object. | 
|---|
| 623 | * @fmt:  A printk() style format string. | 
|---|
| 624 | * | 
|---|
| 625 | * Marks the test as skipped. @fmt is given output as the test status | 
|---|
| 626 | * comment, typically the reason the test was skipped. | 
|---|
| 627 | * | 
|---|
| 628 | * Test execution continues after kunit_mark_skipped() is called. | 
|---|
| 629 | */ | 
|---|
| 630 | #define kunit_mark_skipped(test, fmt, ...)				\ | 
|---|
| 631 | do {								\ | 
|---|
| 632 | WRITE_ONCE((test)->status, KUNIT_SKIPPED);		\ | 
|---|
| 633 | scnprintf((test)->status_comment,			\ | 
|---|
| 634 | KUNIT_STATUS_COMMENT_SIZE,			\ | 
|---|
| 635 | fmt, ##__VA_ARGS__);				\ | 
|---|
| 636 | } while (0) | 
|---|
| 637 |  | 
|---|
| 638 | /** | 
|---|
| 639 | * kunit_skip() - Marks @test as skipped | 
|---|
| 640 | * | 
|---|
| 641 | * @test: The test context object. | 
|---|
| 642 | * @fmt:  A printk() style format string. | 
|---|
| 643 | * | 
|---|
| 644 | * Skips the test. @fmt is given output as the test status | 
|---|
| 645 | * comment, typically the reason the test was skipped. | 
|---|
| 646 | * | 
|---|
| 647 | * Test execution is halted after kunit_skip() is called. | 
|---|
| 648 | */ | 
|---|
| 649 | #define kunit_skip(test, fmt, ...)					\ | 
|---|
| 650 | do {								\ | 
|---|
| 651 | kunit_mark_skipped((test), fmt, ##__VA_ARGS__);		\ | 
|---|
| 652 | kunit_try_catch_throw(&((test)->try_catch));		\ | 
|---|
| 653 | } while (0) | 
|---|
| 654 |  | 
|---|
| 655 | /* | 
|---|
| 656 | * printk and log to per-test or per-suite log buffer.  Logging only done | 
|---|
| 657 | * if CONFIG_KUNIT_DEBUGFS is 'y'; if it is 'n', no log is allocated/used. | 
|---|
| 658 | */ | 
|---|
| 659 | #define kunit_log(lvl, test_or_suite, fmt, ...)				\ | 
|---|
| 660 | do {								\ | 
|---|
| 661 | printk(lvl fmt, ##__VA_ARGS__);				\ | 
|---|
| 662 | kunit_log_append((test_or_suite)->log,	fmt,		\ | 
|---|
| 663 | ##__VA_ARGS__);			\ | 
|---|
| 664 | } while (0) | 
|---|
| 665 |  | 
|---|
| 666 | #define kunit_printk(lvl, test, fmt, ...)				\ | 
|---|
| 667 | kunit_log(lvl, test, KUNIT_SUBTEST_INDENT "# %s: " fmt,		\ | 
|---|
| 668 | (test)->name,	##__VA_ARGS__) | 
|---|
| 669 |  | 
|---|
| 670 | /** | 
|---|
| 671 | * kunit_info() - Prints an INFO level message associated with @test. | 
|---|
| 672 | * | 
|---|
| 673 | * @test: The test context object. | 
|---|
| 674 | * @fmt:  A printk() style format string. | 
|---|
| 675 | * | 
|---|
| 676 | * Prints an info level message associated with the test suite being run. | 
|---|
| 677 | * Takes a variable number of format parameters just like printk(). | 
|---|
| 678 | */ | 
|---|
| 679 | #define kunit_info(test, fmt, ...) \ | 
|---|
| 680 | kunit_printk(KERN_INFO, test, fmt, ##__VA_ARGS__) | 
|---|
| 681 |  | 
|---|
| 682 | /** | 
|---|
| 683 | * kunit_warn() - Prints a WARN level message associated with @test. | 
|---|
| 684 | * | 
|---|
| 685 | * @test: The test context object. | 
|---|
| 686 | * @fmt:  A printk() style format string. | 
|---|
| 687 | * | 
|---|
| 688 | * Prints a warning level message. | 
|---|
| 689 | */ | 
|---|
| 690 | #define kunit_warn(test, fmt, ...) \ | 
|---|
| 691 | kunit_printk(KERN_WARNING, test, fmt, ##__VA_ARGS__) | 
|---|
| 692 |  | 
|---|
| 693 | /** | 
|---|
| 694 | * kunit_err() - Prints an ERROR level message associated with @test. | 
|---|
| 695 | * | 
|---|
| 696 | * @test: The test context object. | 
|---|
| 697 | * @fmt:  A printk() style format string. | 
|---|
| 698 | * | 
|---|
| 699 | * Prints an error level message. | 
|---|
| 700 | */ | 
|---|
| 701 | #define kunit_err(test, fmt, ...) \ | 
|---|
| 702 | kunit_printk(KERN_ERR, test, fmt, ##__VA_ARGS__) | 
|---|
| 703 |  | 
|---|
| 704 | /* | 
|---|
| 705 | * Must be called at the beginning of each KUNIT_*_ASSERTION(). | 
|---|
| 706 | * Cf. KUNIT_CURRENT_LOC. | 
|---|
| 707 | */ | 
|---|
| 708 | #define _KUNIT_SAVE_LOC(test) do {					       \ | 
|---|
| 709 | WRITE_ONCE(test->last_seen.file, __FILE__);			       \ | 
|---|
| 710 | WRITE_ONCE(test->last_seen.line, __LINE__);			       \ | 
|---|
| 711 | } while (0) | 
|---|
| 712 |  | 
|---|
| 713 | /** | 
|---|
| 714 | * KUNIT_SUCCEED() - A no-op expectation. Only exists for code clarity. | 
|---|
| 715 | * @test: The test context object. | 
|---|
| 716 | * | 
|---|
| 717 | * The opposite of KUNIT_FAIL(), it is an expectation that cannot fail. In other | 
|---|
| 718 | * words, it does nothing and only exists for code clarity. See | 
|---|
| 719 | * KUNIT_EXPECT_TRUE() for more information. | 
|---|
| 720 | */ | 
|---|
| 721 | #define KUNIT_SUCCEED(test) _KUNIT_SAVE_LOC(test) | 
|---|
| 722 |  | 
|---|
| 723 | void __noreturn __kunit_abort(struct kunit *test); | 
|---|
| 724 |  | 
|---|
| 725 | void __printf(6, 7) __kunit_do_failed_assertion(struct kunit *test, | 
|---|
| 726 | const struct kunit_loc *loc, | 
|---|
| 727 | enum kunit_assert_type type, | 
|---|
| 728 | const struct kunit_assert *assert, | 
|---|
| 729 | assert_format_t assert_format, | 
|---|
| 730 | const char *fmt, ...); | 
|---|
| 731 |  | 
|---|
| 732 | #define _KUNIT_FAILED(test, assert_type, assert_class, assert_format, INITIALIZER, fmt, ...) do { \ | 
|---|
| 733 | static const struct kunit_loc __loc = KUNIT_CURRENT_LOC;	       \ | 
|---|
| 734 | const struct assert_class __assertion = INITIALIZER;		       \ | 
|---|
| 735 | __kunit_do_failed_assertion(test,				       \ | 
|---|
| 736 | &__loc,				       \ | 
|---|
| 737 | assert_type,			       \ | 
|---|
| 738 | &__assertion.assert,		       \ | 
|---|
| 739 | assert_format,			       \ | 
|---|
| 740 | fmt,				       \ | 
|---|
| 741 | ##__VA_ARGS__);			       \ | 
|---|
| 742 | if (assert_type == KUNIT_ASSERTION)				       \ | 
|---|
| 743 | __kunit_abort(test);					       \ | 
|---|
| 744 | } while (0) | 
|---|
| 745 |  | 
|---|
| 746 |  | 
|---|
| 747 | #define KUNIT_FAIL_ASSERTION(test, assert_type, fmt, ...) do {		       \ | 
|---|
| 748 | _KUNIT_SAVE_LOC(test);						       \ | 
|---|
| 749 | _KUNIT_FAILED(test,						       \ | 
|---|
| 750 | assert_type,					       \ | 
|---|
| 751 | kunit_fail_assert,				       \ | 
|---|
| 752 | kunit_fail_assert_format,				       \ | 
|---|
| 753 | {},						       \ | 
|---|
| 754 | fmt,						       \ | 
|---|
| 755 | ##__VA_ARGS__);					       \ | 
|---|
| 756 | } while (0) | 
|---|
| 757 |  | 
|---|
| 758 | /** | 
|---|
| 759 | * KUNIT_FAIL() - Always causes a test to fail when evaluated. | 
|---|
| 760 | * @test: The test context object. | 
|---|
| 761 | * @fmt: an informational message to be printed when the assertion is made. | 
|---|
| 762 | * @...: string format arguments. | 
|---|
| 763 | * | 
|---|
| 764 | * The opposite of KUNIT_SUCCEED(), it is an expectation that always fails. In | 
|---|
| 765 | * other words, it always results in a failed expectation, and consequently | 
|---|
| 766 | * always causes the test case to fail when evaluated. See KUNIT_EXPECT_TRUE() | 
|---|
| 767 | * for more information. | 
|---|
| 768 | */ | 
|---|
| 769 | #define KUNIT_FAIL(test, fmt, ...)					       \ | 
|---|
| 770 | KUNIT_FAIL_ASSERTION(test,					       \ | 
|---|
| 771 | KUNIT_EXPECTATION,				       \ | 
|---|
| 772 | fmt,					       \ | 
|---|
| 773 | ##__VA_ARGS__) | 
|---|
| 774 |  | 
|---|
| 775 | /* Helper to safely pass around an initializer list to other macros. */ | 
|---|
| 776 | #define KUNIT_INIT_ASSERT(initializers...) { initializers } | 
|---|
| 777 |  | 
|---|
| 778 | #define KUNIT_UNARY_ASSERTION(test,					       \ | 
|---|
| 779 | assert_type,				       \ | 
|---|
| 780 | condition_,				       \ | 
|---|
| 781 | expected_true_,				       \ | 
|---|
| 782 | fmt,					       \ | 
|---|
| 783 | ...)					       \ | 
|---|
| 784 | do {									       \ | 
|---|
| 785 | _KUNIT_SAVE_LOC(test);						       \ | 
|---|
| 786 | if (likely(!!(condition_) == !!expected_true_))			       \ | 
|---|
| 787 | break;							       \ | 
|---|
| 788 | \ | 
|---|
| 789 | _KUNIT_FAILED(test,						       \ | 
|---|
| 790 | assert_type,					       \ | 
|---|
| 791 | kunit_unary_assert,				       \ | 
|---|
| 792 | kunit_unary_assert_format,			       \ | 
|---|
| 793 | KUNIT_INIT_ASSERT(.condition = #condition_,	       \ | 
|---|
| 794 | .expected_true = expected_true_),      \ | 
|---|
| 795 | fmt,						       \ | 
|---|
| 796 | ##__VA_ARGS__);					       \ | 
|---|
| 797 | } while (0) | 
|---|
| 798 |  | 
|---|
| 799 | #define KUNIT_TRUE_MSG_ASSERTION(test, assert_type, condition, fmt, ...)       \ | 
|---|
| 800 | KUNIT_UNARY_ASSERTION(test,					       \ | 
|---|
| 801 | assert_type,				       \ | 
|---|
| 802 | condition,				       \ | 
|---|
| 803 | true,					       \ | 
|---|
| 804 | fmt,					       \ | 
|---|
| 805 | ##__VA_ARGS__) | 
|---|
| 806 |  | 
|---|
| 807 | #define KUNIT_FALSE_MSG_ASSERTION(test, assert_type, condition, fmt, ...)      \ | 
|---|
| 808 | KUNIT_UNARY_ASSERTION(test,					       \ | 
|---|
| 809 | assert_type,				       \ | 
|---|
| 810 | condition,				       \ | 
|---|
| 811 | false,					       \ | 
|---|
| 812 | fmt,					       \ | 
|---|
| 813 | ##__VA_ARGS__) | 
|---|
| 814 |  | 
|---|
| 815 | /* | 
|---|
| 816 | * A factory macro for defining the assertions and expectations for the basic | 
|---|
| 817 | * comparisons defined for the built in types. | 
|---|
| 818 | * | 
|---|
| 819 | * Unfortunately, there is no common type that all types can be promoted to for | 
|---|
| 820 | * which all the binary operators behave the same way as for the actual types | 
|---|
| 821 | * (for example, there is no type that long long and unsigned long long can | 
|---|
| 822 | * both be cast to where the comparison result is preserved for all values). So | 
|---|
| 823 | * the best we can do is do the comparison in the original types and then coerce | 
|---|
| 824 | * everything to long long for printing; this way, the comparison behaves | 
|---|
| 825 | * correctly and the printed out value usually makes sense without | 
|---|
| 826 | * interpretation, but can always be interpreted to figure out the actual | 
|---|
| 827 | * value. | 
|---|
| 828 | */ | 
|---|
| 829 | #define KUNIT_BASE_BINARY_ASSERTION(test,				       \ | 
|---|
| 830 | assert_class,			       \ | 
|---|
| 831 | format_func,			       \ | 
|---|
| 832 | assert_type,			       \ | 
|---|
| 833 | left,				       \ | 
|---|
| 834 | op,					       \ | 
|---|
| 835 | right,				       \ | 
|---|
| 836 | fmt,				       \ | 
|---|
| 837 | ...)				       \ | 
|---|
| 838 | do {									       \ | 
|---|
| 839 | const typeof(left) __left = (left);				       \ | 
|---|
| 840 | const typeof(right) __right = (right);				       \ | 
|---|
| 841 | static const struct kunit_binary_assert_text __text = {		       \ | 
|---|
| 842 | .operation = #op,					       \ | 
|---|
| 843 | .left_text = #left,					       \ | 
|---|
| 844 | .right_text = #right,					       \ | 
|---|
| 845 | };								       \ | 
|---|
| 846 | \ | 
|---|
| 847 | _KUNIT_SAVE_LOC(test);						       \ | 
|---|
| 848 | if (likely(__left op __right))					       \ | 
|---|
| 849 | break;							       \ | 
|---|
| 850 | \ | 
|---|
| 851 | _KUNIT_FAILED(test,						       \ | 
|---|
| 852 | assert_type,					       \ | 
|---|
| 853 | assert_class,					       \ | 
|---|
| 854 | format_func,					       \ | 
|---|
| 855 | KUNIT_INIT_ASSERT(.text = &__text,		       \ | 
|---|
| 856 | .left_value = __left,		       \ | 
|---|
| 857 | .right_value = __right),	       \ | 
|---|
| 858 | fmt,						       \ | 
|---|
| 859 | ##__VA_ARGS__);					       \ | 
|---|
| 860 | } while (0) | 
|---|
| 861 |  | 
|---|
| 862 | #define KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 863 | assert_type,				       \ | 
|---|
| 864 | left,				       \ | 
|---|
| 865 | op,					       \ | 
|---|
| 866 | right,				       \ | 
|---|
| 867 | fmt,					       \ | 
|---|
| 868 | ...)				       \ | 
|---|
| 869 | KUNIT_BASE_BINARY_ASSERTION(test,				       \ | 
|---|
| 870 | kunit_binary_assert,		       \ | 
|---|
| 871 | kunit_binary_assert_format,		       \ | 
|---|
| 872 | assert_type,			       \ | 
|---|
| 873 | left, op, right,			       \ | 
|---|
| 874 | fmt,				       \ | 
|---|
| 875 | ##__VA_ARGS__) | 
|---|
| 876 |  | 
|---|
| 877 | #define KUNIT_BINARY_PTR_ASSERTION(test,				       \ | 
|---|
| 878 | assert_type,				       \ | 
|---|
| 879 | left,				       \ | 
|---|
| 880 | op,					       \ | 
|---|
| 881 | right,				       \ | 
|---|
| 882 | fmt,					       \ | 
|---|
| 883 | ...)				       \ | 
|---|
| 884 | KUNIT_BASE_BINARY_ASSERTION(test,				       \ | 
|---|
| 885 | kunit_binary_ptr_assert,		       \ | 
|---|
| 886 | kunit_binary_ptr_assert_format,	       \ | 
|---|
| 887 | assert_type,			       \ | 
|---|
| 888 | left, op, right,			       \ | 
|---|
| 889 | fmt,				       \ | 
|---|
| 890 | ##__VA_ARGS__) | 
|---|
| 891 |  | 
|---|
| 892 | #define KUNIT_BINARY_STR_ASSERTION(test,				       \ | 
|---|
| 893 | assert_type,				       \ | 
|---|
| 894 | left,				       \ | 
|---|
| 895 | op,					       \ | 
|---|
| 896 | right,				       \ | 
|---|
| 897 | fmt,					       \ | 
|---|
| 898 | ...)					       \ | 
|---|
| 899 | do {									       \ | 
|---|
| 900 | const char *__left = (left);					       \ | 
|---|
| 901 | const char *__right = (right);					       \ | 
|---|
| 902 | static const struct kunit_binary_assert_text __text = {		       \ | 
|---|
| 903 | .operation = #op,					       \ | 
|---|
| 904 | .left_text = #left,					       \ | 
|---|
| 905 | .right_text = #right,					       \ | 
|---|
| 906 | };								       \ | 
|---|
| 907 | \ | 
|---|
| 908 | _KUNIT_SAVE_LOC(test);						       \ | 
|---|
| 909 | if (likely((__left) && (__right) && (strcmp(__left, __right) op 0)))   \ | 
|---|
| 910 | break;							       \ | 
|---|
| 911 | \ | 
|---|
| 912 | \ | 
|---|
| 913 | _KUNIT_FAILED(test,						       \ | 
|---|
| 914 | assert_type,					       \ | 
|---|
| 915 | kunit_binary_str_assert,				       \ | 
|---|
| 916 | kunit_binary_str_assert_format,			       \ | 
|---|
| 917 | KUNIT_INIT_ASSERT(.text = &__text,		       \ | 
|---|
| 918 | .left_value = __left,		       \ | 
|---|
| 919 | .right_value = __right),	       \ | 
|---|
| 920 | fmt,						       \ | 
|---|
| 921 | ##__VA_ARGS__);					       \ | 
|---|
| 922 | } while (0) | 
|---|
| 923 |  | 
|---|
| 924 | #define KUNIT_MEM_ASSERTION(test,					       \ | 
|---|
| 925 | assert_type,				       \ | 
|---|
| 926 | left,					       \ | 
|---|
| 927 | op,						       \ | 
|---|
| 928 | right,					       \ | 
|---|
| 929 | size_,					       \ | 
|---|
| 930 | fmt,					       \ | 
|---|
| 931 | ...)					       \ | 
|---|
| 932 | do {									       \ | 
|---|
| 933 | const void *__left = (left);					       \ | 
|---|
| 934 | const void *__right = (right);					       \ | 
|---|
| 935 | const size_t __size = (size_);					       \ | 
|---|
| 936 | static const struct kunit_binary_assert_text __text = {		       \ | 
|---|
| 937 | .operation = #op,					       \ | 
|---|
| 938 | .left_text = #left,					       \ | 
|---|
| 939 | .right_text = #right,					       \ | 
|---|
| 940 | };								       \ | 
|---|
| 941 | \ | 
|---|
| 942 | _KUNIT_SAVE_LOC(test);						       \ | 
|---|
| 943 | if (likely(__left && __right))					       \ | 
|---|
| 944 | if (likely(memcmp(__left, __right, __size) op 0))	       \ | 
|---|
| 945 | break;						       \ | 
|---|
| 946 | \ | 
|---|
| 947 | _KUNIT_FAILED(test,						       \ | 
|---|
| 948 | assert_type,					       \ | 
|---|
| 949 | kunit_mem_assert,					       \ | 
|---|
| 950 | kunit_mem_assert_format,				       \ | 
|---|
| 951 | KUNIT_INIT_ASSERT(.text = &__text,		       \ | 
|---|
| 952 | .left_value = __left,		       \ | 
|---|
| 953 | .right_value = __right,		       \ | 
|---|
| 954 | .size = __size),		       \ | 
|---|
| 955 | fmt,						       \ | 
|---|
| 956 | ##__VA_ARGS__);					       \ | 
|---|
| 957 | } while (0) | 
|---|
| 958 |  | 
|---|
| 959 | #define KUNIT_PTR_NOT_ERR_OR_NULL_MSG_ASSERTION(test,			       \ | 
|---|
| 960 | assert_type,		       \ | 
|---|
| 961 | ptr,			       \ | 
|---|
| 962 | fmt,			       \ | 
|---|
| 963 | ...)			       \ | 
|---|
| 964 | do {									       \ | 
|---|
| 965 | const typeof(ptr) __ptr = (ptr);				       \ | 
|---|
| 966 | \ | 
|---|
| 967 | _KUNIT_SAVE_LOC(test);						       \ | 
|---|
| 968 | if (!IS_ERR_OR_NULL(__ptr))					       \ | 
|---|
| 969 | break;							       \ | 
|---|
| 970 | \ | 
|---|
| 971 | _KUNIT_FAILED(test,						       \ | 
|---|
| 972 | assert_type,					       \ | 
|---|
| 973 | kunit_ptr_not_err_assert,				       \ | 
|---|
| 974 | kunit_ptr_not_err_assert_format,			       \ | 
|---|
| 975 | KUNIT_INIT_ASSERT(.text = #ptr, .value = __ptr),	       \ | 
|---|
| 976 | fmt,						       \ | 
|---|
| 977 | ##__VA_ARGS__);					       \ | 
|---|
| 978 | } while (0) | 
|---|
| 979 |  | 
|---|
| 980 | /** | 
|---|
| 981 | * KUNIT_EXPECT_TRUE() - Causes a test failure when the expression is not true. | 
|---|
| 982 | * @test: The test context object. | 
|---|
| 983 | * @condition: an arbitrary boolean expression. The test fails when this does | 
|---|
| 984 | * not evaluate to true. | 
|---|
| 985 | * | 
|---|
| 986 | * This and expectations of the form `KUNIT_EXPECT_*` will cause the test case | 
|---|
| 987 | * to fail when the specified condition is not met; however, it will not prevent | 
|---|
| 988 | * the test case from continuing to run; this is otherwise known as an | 
|---|
| 989 | * *expectation failure*. | 
|---|
| 990 | */ | 
|---|
| 991 | #define KUNIT_EXPECT_TRUE(test, condition) \ | 
|---|
| 992 | KUNIT_EXPECT_TRUE_MSG(test, condition, NULL) | 
|---|
| 993 |  | 
|---|
| 994 | #define KUNIT_EXPECT_TRUE_MSG(test, condition, fmt, ...)		       \ | 
|---|
| 995 | KUNIT_TRUE_MSG_ASSERTION(test,					       \ | 
|---|
| 996 | KUNIT_EXPECTATION,			       \ | 
|---|
| 997 | condition,				       \ | 
|---|
| 998 | fmt,					       \ | 
|---|
| 999 | ##__VA_ARGS__) | 
|---|
| 1000 |  | 
|---|
| 1001 | /** | 
|---|
| 1002 | * KUNIT_EXPECT_FALSE() - Makes a test failure when the expression is not false. | 
|---|
| 1003 | * @test: The test context object. | 
|---|
| 1004 | * @condition: an arbitrary boolean expression. The test fails when this does | 
|---|
| 1005 | * not evaluate to false. | 
|---|
| 1006 | * | 
|---|
| 1007 | * Sets an expectation that @condition evaluates to false. See | 
|---|
| 1008 | * KUNIT_EXPECT_TRUE() for more information. | 
|---|
| 1009 | */ | 
|---|
| 1010 | #define KUNIT_EXPECT_FALSE(test, condition) \ | 
|---|
| 1011 | KUNIT_EXPECT_FALSE_MSG(test, condition, NULL) | 
|---|
| 1012 |  | 
|---|
| 1013 | #define KUNIT_EXPECT_FALSE_MSG(test, condition, fmt, ...)		       \ | 
|---|
| 1014 | KUNIT_FALSE_MSG_ASSERTION(test,					       \ | 
|---|
| 1015 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1016 | condition,				       \ | 
|---|
| 1017 | fmt,					       \ | 
|---|
| 1018 | ##__VA_ARGS__) | 
|---|
| 1019 |  | 
|---|
| 1020 | /** | 
|---|
| 1021 | * KUNIT_EXPECT_EQ() - Sets an expectation that @left and @right are equal. | 
|---|
| 1022 | * @test: The test context object. | 
|---|
| 1023 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1024 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1025 | * | 
|---|
| 1026 | * Sets an expectation that the values that @left and @right evaluate to are | 
|---|
| 1027 | * equal. This is semantically equivalent to | 
|---|
| 1028 | * KUNIT_EXPECT_TRUE(@test, (@left) == (@right)). See KUNIT_EXPECT_TRUE() for | 
|---|
| 1029 | * more information. | 
|---|
| 1030 | */ | 
|---|
| 1031 | #define KUNIT_EXPECT_EQ(test, left, right) \ | 
|---|
| 1032 | KUNIT_EXPECT_EQ_MSG(test, left, right, NULL) | 
|---|
| 1033 |  | 
|---|
| 1034 | #define KUNIT_EXPECT_EQ_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1035 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1036 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1037 | left, ==, right,			       \ | 
|---|
| 1038 | fmt,					       \ | 
|---|
| 1039 | ##__VA_ARGS__) | 
|---|
| 1040 |  | 
|---|
| 1041 | /** | 
|---|
| 1042 | * KUNIT_EXPECT_PTR_EQ() - Expects that pointers @left and @right are equal. | 
|---|
| 1043 | * @test: The test context object. | 
|---|
| 1044 | * @left: an arbitrary expression that evaluates to a pointer. | 
|---|
| 1045 | * @right: an arbitrary expression that evaluates to a pointer. | 
|---|
| 1046 | * | 
|---|
| 1047 | * Sets an expectation that the values that @left and @right evaluate to are | 
|---|
| 1048 | * equal. This is semantically equivalent to | 
|---|
| 1049 | * KUNIT_EXPECT_TRUE(@test, (@left) == (@right)). See KUNIT_EXPECT_TRUE() for | 
|---|
| 1050 | * more information. | 
|---|
| 1051 | */ | 
|---|
| 1052 | #define KUNIT_EXPECT_PTR_EQ(test, left, right)				       \ | 
|---|
| 1053 | KUNIT_EXPECT_PTR_EQ_MSG(test, left, right, NULL) | 
|---|
| 1054 |  | 
|---|
| 1055 | #define KUNIT_EXPECT_PTR_EQ_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1056 | KUNIT_BINARY_PTR_ASSERTION(test,				       \ | 
|---|
| 1057 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1058 | left, ==, right,			       \ | 
|---|
| 1059 | fmt,					       \ | 
|---|
| 1060 | ##__VA_ARGS__) | 
|---|
| 1061 |  | 
|---|
| 1062 | /** | 
|---|
| 1063 | * KUNIT_EXPECT_NE() - An expectation that @left and @right are not equal. | 
|---|
| 1064 | * @test: The test context object. | 
|---|
| 1065 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1066 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1067 | * | 
|---|
| 1068 | * Sets an expectation that the values that @left and @right evaluate to are not | 
|---|
| 1069 | * equal. This is semantically equivalent to | 
|---|
| 1070 | * KUNIT_EXPECT_TRUE(@test, (@left) != (@right)). See KUNIT_EXPECT_TRUE() for | 
|---|
| 1071 | * more information. | 
|---|
| 1072 | */ | 
|---|
| 1073 | #define KUNIT_EXPECT_NE(test, left, right) \ | 
|---|
| 1074 | KUNIT_EXPECT_NE_MSG(test, left, right, NULL) | 
|---|
| 1075 |  | 
|---|
| 1076 | #define KUNIT_EXPECT_NE_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1077 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1078 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1079 | left, !=, right,			       \ | 
|---|
| 1080 | fmt,					       \ | 
|---|
| 1081 | ##__VA_ARGS__) | 
|---|
| 1082 |  | 
|---|
| 1083 | /** | 
|---|
| 1084 | * KUNIT_EXPECT_PTR_NE() - Expects that pointers @left and @right are not equal. | 
|---|
| 1085 | * @test: The test context object. | 
|---|
| 1086 | * @left: an arbitrary expression that evaluates to a pointer. | 
|---|
| 1087 | * @right: an arbitrary expression that evaluates to a pointer. | 
|---|
| 1088 | * | 
|---|
| 1089 | * Sets an expectation that the values that @left and @right evaluate to are not | 
|---|
| 1090 | * equal. This is semantically equivalent to | 
|---|
| 1091 | * KUNIT_EXPECT_TRUE(@test, (@left) != (@right)). See KUNIT_EXPECT_TRUE() for | 
|---|
| 1092 | * more information. | 
|---|
| 1093 | */ | 
|---|
| 1094 | #define KUNIT_EXPECT_PTR_NE(test, left, right)				       \ | 
|---|
| 1095 | KUNIT_EXPECT_PTR_NE_MSG(test, left, right, NULL) | 
|---|
| 1096 |  | 
|---|
| 1097 | #define KUNIT_EXPECT_PTR_NE_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1098 | KUNIT_BINARY_PTR_ASSERTION(test,				       \ | 
|---|
| 1099 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1100 | left, !=, right,			       \ | 
|---|
| 1101 | fmt,					       \ | 
|---|
| 1102 | ##__VA_ARGS__) | 
|---|
| 1103 |  | 
|---|
| 1104 | /** | 
|---|
| 1105 | * KUNIT_EXPECT_LT() - An expectation that @left is less than @right. | 
|---|
| 1106 | * @test: The test context object. | 
|---|
| 1107 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1108 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1109 | * | 
|---|
| 1110 | * Sets an expectation that the value that @left evaluates to is less than the | 
|---|
| 1111 | * value that @right evaluates to. This is semantically equivalent to | 
|---|
| 1112 | * KUNIT_EXPECT_TRUE(@test, (@left) < (@right)). See KUNIT_EXPECT_TRUE() for | 
|---|
| 1113 | * more information. | 
|---|
| 1114 | */ | 
|---|
| 1115 | #define KUNIT_EXPECT_LT(test, left, right) \ | 
|---|
| 1116 | KUNIT_EXPECT_LT_MSG(test, left, right, NULL) | 
|---|
| 1117 |  | 
|---|
| 1118 | #define KUNIT_EXPECT_LT_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1119 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1120 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1121 | left, <, right,			       \ | 
|---|
| 1122 | fmt,					       \ | 
|---|
| 1123 | ##__VA_ARGS__) | 
|---|
| 1124 |  | 
|---|
| 1125 | /** | 
|---|
| 1126 | * KUNIT_EXPECT_LE() - Expects that @left is less than or equal to @right. | 
|---|
| 1127 | * @test: The test context object. | 
|---|
| 1128 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1129 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1130 | * | 
|---|
| 1131 | * Sets an expectation that the value that @left evaluates to is less than or | 
|---|
| 1132 | * equal to the value that @right evaluates to. Semantically this is equivalent | 
|---|
| 1133 | * to KUNIT_EXPECT_TRUE(@test, (@left) <= (@right)). See KUNIT_EXPECT_TRUE() for | 
|---|
| 1134 | * more information. | 
|---|
| 1135 | */ | 
|---|
| 1136 | #define KUNIT_EXPECT_LE(test, left, right) \ | 
|---|
| 1137 | KUNIT_EXPECT_LE_MSG(test, left, right, NULL) | 
|---|
| 1138 |  | 
|---|
| 1139 | #define KUNIT_EXPECT_LE_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1140 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1141 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1142 | left, <=, right,			       \ | 
|---|
| 1143 | fmt,					       \ | 
|---|
| 1144 | ##__VA_ARGS__) | 
|---|
| 1145 |  | 
|---|
| 1146 | /** | 
|---|
| 1147 | * KUNIT_EXPECT_GT() - An expectation that @left is greater than @right. | 
|---|
| 1148 | * @test: The test context object. | 
|---|
| 1149 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1150 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1151 | * | 
|---|
| 1152 | * Sets an expectation that the value that @left evaluates to is greater than | 
|---|
| 1153 | * the value that @right evaluates to. This is semantically equivalent to | 
|---|
| 1154 | * KUNIT_EXPECT_TRUE(@test, (@left) > (@right)). See KUNIT_EXPECT_TRUE() for | 
|---|
| 1155 | * more information. | 
|---|
| 1156 | */ | 
|---|
| 1157 | #define KUNIT_EXPECT_GT(test, left, right) \ | 
|---|
| 1158 | KUNIT_EXPECT_GT_MSG(test, left, right, NULL) | 
|---|
| 1159 |  | 
|---|
| 1160 | #define KUNIT_EXPECT_GT_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1161 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1162 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1163 | left, >, right,			       \ | 
|---|
| 1164 | fmt,					       \ | 
|---|
| 1165 | ##__VA_ARGS__) | 
|---|
| 1166 |  | 
|---|
| 1167 | /** | 
|---|
| 1168 | * KUNIT_EXPECT_GE() - Expects that @left is greater than or equal to @right. | 
|---|
| 1169 | * @test: The test context object. | 
|---|
| 1170 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1171 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1172 | * | 
|---|
| 1173 | * Sets an expectation that the value that @left evaluates to is greater than | 
|---|
| 1174 | * the value that @right evaluates to. This is semantically equivalent to | 
|---|
| 1175 | * KUNIT_EXPECT_TRUE(@test, (@left) >= (@right)). See KUNIT_EXPECT_TRUE() for | 
|---|
| 1176 | * more information. | 
|---|
| 1177 | */ | 
|---|
| 1178 | #define KUNIT_EXPECT_GE(test, left, right) \ | 
|---|
| 1179 | KUNIT_EXPECT_GE_MSG(test, left, right, NULL) | 
|---|
| 1180 |  | 
|---|
| 1181 | #define KUNIT_EXPECT_GE_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1182 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1183 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1184 | left, >=, right,			       \ | 
|---|
| 1185 | fmt,					       \ | 
|---|
| 1186 | ##__VA_ARGS__) | 
|---|
| 1187 |  | 
|---|
| 1188 | /** | 
|---|
| 1189 | * KUNIT_EXPECT_STREQ() - Expects that strings @left and @right are equal. | 
|---|
| 1190 | * @test: The test context object. | 
|---|
| 1191 | * @left: an arbitrary expression that evaluates to a null terminated string. | 
|---|
| 1192 | * @right: an arbitrary expression that evaluates to a null terminated string. | 
|---|
| 1193 | * | 
|---|
| 1194 | * Sets an expectation that the values that @left and @right evaluate to are | 
|---|
| 1195 | * equal. This is semantically equivalent to | 
|---|
| 1196 | * KUNIT_EXPECT_TRUE(@test, !strcmp((@left), (@right))). See KUNIT_EXPECT_TRUE() | 
|---|
| 1197 | * for more information. | 
|---|
| 1198 | */ | 
|---|
| 1199 | #define KUNIT_EXPECT_STREQ(test, left, right) \ | 
|---|
| 1200 | KUNIT_EXPECT_STREQ_MSG(test, left, right, NULL) | 
|---|
| 1201 |  | 
|---|
| 1202 | #define KUNIT_EXPECT_STREQ_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1203 | KUNIT_BINARY_STR_ASSERTION(test,				       \ | 
|---|
| 1204 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1205 | left, ==, right,			       \ | 
|---|
| 1206 | fmt,					       \ | 
|---|
| 1207 | ##__VA_ARGS__) | 
|---|
| 1208 |  | 
|---|
| 1209 | /** | 
|---|
| 1210 | * KUNIT_EXPECT_STRNEQ() - Expects that strings @left and @right are not equal. | 
|---|
| 1211 | * @test: The test context object. | 
|---|
| 1212 | * @left: an arbitrary expression that evaluates to a null terminated string. | 
|---|
| 1213 | * @right: an arbitrary expression that evaluates to a null terminated string. | 
|---|
| 1214 | * | 
|---|
| 1215 | * Sets an expectation that the values that @left and @right evaluate to are | 
|---|
| 1216 | * not equal. This is semantically equivalent to | 
|---|
| 1217 | * KUNIT_EXPECT_TRUE(@test, strcmp((@left), (@right))). See KUNIT_EXPECT_TRUE() | 
|---|
| 1218 | * for more information. | 
|---|
| 1219 | */ | 
|---|
| 1220 | #define KUNIT_EXPECT_STRNEQ(test, left, right) \ | 
|---|
| 1221 | KUNIT_EXPECT_STRNEQ_MSG(test, left, right, NULL) | 
|---|
| 1222 |  | 
|---|
| 1223 | #define KUNIT_EXPECT_STRNEQ_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1224 | KUNIT_BINARY_STR_ASSERTION(test,				       \ | 
|---|
| 1225 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1226 | left, !=, right,			       \ | 
|---|
| 1227 | fmt,					       \ | 
|---|
| 1228 | ##__VA_ARGS__) | 
|---|
| 1229 |  | 
|---|
| 1230 | /** | 
|---|
| 1231 | * KUNIT_EXPECT_MEMEQ() - Expects that the first @size bytes of @left and @right are equal. | 
|---|
| 1232 | * @test: The test context object. | 
|---|
| 1233 | * @left: An arbitrary expression that evaluates to the specified size. | 
|---|
| 1234 | * @right: An arbitrary expression that evaluates to the specified size. | 
|---|
| 1235 | * @size: Number of bytes compared. | 
|---|
| 1236 | * | 
|---|
| 1237 | * Sets an expectation that the values that @left and @right evaluate to are | 
|---|
| 1238 | * equal. This is semantically equivalent to | 
|---|
| 1239 | * KUNIT_EXPECT_TRUE(@test, !memcmp((@left), (@right), (@size))). See | 
|---|
| 1240 | * KUNIT_EXPECT_TRUE() for more information. | 
|---|
| 1241 | * | 
|---|
| 1242 | * Although this expectation works for any memory block, it is not recommended | 
|---|
| 1243 | * for comparing more structured data, such as structs. This expectation is | 
|---|
| 1244 | * recommended for comparing, for example, data arrays. | 
|---|
| 1245 | */ | 
|---|
| 1246 | #define KUNIT_EXPECT_MEMEQ(test, left, right, size) \ | 
|---|
| 1247 | KUNIT_EXPECT_MEMEQ_MSG(test, left, right, size, NULL) | 
|---|
| 1248 |  | 
|---|
| 1249 | #define KUNIT_EXPECT_MEMEQ_MSG(test, left, right, size, fmt, ...)	       \ | 
|---|
| 1250 | KUNIT_MEM_ASSERTION(test,					       \ | 
|---|
| 1251 | KUNIT_EXPECTATION,				       \ | 
|---|
| 1252 | left, ==, right,				       \ | 
|---|
| 1253 | size,					       \ | 
|---|
| 1254 | fmt,					       \ | 
|---|
| 1255 | ##__VA_ARGS__) | 
|---|
| 1256 |  | 
|---|
| 1257 | /** | 
|---|
| 1258 | * KUNIT_EXPECT_MEMNEQ() - Expects that the first @size bytes of @left and @right are not equal. | 
|---|
| 1259 | * @test: The test context object. | 
|---|
| 1260 | * @left: An arbitrary expression that evaluates to the specified size. | 
|---|
| 1261 | * @right: An arbitrary expression that evaluates to the specified size. | 
|---|
| 1262 | * @size: Number of bytes compared. | 
|---|
| 1263 | * | 
|---|
| 1264 | * Sets an expectation that the values that @left and @right evaluate to are | 
|---|
| 1265 | * not equal. This is semantically equivalent to | 
|---|
| 1266 | * KUNIT_EXPECT_TRUE(@test, memcmp((@left), (@right), (@size))). See | 
|---|
| 1267 | * KUNIT_EXPECT_TRUE() for more information. | 
|---|
| 1268 | * | 
|---|
| 1269 | * Although this expectation works for any memory block, it is not recommended | 
|---|
| 1270 | * for comparing more structured data, such as structs. This expectation is | 
|---|
| 1271 | * recommended for comparing, for example, data arrays. | 
|---|
| 1272 | */ | 
|---|
| 1273 | #define KUNIT_EXPECT_MEMNEQ(test, left, right, size) \ | 
|---|
| 1274 | KUNIT_EXPECT_MEMNEQ_MSG(test, left, right, size, NULL) | 
|---|
| 1275 |  | 
|---|
| 1276 | #define KUNIT_EXPECT_MEMNEQ_MSG(test, left, right, size, fmt, ...)	       \ | 
|---|
| 1277 | KUNIT_MEM_ASSERTION(test,					       \ | 
|---|
| 1278 | KUNIT_EXPECTATION,				       \ | 
|---|
| 1279 | left, !=, right,				       \ | 
|---|
| 1280 | size,					       \ | 
|---|
| 1281 | fmt,					       \ | 
|---|
| 1282 | ##__VA_ARGS__) | 
|---|
| 1283 |  | 
|---|
| 1284 | /** | 
|---|
| 1285 | * KUNIT_EXPECT_NULL() - Expects that @ptr is null. | 
|---|
| 1286 | * @test: The test context object. | 
|---|
| 1287 | * @ptr: an arbitrary pointer. | 
|---|
| 1288 | * | 
|---|
| 1289 | * Sets an expectation that the value that @ptr evaluates to is null. This is | 
|---|
| 1290 | * semantically equivalent to KUNIT_EXPECT_PTR_EQ(@test, ptr, NULL). | 
|---|
| 1291 | * See KUNIT_EXPECT_TRUE() for more information. | 
|---|
| 1292 | */ | 
|---|
| 1293 | #define KUNIT_EXPECT_NULL(test, ptr)				               \ | 
|---|
| 1294 | KUNIT_EXPECT_NULL_MSG(test,					       \ | 
|---|
| 1295 | ptr,					       \ | 
|---|
| 1296 | NULL) | 
|---|
| 1297 |  | 
|---|
| 1298 | #define KUNIT_EXPECT_NULL_MSG(test, ptr, fmt, ...)	                       \ | 
|---|
| 1299 | KUNIT_BINARY_PTR_ASSERTION(test,				       \ | 
|---|
| 1300 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1301 | ptr, ==, NULL,			       \ | 
|---|
| 1302 | fmt,					       \ | 
|---|
| 1303 | ##__VA_ARGS__) | 
|---|
| 1304 |  | 
|---|
| 1305 | /** | 
|---|
| 1306 | * KUNIT_EXPECT_NOT_NULL() - Expects that @ptr is not null. | 
|---|
| 1307 | * @test: The test context object. | 
|---|
| 1308 | * @ptr: an arbitrary pointer. | 
|---|
| 1309 | * | 
|---|
| 1310 | * Sets an expectation that the value that @ptr evaluates to is not null. This | 
|---|
| 1311 | * is semantically equivalent to KUNIT_EXPECT_PTR_NE(@test, ptr, NULL). | 
|---|
| 1312 | * See KUNIT_EXPECT_TRUE() for more information. | 
|---|
| 1313 | */ | 
|---|
| 1314 | #define KUNIT_EXPECT_NOT_NULL(test, ptr)			               \ | 
|---|
| 1315 | KUNIT_EXPECT_NOT_NULL_MSG(test,					       \ | 
|---|
| 1316 | ptr,					       \ | 
|---|
| 1317 | NULL) | 
|---|
| 1318 |  | 
|---|
| 1319 | #define KUNIT_EXPECT_NOT_NULL_MSG(test, ptr, fmt, ...)	                       \ | 
|---|
| 1320 | KUNIT_BINARY_PTR_ASSERTION(test,				       \ | 
|---|
| 1321 | KUNIT_EXPECTATION,			       \ | 
|---|
| 1322 | ptr, !=, NULL,			       \ | 
|---|
| 1323 | fmt,					       \ | 
|---|
| 1324 | ##__VA_ARGS__) | 
|---|
| 1325 |  | 
|---|
| 1326 | /** | 
|---|
| 1327 | * KUNIT_EXPECT_NOT_ERR_OR_NULL() - Expects that @ptr is not null and not err. | 
|---|
| 1328 | * @test: The test context object. | 
|---|
| 1329 | * @ptr: an arbitrary pointer. | 
|---|
| 1330 | * | 
|---|
| 1331 | * Sets an expectation that the value that @ptr evaluates to is not null and not | 
|---|
| 1332 | * an errno stored in a pointer. This is semantically equivalent to | 
|---|
| 1333 | * KUNIT_EXPECT_TRUE(@test, !IS_ERR_OR_NULL(@ptr)). See KUNIT_EXPECT_TRUE() for | 
|---|
| 1334 | * more information. | 
|---|
| 1335 | */ | 
|---|
| 1336 | #define KUNIT_EXPECT_NOT_ERR_OR_NULL(test, ptr) \ | 
|---|
| 1337 | KUNIT_EXPECT_NOT_ERR_OR_NULL_MSG(test, ptr, NULL) | 
|---|
| 1338 |  | 
|---|
| 1339 | #define KUNIT_EXPECT_NOT_ERR_OR_NULL_MSG(test, ptr, fmt, ...)		       \ | 
|---|
| 1340 | KUNIT_PTR_NOT_ERR_OR_NULL_MSG_ASSERTION(test,			       \ | 
|---|
| 1341 | KUNIT_EXPECTATION,	       \ | 
|---|
| 1342 | ptr,			       \ | 
|---|
| 1343 | fmt,			       \ | 
|---|
| 1344 | ##__VA_ARGS__) | 
|---|
| 1345 |  | 
|---|
| 1346 | /** | 
|---|
| 1347 | * KUNIT_FAIL_AND_ABORT() - Always causes a test to fail and abort when evaluated. | 
|---|
| 1348 | * @test: The test context object. | 
|---|
| 1349 | * @fmt: an informational message to be printed when the assertion is made. | 
|---|
| 1350 | * @...: string format arguments. | 
|---|
| 1351 | * | 
|---|
| 1352 | * The opposite of KUNIT_SUCCEED(), it is an assertion that always fails. In | 
|---|
| 1353 | * other words, it always results in a failed assertion, and consequently | 
|---|
| 1354 | * always causes the test case to fail and abort when evaluated. | 
|---|
| 1355 | * See KUNIT_ASSERT_TRUE() for more information. | 
|---|
| 1356 | */ | 
|---|
| 1357 | #define KUNIT_FAIL_AND_ABORT(test, fmt, ...) \ | 
|---|
| 1358 | KUNIT_FAIL_ASSERTION(test, KUNIT_ASSERTION, fmt, ##__VA_ARGS__) | 
|---|
| 1359 |  | 
|---|
| 1360 | /** | 
|---|
| 1361 | * KUNIT_ASSERT_TRUE() - Sets an assertion that @condition is true. | 
|---|
| 1362 | * @test: The test context object. | 
|---|
| 1363 | * @condition: an arbitrary boolean expression. The test fails and aborts when | 
|---|
| 1364 | * this does not evaluate to true. | 
|---|
| 1365 | * | 
|---|
| 1366 | * This and assertions of the form `KUNIT_ASSERT_*` will cause the test case to | 
|---|
| 1367 | * fail *and immediately abort* when the specified condition is not met. Unlike | 
|---|
| 1368 | * an expectation failure, it will prevent the test case from continuing to run; | 
|---|
| 1369 | * this is otherwise known as an *assertion failure*. | 
|---|
| 1370 | */ | 
|---|
| 1371 | #define KUNIT_ASSERT_TRUE(test, condition) \ | 
|---|
| 1372 | KUNIT_ASSERT_TRUE_MSG(test, condition, NULL) | 
|---|
| 1373 |  | 
|---|
| 1374 | #define KUNIT_ASSERT_TRUE_MSG(test, condition, fmt, ...)		       \ | 
|---|
| 1375 | KUNIT_TRUE_MSG_ASSERTION(test,					       \ | 
|---|
| 1376 | KUNIT_ASSERTION,			       \ | 
|---|
| 1377 | condition,				       \ | 
|---|
| 1378 | fmt,					       \ | 
|---|
| 1379 | ##__VA_ARGS__) | 
|---|
| 1380 |  | 
|---|
| 1381 | /** | 
|---|
| 1382 | * KUNIT_ASSERT_FALSE() - Sets an assertion that @condition is false. | 
|---|
| 1383 | * @test: The test context object. | 
|---|
| 1384 | * @condition: an arbitrary boolean expression. | 
|---|
| 1385 | * | 
|---|
| 1386 | * Sets an assertion that the value that @condition evaluates to is false. This | 
|---|
| 1387 | * is the same as KUNIT_EXPECT_FALSE(), except it causes an assertion failure | 
|---|
| 1388 | * (see KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1389 | */ | 
|---|
| 1390 | #define KUNIT_ASSERT_FALSE(test, condition) \ | 
|---|
| 1391 | KUNIT_ASSERT_FALSE_MSG(test, condition, NULL) | 
|---|
| 1392 |  | 
|---|
| 1393 | #define KUNIT_ASSERT_FALSE_MSG(test, condition, fmt, ...)		       \ | 
|---|
| 1394 | KUNIT_FALSE_MSG_ASSERTION(test,					       \ | 
|---|
| 1395 | KUNIT_ASSERTION,			       \ | 
|---|
| 1396 | condition,				       \ | 
|---|
| 1397 | fmt,					       \ | 
|---|
| 1398 | ##__VA_ARGS__) | 
|---|
| 1399 |  | 
|---|
| 1400 | /** | 
|---|
| 1401 | * KUNIT_ASSERT_EQ() - Sets an assertion that @left and @right are equal. | 
|---|
| 1402 | * @test: The test context object. | 
|---|
| 1403 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1404 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1405 | * | 
|---|
| 1406 | * Sets an assertion that the values that @left and @right evaluate to are | 
|---|
| 1407 | * equal. This is the same as KUNIT_EXPECT_EQ(), except it causes an assertion | 
|---|
| 1408 | * failure (see KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1409 | */ | 
|---|
| 1410 | #define KUNIT_ASSERT_EQ(test, left, right) \ | 
|---|
| 1411 | KUNIT_ASSERT_EQ_MSG(test, left, right, NULL) | 
|---|
| 1412 |  | 
|---|
| 1413 | #define KUNIT_ASSERT_EQ_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1414 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1415 | KUNIT_ASSERTION,			       \ | 
|---|
| 1416 | left, ==, right,			       \ | 
|---|
| 1417 | fmt,					       \ | 
|---|
| 1418 | ##__VA_ARGS__) | 
|---|
| 1419 |  | 
|---|
| 1420 | /** | 
|---|
| 1421 | * KUNIT_ASSERT_PTR_EQ() - Asserts that pointers @left and @right are equal. | 
|---|
| 1422 | * @test: The test context object. | 
|---|
| 1423 | * @left: an arbitrary expression that evaluates to a pointer. | 
|---|
| 1424 | * @right: an arbitrary expression that evaluates to a pointer. | 
|---|
| 1425 | * | 
|---|
| 1426 | * Sets an assertion that the values that @left and @right evaluate to are | 
|---|
| 1427 | * equal. This is the same as KUNIT_EXPECT_EQ(), except it causes an assertion | 
|---|
| 1428 | * failure (see KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1429 | */ | 
|---|
| 1430 | #define KUNIT_ASSERT_PTR_EQ(test, left, right) \ | 
|---|
| 1431 | KUNIT_ASSERT_PTR_EQ_MSG(test, left, right, NULL) | 
|---|
| 1432 |  | 
|---|
| 1433 | #define KUNIT_ASSERT_PTR_EQ_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1434 | KUNIT_BINARY_PTR_ASSERTION(test,				       \ | 
|---|
| 1435 | KUNIT_ASSERTION,			       \ | 
|---|
| 1436 | left, ==, right,			       \ | 
|---|
| 1437 | fmt,					       \ | 
|---|
| 1438 | ##__VA_ARGS__) | 
|---|
| 1439 |  | 
|---|
| 1440 | /** | 
|---|
| 1441 | * KUNIT_ASSERT_NE() - An assertion that @left and @right are not equal. | 
|---|
| 1442 | * @test: The test context object. | 
|---|
| 1443 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1444 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1445 | * | 
|---|
| 1446 | * Sets an assertion that the values that @left and @right evaluate to are not | 
|---|
| 1447 | * equal. This is the same as KUNIT_EXPECT_NE(), except it causes an assertion | 
|---|
| 1448 | * failure (see KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1449 | */ | 
|---|
| 1450 | #define KUNIT_ASSERT_NE(test, left, right) \ | 
|---|
| 1451 | KUNIT_ASSERT_NE_MSG(test, left, right, NULL) | 
|---|
| 1452 |  | 
|---|
| 1453 | #define KUNIT_ASSERT_NE_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1454 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1455 | KUNIT_ASSERTION,			       \ | 
|---|
| 1456 | left, !=, right,			       \ | 
|---|
| 1457 | fmt,					       \ | 
|---|
| 1458 | ##__VA_ARGS__) | 
|---|
| 1459 |  | 
|---|
| 1460 | /** | 
|---|
| 1461 | * KUNIT_ASSERT_PTR_NE() - Asserts that pointers @left and @right are not equal. | 
|---|
| 1462 | * KUNIT_ASSERT_PTR_EQ() - Asserts that pointers @left and @right are equal. | 
|---|
| 1463 | * @test: The test context object. | 
|---|
| 1464 | * @left: an arbitrary expression that evaluates to a pointer. | 
|---|
| 1465 | * @right: an arbitrary expression that evaluates to a pointer. | 
|---|
| 1466 | * | 
|---|
| 1467 | * Sets an assertion that the values that @left and @right evaluate to are not | 
|---|
| 1468 | * equal. This is the same as KUNIT_EXPECT_NE(), except it causes an assertion | 
|---|
| 1469 | * failure (see KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1470 | */ | 
|---|
| 1471 | #define KUNIT_ASSERT_PTR_NE(test, left, right) \ | 
|---|
| 1472 | KUNIT_ASSERT_PTR_NE_MSG(test, left, right, NULL) | 
|---|
| 1473 |  | 
|---|
| 1474 | #define KUNIT_ASSERT_PTR_NE_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1475 | KUNIT_BINARY_PTR_ASSERTION(test,				       \ | 
|---|
| 1476 | KUNIT_ASSERTION,			       \ | 
|---|
| 1477 | left, !=, right,			       \ | 
|---|
| 1478 | fmt,					       \ | 
|---|
| 1479 | ##__VA_ARGS__) | 
|---|
| 1480 | /** | 
|---|
| 1481 | * KUNIT_ASSERT_LT() - An assertion that @left is less than @right. | 
|---|
| 1482 | * @test: The test context object. | 
|---|
| 1483 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1484 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1485 | * | 
|---|
| 1486 | * Sets an assertion that the value that @left evaluates to is less than the | 
|---|
| 1487 | * value that @right evaluates to. This is the same as KUNIT_EXPECT_LT(), except | 
|---|
| 1488 | * it causes an assertion failure (see KUNIT_ASSERT_TRUE()) when the assertion | 
|---|
| 1489 | * is not met. | 
|---|
| 1490 | */ | 
|---|
| 1491 | #define KUNIT_ASSERT_LT(test, left, right) \ | 
|---|
| 1492 | KUNIT_ASSERT_LT_MSG(test, left, right, NULL) | 
|---|
| 1493 |  | 
|---|
| 1494 | #define KUNIT_ASSERT_LT_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1495 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1496 | KUNIT_ASSERTION,			       \ | 
|---|
| 1497 | left, <, right,			       \ | 
|---|
| 1498 | fmt,					       \ | 
|---|
| 1499 | ##__VA_ARGS__) | 
|---|
| 1500 | /** | 
|---|
| 1501 | * KUNIT_ASSERT_LE() - An assertion that @left is less than or equal to @right. | 
|---|
| 1502 | * @test: The test context object. | 
|---|
| 1503 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1504 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1505 | * | 
|---|
| 1506 | * Sets an assertion that the value that @left evaluates to is less than or | 
|---|
| 1507 | * equal to the value that @right evaluates to. This is the same as | 
|---|
| 1508 | * KUNIT_EXPECT_LE(), except it causes an assertion failure (see | 
|---|
| 1509 | * KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1510 | */ | 
|---|
| 1511 | #define KUNIT_ASSERT_LE(test, left, right) \ | 
|---|
| 1512 | KUNIT_ASSERT_LE_MSG(test, left, right, NULL) | 
|---|
| 1513 |  | 
|---|
| 1514 | #define KUNIT_ASSERT_LE_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1515 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1516 | KUNIT_ASSERTION,			       \ | 
|---|
| 1517 | left, <=, right,			       \ | 
|---|
| 1518 | fmt,					       \ | 
|---|
| 1519 | ##__VA_ARGS__) | 
|---|
| 1520 |  | 
|---|
| 1521 | /** | 
|---|
| 1522 | * KUNIT_ASSERT_GT() - An assertion that @left is greater than @right. | 
|---|
| 1523 | * @test: The test context object. | 
|---|
| 1524 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1525 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1526 | * | 
|---|
| 1527 | * Sets an assertion that the value that @left evaluates to is greater than the | 
|---|
| 1528 | * value that @right evaluates to. This is the same as KUNIT_EXPECT_GT(), except | 
|---|
| 1529 | * it causes an assertion failure (see KUNIT_ASSERT_TRUE()) when the assertion | 
|---|
| 1530 | * is not met. | 
|---|
| 1531 | */ | 
|---|
| 1532 | #define KUNIT_ASSERT_GT(test, left, right) \ | 
|---|
| 1533 | KUNIT_ASSERT_GT_MSG(test, left, right, NULL) | 
|---|
| 1534 |  | 
|---|
| 1535 | #define KUNIT_ASSERT_GT_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1536 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1537 | KUNIT_ASSERTION,			       \ | 
|---|
| 1538 | left, >, right,			       \ | 
|---|
| 1539 | fmt,					       \ | 
|---|
| 1540 | ##__VA_ARGS__) | 
|---|
| 1541 |  | 
|---|
| 1542 | /** | 
|---|
| 1543 | * KUNIT_ASSERT_GE() - Assertion that @left is greater than or equal to @right. | 
|---|
| 1544 | * @test: The test context object. | 
|---|
| 1545 | * @left: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1546 | * @right: an arbitrary expression that evaluates to a primitive C type. | 
|---|
| 1547 | * | 
|---|
| 1548 | * Sets an assertion that the value that @left evaluates to is greater than the | 
|---|
| 1549 | * value that @right evaluates to. This is the same as KUNIT_EXPECT_GE(), except | 
|---|
| 1550 | * it causes an assertion failure (see KUNIT_ASSERT_TRUE()) when the assertion | 
|---|
| 1551 | * is not met. | 
|---|
| 1552 | */ | 
|---|
| 1553 | #define KUNIT_ASSERT_GE(test, left, right) \ | 
|---|
| 1554 | KUNIT_ASSERT_GE_MSG(test, left, right, NULL) | 
|---|
| 1555 |  | 
|---|
| 1556 | #define KUNIT_ASSERT_GE_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1557 | KUNIT_BINARY_INT_ASSERTION(test,				       \ | 
|---|
| 1558 | KUNIT_ASSERTION,			       \ | 
|---|
| 1559 | left, >=, right,			       \ | 
|---|
| 1560 | fmt,					       \ | 
|---|
| 1561 | ##__VA_ARGS__) | 
|---|
| 1562 |  | 
|---|
| 1563 | /** | 
|---|
| 1564 | * KUNIT_ASSERT_STREQ() - An assertion that strings @left and @right are equal. | 
|---|
| 1565 | * @test: The test context object. | 
|---|
| 1566 | * @left: an arbitrary expression that evaluates to a null terminated string. | 
|---|
| 1567 | * @right: an arbitrary expression that evaluates to a null terminated string. | 
|---|
| 1568 | * | 
|---|
| 1569 | * Sets an assertion that the values that @left and @right evaluate to are | 
|---|
| 1570 | * equal. This is the same as KUNIT_EXPECT_STREQ(), except it causes an | 
|---|
| 1571 | * assertion failure (see KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1572 | */ | 
|---|
| 1573 | #define KUNIT_ASSERT_STREQ(test, left, right) \ | 
|---|
| 1574 | KUNIT_ASSERT_STREQ_MSG(test, left, right, NULL) | 
|---|
| 1575 |  | 
|---|
| 1576 | #define KUNIT_ASSERT_STREQ_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1577 | KUNIT_BINARY_STR_ASSERTION(test,				       \ | 
|---|
| 1578 | KUNIT_ASSERTION,			       \ | 
|---|
| 1579 | left, ==, right,			       \ | 
|---|
| 1580 | fmt,					       \ | 
|---|
| 1581 | ##__VA_ARGS__) | 
|---|
| 1582 |  | 
|---|
| 1583 | /** | 
|---|
| 1584 | * KUNIT_ASSERT_STRNEQ() - An assertion that strings @left and @right are not equal. | 
|---|
| 1585 | * @test: The test context object. | 
|---|
| 1586 | * @left: an arbitrary expression that evaluates to a null terminated string. | 
|---|
| 1587 | * @right: an arbitrary expression that evaluates to a null terminated string. | 
|---|
| 1588 | * | 
|---|
| 1589 | * Sets an assertion that the values that @left and @right evaluate to are | 
|---|
| 1590 | * not equal. This is semantically equivalent to | 
|---|
| 1591 | * KUNIT_ASSERT_TRUE(@test, strcmp((@left), (@right))). See KUNIT_ASSERT_TRUE() | 
|---|
| 1592 | * for more information. | 
|---|
| 1593 | */ | 
|---|
| 1594 | #define KUNIT_ASSERT_STRNEQ(test, left, right) \ | 
|---|
| 1595 | KUNIT_ASSERT_STRNEQ_MSG(test, left, right, NULL) | 
|---|
| 1596 |  | 
|---|
| 1597 | #define KUNIT_ASSERT_STRNEQ_MSG(test, left, right, fmt, ...)		       \ | 
|---|
| 1598 | KUNIT_BINARY_STR_ASSERTION(test,				       \ | 
|---|
| 1599 | KUNIT_ASSERTION,			       \ | 
|---|
| 1600 | left, !=, right,			       \ | 
|---|
| 1601 | fmt,					       \ | 
|---|
| 1602 | ##__VA_ARGS__) | 
|---|
| 1603 |  | 
|---|
| 1604 | /** | 
|---|
| 1605 | * KUNIT_ASSERT_MEMEQ() - Asserts that the first @size bytes of @left and @right are equal. | 
|---|
| 1606 | * @test: The test context object. | 
|---|
| 1607 | * @left: An arbitrary expression that evaluates to the specified size. | 
|---|
| 1608 | * @right: An arbitrary expression that evaluates to the specified size. | 
|---|
| 1609 | * @size: Number of bytes compared. | 
|---|
| 1610 | * | 
|---|
| 1611 | * Sets an assertion that the values that @left and @right evaluate to are | 
|---|
| 1612 | * equal. This is semantically equivalent to | 
|---|
| 1613 | * KUNIT_ASSERT_TRUE(@test, !memcmp((@left), (@right), (@size))). See | 
|---|
| 1614 | * KUNIT_ASSERT_TRUE() for more information. | 
|---|
| 1615 | * | 
|---|
| 1616 | * Although this assertion works for any memory block, it is not recommended | 
|---|
| 1617 | * for comparing more structured data, such as structs. This assertion is | 
|---|
| 1618 | * recommended for comparing, for example, data arrays. | 
|---|
| 1619 | */ | 
|---|
| 1620 | #define KUNIT_ASSERT_MEMEQ(test, left, right, size) \ | 
|---|
| 1621 | KUNIT_ASSERT_MEMEQ_MSG(test, left, right, size, NULL) | 
|---|
| 1622 |  | 
|---|
| 1623 | #define KUNIT_ASSERT_MEMEQ_MSG(test, left, right, size, fmt, ...)	       \ | 
|---|
| 1624 | KUNIT_MEM_ASSERTION(test,					       \ | 
|---|
| 1625 | KUNIT_ASSERTION,				       \ | 
|---|
| 1626 | left, ==, right,				       \ | 
|---|
| 1627 | size,					       \ | 
|---|
| 1628 | fmt,					       \ | 
|---|
| 1629 | ##__VA_ARGS__) | 
|---|
| 1630 |  | 
|---|
| 1631 | /** | 
|---|
| 1632 | * KUNIT_ASSERT_MEMNEQ() - Asserts that the first @size bytes of @left and @right are not equal. | 
|---|
| 1633 | * @test: The test context object. | 
|---|
| 1634 | * @left: An arbitrary expression that evaluates to the specified size. | 
|---|
| 1635 | * @right: An arbitrary expression that evaluates to the specified size. | 
|---|
| 1636 | * @size: Number of bytes compared. | 
|---|
| 1637 | * | 
|---|
| 1638 | * Sets an assertion that the values that @left and @right evaluate to are | 
|---|
| 1639 | * not equal. This is semantically equivalent to | 
|---|
| 1640 | * KUNIT_ASSERT_TRUE(@test, memcmp((@left), (@right), (@size))). See | 
|---|
| 1641 | * KUNIT_ASSERT_TRUE() for more information. | 
|---|
| 1642 | * | 
|---|
| 1643 | * Although this assertion works for any memory block, it is not recommended | 
|---|
| 1644 | * for comparing more structured data, such as structs. This assertion is | 
|---|
| 1645 | * recommended for comparing, for example, data arrays. | 
|---|
| 1646 | */ | 
|---|
| 1647 | #define KUNIT_ASSERT_MEMNEQ(test, left, right, size) \ | 
|---|
| 1648 | KUNIT_ASSERT_MEMNEQ_MSG(test, left, right, size, NULL) | 
|---|
| 1649 |  | 
|---|
| 1650 | #define KUNIT_ASSERT_MEMNEQ_MSG(test, left, right, size, fmt, ...)	       \ | 
|---|
| 1651 | KUNIT_MEM_ASSERTION(test,					       \ | 
|---|
| 1652 | KUNIT_ASSERTION,				       \ | 
|---|
| 1653 | left, !=, right,				       \ | 
|---|
| 1654 | size,					       \ | 
|---|
| 1655 | fmt,					       \ | 
|---|
| 1656 | ##__VA_ARGS__) | 
|---|
| 1657 |  | 
|---|
| 1658 | /** | 
|---|
| 1659 | * KUNIT_ASSERT_NULL() - Asserts that pointers @ptr is null. | 
|---|
| 1660 | * @test: The test context object. | 
|---|
| 1661 | * @ptr: an arbitrary pointer. | 
|---|
| 1662 | * | 
|---|
| 1663 | * Sets an assertion that the values that @ptr evaluates to is null. This is | 
|---|
| 1664 | * the same as KUNIT_EXPECT_NULL(), except it causes an assertion | 
|---|
| 1665 | * failure (see KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1666 | */ | 
|---|
| 1667 | #define KUNIT_ASSERT_NULL(test, ptr) \ | 
|---|
| 1668 | KUNIT_ASSERT_NULL_MSG(test,					       \ | 
|---|
| 1669 | ptr,					       \ | 
|---|
| 1670 | NULL) | 
|---|
| 1671 |  | 
|---|
| 1672 | #define KUNIT_ASSERT_NULL_MSG(test, ptr, fmt, ...) \ | 
|---|
| 1673 | KUNIT_BINARY_PTR_ASSERTION(test,				       \ | 
|---|
| 1674 | KUNIT_ASSERTION,			       \ | 
|---|
| 1675 | ptr, ==, NULL,			       \ | 
|---|
| 1676 | fmt,					       \ | 
|---|
| 1677 | ##__VA_ARGS__) | 
|---|
| 1678 |  | 
|---|
| 1679 | /** | 
|---|
| 1680 | * KUNIT_ASSERT_NOT_NULL() - Asserts that pointers @ptr is not null. | 
|---|
| 1681 | * @test: The test context object. | 
|---|
| 1682 | * @ptr: an arbitrary pointer. | 
|---|
| 1683 | * | 
|---|
| 1684 | * Sets an assertion that the values that @ptr evaluates to is not null. This | 
|---|
| 1685 | * is the same as KUNIT_EXPECT_NOT_NULL(), except it causes an assertion | 
|---|
| 1686 | * failure (see KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1687 | */ | 
|---|
| 1688 | #define KUNIT_ASSERT_NOT_NULL(test, ptr) \ | 
|---|
| 1689 | KUNIT_ASSERT_NOT_NULL_MSG(test,					       \ | 
|---|
| 1690 | ptr,					       \ | 
|---|
| 1691 | NULL) | 
|---|
| 1692 |  | 
|---|
| 1693 | #define KUNIT_ASSERT_NOT_NULL_MSG(test, ptr, fmt, ...) \ | 
|---|
| 1694 | KUNIT_BINARY_PTR_ASSERTION(test,				       \ | 
|---|
| 1695 | KUNIT_ASSERTION,			       \ | 
|---|
| 1696 | ptr, !=, NULL,			       \ | 
|---|
| 1697 | fmt,					       \ | 
|---|
| 1698 | ##__VA_ARGS__) | 
|---|
| 1699 |  | 
|---|
| 1700 | /** | 
|---|
| 1701 | * KUNIT_ASSERT_NOT_ERR_OR_NULL() - Assertion that @ptr is not null and not err. | 
|---|
| 1702 | * @test: The test context object. | 
|---|
| 1703 | * @ptr: an arbitrary pointer. | 
|---|
| 1704 | * | 
|---|
| 1705 | * Sets an assertion that the value that @ptr evaluates to is not null and not | 
|---|
| 1706 | * an errno stored in a pointer. This is the same as | 
|---|
| 1707 | * KUNIT_EXPECT_NOT_ERR_OR_NULL(), except it causes an assertion failure (see | 
|---|
| 1708 | * KUNIT_ASSERT_TRUE()) when the assertion is not met. | 
|---|
| 1709 | */ | 
|---|
| 1710 | #define KUNIT_ASSERT_NOT_ERR_OR_NULL(test, ptr) \ | 
|---|
| 1711 | KUNIT_ASSERT_NOT_ERR_OR_NULL_MSG(test, ptr, NULL) | 
|---|
| 1712 |  | 
|---|
| 1713 | #define KUNIT_ASSERT_NOT_ERR_OR_NULL_MSG(test, ptr, fmt, ...)		       \ | 
|---|
| 1714 | KUNIT_PTR_NOT_ERR_OR_NULL_MSG_ASSERTION(test,			       \ | 
|---|
| 1715 | KUNIT_ASSERTION,	       \ | 
|---|
| 1716 | ptr,			       \ | 
|---|
| 1717 | fmt,			       \ | 
|---|
| 1718 | ##__VA_ARGS__) | 
|---|
| 1719 |  | 
|---|
| 1720 | /** | 
|---|
| 1721 | * KUNIT_ARRAY_PARAM() - Define test parameter generator from an array. | 
|---|
| 1722 | * @name:  prefix for the test parameter generator function. | 
|---|
| 1723 | * @array: array of test parameters. | 
|---|
| 1724 | * @get_desc: function to convert param to description; NULL to use default | 
|---|
| 1725 | * | 
|---|
| 1726 | * Define function @name_gen_params which uses @array to generate parameters. | 
|---|
| 1727 | */ | 
|---|
| 1728 | #define KUNIT_ARRAY_PARAM(name, array, get_desc)						\ | 
|---|
| 1729 | static const void *name##_gen_params(struct kunit *test,				\ | 
|---|
| 1730 | const void *prev, char *desc)			\ | 
|---|
| 1731 | {											\ | 
|---|
| 1732 | typeof((array)[0]) *__next = prev ? ((typeof(__next)) prev) + 1 : (array);	\ | 
|---|
| 1733 | if (!prev)									\ | 
|---|
| 1734 | kunit_register_params_array(test, array, ARRAY_SIZE(array), NULL);	\ | 
|---|
| 1735 | if (__next - (array) < ARRAY_SIZE((array))) {					\ | 
|---|
| 1736 | void (*__get_desc)(typeof(__next), char *) = get_desc;			\ | 
|---|
| 1737 | if (__get_desc)								\ | 
|---|
| 1738 | __get_desc(__next, desc);					\ | 
|---|
| 1739 | return __next;								\ | 
|---|
| 1740 | }										\ | 
|---|
| 1741 | return NULL;									\ | 
|---|
| 1742 | } | 
|---|
| 1743 |  | 
|---|
| 1744 | /** | 
|---|
| 1745 | * KUNIT_ARRAY_PARAM_DESC() - Define test parameter generator from an array. | 
|---|
| 1746 | * @name:  prefix for the test parameter generator function. | 
|---|
| 1747 | * @array: array of test parameters. | 
|---|
| 1748 | * @desc_member: structure member from array element to use as description | 
|---|
| 1749 | * | 
|---|
| 1750 | * Define function @name_gen_params which uses @array to generate parameters. | 
|---|
| 1751 | */ | 
|---|
| 1752 | #define KUNIT_ARRAY_PARAM_DESC(name, array, desc_member)					\ | 
|---|
| 1753 | static const void *name##_gen_params(struct kunit *test,				\ | 
|---|
| 1754 | const void *prev, char *desc)			\ | 
|---|
| 1755 | {											\ | 
|---|
| 1756 | typeof((array)[0]) *__next = prev ? ((typeof(__next)) prev) + 1 : (array);	\ | 
|---|
| 1757 | if (!prev)									\ | 
|---|
| 1758 | kunit_register_params_array(test, array, ARRAY_SIZE(array), NULL);	\ | 
|---|
| 1759 | if (__next - (array) < ARRAY_SIZE((array))) {					\ | 
|---|
| 1760 | strscpy(desc, __next->desc_member, KUNIT_PARAM_DESC_SIZE);		\ | 
|---|
| 1761 | return __next;								\ | 
|---|
| 1762 | }										\ | 
|---|
| 1763 | return NULL;									\ | 
|---|
| 1764 | } | 
|---|
| 1765 |  | 
|---|
| 1766 | /** | 
|---|
| 1767 | * kunit_register_params_array() - Register parameter array for a KUnit test. | 
|---|
| 1768 | * @test: The KUnit test structure to which parameters will be added. | 
|---|
| 1769 | * @array: An array of test parameters. | 
|---|
| 1770 | * @param_count: Number of parameters. | 
|---|
| 1771 | * @get_desc: Function that generates a string description for a given parameter | 
|---|
| 1772 | * element. | 
|---|
| 1773 | * | 
|---|
| 1774 | * This macro initializes the @test's parameter array data, storing information | 
|---|
| 1775 | * including the parameter array, its count, the element size, and the parameter | 
|---|
| 1776 | * description function within `test->params_array`. | 
|---|
| 1777 | * | 
|---|
| 1778 | * Note: If using this macro in param_init(), kunit_array_gen_params() | 
|---|
| 1779 | * will then need to be manually provided as the parameter generator function to | 
|---|
| 1780 | * KUNIT_CASE_PARAM_WITH_INIT(). kunit_array_gen_params() is a KUnit | 
|---|
| 1781 | * function that uses the registered array to generate parameters | 
|---|
| 1782 | */ | 
|---|
| 1783 | #define kunit_register_params_array(test, array, param_count, get_desc)				\ | 
|---|
| 1784 | do {											\ | 
|---|
| 1785 | struct kunit *_test = (test);							\ | 
|---|
| 1786 | const typeof((array)[0]) * _params_ptr = &(array)[0];				\ | 
|---|
| 1787 | _test->params_array.params = _params_ptr;					\ | 
|---|
| 1788 | _test->params_array.num_params = (param_count);					\ | 
|---|
| 1789 | _test->params_array.elem_size = sizeof(*_params_ptr);				\ | 
|---|
| 1790 | _test->params_array.get_description = (get_desc);				\ | 
|---|
| 1791 | } while (0) | 
|---|
| 1792 |  | 
|---|
| 1793 | // TODO(dlatypov@google.com): consider eventually migrating users to explicitly | 
|---|
| 1794 | // include resource.h themselves if they need it. | 
|---|
| 1795 | #include <kunit/resource.h> | 
|---|
| 1796 |  | 
|---|
| 1797 | #endif /* _KUNIT_TEST_H */ | 
|---|
| 1798 |  | 
|---|