Commit 7e766560 authored Jun 16, 2020 by Marco Elver Committed by Paul E. McKenney Jun 29, 2020

kcsan: Remove existing special atomic rules



Remove existing special atomic rules from kcsan_is_atomic_special()
because they are no longer needed. Since we rely on the compiler
emitting instrumentation distinguishing volatile accesses, the rules
have become redundant.

Let's keep kcsan_is_atomic_special() around, so that we have an obvious
place to add special rules should the need arise in future.

Signed-off-by: Marco Elver <elver@google.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>

parent acfa087c

kernel/kcsan/atomic.h

+2 −4

Original line number	Diff line number	Diff line
		@@ -3,8 +3,7 @@
		#ifndef _KERNEL_KCSAN_ATOMIC_H
		#define _KERNEL_KCSAN_ATOMIC_H

		#include <linux/jiffies.h>
		#include <linux/sched.h>
		#include <linux/types.h>

		/*
		* Special rules for certain memory where concurrent conflicting accesses are
		@@ -13,8 +12,7 @@
		*/
		static bool kcsan_is_atomic_special(const volatile void *ptr)
		{
		/* volatile globals that have been observed in data races. */
		return ptr == &jiffies \|\| ptr == &current->state;
		return false;
		}

		#endif /* _KERNEL_KCSAN_ATOMIC_H */

Admin message