aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/svalue.h
AgeCommit message (Expand)AuthorFilesLines
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
generated by cgit v1.1 at 2024-08-24 23:42:52 +0000