[Bug analyzer/113619] [14 Regression] -Wanalyzer-tainted-divisor false positive seen in Linux kernel's fs/ceph/ioctl.c

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-02-15
            Summary|-Wanalyzer-tainted-divisor  |[14 Regression]
                   |false positive seen in      |-Wanalyzer-tainted-divisor
                   |Linux kernel's              |false positive seen in
                   |fs/ceph/ioctl.c             |Linux kernel's
                   |                            |fs/ceph/ioctl.c
             Status|UNCONFIRMED                 |NEW