aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/program-state.h
AgeCommit message (Expand)AuthorFilesLines
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm1-0/+6
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+6
2022-03-18analyzer: extend state-purging to locals [PR104943]David Malcolm1-0/+3
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-19analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm1-1/+2
2021-08-18analyzer: detect and analyze calls via function pointerAnkur Saini1-0/+11
2021-07-16analyzer: add __analyzer_dump_stateDavid Malcolm1-0/+6
2021-05-10Remove __cplusplus >= 201103Martin Liska1-4/+0
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm1-2/+4
2021-04-01analyzer: record per-enode saved_diagnosticsDavid Malcolm1-2/+2
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm1-0/+3
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-10analyzer: remove dead codeMartin Liska1-2/+1
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm1-0/+5
2020-09-23analyzer: fix member call on null seen with ubsan [PR97178]David Malcolm1-2/+2
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+6
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-171/+69
2020-03-06analyzer: improvements to state dumpingDavid Malcolm1-1/+2
2020-02-18analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778]David Malcolm1-1/+2
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm1-0/+5
2020-02-11analyzer: fix ICE due to missing state_change purging (PR 93374)David Malcolm1-2/+4
2020-01-30analyzer: add extrinsic_state::dumpDavid Malcolm1-0/+4
2020-01-30analyzer: make extrinsic_state field privateDavid Malcolm1-0/+1
2020-01-30analyzer: avoid comparisons between uncomparable types (PR 93450)David Malcolm1-2/+2
2020-01-27analyzer: fix build with gcc 4.4 (PR 93276)David Malcolm1-1/+1
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+8
2020-01-14analyzer: purge state for unknown function callsDavid Malcolm1-0/+2
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+363