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

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

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

--- Comment #1 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Malcolm <dmalc...@gcc.gnu.org>:

https://gcc.gnu.org/g:7a5a4a4467b2e18ff4fe24f565e120280d3e6ba7

commit r14-9600-g7a5a4a4467b2e18ff4fe24f565e120280d3e6ba7
Author: David Malcolm <dmalc...@redhat.com>
Date:   Thu Mar 21 17:48:38 2024 -0400

    analyzer: fix ignored constraints involving casts [PR113619]

    gcc/analyzer/ChangeLog:
            PR analyzer/113619
            * region-model.cc (region_model::eval_condition): Fix
            cast-handling from r14-3632-ge7b267444045c5 so that if those give
            an unknown result, we continue trying the constraint manager.

    gcc/testsuite/ChangeLog:
            PR analyzer/113619
            * c-c++-common/analyzer/taint-divisor-pr113619.c: New test.

    Signed-off-by: David Malcolm <dmalc...@redhat.com>