[Bug analyzer/99669] RFE: detect division by zero in analyzer

2023-03-20 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99669 David Malcolm changed: What|Removed |Added CC||geoffreydgr at icloud dot com --- Commen

[Bug analyzer/99669] RFE: detect division by zero in analyzer

2022-06-08 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99669 David Malcolm changed: What|Removed |Added Blocks||105887 --- Comment #2 from David Malcolm

[Bug analyzer/99669] RFE: detect division by zero in analyzer

2021-11-16 Thread dmalcolm at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99669 --- Comment #1 from David Malcolm --- I implemented a version of this (-Wanalyzer-tainted-divisor) for GCC 12 in: https://gcc.gnu.org/pipermail/gcc-patches/2021-November/584356.html