aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/svalue.cc
AgeCommit message (Expand)AuthorFilesLines
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