aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/svalue.cc
AgeCommit message (Expand)AuthorFilesLines
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-0/+1
2022-10-13analyzer: fix ICE introduced in r13-3168 [PR107210]David Malcolm1-1/+2
2022-10-07analyzer: extract bits from integer constants [PR105783]David Malcolm1-1/+16
2022-10-05analyzer: simplify some includesDavid Malcolm1-8/+2
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-2/+6
2022-10-04analyzer: widening_svalues take a function_point rather than a program_pointDavid Malcolm1-2/+2
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely1-1/+1
2022-07-07Convert label_text to C++11 move semanticsDavid Malcolm1-1/+0
2022-07-02analyzer: add allocation size checker [PR105900]Tim Lange1-13/+13
2022-05-23analyzer: use 'final' and 'override' where appropriateDavid Malcolm1-2/+2
2022-04-25analyzer: fix ICEs on complex constants [PR105365,105366]David Malcolm1-9/+21
2022-04-14analyzer: fix escaping of pointer arithmetic [PR105264]David Malcolm1-0/+42
2022-04-14analyzer: fix ICE comparing VECTOR_CSTs [PR105252]David Malcolm1-3/+10
2022-02-23analyzer: handle __attribute__((const)) [PR104434]David Malcolm1-0/+73
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-19analyzer: fix false leak due to overeager state merging [PR103217]David Malcolm1-0/+8
2021-08-30analyzer: support "bifurcation"; reimplement realloc [PR99260]David Malcolm1-1/+2
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+89
2021-07-21analyzer: tweak dumping of min_expr/max_exprDavid Malcolm1-5/+34
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm1-0/+4
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm1-1/+1
2021-07-16analyzer: add svalue::maybe_get_regionDavid Malcolm1-0/+12
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-2/+30
2021-07-07analyzer: remove add_any_constraints_from_ssa_def_stmtDavid Malcolm1-5/+19
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-0/+381
2021-06-03analyzer: show types for poisoned_svalue and compound_svalueDavid Malcolm1-6/+23
2021-03-24analyzer; reset sm-state for SSA names at def-stmts [PR93695,PR99044,PR99716]David Malcolm1-0/+34
2021-02-17analyzer: fix false leak involving params [PR98969]David Malcolm1-12/+40
2021-01-06analyzer: fix false leak reports when merging states [PR97074]David Malcolm1-0/+16
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-11-05analyzer: fix ICE comparing COMPLEX_CSTs [PR97668]David Malcolm1-0/+4
2020-10-28analyzer: move svalue and region decls to their own header filesDavid Malcolm1-30/+1
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-0/+205
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+12
2020-08-31analyzer: fix ICE on casting float to pointer [PR96764]David Malcolm1-5/+8
2020-08-25analyzer: fix leak false positive/widening on pointer iteration [PR94858]David Malcolm1-0/+23
2020-08-25analyzer: fix ICE on initializers for unsized array fields [PR96777]David Malcolm1-0/+14
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+1004
generated by cgit v1.1 at 2024-11-03 20:26:34 +0000