From 3f7ce3ee82dd3f868c7c180478f123eab32abb73 Mon Sep 17 00:00:00 2001 From: Dan Carpenter Date: Fri, 22 Jun 2012 14:47:00 +0300 Subject: [PATCH] ignore_side_effects: add some more macros that have side effects ADD_STA_STATS and AWDATA are supposed to have side effects and get_user and put_user only have side effects when __CHECKER__ is defined and not in the final code. Signed-off-by: Dan Carpenter --- smatch_data/kernel.ignore_side_effects | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/smatch_data/kernel.ignore_side_effects b/smatch_data/kernel.ignore_side_effects index e971d581..b9644c89 100644 --- a/smatch_data/kernel.ignore_side_effects +++ b/smatch_data/kernel.ignore_side_effects @@ -5,11 +5,14 @@ * Some of them like put_user() and friends, have side effects when __CHECKER__ * is defined but not in the compiled kernel. */ +ADD_STA_STATS ARCH_DLINFO +AWDATA ENCODE ENCODE_DATA ENCODE_STR get_unaligned +get_user __get_user __get_user_nocheck hybrid_tuner_request_state @@ -26,6 +29,7 @@ OUT_RING_REG poly_step PUT_BYTE put_short +put_user __put_user __put_user_nocheck R128_WAIT_UNTIL_PAGE_FLIPPED -- 2.11.4.GIT