diff options
Diffstat (limited to 'gcc/analyzer/ChangeLog')
| -rw-r--r-- | gcc/analyzer/ChangeLog | 72 |
1 files changed, 72 insertions, 0 deletions
diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 78be98a6e9b..2d33f09f988 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,75 @@ +2022-03-16 David Malcolm <dmalcolm@redhat.com> + + PR analyzer/104955 + * diagnostic-manager.cc (get_emission_location): New. + (diagnostic_manager::diagnostic_manager): Initialize + m_num_disabled_diagnostics. + (diagnostic_manager::add_diagnostic): Reject diagnostics that + will eventually be rejected due to being disabled. + (diagnostic_manager::emit_saved_diagnostics): Log the number + of disabled diagnostics. + (diagnostic_manager::emit_saved_diagnostic): Split out logic for + determining emission location to get_emission_location. + * diagnostic-manager.h + (diagnostic_manager::m_num_disabled_diagnostics): New field. + * engine.cc (stale_jmp_buf::get_controlling_option): New. + (stale_jmp_buf::emit): Use it. + * pending-diagnostic.h + (pending_diagnostic::get_controlling_option): New vfunc. + * region-model.cc + (poisoned_value_diagnostic::get_controlling_option): New. + (poisoned_value_diagnostic::emit): Use it. + (shift_count_negative_diagnostic::get_controlling_option): New. + (shift_count_negative_diagnostic::emit): Use it. + (shift_count_overflow_diagnostic::get_controlling_option): New. + (shift_count_overflow_diagnostic::emit): Use it. + (dump_path_diagnostic::get_controlling_option): New. + (dump_path_diagnostic::emit): Use it. + (write_to_const_diagnostic::get_controlling_option): New. + (write_to_const_diagnostic::emit): Use it. + (write_to_string_literal_diagnostic::get_controlling_option): New. + (write_to_string_literal_diagnostic::emit): Use it. + * sm-file.cc (double_fclose::get_controlling_option): New. + (double_fclose::emit): Use it. + (file_leak::get_controlling_option): New. + (file_leak::emit): Use it. + * sm-malloc.cc (mismatching_deallocation::get_controlling_option): + New. + (mismatching_deallocation::emit): Use it. + (double_free::get_controlling_option): New. + (double_free::emit): Use it. + (possible_null_deref::get_controlling_option): New. + (possible_null_deref::emit): Use it. + (possible_null_arg::get_controlling_option): New. + (possible_null_arg::emit): Use it. + (null_deref::get_controlling_option): New. + (null_deref::emit): Use it. + (null_arg::get_controlling_option): New. + (null_arg::emit): Use it. + (use_after_free::get_controlling_option): New. + (use_after_free::emit): Use it. + (malloc_leak::get_controlling_option): New. + (malloc_leak::emit): Use it. + (free_of_non_heap::get_controlling_option): New. + (free_of_non_heap::emit): Use it. + * sm-pattern-test.cc (pattern_match::get_controlling_option): New. + (pattern_match::emit): Use it. + * sm-sensitive.cc + (exposure_through_output_file::get_controlling_option): New. + (exposure_through_output_file::emit): Use it. + * sm-signal.cc (signal_unsafe_call::get_controlling_option): New. + (signal_unsafe_call::emit): Use it. + * sm-taint.cc (tainted_array_index::get_controlling_option): New. + (tainted_array_index::emit): Use it. + (tainted_offset::get_controlling_option): New. + (tainted_offset::emit): Use it. + (tainted_size::get_controlling_option): New. + (tainted_size::emit): Use it. + (tainted_divisor::get_controlling_option): New. + (tainted_divisor::emit): Use it. + (tainted_allocation_size::get_controlling_option): New. + (tainted_allocation_size::emit): Use it. + 2022-03-15 David Malcolm <dmalcolm@redhat.com> * store.cc (store::store): Presize m_cluster_map. |