-
- Downloads
"git@gitlab.cobolworx.com:COBOLworx/gcc-cobol.git" did not exist on "2220433cd2f99e825b1a61c23fd9f6d929871b01"
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>
Showing
- gcc/analyzer/region-model-manager.cc 13 additions, 6 deletionsgcc/analyzer/region-model-manager.cc
- gcc/analyzer/region.cc 28 additions, 0 deletionsgcc/analyzer/region.cc
- gcc/analyzer/region.h 6 additions, 0 deletionsgcc/analyzer/region.h
- gcc/testsuite/gcc.dg/analyzer/casts-1.c 37 additions, 8 deletionsgcc/testsuite/gcc.dg/analyzer/casts-1.c
Loading
Please register or sign in to comment