https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110700
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[12/13 Regression] ICE with |[12 Regression] ICE with
|-fanalyzer |-fanalyzer
|--analyzer-checker=taint on |--analyzer-checker=taint on
|division of tainted |division of tainted
|floating-point values |floating-point values
--- Comment #5 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed for GCC 13 (for the upcoming GCC 13.3) by the above patch.
Keeping open to track backporting to older branches.
