Re: [v5] coccinelle: semantic code search for missingput_device()

From: Julia Lawall
Date: Sat Feb 16 2019 - 03:41:50 EST

Actually, upon reflection, I don't like the if (...) solution. if (id !=
NULL) would be better. This will also check for if (id). If having such
an explicit test results in false positives, the semantic patch can be
revised. But it is better than if (...), which allow anything at all, and
could miss cases where the free should happen, but does not.