https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96615
--- Comment #3 from Gabriel Ravier <gabravier at gmail dot com> --- It seems to be optimized into nothing as of right now
[Bug tree-optimization/96615] Failure to optimize out loop that eventually ends but has no side effects involving decrease of loop counter using an unsigned operation and the loop being done through recursivity
gabravier at gmail dot com via Gcc-bugs Thu, 02 Sep 2021 09:46:19 -0700
