[PATCH] D52722: [analyzer] Move StdCLibraryFunctions to apiModeling

DonĂ¡t Nagy via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Oct 1 05:45:25 PDT 2018


donat.nagy created this revision.
donat.nagy added a reviewer: NoQ.
Herald added subscribers: cfe-commits, Szelethus, mikhail.ramalho, a.sidorin, szepet, eraman, xazax.hun.
Herald added a reviewer: george.karpenkov.

StdCLibraryFunctionsChecker models the evaluation of several well-known
functions of the C standard library. This commit moves it to the
apiModeling category, which is loaded by default (it was in the unix
category, despite the fact that it models platform-independent standard
functions). As we load this checker, ConversionChecker will no longer
emit false positives when it encunters certain functions (e.g. getc()
and the character classification functions); this commit updates its
regression test to reflect this fact.


Repository:
  rC Clang

https://reviews.llvm.org/D52722

Files:
  include/clang/StaticAnalyzer/Checkers/Checkers.td
  test/Analysis/conversion.c
  test/Analysis/std-c-library-functions-inlined.c
  test/Analysis/std-c-library-functions.c
  test/Analysis/std-c-library-functions.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D52722.167715.patch
Type: text/x-patch
Size: 6462 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20181001/39d27992/attachment.bin>


More information about the cfe-commits mailing list