diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2022-02-09 19:06:15 -0500 |
|---|---|---|
| committer | David Malcolm <dmalcolm@redhat.com> | 2022-02-10 13:00:58 -0500 |
| commit | 2ac7b19f1e9219f46ccf55f25d8acb3e02e9a2d4 (patch) | |
| tree | f0b2beadb7c47003a45bf9cba95784980ed14165 /libgo/go | |
| parent | b32305b41dcafc5fb6974c0da3ce2f62251afdbf (diff) | |
| download | gcc-2ac7b19f1e9219f46ccf55f25d8acb3e02e9a2d4.zip gcc-2ac7b19f1e9219f46ccf55f25d8acb3e02e9a2d4.tar.gz gcc-2ac7b19f1e9219f46ccf55f25d8acb3e02e9a2d4.tar.bz2 | |
analyzer: handle more casts of string literals [PR98797]
gcc/analyzer/ChangeLog:
PR analyzer/98797
* region-model-manager.cc
(region_model_manager::maybe_fold_sub_svalue): Generalize getting
individual chars of a STRING_CST from element_region to any
subregion which is a concrete access of a single byte from its
parent region.
* region.cc (region::get_relative_concrete_byte_range): New.
* region.h (region::get_relative_concrete_byte_range): New decl.
gcc/testsuite/ChangeLog:
PR analyzer/98797
* gcc.dg/analyzer/casts-1.c: Mark xfails as fixed; add further
test coverage for casts of string literals.
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
Diffstat (limited to 'libgo/go')
0 files changed, 0 insertions, 0 deletions