diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-01-15 19:01:16 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-01-15 19:01:16 -0500 |
| commit | d235bf2e807c5f7e959ca5f3f8d92936801f5b80 (patch) | |
| tree | 338520f06bdbb2aebe0d53a6c016a0faadeb42cd /gcc/cfgexpand.cc | |
| parent | a3054489117085c095e480c71b6aaeea9a463c37 (diff) | |
| download | gcc-d235bf2e807c5f7e959ca5f3f8d92936801f5b80.zip gcc-d235bf2e807c5f7e959ca5f3f8d92936801f5b80.tar.gz gcc-d235bf2e807c5f7e959ca5f3f8d92936801f5b80.tar.bz2 | |
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>
Diffstat (limited to 'gcc/cfgexpand.cc')
0 files changed, 0 insertions, 0 deletions