[analyzer] StdLibraryFunctions: provide platform-specific function summaries.
authorArtem Dergachev <artem.dergachev@gmail.com>
Wed, 2 Nov 2016 19:35:20 +0000 (19:35 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Wed, 2 Nov 2016 19:35:20 +0000 (19:35 +0000)
commit47fec16cd11d6d8b64295ece07df00ed46604412
tree5411b8107ac50606c9ebedaaeb3618045970f049
parente288eef32256baf32968b7540c6ca29e51749f5c
[analyzer] StdLibraryFunctions: provide platform-specific function summaries.

Because standard functions can be defined differently on different platforms,
this commit introduces a method for constructing summaries with multiple
variants, whichever matches better. It is also useful for supporting overloads.

Differential Revision: https://reviews.llvm.org/D25940

llvm-svn: 285852
clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
clang/test/Analysis/std-c-library-functions.c