Age | Commit message (Expand) | Author | Files | Lines |
2023-06-10 | analyzer: Fix allocation size false positive on conjured svalue [PR109577] | Tim Lange | 1 | -0/+131 |
2023-02-16 | analyzer: respect some conditions from bit masks [PR108806] | David Malcolm | 1 | -1/+165 |
2023-01-16 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2022-11-03 | analyzer: use std::unique_ptr for pending_diagnostic/note | David Malcolm | 1 | -0/+1 |
2022-10-05 | analyzer: simplify some includes | David Malcolm | 1 | -3/+0 |
2022-10-04 | analyzer: revamp side-effects of call summaries [PR107072] | David Malcolm | 1 | -0/+55 |
2022-06-24 | analyzer: consolidate call_string instances | David Malcolm | 1 | -2/+2 |
2022-05-20 | Use "final" and "override" directly, rather than via macros | David Malcolm | 1 | -2/+2 |
2022-03-10 | analyzer: fix ICE with -fanalyzer-transitivity [PR104863] | David Malcolm | 1 | -0/+4 |
2022-01-27 | analyzer: fix -Wformat warnings on i686 | Martin Liska | 1 | -1/+1 |
2022-01-26 | analyzer: fix sense in range::add_bound [PR94362] | David Malcolm | 1 | -14/+79 |
2022-01-20 | analyzer: reject ((i + 1 > 0) && (i < 0)) for integers [PR94362] | David Malcolm | 1 | -9/+163 |
2022-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2021-12-06 | analyzer: fix equivalence class state purging [PR103533] | David Malcolm | 1 | -2/+147 |
2021-11-16 | analyzer: fix overeager sharing of bounded_range instances [PR102662] | David Malcolm | 1 | -1/+3 |
2021-09-08 | analyzer: fix ICE when discarding result of realloc [PR102225] | David Malcolm | 1 | -4/+5 |
2021-08-23 | analyzer: rewrite of switch handling | David Malcolm | 1 | -2/+1321 |
2021-07-19 | analyzer: add svalue::can_have_associated_state_p [PR101503] | David Malcolm | 1 | -4/+4 |
2021-07-15 | analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al] | David Malcolm | 1 | -0/+23 |
2021-06-13 | use range based for loops to iterate over vec<> | Trevor Saunders | 1 | -16/+6 |
2021-02-17 | analyzer: fix false leak involving params [PR98969] | David Malcolm | 1 | -1/+1 |
2021-01-04 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2020-11-10 | analyzer: remove dead code | Martin Liska | 1 | -7/+4 |
2020-10-27 | analyzer: eliminate non-deterministic behavior | David Malcolm | 1 | -20/+2 |
2020-09-29 | analyzer: silence -Wsign-compare warnings | David Malcolm | 1 | -3/+3 |
2020-09-22 | analyzer: add -fdump-analyzer-json | David Malcolm | 1 | -0/+77 |
2020-09-15 | analyzer: fix ICE when merging constraints w/o transitivity [PR96650] | David Malcolm | 1 | -1/+9 |
2020-09-14 | analyzer: add -param=analyzer-max-constraints= | David Malcolm | 1 | -0/+3 |
2020-09-14 | analyzer: fix constraint explosion on many-cased switch [PR96653] | David Malcolm | 1 | -33/+0 |
2020-08-13 | analyzer: rewrite of region and value-handling | David Malcolm | 1 | -401/+825 |
2020-04-01 | analyzer: handle compound assignments [PR94378] | David Malcolm | 1 | -0/+1 |
2020-02-11 | analyzer: fix ICE with equiv_class constant (PR 93649) | David Malcolm | 1 | -2/+6 |
2020-02-03 | analyzer: avoid use of fold_build2 | David Malcolm | 1 | -9/+6 |
2020-02-03 | analyzer: fix ICE due to comparing int and real constants (PR 93547) | David Malcolm | 1 | -1/+3 |
2020-01-31 | analyzer: further fixes for comparisons between uncomparable types (PR 93450) | David Malcolm | 1 | -1/+3 |
2020-01-29 | analyzer: fix build with gcc 4.4 (PR 93276) | Jakub Jelinek | 1 | -4/+1 |
2020-01-22 | analyzer: introduce namespace to avoid ODR clashes (PR 93307) | David Malcolm | 1 | -0/+4 |
2020-01-14 | Initial commit of analyzer | David Malcolm | 1 | -0/+2260 |