[PATCH] D25940: [analyzer] LibraryFunctions: Fix errors due to different integral types and typedefs on different architectures.

[Artem Dergachev via cfe-commits]

NoQ updated this revision to Diff 76641.
NoQ added a comment.

Try out a completely different approach which was also suggested by Anna.

Allow providing multiple variants of summaries for each function identifier, with different type specifications and branches. This way we preserve type checks and support overloads fairly well, however we introduce a bit of summary data duplication. This solves the `ssize_t` problem by providing multiple variants for every summary that uses it: one summary for the case when `ssize_t` is `int`, one for the case when it's `long`, one for the case when it's `long long`.


https://reviews.llvm.org/D25940

Files:
  lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
  test/Analysis/std-c-library-functions.c

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25940.76641.patch
Type: text/x-patch
Size: 11764 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20161101/c8933598/attachment-0001.bin>