[Bug analyzer/106225] False positives from -Wanalyzer-tainted-divisor

[dmalcolm at gcc dot gnu.org]

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

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Fixed on trunk for gcc 13 by the above commit.  Keeping this open to backport
to gcc 12.