kernel/kcsan/kcsan_test.c

536 	atomic_t dummy;
591 	KCSAN_EXPECT_READ_BARRIER(atomic_read(&dummy), false);
592 	KCSAN_EXPECT_READ_BARRIER(atomic_read_acquire(&dummy), false);
593 	KCSAN_EXPECT_READ_BARRIER(atomic_set(&dummy, 0), false);
594 	KCSAN_EXPECT_READ_BARRIER(atomic_set_release(&dummy, 0), true);
595 	KCSAN_EXPECT_READ_BARRIER(atomic_add(1, &dummy), false);
596 	KCSAN_EXPECT_READ_BARRIER(atomic_add_return(1, &dummy), true);
597 	KCSAN_EXPECT_READ_BARRIER(atomic_add_return_acquire(1, &dummy), false);
598 	KCSAN_EXPECT_READ_BARRIER(atomic_add_return_release(1, &dummy), true);
599 	KCSAN_EXPECT_READ_BARRIER(atomic_add_return_relaxed(1, &dummy), false);
600 	KCSAN_EXPECT_READ_BARRIER(atomic_fetch_add(1, &dummy), true);
601 	KCSAN_EXPECT_READ_BARRIER(atomic_fetch_add_acquire(1, &dummy), false);
602 	KCSAN_EXPECT_READ_BARRIER(atomic_fetch_add_release(1, &dummy), true);
603 	KCSAN_EXPECT_READ_BARRIER(atomic_fetch_add_relaxed(1, &dummy), false);
636 	KCSAN_EXPECT_WRITE_BARRIER(atomic_read(&dummy), false);
637 	KCSAN_EXPECT_WRITE_BARRIER(atomic_read_acquire(&dummy), false);
638 	KCSAN_EXPECT_WRITE_BARRIER(atomic_set(&dummy, 0), false);
639 	KCSAN_EXPECT_WRITE_BARRIER(atomic_set_release(&dummy, 0), true);
640 	KCSAN_EXPECT_WRITE_BARRIER(atomic_add(1, &dummy), false);
641 	KCSAN_EXPECT_WRITE_BARRIER(atomic_add_return(1, &dummy), true);
642 	KCSAN_EXPECT_WRITE_BARRIER(atomic_add_return_acquire(1, &dummy), false);
643 	KCSAN_EXPECT_WRITE_BARRIER(atomic_add_return_release(1, &dummy), true);
644 	KCSAN_EXPECT_WRITE_BARRIER(atomic_add_return_relaxed(1, &dummy), false);
645 	KCSAN_EXPECT_WRITE_BARRIER(atomic_fetch_add(1, &dummy), true);
646 	KCSAN_EXPECT_WRITE_BARRIER(atomic_fetch_add_acquire(1, &dummy), false);
647 	KCSAN_EXPECT_WRITE_BARRIER(atomic_fetch_add_release(1, &dummy), true);
648 	KCSAN_EXPECT_WRITE_BARRIER(atomic_fetch_add_relaxed(1, &dummy), false);
681 	KCSAN_EXPECT_RW_BARRIER(atomic_read(&dummy), false);
682 	KCSAN_EXPECT_RW_BARRIER(atomic_read_acquire(&dummy), false);
683 	KCSAN_EXPECT_RW_BARRIER(atomic_set(&dummy, 0), false);
684 	KCSAN_EXPECT_RW_BARRIER(atomic_set_release(&dummy, 0), true);
685 	KCSAN_EXPECT_RW_BARRIER(atomic_add(1, &dummy), false);
686 	KCSAN_EXPECT_RW_BARRIER(atomic_add_return(1, &dummy), true);
687 	KCSAN_EXPECT_RW_BARRIER(atomic_add_return_acquire(1, &dummy), false);
688 	KCSAN_EXPECT_RW_BARRIER(atomic_add_return_release(1, &dummy), true);
689 	KCSAN_EXPECT_RW_BARRIER(atomic_add_return_relaxed(1, &dummy), false);
690 	KCSAN_EXPECT_RW_BARRIER(atomic_fetch_add(1, &dummy), true);
691 	KCSAN_EXPECT_RW_BARRIER(atomic_fetch_add_acquire(1, &dummy), false);
692 	KCSAN_EXPECT_RW_BARRIER(atomic_fetch_add_release(1, &dummy), true);
693 	KCSAN_EXPECT_RW_BARRIER(atomic_fetch_add_relaxed(1, &dummy), false);