aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/program-point.cc
AgeCommit message (Expand)AuthorFilesLines
21 hoursdiagnostics: isolate diagnostic_context with interface classes [PR116613]David Malcolm1-1/+3
11 daysanalyzer: simplify dumps using tree_dump_pretty_printer [PR116613]David Malcolm1-4/+1
2024-09-09diagnostics: rename dc.printer to m_printer [PR116613]David Malcolm1-2/+2
2024-07-24analyzer: reduce use of naked "new" for json dumpsDavid Malcolm1-7/+4
2024-06-12pretty_printer: make all fields privateDavid Malcolm1-1/+1
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+1
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm1-2/+2
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-10-02diagnostics: group together source printing fields of diagnostic_contextDavid Malcolm1-2/+2
2023-09-07analyzer: basic support for computed gotos (PR analyzer/110529)David Malcolm1-2/+15
2023-03-22analyzer: fix false +ves from -Wanalyzer-deref-before-check due to inlining [...David Malcolm1-0/+42
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-05analyzer: simplify some includesDavid Malcolm1-4/+0
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm1-19/+44
2022-04-28analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibilityDavid Malcolm1-0/+4
2022-03-18analyzer: extend state-purging to locals [PR104943]David Malcolm1-0/+40
2022-03-17analyzer: fix program_point::get_next for PK_BEFORE_STMTDavid Malcolm1-1/+1
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini1-0/+18
2021-07-29analyzer: : Refactor callstring to work with pairs of supernodes.Ankur Saini1-4/+6
2021-07-21analyzer: show BB index in BEFORE_SUPERNODE's in-edgeDavid Malcolm1-2/+9
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-0/+27
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-2/+6
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+38
2020-09-16analyzer: add program_point::get_nextDavid Malcolm1-0/+29
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+61
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm1-0/+1
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+554