HomePhabricator

[analyzer] Support kfree in MallocChecker

Description

[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

Details

Committed
Nathan-HuckleberryJul 1 2019, 4:29 PM
Reviewer
NoQ
Differential Revision
D64030: [analyzer] Support kfree in MallocChecker
Parents
rL364874: [TSan] Improve handling of stack pointer mangling in {set,long}jmp, pt.3
Branches
Unknown
Tags
Unknown