summaryrefslogtreecommitdiff
path: root/gcc/analyzer/diagnostic-manager.cc
AgeCommit message (Expand)Author
2022-07-27analyzer: show saved diagnostics as nodes in .eg.dot dumpsDavid Malcolm
2022-07-27analyzer: fix memory leaksDavid Malcolm
2022-07-27analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibilityDavid Malcolm
2022-03-23analyzer: fix ICE adding note to disabled diagnostic [PR104997]David Malcolm
2022-03-16analyzer: early rejection of disabled warnings [PR104955]David Malcolm
2022-03-10analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm
2022-02-16analyzer: fixes to free of non-heap detection [PR104560]David Malcolm
2022-01-27analyzer: show region creation events for uninit warningsDavid Malcolm
2022-01-11analyzer: fix false +ve on bitwise binops (PR analyzer/102692)David Malcolm
2022-01-03Update copyright years.Jakub Jelinek
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm
2021-08-23analyzer: Fix PR analyzer/102020Ankur Saini
2021-08-21analyzer: Fix PR analyzer/101980Ankur Saini
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini
2021-07-22analyzer: fix feasibility false +ve with overly complex svaluesDavid Malcolm
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm
2021-07-15analyzer: add -fdump-analyzer-exploded-pathsDavid Malcolm
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm
2021-06-18analyzer: refactor custom_event, introducing precanned_custom_event classDavid Malcolm
2021-04-05analyzer: fix apparent hang with -fanalyzer-verbosity=0 [PR analyzer/99886]David Malcolm
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm
2021-03-19analyzer: mark epath_finder with DISABLE_COPY_AND_ASSIGN [PR99614]David Malcolm
2021-03-11analyzer: new implementation of shortest feasible path [PR96374]David Malcolm
2021-03-11analyzer: support reverse direction in shortest-paths.hDavid Malcolm
2021-03-02analyzer: remove dead codeMartin Liska
2021-02-25analyzer: eliminate dedupe_candidate [PR96374]David Malcolm
2021-01-29analyzer: consolidate conditionals in pathsDavid Malcolm
2021-01-18analyzer: use "malloc" attributeDavid Malcolm
2021-01-04Update copyright years.Jakub Jelinek
2020-11-30Add analyzer plugin support and CPython GIL exampleDavid Malcolm
2020-11-11analyzer: precision-of-wording for -Wanalyzer-stale-setjmp-bufferDavid Malcolm
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm
2020-09-28analyzer: remove unused fieldDavid Malcolm
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm
2020-09-09analyzer: eliminate sm_context::warn_for_state in favor of a new 'warn' vfuncDavid Malcolm
2020-09-09analyzer: reimplement on_transition in terms of get_state/set_next_stateDavid Malcolm
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm
2020-03-27analyzer: add new supergraph visualizationDavid Malcolm
2020-03-27analyzer: improvements to diagnostic-manager.cc loggingDavid Malcolm
2020-03-18Fix up duplicated duplicated words in commentsJakub Jelinek
2020-03-13analyzer: handle NOP_EXPR in get_lvalue [PR94099,PR94105]David Malcolm
2020-03-04analyzer: fix ICE on non-lvalue in prune_for_sm_diagnostic [PR93993]David Malcolm
2020-03-02analyzer: don't print the duplicate count by defaultDavid Malcolm
2020-02-26analyzer: fix ICE with -Wanalyzer-null-dereference [PR 93950]David Malcolm
2020-02-24analyzer: eliminate irrelevant control-flow edges from pathsDavid Malcolm
2020-02-10analyzer: fix ICE reporting NULL dereference (PR 93647)David Malcolm
2020-02-03analyzer: detect zero-assignment in phis (PR 93544)David Malcolm
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 21:38:46 +0000