aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/svalue.h
AgeCommit message (Expand)AuthorFilesLines
23 hoursanalyzer: use std::unique_ptr in "to_json" functionsDavid Malcolm1-1/+1
2024-06-18analyzer: Fix g++ 4.8 bootstrap without using std::move to return std::unique...Jonathan Wakely1-1/+1
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-1/+142
2024-03-18analyzer: fix ICEs due to sloppy types in bounds-checking [PR110902,PR110928,...David Malcolm1-3/+46
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm1-5/+8
2023-09-01analyzer: Add support of placement new and improved operator new [PR105948,PR...benjamin priour1-0/+3
2023-08-04analyzer: handle function attribute "alloc_size" [PR110426]David Malcolm1-0/+1
2023-07-26analyzer: add symbol base class, moving region id to there [PR104940]David Malcolm1-40/+46
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-10-05analyzer: simplify some includesDavid Malcolm1-1/+0
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-0/+4
2022-10-04analyzer: widening_svalues take a function_point rather than a program_pointDavid Malcolm1-4/+4
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-89/+89
2022-04-14analyzer: fix escaping of pointer arithmetic [PR105264]David Malcolm1-0/+2
2022-03-28analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm1-0/+21
2022-02-23analyzer: handle __attribute__((const)) [PR104434]David Malcolm1-2/+131
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-2/+143
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm1-0/+16
2021-07-16analyzer: add svalue::maybe_get_regionDavid Malcolm1-0/+1
2021-07-15analyzer: fix const-correctness of various is_a_helperDavid Malcolm1-4/+4
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+8
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-1/+5
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-24/+238
2021-06-08analyzer: remove redundant typedefDavid Malcolm1-2/+0
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm1-0/+2
2021-02-17analyzer: fix false leak involving params [PR98969]David Malcolm1-9/+11
2021-01-06analyzer: fix false leak reports when merging states [PR97074]David Malcolm1-0/+2
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-10-28analyzer: move svalue and region decls to their own header filesDavid Malcolm1-0/+1150