aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/program-state.cc
AgeCommit message (Expand)AuthorFilesLines
2020-11-10analyzer: remove dead codeMartin Liska1-11/+11
2020-10-28analyzer: more non-determinism fixesDavid Malcolm1-3/+23
2020-10-28analyzer: fix more pointer-printing in logsDavid Malcolm1-2/+5
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm1-0/+57
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-8/+25
2020-09-28analyzer: fix sm_state_map::printDavid Malcolm1-1/+1
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-1/+1
2020-09-23analyzer: fix member call on null seen with ubsan [PR97178]David Malcolm1-5/+7
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+85
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm1-28/+44
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-781/+490
2020-04-28analyzer: remove -Wanalyzer-use-of-uninitialized-value for GCC 10David Malcolm1-8/+6
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm1-0/+1
2020-03-27analyzer: fix malloc pointer NULL-nessDavid Malcolm1-1/+1
2020-03-06analyzer: improvements to region_model::get_representative_treeDavid Malcolm1-0/+46
2020-03-06analyzer: improvements to state dumpingDavid Malcolm1-12/+116
2020-02-18analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778]David Malcolm1-4/+5
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm1-2/+19
2020-02-11analyzer: fix ICE due to missing state_change purging (PR 93374)David Malcolm1-3/+9
2020-01-30analyzer: add extrinsic_state::dumpDavid Malcolm1-0/+38
2020-01-30analyzer: make extrinsic_state field privateDavid Malcolm1-2/+2
2020-01-30analyzer: avoid comparisons between uncomparable types (PR 93450)David Malcolm1-7/+16
2020-01-27analyzer: fix build with gcc 4.4 (PR 93276)David Malcolm1-8/+8
2020-01-22analyzer: fix ICE due to sm-state origin being purged (PR 93382)David Malcolm1-0/+5
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14analyzer: fix global-sm-state issue affecting sm-signalDavid Malcolm1-0/+35
2020-01-14analyzer: purge state for unknown function callsDavid Malcolm1-0/+8
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+1356
generated by cgit v1.1 at 2025-03-25 09:39:48 +0000