From c84d779d549cfa2f5eb973577e2859372480319b Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Mon, 13 Apr 2015 22:25:44 +0300 Subject: [PATCH] ignore_side_effects: get_child_rcu() double evaluates with __CHECKER__ We can ignore it because it doesn't have double evaluation bugs in the actual compiled code, only if __CHECKER__ is set. Signed-off-by: Dan Carpenter --- smatch_data/kernel.ignore_side_effects | 1 + 1 file changed, 1 insertion(+) diff --git a/smatch_data/kernel.ignore_side_effects b/smatch_data/kernel.ignore_side_effects index 43110090..14dd9ab0 100644 --- a/smatch_data/kernel.ignore_side_effects +++ b/smatch_data/kernel.ignore_side_effects @@ -12,6 +12,7 @@ ENCODE ENCODE_DATA ENCODE_STR get_child +get_child_rcu get_unaligned get_user __get_user -- 2.11.4.GIT