[Bug analyzer/110700] ICE with -fanalyzer --analyzer-checker=taint on division of tainted floating-point values

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|gcc -fanalyzer              |ICE with -fanalyzer
                   |--analyzer-checker=taint    |--analyzer-checker=taint on
                   |encouters an error          |division of tainted
                   |                            |floating-point values
   Last reconfirmed|                            |2023-07-19
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this bug.

Seems to affect GCC 12, 13, and trunk.

Here's the reproducer on Compiler Explorer:
  https://godbolt.org/z/GWM1G6b3s