[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