[PATCH] D80016: [analyzer] StdLibraryFunctionsChecker: Add support to lookup types

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri May 29 09:12:59 PDT 2020


xazax.hun added a comment.

A high level comment.

Trying to match function signatures is not a unique problem! In fact, almost all of the checks the analyzer have is trying to solve the very some problem.
One of the methods we have at this point is called CallDescription, see here: https://github.com/llvm/llvm-project/blob/master/clang/lib/StaticAnalyzer/Core/CallEvent.cpp#L358

Moreover, I would assume something similar needs to be done for APINotes.

Do you think it would be possible to extend the CallDescription interface to match your needs? In that case all of the checks could profit from this work.
What do you think?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80016





More information about the cfe-commits mailing list