summaryrefslogtreecommitdiff
path: root/gcc/analyzer/svalue.cc
Commit message (Expand)AuthorAgeFilesLines
* analyzer: fix ICEs on complex constants [PR105365,105366]David Malcolm2022-04-251-9/+21
* analyzer: fix escaping of pointer arithmetic [PR105264]David Malcolm2022-04-141-0/+42
* analyzer: fix ICE comparing VECTOR_CSTs [PR105252]David Malcolm2022-04-141-3/+10
* analyzer: handle __attribute__((const)) [PR104434]David Malcolm2022-02-231-0/+73
* Update copyright years.Jakub Jelinek2022-01-031-1/+1
* analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm2021-11-191-0/+8
* analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm2021-08-301-1/+2
* analyzer: initial implementation of asm support [PR101570]David Malcolm2021-08-041-0/+89
* analyzer: tweak dumping of min_expr/max_exprDavid Malcolm2021-07-211-5/+34
* analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm2021-07-191-0/+4
* analyzer: add region_model::check_region_accessDavid Malcolm2021-07-161-1/+1
* analyzer: add svalue::maybe_get_regionDavid Malcolm2021-07-161-0/+12
* analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm2021-07-151-2/+30
* analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm2021-07-071-5/+19
* analyzer: eliminate enum binding_key [PR95006]David Malcolm2021-06-301-0/+381
* analyzer: show types for poisoned_svalue and compound_svalueDavid Malcolm2021-06-031-6/+23
* analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm2021-03-241-0/+34
* analyzer: fix false leak involving params [PR98969]David Malcolm2021-02-171-12/+40
* analyzer: fix false leak reports when merging states [PR97074]David Malcolm2021-01-061-0/+16
* Update copyright years.Jakub Jelinek2021-01-041-1/+1
* analyzer: fix ICE comparing COMPLEX_CSTs [PR97668]David Malcolm2020-11-051-0/+4
* analyzer: move svalue and region decls to their own header filesDavid Malcolm2020-10-281-30/+1
* analyzer: eliminate non-determinism in logsDavid Malcolm2020-10-271-0/+205
* analyzer: add -fdump-analyzer-jsonDavid Malcolm2020-09-221-0/+12
* analyzer: fix ICE on casting float to pointer [PR96764]David Malcolm2020-08-311-5/+8
* analyzer: fix leak false positive/widening on pointer iteration [PR94858]David Malcolm2020-08-251-0/+23
* analyzer: fix ICE on initializers for unsized array fields [PR96777]David Malcolm2020-08-251-0/+14
* analyzer: rewrite of region and value-handlingDavid Malcolm2020-08-131-0/+1004