[PATCH] D77391: [analyzer][AnalysisOrder] Display the CallEvent type for preCall/postCall

[Kristóf Umann via Phabricator via cfe-commits]

Szelethus created this revision.
Szelethus added reviewers: NoQ, baloghadamsoftware, martong, balazske, steakhal, xazax.hun, rnkovacs.
Szelethus added a project: clang.
Herald added subscribers: cfe-commits, ASDenysPetrov, Charusso, gamesh411, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet, whisperity.
Szelethus added a child revision: D75430: [analyzer][NFC] Introduce CXXDeallocatorCall, deploy it in MallocChecker.

Exactly what it says on the tin! The included testfile demonstrates why this is important -- for C++ dynamic memory operators, we don't always recognize custom, or even standard-specified new/delete operators as `CXXAllocatorCall` or `CXXDeallocatorCall`.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D77391

Files:
  clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
  clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h
  clang/lib/StaticAnalyzer/Checkers/AnalysisOrderChecker.cpp
  clang/lib/StaticAnalyzer/Core/CallEvent.cpp
  clang/test/Analysis/Inputs/system-header-simulator-cxx.h
  clang/test/Analysis/analyzer-config.c
  clang/test/Analysis/cxx-dynamic-memory-analysis-order.cpp
  clang/test/Analysis/diagnostics/explicit-suppression.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D77391.254771.patch
Type: text/x-patch
Size: 21737 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200403/33e75858/attachment-0001.bin>