aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
10 daysDaily bump.GCC Administrator1-0/+102
10 daysdiagnostics: make context::m_source_printing privateDavid Malcolm1-2/+3
10 daysdiagnostics: convert diagnostic_t to enum class diagnostics::kindDavid Malcolm2-3/+3
10 daysdiagnostics: move diagnostic_context to diagnostics::context in its own headerDavid Malcolm1-3/+3
10 daysdiagnostics: move/rename output formats to diagnostics as "sinks"David Malcolm12-51/+68
10 daysdiagnostics: introduce namespace diagnostics::pathsDavid Malcolm24-150/+156
10 daysdiagnostics: move diagnostic_diagram to diagnostics::diagramDavid Malcolm1-2/+2
10 daysdiagnostics: move diagnostic_metadata to diagnostics::metadataDavid Malcolm3-7/+7
10 daysdiagnostics: move logical locations into "diagnostics"David Malcolm3-4/+5
10 daysdiagnostics: introduce a "gcc/diagnostics" subdirectoryDavid Malcolm5-5/+5
14 daysDaily bump.GCC Administrator1-0/+5
2025-07-21Error handling for hard register constraintsStefan Schulze Frielinghaus1-3/+4
2025-07-12Daily bump.GCC Administrator1-0/+38
2025-07-11diagnostics: add support for directed graphs; use them for state graphsDavid Malcolm10-455/+415
2025-07-01Daily bump.GCC Administrator1-0/+88
2025-06-30analyzer: use nullptr rather than NULLDavid Malcolm53-846/+855
2025-06-30diagnostics: convert diagnostic_event::meaning enums to enum classDavid Malcolm7-29/+29
2025-06-30Extend nonnull_if_nonzero attribute [PR120520]Jakub Jelinek1-4/+12
2025-06-24Daily bump.GCC Administrator1-0/+132
2025-06-23analyzer: fix missing "final override"David Malcolm1-1/+1
2025-06-23diagnostics: add state diagrams to analyzer experimental-html output [PR116792]David Malcolm26-49/+1264
2025-06-19Daily bump.GCC Administrator1-0/+17
2025-06-18analyzer: make checker_event::m_kind privateDavid Malcolm3-16/+19
2025-05-07Daily bump.GCC Administrator1-0/+26
2025-05-06diagnostics: add logical_location_manager; reimplement logical_locationDavid Malcolm5-22/+38
2025-05-01Daily bump.GCC Administrator1-0/+6
2025-04-30analyzer: avoid saying "'0' is NULL"David Malcolm1-2/+7
2025-04-30Daily bump.GCC Administrator1-0/+6
2025-04-29analyzer: fix for older version of GCCMarc Poulhiès2-7/+7
2025-04-29Daily bump.GCC Administrator1-0/+419
2025-04-28analyzer: handle NRVO and DECL_BY_REFERENCE [PR111536]David Malcolm7-28/+88
2025-04-28analyzer: fix null deref false negative on std::unique_ptr [PR109366]David Malcolm1-0/+6
2025-04-28analyzer: initial implementation of exception handling [PR97111]David Malcolm20-62/+1908
2025-04-28Eliminate make-unique.h and ::make_uniqueDavid Malcolm34-689/+740
2025-04-28analyzer: use unique_ptr for state_machine instancesDavid Malcolm13-101/+108
2025-04-28analyzer: convert various call_summary * to call_summary &David Malcolm4-16/+18
2025-04-28analyzer: convert gcall * to gcall & in many placesDavid Malcolm33-371/+368
2025-04-28analyzer: convert various enums to "enum class"David Malcolm18-241/+241
2025-04-28analyzer: use analyzer/common.h as a common headerDavid Malcolm51-888/+321
2025-04-28analyzer: fail if we see unexpected gimple stmt codesDavid Malcolm1-7/+16
2025-04-28analyzer: add a call_details::dump (using text_art)David Malcolm2-0/+63
2025-03-15Daily bump.GCC Administrator1-0/+7
2025-03-14analyzer: Fix ICE in cmp_csts_same_type on RAW_DATA_CST [PR119278]Jakub Jelinek1-2/+15
2025-03-14Daily bump.GCC Administrator1-0/+20
2025-03-12analyzer: support RAW_DATA_CST [PR117262]David Malcolm4-6/+87
2025-02-25Daily bump.GCC Administrator1-0/+8
2025-02-24analyzer: Handle nonnull_if_nonzero attribute [PR117023]Jakub Jelinek1-28/+71
2025-02-20Daily bump.GCC Administrator1-0/+10
2025-02-19analyzer: handle more IFN_UBSAN_* as no-ops [PR118300]David Malcolm1-6/+16
2025-02-19Daily bump.GCC Administrator1-0/+10