https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99620
--- Comment #4 from Paweł Bylica <chfast at gmail dot com> --- Can you give me introduction where and how to fix it? I have a longer list of similar issues, so maybe it's good time to learn how to fix them myself. FYI, clang is unifying both cases by changing `k = l > a.l` into `k = a.l < b.l` and only having SUB_OVERFLOW match for `k = a.l < b.l` case.
