[Bug analyzer/113654] [14 Regression] -Wanalyzer-allocation-size false positive seen on Linux kernel's drivers/gpu/drm/i915/display/intel_bios.c

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

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

--- 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:9f382376660069e49290fdb51861abdec63519c7

commit r14-8627-g9f382376660069e49290fdb51861abdec63519c7
Author: David Malcolm <dmalc...@redhat.com>
Date:   Tue Jan 30 08:17:47 2024 -0500

    analyzer: fix -Wanalyzer-allocation-size false +ve on Linux kernel's
round_up macro [PR113654]

    gcc/analyzer/ChangeLog:
            PR analyzer/113654
            * region-model.cc (is_round_up): New.
            (is_multiple_p): New.
            (is_dubious_capacity): New.
            (region_model::check_region_size): Move usage of size_visitor into
            is_dubious_capacity.

    gcc/testsuite/ChangeLog:
            PR analyzer/113654
            * c-c++-common/analyzer/allocation-size-pr113654-1.c: New test.

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