diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-12-17 00:17:56 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2022-12-17 00:17:56 +0000 |
| commit | 5fb1e67453f40ae6e77b95f7a79a016aec6a1966 (patch) | |
| tree | 23e2fe920aa1bf720d9be18496cc10266a68cc2e /gcc/analyzer | |
| parent | 6e56633daae79f514b0e71f4d9849bcd8d9ce71f (diff) | |
| download | gcc-5fb1e67453f40ae6e77b95f7a79a016aec6a1966.zip gcc-5fb1e67453f40ae6e77b95f7a79a016aec6a1966.tar.gz gcc-5fb1e67453f40ae6e77b95f7a79a016aec6a1966.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 3363fc8..9ca2e46 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,24 @@ +2022-12-16 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/106479 + * kf.cc (kf_memcpy_memmove::impl_call_pre): Pass in source region + to region_model::check_for_poison. + * region-model-asm.cc (region_model::on_asm_stmt): Pass NULL + region to region_model::check_for_poison. + * region-model.cc (region_model::check_for_poison): Add + "src_region" param, and pass it to poisoned_value_diagnostic. + (region_model::on_assignment): Pass NULL region to + region_model::check_for_poison. + (region_model::get_rvalue): Likewise. + * region-model.h (region_model::check_for_poison): Add + "src_region" param. + * sm-fd.cc (fd_state_machine::on_accept): Pass in source region + to region_model::check_for_poison. + * varargs.cc (kf_va_copy::impl_call_pre): Pass NULL region to + region_model::check_for_poison. + (kf_va_arg::impl_call_pre): Pass in source region to + region_model::check_for_poison. + 2022-12-14 David Malcolm <dmalcolm@redhat.com> PR analyzer/108065 |