diff options
| author | René Scharfe <l.s.r@web.de> | 2017-02-11 14:58:44 +0100 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2017-02-11 11:29:12 -0800 |
| commit | ec6cd14c7a869b32776c1d3387afc93f369aea62 (patch) | |
| tree | c7b5928a3c577c169c1fa2d0bc1f6bc7617e1fb9 /contrib/coccinelle | |
| parent | 3b9e3c2cede15057af3ff8076c45ad5f33829436 (diff) | |
| download | git-ec6cd14c7a869b32776c1d3387afc93f369aea62.tar.gz git-ec6cd14c7a869b32776c1d3387afc93f369aea62.tar.xz | |
cocci: detect useless free(3) calls
Add a semantic patch for removing checks that cause free(3) to only be
called with a NULL pointer, as that must be a programming mistake.
Signed-off-by: Rene Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/coccinelle')
| -rw-r--r-- | contrib/coccinelle/free.cocci | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/coccinelle/free.cocci b/contrib/coccinelle/free.cocci index e28213161..c03ba737e 100644 --- a/contrib/coccinelle/free.cocci +++ b/contrib/coccinelle/free.cocci @@ -3,3 +3,9 @@ expression E; @@ - if (E) free(E); + +@@ +expression E; +@@ +- if (!E) + free(E); |