[PATCH] D79423: [analyzer][NFC] StdLibraryFunctionsChecker: Add empty Signatures

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed May 6 09:07:38 PDT 2020


xazax.hun added a comment.

In D79423#2022812 <https://reviews.llvm.org/D79423#2022812>, @martong wrote:

> I don't think that could be a concern.
>  Actually, redefinition of a reserved name either in the C or in the C++ standard library is undefined behavior:


I disagree. As you mentioned in another revision, we plan to model functions beyond the C and C++ standard library. We cannot prevent name collisions for those other libraries (and sometimes we cannot even prevent unintended name collisions with the standard libraries). 
I think to reduce the risk of applying the wrong summary to a function worth the effort of spelling the signature out (since it only needs to be done once).


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D79423/new/

https://reviews.llvm.org/D79423





More information about the cfe-commits mailing list