diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2024-02-20 19:44:51 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2024-02-20 19:44:51 -0500 |
| commit | 0a6a5f8656ccf9a60ac516c68cd4eb40ff4630c4 (patch) | |
| tree | df2fa04a9b53e47606844b9e0314d20f216e2b9f /libgcc | |
| parent | 79d4c7ddc83e000adc8174b179dff44a88d5a41b (diff) | |
| download | gcc-0a6a5f8656ccf9a60ac516c68cd4eb40ff4630c4.zip gcc-0a6a5f8656ccf9a60ac516c68cd4eb40ff4630c4.tar.gz gcc-0a6a5f8656ccf9a60ac516c68cd4eb40ff4630c4.tar.bz2 | |
analyzer: handle array-initialization from a string_cst [PR113999]
gcc/analyzer/ChangeLog:
PR analyzer/113999
* analyzer.h (get_string_cst_size): New decl.
* region-model-manager.cc (get_string_cst_size): New.
(region_model_manager::maybe_get_char_from_string_cst): Treat
single-byte accesses within string_cst but beyond
TREE_STRING_LENGTH as being 0.
* region-model.cc (string_cst_has_null_terminator): Likewise.
gcc/testsuite/ChangeLog:
PR analyzer/113999
* c-c++-common/analyzer/strlen-pr113999.c: New test.
* gcc.dg/analyzer/strlen-1.c: More test coverage.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions