aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/diagnostic-manager.cc
AgeCommit message (Expand)AuthorFilesLines
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely1-10/+10
2022-07-07Convert label_text to C++11 move semanticsDavid Malcolm1-8/+0
2022-07-02analyzer: add allocation size checker [PR105900]Tim Lange1-0/+61
2022-06-15analyzer: fix up paths for inlining (PR analyzer/105962)David Malcolm1-0/+8
2022-06-15analyzer: show saved diagnostics as nodes in .eg.dot dumpsDavid Malcolm1-0/+62
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-18/+18
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-9/+10
2022-05-11analyzer: fix memory leaksDavid Malcolm1-0/+6
2022-04-28analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibilityDavid Malcolm1-0/+24
2022-03-23analyzer: fix ICE adding note to disabled diagnostic [PR104997]David Malcolm1-6/+12
2022-03-16analyzer: early rejection of disabled warnings [PR104955]David Malcolm1-5/+39
2022-03-10analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm1-1/+42
2022-02-16analyzer: fixes to free of non-heap detection [PR104560]David Malcolm1-35/+70
2022-01-27analyzer: show region creation events for uninit warningsDavid Malcolm1-3/+71
2022-01-11analyzer: fix false +ve on bitwise binops (PR analyzer/102692)David Malcolm1-7/+10
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm1-2/+1
2021-08-23analyzer: Fix PR analyzer/102020Ankur Saini1-1/+1
2021-08-21analyzer: Fix PR analyzer/101980Ankur Saini1-4/+36
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini1-16/+7
2021-07-22analyzer: fix feasibility false +ve with overly complex svaluesDavid Malcolm1-7/+40
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+46
2021-07-15analyzer: add -fdump-analyzer-exploded-pathsDavid Malcolm1-0/+11
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-0/+35
2021-06-18analyzer: refactor custom_event, introducing precanned_custom_event classDavid Malcolm1-1/+1
2021-04-05analyzer: fix apparent hang with -fanalyzer-verbosity=0 [PR analyzer/99886]David Malcolm1-3/+5
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm1-4/+5
2021-03-19analyzer: mark epath_finder with DISABLE_COPY_AND_ASSIGN [PR99614]David Malcolm1-0/+2
2021-03-11analyzer: new implementation of shortest feasible path [PR96374]David Malcolm1-40/+450
2021-03-11analyzer: support reverse direction in shortest-paths.hDavid Malcolm1-1/+1
2021-03-02analyzer: remove dead codeMartin Liska1-5/+1
2021-02-25analyzer: eliminate dedupe_candidate [PR96374]David Malcolm1-140/+210
2021-01-29analyzer: consolidate conditionals in pathsDavid Malcolm1-0/+146
2021-01-18analyzer: use "malloc" attributeDavid Malcolm1-3/+12
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-30Add analyzer plugin support and CPython GIL exampleDavid Malcolm1-1/+8
2020-11-11analyzer: precision-of-wording for -Wanalyzer-stale-setjmp-bufferDavid Malcolm1-2/+16
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm1-1/+9
2020-09-28analyzer: remove unused fieldDavid Malcolm1-1/+0
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-15/+54
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+58
2020-09-09analyzer: eliminate sm_context::warn_for_state in favor of a new 'warn' vfuncDavid Malcolm1-3/+2
2020-09-09analyzer: reimplement on_transition in terms of get_state/set_next_stateDavid Malcolm1-11/+30
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm1-5/+5
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-198/+253
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm1-0/+1
2020-03-27analyzer: add new supergraph visualizationDavid Malcolm1-13/+21
2020-03-27analyzer: improvements to diagnostic-manager.cc loggingDavid Malcolm1-6/+19
2020-03-18Fix up duplicated duplicated words in commentsJakub Jelinek1-1/+1
2020-03-13analyzer: handle NOP_EXPR in get_lvalue [PR94099,PR94105]David Malcolm1-2/+3