points_to_user_data: fake calls are not user data
[smatch.git] / smatch_data / kernel.ignore_no_effect
blob1f314a8a63fc3fa2684ac32a68f1dcc54c906d91
1 write_seqcount_begin