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

[Balázs Benics via cfe-commits]

steakhal wrote:

> Note that we have [trouble with matching some sort functions directly](https://github.com/llvm/llvm-project/issues/78132#issuecomment-2028445993). If I understand it correctly, that only affects `std::ranges::sort` and not `std::sort` but I'm not sure -- and maybe @gamesh411 decided to match the internal functions because he was scared of that.

Yea, we can't match [niebloids](https://brevzin.github.io/c++/2020/12/19/cpo-niebloid/), but I think matching the internals is even worse because that is tied to a very specific STL implementation. IMO that is strictly worse.

https://github.com/llvm/llvm-project/pull/178910