aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model-manager.cc
AgeCommit message (Expand)AuthorFilesLines
2022-02-02analyzer: implement bit_range_regionDavid Malcolm1-0/+20
2022-01-27analyzer: fix -Wformat warnings on i686Martin Liska1-2/+2
2022-01-22analyzer: fix ICE on vector casts [PR104159]David Malcolm1-0/+11
2022-01-18analyzer: fix ICE on unary ops folding to casts of constants [PR104089]David Malcolm1-1/+18
2022-01-18analyzer: fix ICE on realloc of zeroed memory [PR104062]David Malcolm1-1/+2
2022-01-11analyzer: fix false +ve on bitwise binops (PR analyzer/102692)David Malcolm1-2/+53
2022-01-07analyzer: add logging of aliasingDavid Malcolm1-2/+3
2022-01-03Update copyright years.Jakub Jelinek1-1/+1
2021-11-16analyzer: fix missing -Wanalyzer-write-to-const [PR102695]David Malcolm1-0/+7
2021-08-23analyzer: rewrite of switch handlingDavid Malcolm1-1/+6
2021-08-04analyzer: initial implementation of asm support [PR101570]David Malcolm1-0/+48
2021-07-22analyzer: fix feasibility false +ve with overly complex svaluesDavid Malcolm1-0/+4
2021-07-19analyzer: add svalue::can_have_associated_state_p [PR101503]David Malcolm1-8/+20
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+4
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-6/+307
2021-06-18analyzer: add region_model_manager::get_or_create_int_cstDavid Malcolm1-2/+12
2021-06-15analyzer: fix bitfield endianness issues [PR99212,PR101082]David Malcolm1-35/+59
2021-06-08analyzer: bitfield fixes [PR99212]David Malcolm1-3/+43
2021-02-01analyzer: fix false positives with *UNKNOWN_PTR [PR98918]David Malcolm1-0/+13
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-14/+27
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+1
2020-08-31analyzer: fix ICE on casting float to pointer [PR96764]David Malcolm1-6/+29
2020-08-25analyzer: fix leak false positive/widening on pointer iteration [PR94858]David Malcolm1-0/+2
2020-08-22analyzer: fix NULL deref false positives [PR94851]David Malcolm1-0/+6
2020-08-20analyzer: fix infinite recursion ICE on unions [PR96723]David Malcolm1-0/+2
2020-08-19analyzer: fix ICE on folding vector 0 [PR96705]David Malcolm1-2/+2
2020-08-19analyzer: fix ICE converting float to int [PR96699]David Malcolm1-0/+5
2020-08-17analyzer: fix ICE on NULL dereference [PR96644]David Malcolm1-2/+2
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+1088
generated by cgit v1.1 at 2024-10-20 09:30:42 +0000