[clang] [clang][analyzer] Add OpaqueSTLFunctionsModeling (PR #178910)

[Balázs Benics via cfe-commits]

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