aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model-reachability.cc
AgeCommit message (Expand)AuthorFilesLines
2024-06-12pretty_printer: make all fields privateDavid Malcolm1-1/+1
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+1
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-08-09analyzer: remove default return value from region_model::on_call_preDavid Malcolm1-21/+0
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm1-0/+21
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-05analyzer: simplify some includesDavid Malcolm1-7/+2
2022-04-14analyzer: fix escaping of pointer arithmetic [PR105264]David Malcolm1-6/+2
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-12-01analyzer: fix false leak seen in Juliet 1.3 [PR102471]David Malcolm1-0/+13
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm1-1/+1
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-7/+9
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm1-0/+1
2021-02-17analyzer: fix false leak involving params [PR98969]David Malcolm1-0/+2
2021-01-05analyzer: fix false leaks when writing through unknown ptrs [PR97072]David Malcolm1-9/+27
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
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
generated by cgit v1.1 at 2024-07-21 20:15:56 +0000