Messages in this thread | | | Date | Sun, 23 Nov 2014 20:03:36 +0100 | From | SF Markus Elfring <> | Subject | Re: thunderbolt: Deletion of unnecessary checks before the function call "ring_free" |
| |
> Why not just make the static source code analysis aware of the problem?
This is also possible, of course.
> You can treat static functions differently that non-static ones.
I have added this detail to my ideas around the next fine-tuning for the published semantic patch approach.
> There is no need to change the code.
Can name space prefixes help to make source code a bit safer eventually?
Regards, Markus
| |