[PATCH] D76830: [Analyzer][MallocChecker] No warning for kfree of ZERO_SIZE_PTR.

Balázs Kéri via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Mar 27 10:55:22 PDT 2020


balazske updated this revision to Diff 253163.
balazske added a comment.

- Removed test file malloc-linux-1.c
- Prevent warning only if "malloc family" free is done (Do not recognize `ZERO_SIZE_PTR` at a `delete` call.)


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D76830/new/

https://reviews.llvm.org/D76830

Files:
  clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
  clang/lib/StaticAnalyzer/Core/CheckerHelpers.cpp
  clang/test/Analysis/kmalloc-linux.c
  clang/test/Analysis/malloc.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D76830.253163.patch
Type: text/x-patch
Size: 5518 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200327/0d7d2f8a/attachment.bin>


More information about the cfe-commits mailing list