Searched refs:KCSAN_ACCESS_ASSERT (Results 1 – 7 of 7) sorted by relevance
/linux/include/linux/ |
A D | kcsan-checks.h | 21 #define KCSAN_ACCESS_ASSERT (1 << 3) /* Access is an assertion. */ macro 294 __kcsan_check_access(&(var), sizeof(var), KCSAN_ACCESS_ASSERT) 343 __ASSERT_EXCLUSIVE_SCOPED(var, KCSAN_ACCESS_ASSERT, __COUNTER__) 375 __kcsan_check_access(&(var), sizeof(var), KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT) 391 __ASSERT_EXCLUSIVE_SCOPED(var, KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT, __COUNTER__) 451 __kcsan_check_access(&(var), sizeof(var), KCSAN_ACCESS_ASSERT);\
|
/linux/kernel/kcsan/ |
A D | kcsan_test.c | 156 const bool is_assert = (r->access[0].type | r->access[1].type) & KCSAN_ACCESS_ASSERT; in report_matches() 204 (ty & KCSAN_ACCESS_ASSERT) ? in report_matches() 746 { test_kernel_assert_writer, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT }, in test_assert_exclusive_writer() 764 …{ test_kernel_assert_access, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT | KCSAN_ACCESS_WRITE… in test_assert_exclusive_access() 782 …{ test_kernel_assert_access, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT | KCSAN_ACCESS_WRITE… in test_assert_exclusive_access_writer() 783 { test_kernel_assert_writer, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT }, in test_assert_exclusive_access_writer() 788 …{ test_kernel_assert_access, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT | KCSAN_ACCESS_WRITE… in test_assert_exclusive_access_writer() 794 { test_kernel_assert_writer, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT }, in test_assert_exclusive_access_writer() 795 { test_kernel_assert_writer, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT }, in test_assert_exclusive_access_writer() 818 { test_kernel_assert_bits_change, &test_var, sizeof(test_var), KCSAN_ACCESS_ASSERT }, in test_assert_exclusive_bits_change() [all …]
|
A D | core.c | 235 if (type & KCSAN_ACCESS_ASSERT) in is_atomic() 320 (type & (KCSAN_ACCESS_COMPOUND | KCSAN_ACCESS_ASSERT)) ? 1 : 0; in delay_access() 362 const bool is_assert = (type & KCSAN_ACCESS_ASSERT) != 0; in kcsan_found_watchpoint() 428 const bool is_assert = (type & KCSAN_ACCESS_ASSERT) != 0; in kcsan_setup_watchpoint()
|
A D | report.c | 215 if (type & KCSAN_ACCESS_ASSERT) { in get_access_type() 261 return (type & KCSAN_ACCESS_ASSERT) != 0 ? "assert: race" : "data-race"; in get_bug_type()
|
/linux/mm/kfence/ |
A D | core.c | 476 KCSAN_ACCESS_SCOPED | KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT, in kfence_guarded_free()
|
/linux/mm/ |
A D | slab.c | 3451 KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT); in __cache_free()
|
A D | slub.c | 1703 KCSAN_ACCESS_WRITE | KCSAN_ACCESS_ASSERT); in slab_free_hook()
|
Completed in 33 milliseconds