Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2023-09-14 | analyzer: use unique_ptr for rejected_constraint | David Malcolm | 1 | -5/+4 |
2023-02-15 | analyzer: fix uninit false +ves [PR108664,PR108666,PR108725] | David Malcolm | 1 | -0/+5 |
2023-01-16 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2022-11-03 | analyzer: use std::unique_ptr for feasibility_problems and exploded_path | David Malcolm | 1 | -1/+1 |
2022-05-20 | Use "final" and "override" directly, rather than via macros | David Malcolm | 1 | -3/+3 |
2022-04-28 | analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibility | David Malcolm | 1 | -0/+6 |
2022-01-03 | Update copyright years. | Jakub Jelinek | 1 | -1/+1 |
2021-08-23 | analyzer: rewrite of switch handling | David Malcolm | 1 | -3/+4 |
2021-03-11 | analyzer: new implementation of shortest feasible path [PR96374] | David Malcolm | 1 | -0/+213 |