Andrew's git / gitweb.git / diff
?
Merge branch 'rs/cocci-check-free-only-null'
authorJunio C Hamano <gitster@pobox.com>
Thu, 16 Feb 2017 22:45:13 +0000 (14:45 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 16 Feb 2017 22:45:13 +0000 (14:45 -0800)
A new coccinelle rule that catches a check of !pointer before the
pointer is free(3)d, which most likely is a bug.

* rs/cocci-check-free-only-null:
cocci: detect useless free(3) calls

Trivial merge