[Bug middle-end/93742] Optimization request: pattern-match typical addition overflow checks

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Do you mean match_uaddsub_overflow in tree-ssa-math-opts.c ?