diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-12-09 00:17:30 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-12-09 00:17:30 +0000 |
| commit | dd3b75d8f99df9197bb58193037201ccdf994d8b (patch) | |
| tree | 078e3e0c569fc611cf5f11a7192bb34d586bbff6 /gcc/analyzer | |
| parent | d9965fef40794d548021d2e34844e5fafeca4ce5 (diff) | |
| download | gcc-dd3b75d8f99df9197bb58193037201ccdf994d8b.zip gcc-dd3b75d8f99df9197bb58193037201ccdf994d8b.tar.gz gcc-dd3b75d8f99df9197bb58193037201ccdf994d8b.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 296acce..cf056de 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,25 @@ +2023-12-08 David Malcolm <dmalcolm@redhat.com> + + * sm-taint.cc (taint_state_machine::alt_get_inherited_state): Fix + handling of TRUNC_MOD_EXPR. + +2023-12-08 David Malcolm <dmalcolm@redhat.com> + + * region-model.cc (contains_uninit_p): Only check for + svalues that the infoleak warning can handle. + +2023-12-08 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/112889 + * store.h (concrete_binding::concrete_binding): Strengthen + assertion to require size to be be positive, rather than just + non-zero. + (concrete_binding::mark_deleted): Use size rather than start bit + offset. + (concrete_binding::mark_empty): Likewise. + (concrete_binding::is_deleted): Likewise. + (concrete_binding::is_empty): Likewise. + 2023-12-07 Alexandre Oliva <oliva@adacore.com> * region-model.cc (has_nondefault_case_for_value_p): Take |