[analyzer] Support kfree in MallocChecker
authorNathan Huckleberry <nhuck@google.com>
Mon, 1 Jul 2019 23:29:10 +0000 (23:29 +0000)
committerNathan Huckleberry <nhuck@google.com>
Mon, 1 Jul 2019 23:29:10 +0000 (23:29 +0000)
commit121401425d4d56eb6faed74c0307d161e77f7434
tree07fd451705e87ac3fb599737cf62854e5c98ca34
parentd66c606a34618b290a66468743044069014d311f
[analyzer] Support kfree in MallocChecker

Summary:
kmalloc is freed with kfree in the linux kernel. kmalloc support was
added in r204832, but kfree was not. Adding kfree fixes incorrectly
detected memory leaks.

Reviewers: NoQ, nickdesaulniers, dcoughlin, Szelethus

Reviewed By: NoQ, Szelethus

Subscribers: xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, Charusso, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D64030

llvm-svn: 364875
clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
clang/test/Analysis/kmalloc-linux.c