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

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |105887

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
See also:
  https://clang.llvm.org/docs/analyzer/checkers.html#core-dividezero-c-c-objc


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105887
[Bug 105887] RFE: clang analyzer warnings that GCC's -fanalyzer could implement