diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-12-08 00:17:33 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-12-08 00:17:33 +0000 |
| commit | 08f89e5e7f466cf18387293c6a9d1d5b8308b83d (patch) | |
| tree | 786cdaff24a9ea11f86acfd6b43ad6cb6ff15298 /gcc/analyzer | |
| parent | 71a5ac6703d1b7a0409936fcdec4e592d7cc06b0 (diff) | |
| download | gcc-08f89e5e7f466cf18387293c6a9d1d5b8308b83d.zip gcc-08f89e5e7f466cf18387293c6a9d1d5b8308b83d.tar.gz gcc-08f89e5e7f466cf18387293c6a9d1d5b8308b83d.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 8dd3709..296acce 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,31 @@ +2023-12-07 Alexandre Oliva <oliva@adacore.com> + + * region-model.cc (has_nondefault_case_for_value_p): Take + enumerate type as a parameter. + (region_model::apply_constraints_for_gswitch): Cope with + integral promotion type casts. + +2023-12-07 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/103546 + PR analyzer/112850 + * analyzer.opt (-param=analyzer-max-svalue-depth=): Increase from + 12 to 18. + (Wanalyzer-symbol-too-complex): New. + * diagnostic-manager.cc + (null_assignment_sm_context::clear_all_per_svalue_state): New. + * engine.cc (impl_sm_context::clear_all_per_svalue_state): New. + * program-state.cc (sm_state_map::clear_all_per_svalue_state): + New. + * program-state.h (sm_state_map::clear_all_per_svalue_state): New + decl. + * region-model-manager.cc + (region_model_manager::reject_if_too_complex): Add + -Wanalyzer-symbol-too-complex. + * sm-taint.cc (taint_state_machine::on_condition): Handle + comparisons against UNKNOWN. + * sm.h (sm_context::clear_all_per_svalue_state): New. + 2023-12-06 David Malcolm <dmalcolm@redhat.com> * engine.cc (dump_analyzer_json): Use |