diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-01-19 00:18:21 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2024-01-19 00:18:21 +0000 |
| commit | bb0f96abb1b6bd80e90df71ce2632ce17844b0fd (patch) | |
| tree | 63f1e6a0d28d440c07148b3e72de6d71dd2f50d4 /gcc/analyzer | |
| parent | 9b6b7d615543d73381cb1f994825d9bca024c838 (diff) | |
| download | gcc-bb0f96abb1b6bd80e90df71ce2632ce17844b0fd.zip gcc-bb0f96abb1b6bd80e90df71ce2632ce17844b0fd.tar.gz gcc-bb0f96abb1b6bd80e90df71ce2632ce17844b0fd.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 2d2d217..d925452 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,31 @@ +2024-01-18 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/111361 + * region-model.cc (svalue_byte_range_has_null_terminator_1): The + initial byte of an all-zeroes SVAL is a zero byte. Remove + gcc_unreachable from SK_CONSTANT for constants that aren't + STRING_CST or INTEGER_CST. + +2024-01-18 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/112811 + * region-model.cc (fragment::dump_to_pp): New. + (fragment::has_null_terminator): Convert to... + (svalue_byte_range_has_null_terminator_1): ...this new function, + updating to use a byte_range relative to the start of the svalue. + (svalue_byte_range_has_null_terminator): New. + (fragment::string_cst_has_null_terminator): Convert to... + (string_cst_has_null_terminator): ...this, updating to use a + byte_range relative to the start of the svalue. + (iterable_cluster::dump_to_pp): New. + (region_model::scan_for_null_terminator): Add logging, moving body + to... + (region_model::scan_for_null_terminator_1): ...this new function, + adding more logging, and updating to use + svalue_byte_range_has_null_terminator. + * region-model.h (region_model::scan_for_null_terminator_1): New + decl. + 2024-01-16 David Malcolm <dmalcolm@redhat.com> PR analyzer/106229 |