aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/constraint-manager.cc
AgeCommit message (Expand)AuthorFilesLines
2024-11-22build: Remove INCLUDE_MEMORY [PR117737]Andrew Pinski1-1/+0
2024-11-01analyzer: use std::unique_ptr in "to_json" functionsDavid Malcolm1-24/+25
2024-09-20analyzer: simplify dumps using tree_dump_pretty_printer [PR116613]David Malcolm1-20/+4
2024-09-09diagnostics: rename dc.printer to m_printer [PR116613]David Malcolm1-4/+4
2024-07-24analyzer: reduce use of naked "new" for json dumpsDavid Malcolm1-6/+6
2024-06-18analyzer: Fix g++ 4.8 bootstrap without using std::move to return std::unique...Jonathan Wakely1-6/+6
2024-06-12pretty_printer: make all fields privateDavid Malcolm1-4/+4
2024-06-08analyzer: Restore g++ 4.8 bootstrap; use std::move to return std::unique_ptr.Roger Sayle1-3/+3
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-0/+100
2024-03-20Use integer_{zero,one}_node some moreJakub Jelinek1-7/+7
2024-02-27analyzer: fix ICE on floating-point bounds [PR111881]David Malcolm1-0/+6
2024-01-15analyzer: fix false +ves from -Wanalyzer-tainted-array-index with unsigned ch...David Malcolm1-1/+1
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-06-10analyzer: Fix allocation size false positive on conjured svalue [PR109577]Tim Lange1-0/+131
2023-02-16analyzer: respect some conditions from bit masks [PR108806]David Malcolm1-1/+165
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-3/+0
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+55
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm1-2/+2
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-2/+2
2022-03-10analyzer: fix ICE with -fanalyzer-transitivity [PR104863]David Malcolm1-0/+4
2022-01-27analyzer: fix -Wformat warnings on i686Martin Liska1-1/+1
2022-01-26analyzer: fix sense in range::add_bound [PR94362]David Malcolm1-14/+79
2022-01-20analyzer: reject ((i + 1 > 0) && (i < 0)) for integers [PR94362]David Malcolm1-9/+163
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-12-06analyzer: fix equivalence class state purging [PR103533]David Malcolm1-2/+147
2021-11-16analyzer: fix overeager sharing of bounded_range instances [PR102662]David Malcolm1-1/+3
2021-09-08analyzer: fix ICE when discarding result of realloc [PR102225]David Malcolm1-4/+5
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm1-2/+1321
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm1-4/+4
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+23
2021-06-13use range based for loops to iterate over vec<>Trevor Saunders1-16/+6
2021-02-17analyzer: fix false leak involving params [PR98969]David Malcolm1-1/+1
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
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
generated by cgit v1.1 at 2025-01-31 01:11:18 +0000