[Bug analyzer/113333] analyzer: False positives with calloc()

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

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

--- Comment #2 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:d235bf2e807c5f7e959ca5f3f8d92936801f5b80

commit r14-7265-gd235bf2e807c5f7e959ca5f3f8d92936801f5b80
Author: David Malcolm <dmalc...@redhat.com>
Date:   Mon Jan 15 19:01:16 2024 -0500

    analyzer: casting all zeroes should give all zeroes [PR113333]

    In particular, accessing the result of *calloc (1, SZ) (if non-NULL)
    should be known to be all zeroes.

    gcc/analyzer/ChangeLog:
            PR analyzer/113333
            * region-model-manager.cc
            (region_model_manager::maybe_fold_unaryop): Casting all zeroes
            should give all zeroes.

    gcc/testsuite/ChangeLog:
            PR analyzer/113333
            * c-c++-common/analyzer/calloc-1.c: Add tests.
            * c-c++-common/analyzer/pr96639.c: Update expected results.
            * gcc.dg/analyzer/data-model-9.c: Likewise.

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