ignore_side_effects: get_child_rcu() double evaluates with __CHECKER__
[smatch.git] / README
blob7cf62800e8f71259cf57f811269f933256617e11
1 There are some documents under the Documentation/ directory.