]> gcc.gnu.org Git - gcc.git/commit
analyzer: casting all zeroes should give all zeroes [PR113333]
authorDavid Malcolm <dmalcolm@redhat.com>
Tue, 16 Jan 2024 00:01:16 +0000 (19:01 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Tue, 16 Jan 2024 00:01:16 +0000 (19:01 -0500)
commitd235bf2e807c5f7e959ca5f3f8d92936801f5b80
tree338520f06bdbb2aebe0d53a6c016a0faadeb42cd
parenta3054489117085c095e480c71b6aaeea9a463c37
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 <dmalcolm@redhat.com>
gcc/analyzer/region-model-manager.cc
gcc/testsuite/c-c++-common/analyzer/calloc-1.c
gcc/testsuite/c-c++-common/analyzer/pr96639.c
gcc/testsuite/gcc.dg/analyzer/data-model-9.c
This page took 0.192964 seconds and 5 git commands to generate.