aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/constraint-manager.h
AgeCommit message (Expand)AuthorFilesLines
2023-06-10analyzer: Fix allocation size false positive on conjured svalue [PR109577]Tim Lange1-0/+1
2023-02-16analyzer: respect some conditions from bit masks [PR108806]David Malcolm1-0/+7
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+3
2022-07-19analyzer: fix taint handling of switch statements [PR106321]David Malcolm1-0/+3
2022-01-20analyzer: reject ((i + 1 > 0) && (i < 0)) for integers [PR94362]David Malcolm1-2/+13
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-12-06analyzer: fix equivalence class state purging [PR103533]David Malcolm1-0/+2
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm1-0/+191
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+1
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-10analyzer: remove dead codeMartin Liska1-2/+1
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+6
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-36/+77
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+4
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+246
generated by cgit v1.1 at 2025-02-07 07:40:42 +0000