LLVM fails to remove i<=s.size() in pointer loop.

[AngelicosPhosphoros]

Clang fails to DCE using idx <= len in following code.

void do_checks(const int* begin, const size_t len){
    size_t idx = 0;
    const auto end = begin + len;
    for (const int* it = begin; it!=end; ++it, ++idx){
        if (idx <= len){
            // Do something useful
        }
        else
        {
            throw 5;
        }
    }
}

godbolt

Also related: #52851