aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model-reachability.cc
AgeCommit message (Expand)AuthorFilesLines
2021-09-13Merged current trunk to branch.Thomas Koenig1-18/+41
2020-11-10analyzer: remove dead codeMartin Liska1-3/+2
2020-10-28analyzer: more non-determinism fixesDavid Malcolm1-1/+9
2020-10-28analyzer: fix false leak diagnostic on offsets from malloc [PR97608]David Malcolm1-0/+34
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-28/+30
2020-10-12analyzer: handle static callbacks [PR97258]David Malcolm1-6/+13
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+1
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+280