aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/constraint-manager.cc
AgeCommit message (Expand)AuthorFilesLines
2020-11-10analyzer: remove dead codeMartin Liska1-7/+4
2020-10-27analyzer: eliminate non-deterministic behaviorDavid Malcolm1-20/+2
2020-09-29analyzer: silence -Wsign-compare warningsDavid Malcolm1-3/+3
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+77
2020-09-15analyzer: fix ICE when merging constraints w/o transitivity [PR96650]David Malcolm1-1/+9
2020-09-14analyzer: add -param=analyzer-max-constraints=David Malcolm1-0/+3
2020-09-14analyzer: fix constraint explosion on many-cased switch [PR96653]David Malcolm1-33/+0
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-401/+825
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm1-0/+1
2020-02-11analyzer: fix ICE with equiv_class constant (PR 93649)David Malcolm1-2/+6
2020-02-03analyzer: avoid use of fold_build2David Malcolm1-9/+6
2020-02-03analyzer: fix ICE due to comparing int and real constants (PR 93547)David Malcolm1-1/+3
2020-01-31analyzer: further fixes for comparisons between uncomparable types (PR 93450)David Malcolm1-1/+3
2020-01-29analyzer: fix build with gcc 4.4 (PR 93276)Jakub Jelinek1-4/+1
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+2260
generated by cgit v1.1 at 2025-02-13 03:29:35 +0000