summaryrefslogtreecommitdiff
path: root/gcc/analyzer/store.h
Commit message (Expand)AuthorAgeFilesLines
* analyzer: ensure that we purge state when reusing a conjured_svalue [PR105087]David Malcolm2022-03-281-3/+6
* analyzer: add logging of aliasingDavid Malcolm2022-01-071-0/+2
* analyzer: implement __analyzer_dump_escapedDavid Malcolm2022-01-071-0/+2
* Update copyright years.Jakub Jelinek2022-01-031-1/+1
* analyzer: fix uninit false positive on overlapping bindingsDavid Malcolm2021-08-231-0/+5
* analyzer: initial implementation of asm support [PR101570]David Malcolm2021-08-041-0/+1
* analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm2021-07-151-0/+10
* analyzer: eliminate enum binding_key [PR95006]David Malcolm2021-06-301-81/+76
* analyzer: introduce byte_range and use to simplify dumpsDavid Malcolm2021-06-281-0/+25
* analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm2021-06-151-0/+1
* analyzer: bitfield fixes [PR99212]David Malcolm2021-06-081-0/+18
* analyzer: split out struct bit_range from class concrete_bindingDavid Malcolm2021-06-081-11/+50
* analyzer: remove unused prototypesDavid Malcolm2021-06-031-2/+0
* analyzer: fix leak false +ves due to maybe-clobbered regions [PR99042,PR99774]David Malcolm2021-04-081-4/+85
* analyzer: const fixes [PR98679]David Malcolm2021-01-141-2/+2
* analyzer: fix false leak reports when merging states [PR97074]David Malcolm2021-01-061-0/+2
* Update copyright years.Jakub Jelinek2021-01-041-1/+1
* analyzer: Change cast from long to intptr_t [PR96608]Markus Böck2020-10-271-1/+1
* analyzer: eliminate non-determinism in logsDavid Malcolm2020-10-271-0/+6
* analyzer: add -fdump-analyzer-jsonDavid Malcolm2020-09-221-0/+7
* analyzer: fix ICE on unknown index in CONSTRUCTOR [PR96860]David Malcolm2020-08-311-3/+3
* analyzer: fix ICE on RANGE_EXPR in CONSTRUCTORs [PR96763]David Malcolm2020-08-311-0/+8
* analyzer: simplify store::eval_aliasDavid Malcolm2020-08-221-1/+3
* analyzer: consider initializers for globals [PR96651]David Malcolm2020-08-181-0/+2
* analyzer: fix initialization from constant pool [PR96609,PR96616]David Malcolm2020-08-141-0/+3
* analyzer: rewrite of region and value-handlingDavid Malcolm2020-08-131-0/+613