Landing: d6dbbc97dd44

Project / Subsystem

gcc / analyzer

Date

2026-03-23

Author

David Malcolm

Commit

d6dbbc97dd44b41ea7dfa6582b8bdf8578e0ef78

Source

github

Perf win

No

Breaking

No

All attributes

project
gcc
subsystem
analyzer
patch_id
commit_hash
d6dbbc97dd44b41ea7dfa6582b8bdf8578e0ef78
source_type
github
headline
Analyzer: Split pending_diagnostic subclasses from region-model.cc
tldr
The GCC analyzer's diagnostic subclasses have been split into separate files for better organization and maintainability.
author
David Malcolm
outcome
committed
performance_win
false
breaking_change
false
series_id
series_parts
[]
tags
  • analyzer
  • refactoring
  • code organization
  • diagnostics
discussion_id_link
bugzilla_pr
date
2026-03-23T00:00:00.000Z

The GCC static analyzer’s code has been refactored to improve organization by splitting various pending_diagnostic subclasses from region-model.cc into their own dedicated files. This change moves classes like poisoned_value_diagnostic, shift_count_negative_diagnostic, shift_count_overflow_diagnostic, write_to_const_diagnostic, and write_to_string_literal_diagnostic into separate .cc files. Factory functions are used to create instances of these diagnostics, enabling the move. The refactoring enhances code modularity and simplifies maintenance of the analyzer.