https://gcc.gnu.org/bugzilla/show_bug.cgi?id=12849
Cassio Neri <cassio.neri at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |cassio.neri at gmail dot com
--- Comment #4 from Cassio Neri <cassio.neri at gmail dot com> ---
A simple mathematical proof that the algorithm works is found here:
http://clomont.com/efficient-divisibility-testing/
See also https://stackoverflow.com/a/49264279/1137388.
