[PATCH] D25940: [analyzer] LibraryFunctions: Fix errors due to different integral types and typedefs on different architectures.
Artem Dergachev via cfe-commits
cfe-commits at lists.llvm.org
Tue Nov 1 15:34:29 PDT 2016
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`.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 11764 bytes
Desc: not available
More information about the cfe-commits