[PATCH] D62557: [analyzer] Modernize CStringChecker to use CallDescriptions.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue May 28 16:49:57 PDT 2019
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 14574 bytes
Desc: not available
More information about the cfe-commits