[Bug tree-optimization/122996] Missed optimisation for branch folding with unsigned arithmetic wraparound

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122996

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Mital Ashok from comment #0)
> This comes up when dealing with std::string{,_view}::npos in C++

Do you have an full example to make sure the match pattern catches this?