diff options
| author |   Dmitry Vyukov <dvyukov@google.com> | 2017-06-22 16:14:17 +0200 |
|---|---|---|
| committer |   Ingo Molnar <mingo@kernel.org> | 2017-07-26 13:08:54 +0200 |
| commit | f06e8c584fa0d05312c11ea66194f3d2efb93c21 (patch) | |
| tree | 6abbbbf95b2443bed4d23745b8b75ee4e39e334d /include/linux/kasan-checks.h | |
| parent | Merge branch 'WIP.locking/atomics' into locking/core (diff) | |
| download | linux-dev-f06e8c584fa0d05312c11ea66194f3d2efb93c21.tar.xz linux-dev-f06e8c584fa0d05312c11ea66194f3d2efb93c21.zip | |
kasan: Allow kasan_check_read/write() to accept pointers to volatiles
Currently kasan_check_read/write() accept 'const void*', make them
accept 'const volatile void*'. This is required for instrumentation
of atomic operations and there is just no reason to not allow that.
Signed-off-by: Dmitry Vyukov <dvyukov@google.com>
Reviewed-by: Andrey Ryabinin <aryabinin@virtuozzo.com>
Acked-by: Mark Rutland <mark.rutland@arm.com>
Cc: Andrew Morton <akpm@linux-foundation.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: kasan-dev@googlegroups.com
Cc: linux-mm@kvack.org
Cc: will.deacon@arm.com
Link: http://lkml.kernel.org/r/33e5ec275c1ee89299245b2ebbccd63709c6021f.1498140838.git.dvyukov@google.com
Signed-off-by: Ingo Molnar <mingo@kernel.org>
Diffstat (limited to 'include/linux/kasan-checks.h')
| -rw-r--r-- | include/linux/kasan-checks.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/include/linux/kasan-checks.h b/include/linux/kasan-checks.h index b7f8aced7870..41960fecf783 100644 --- a/include/linux/kasan-checks.h +++ b/include/linux/kasan-checks.h @@ -2,11 +2,13 @@ #define _LINUX_KASAN_CHECKS_H #ifdef CONFIG_KASAN -void kasan_check_read(const void *p, unsigned int size); -void kasan_check_write(const void *p, unsigned int size); +void kasan_check_read(const volatile void *p, unsigned int size); +void kasan_check_write(const volatile void *p, unsigned int size); #else -static inline void kasan_check_read(const void *p, unsigned int size) { } -static inline void kasan_check_write(const void *p, unsigned int size) { } +static inline void kasan_check_read(const volatile void *p, unsigned int size) +{ } +static inline void kasan_check_write(const volatile void *p, unsigned int size) +{ } #endif #endif |