[PATCH] D54149: [Analyzer] [WIP] Standard C++ library functions checker for the std::find() family

Balogh, Ádám via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Nov 29 02:20:06 PST 2019


baloghadamsoftware added a comment.

The modeling framework in its current state cannot be used for detailed modeling of complex functions. Even detailed modeling (including handling of `GDM` data for checkers) of standard C functions are done manually: see `C string` and `stream` checkers. Template functions of the `C++ STL` are more complex, creating a generic modeling framework would be huge multi-year project for which we currently lack the resources. So we decided to model these functions manually: Model STL Algoirthms to improve the iterator checkers <https://reviews.llvm.org/D70818>


Repository:
  rC Clang

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

https://reviews.llvm.org/D54149





More information about the cfe-commits mailing list