https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113680
--- Comment #2 from Kang-Che Sung <Explorer09 at gmail dot com> --- I forgot to mention that such optimization is unsafe for floating points (actually I knew that when I write my code). `(a - b) < 0` optimization shouldn't be performed with unsigned integers either. I request only optimizations on signed integers.