kernel/kcsan/kcsan_test.c

46 /* Points to current test-case memory access "kernels". */
149 		void *addr;  /* Address of access; unchecked if NULL. */
150 		size_t size; /* Size of access; unchecked if @addr is NULL. */
152 	} access[2];
159 	const bool is_assert = (r->access[0].type | r->access[1].type) & KCSAN_ACCESS_ASSERT;
182 	if (r->access[1].fn) {
187 		scnprintf(tmp[0], sizeof(tmp[0]), "%pS", r->access[0].fn);
188 		scnprintf(tmp[1], sizeof(tmp[1]), "%pS", r->access[1].fn);
191 				 cmp < 0 ? r->access[0].fn : r->access[1].fn,
192 				 cmp < 0 ? r->access[1].fn : r->access[0].fn);
194 		scnprintf(cur, end - cur, "%pS", r->access[0].fn);
204 	if (!r->access[1].fn)
209 		const int ty = r->access[i].type;
232 			if (!r->access[1].fn) {
233 				/* Dummy string if no second access is available. */
242 		if (r->access[i].addr) /* Address is optional. */
244 					 r->access[i].addr, r->access[i].size);
270 		r->access[0].type |= KCSAN_ACCESS_SCOPED;
272 		r->access[0].type &= ~KCSAN_ACCESS_SCOPED;
275 		r->access[1].type |= KCSAN_ACCESS_SCOPED;
277 		r->access[1].type &= ~KCSAN_ACCESS_SCOPED;
292 /* Due to reordering accesses, any access may appear as "(reordered)". */
713 		.access = {
719 		.access = {
744 		.access = {
751 		.access = {
773 		.access = {
779 		.access = {
805 		.access = {
811 		.access = {
831 		.access = {
853 		.access = {
879 		.access = {
901 		.access = {
928 /* Test that a race with an atomic and plain access result in reports. */
933 		.access = {
954 		.access = {
976 		.access = {
982 		.access = {
1016 		.access = {
1034 		.access = {
1052 		.access = {
1058 		.access = {
1064 		.access = {
1088 		.access = {
1119 		.access = {
1125 		.access = {
1146 		.access = {
1152 		.access = { expect_start1.access[0], expect_start1.access[0] },
1155 		.access = {
1260 		.access = {
1283 		.access = {
1302 		.access = {
1324 		.access = {
1344 		.access = {