ignore_side_effects: get_child_rcu() double evaluates with __CHECKER__
commitc84d779d549cfa2f5eb973577e2859372480319b
authorDan Carpenter <dan.carpenter@oracle.com>
Mon, 13 Apr 2015 19:25:44 +0000 (13 22:25 +0300)
committerDan Carpenter <dan.carpenter@oracle.com>
Mon, 13 Apr 2015 19:25:44 +0000 (13 22:25 +0300)
tree19fa13a05ef5e077456159ceaade68039b247283
parent37195364252409a4ef666c4d498a3f09721528c8
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 <dan.carpenter@oracle.com>
smatch_data/kernel.ignore_side_effects