aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/store.cc
AgeCommit message (Expand)AuthorFilesLines
2021-07-21analyzer: fix ICE in binding_cluster::purge_state_involving [PR101522]David Malcolm1-5/+9
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+55
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-224/+429
2021-06-28analyzer: introduce byte_range and use to simplify dumpsDavid Malcolm1-6/+48
2021-06-18analyzer: fix issue with symbolic reads with concrete bindingsDavid Malcolm1-0/+10
2021-06-18analyzer: add region_model_manager::get_or_create_int_cstDavid Malcolm1-2/+2
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm1-0/+12
2021-06-08analyzer: bitfield fixes [PR99212]David Malcolm1-0/+186
2021-06-08analyzer: split out struct bit_range from class concrete_bindingDavid Malcolm1-11/+27
2021-04-08analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm1-11/+77
2021-02-11analyzer: fix ICE in print_mem_ref [PR98969]David Malcolm1-2/+17
2021-02-09analyzer: treat pointers written to *UNKNOWN as escaping [PR98575]David Malcolm1-3/+14
2021-01-14analyzer: fixes to -fdump-analyzer-jsonDavid Malcolm1-1/+1
2021-01-11analyzer: fix ICE merging dereferencing unknown ptrs [PR98628]David Malcolm1-2/+5
2021-01-06analyzer: fix false leak reports when merging states [PR97074]David Malcolm1-3/+20
2021-01-04analyzer: fix ICE with -fsanitize=undefined [PR98293]David Malcolm1-1/+18
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-4/+78
2020-10-14analyzer: fix build with ada [PR93723]David Malcolm1-1/+0
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+118
2020-09-08analyzer: fix another ICE in constructor-handling [PR96949]David Malcolm1-2/+6
2020-09-08analyzer: fix ICE on RANGE_EXPR with CONSTRUCTOR value [PR96950]David Malcolm1-4/+14
2020-08-31analyzer: fix ICE on unknown index in CONSTRUCTOR [PR96860]David Malcolm1-10/+23
2020-08-31analyzer: fix ICE on RANGE_EXPR in CONSTRUCTORs [PR96763]David Malcolm1-35/+94
2020-08-25analyzer: fix leak false positive/widening on pointer iteration [PR94858]David Malcolm1-0/+29
2020-08-25analyzer: fix ICE on initializers for unsized array fields [PR96777]David Malcolm1-0/+25
2020-08-22analyzer: simplify store::eval_aliasDavid Malcolm1-21/+24
2020-08-18analyzer: consider initializers for globals [PR96651]David Malcolm1-9/+3
2020-08-17analyzer: handle &STRING_CST in constant pool initializers [PR96642]David Malcolm1-3/+18
2020-08-14analyzer: fix initialization from constant pool [PR96609,PR96616]David Malcolm1-0/+59
2020-08-14analyzer: fix ICE on escaped unknown pointers [PR96611]David Malcolm1-0/+3
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+2008