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. julia
