[PATCH] D62557: [analyzer] Modernize CStringChecker to use CallDescriptions.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ created this revision.
NoQ added reviewers: dcoughlin, xazax.hun, a_sidorin, rnkovacs, mikhail.ramalho, Szelethus, baloghadamsoftware, Charusso.
Herald added subscribers: cfe-commits, dkrupp, donat.nagy, a.sidorin, szepet.
Herald added a project: clang.
NoQ added parent revisions: D62556: [analyzer] NFC: CallDescription: Implement describing C library functions., D62440: [analyzer] NFC: Change evalCall() to provide a CallEvent..

This uses the new `CDF_MaybeBuiltin` flag to handle C library functions. It's mostly a refactoring pass, but it does fix a bug in handling `memset()` when it expands to `__builtin___memset_chk()` because the latter has one more argument and `memset()` handling code was trying to match the exact number of arguments.


Repository:
  rC Clang

https://reviews.llvm.org/D62557

Files:
  clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp
  clang/test/Analysis/string.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D62557.201786.patch
Type: text/x-patch
Size: 14574 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190528/fe76b8f8/attachment-0001.bin>