aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region.cc
AgeCommit message (Expand)AuthorFilesLines
2021-07-16analyzer: add region_model::check_region_accessDavid Malcolm1-1/+1
2021-07-15analyzer: reimplement -Wanalyzer-use-of-uninitialized-value [PR95006 et al]David Malcolm1-0/+117
2021-06-30analyzer: eliminate enum binding_key [PR95006]David Malcolm1-50/+180
2021-06-08analyzer: fix region::get_bit_size for bitfieldsDavid Malcolm1-4/+29
2021-01-07analyzer: fix ICE when DECL_INITIAL is error_mark_node [PR98580]David Malcolm1-0/+5
2021-01-04Update copyright years.Jakub Jelinek1-1/+1
2020-10-28analyzer: move svalue and region decls to their own header filesDavid Malcolm1-0/+11
2020-10-28analyzer: fix more pointer-printing in logsDavid Malcolm1-3/+6
2020-10-27analyzer: don't assume extern const vars are zero-initialized [PR97568]David Malcolm1-0/+5
2020-10-27analyzer: eliminate non-determinism in logsDavid Malcolm1-2/+3
2020-10-14analyzer: fix ICE on globals with unknown size [PR93388]David Malcolm1-3/+13
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+12
2020-08-31analyzer: fix ICE on unknown index in CONSTRUCTOR [PR96860]David Malcolm1-1/+2
2020-08-20analyzer: fix infinite recursion ICE on unions [PR96723]David Malcolm1-0/+2
2020-08-18analyzer: consider initializers for globals [PR96651]David Malcolm1-12/+45
2020-08-18analyzer: fix ICE with negative bit offsets [PR96648]David Malcolm1-1/+2
2020-08-17analyzer: fix ICE due to NULL type [PR96639]David Malcolm1-1/+1
2020-08-14analyzer: fix initialization from constant pool [PR96609,PR96616]David Malcolm1-0/+27
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-0/+1064