From bb0f96abb1b6bd80e90df71ce2632ce17844b0fd Mon Sep 17 00:00:00 2001 From: GCC Administrator Date: Fri, 19 Jan 2024 00:18:21 +0000 Subject: Daily bump. --- gcc/analyzer/ChangeLog | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) (limited to 'gcc/analyzer') 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 + + 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 + + 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 PR analyzer/106229 -- cgit v1.1