diff options
| author | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-01-15 00:17:49 +0000 |
|---|---|---|
| committer | GCC Administrator <gccadmin@gcc.gnu.org> | 2023-01-15 00:17:49 +0000 |
| commit | 5013c3bb3ead9c27adb90152115ca1d606cbf2dc (patch) | |
| tree | 62940c2c05856fc012580281a243a764c53e3e4a /gcc/analyzer | |
| parent | 523e8716a452978a7972478d8cdbbe0d1a794a74 (diff) | |
| download | gcc-5013c3bb3ead9c27adb90152115ca1d606cbf2dc.zip gcc-5013c3bb3ead9c27adb90152115ca1d606cbf2dc.tar.gz gcc-5013c3bb3ead9c27adb90152115ca1d606cbf2dc.tar.bz2 | |
Daily bump.
Diffstat (limited to 'gcc/analyzer')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 8a6ebc1..959464a 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,22 @@ +2023-01-13 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/105273 + * region-model.cc (has_nondefault_case_for_value_p): New. + (has_nondefault_cases_for_all_enum_values_p): New. + (region_model::apply_constraints_for_gswitch): Skip + implicitly-created "default" when switching on an enum + and all enum values have non-default cases. + (rejected_default_case::dump_to_pp): New. + * region-model.h (region_model_context::possibly_tainted_p): New + decl. + (class rejected_default_case): New. + * sm-taint.cc (region_model_context::possibly_tainted_p): New. + * supergraph.cc (switch_cfg_superedge::dump_label_to_pp): Dump + when implicitly_created_default_p. + (switch_cfg_superedge::implicitly_created_default_p): New. + * supergraph.h + (switch_cfg_superedge::implicitly_created_default_p): New decl. + 2023-01-11 David Malcolm <dmalcolm@redhat.com> PR analyzer/108252 |