steakhal wrote: I think you overthink this. Only evalCall what we need, and exactly that. This means only 2 APIs: `std::sort` and `std::stable_sort`. It's easy to model these accurately because the best a proper model could do is just escaping the parameters.
With any other APIs, the modelling is likely to be not that simple and can cause negative interference like you observed - with other checkers. Consequently, I'd steer away from those and focus on the bare minimums. https://github.com/llvm/llvm-project/pull/178910 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
