aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/sm.cc
AgeCommit message (Expand)AuthorFilesLines
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-0/+14
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+36
2020-09-09analyzer: use objects for state_machine::state_tDavid Malcolm1-26/+36
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-20/+1
2020-03-06analyzer: improvements to state dumpingDavid Malcolm1-0/+15
2020-02-24analyzer: disable the "taint" checker by defaultDavid Malcolm1-1/+4
2020-01-30analyzer: add extrinsic_state::dumpDavid Malcolm1-0/+12
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+122