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
