held_dev: delete this check
[smatch.git] / smatch_data / kernel.ignore_no_effect
blob1f314a8a63fc3fa2684ac32a68f1dcc54c906d91
1 write_seqcount_begin