aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/store.cc
AgeCommit message (Expand)AuthorFilesLines
2022-07-22analyzer: fix ICE in binding_cluster ctor [PR106401]David Malcolm1-1/+0
2022-07-19analyzer: don't track string literals in the store [PR106359]David Malcolm1-0/+7
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely1-3/+3
2022-07-07Convert label_text to C++11 move semanticsDavid Malcolm1-3/+0
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-1/+1
2022-04-28analyzer: handle repeated accesses after init of unknown size [PR105285]David Malcolm1-0/+12
2022-04-07analyzer: fix leak false +ve with symbolic writes [PR102208]David Malcolm1-21/+91
2022-03-28analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm1-9/+14
2022-03-26analyzer: fix ICE on memset of untracked region [PR105057]David Malcolm1-4/+13
2022-03-24analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm1-1/+5
2022-03-15analyzer: presize m_cluster_map in store copy ctorDavid Malcolm1-1/+2
2022-03-07Fix up duplicated duplicated words in commentsJakub Jelinek1-2/+2
2022-01-07analyzer: add logging of aliasingDavid Malcolm1-0/+21
2022-01-06analyzer: make use of may_be_aliased in alias detection [PR103546]David Malcolm1-7/+11
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-29analyzer: further false leak fixes due to overzealous state merging [PR103217]David Malcolm1-2/+12
2021-08-23analyzer: fix uninit false positive on overlapping bindingsDavid Malcolm1-3/+74
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+17
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
generated by cgit v1.1 at 2024-11-10 12:48:47 +0000