aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/region-model.h
AgeCommit message (Expand)AuthorFilesLines
2020-09-23analyzer: add -fno-analyzer-feasibilityDavid Malcolm1-4/+29
2020-09-22analyzer: add -fdump-analyzer-jsonDavid Malcolm1-0/+4
2020-09-21analyzer: fix ICE on bogus decl of memset [PR97130]David Malcolm1-0/+1
2020-09-10analyzer: stricter handling of non-pure builtins [PR96798]David Malcolm1-0/+2
2020-09-09analyzer: generalize sm-malloc to new/delete [PR94355]David Malcolm1-0/+4
2020-08-25analyzer: fix ICE on initializers for unsized array fields [PR96777]David Malcolm1-5/+4
2020-08-18analyzer: consider initializers for globals [PR96651]David Malcolm1-0/+6
2020-08-14analyzer: fix initialization from constant pool [PR96609,PR96616]David Malcolm1-0/+2
2020-08-13analyzer: rewrite of region and value-handlingDavid Malcolm1-1223/+1899
2020-04-28analyzer: fix ICE copying struct [PR 94816]David Malcolm1-1/+1
2020-04-28analyzer: remove -Wanalyzer-use-of-uninitialized-value for GCC 10David Malcolm1-3/+0
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm1-18/+53
2020-03-27analyzer: fix malloc pointer NULL-nessDavid Malcolm1-2/+8
2020-03-18analyzer: make summarized dumps more comprehensiveDavid Malcolm1-2/+4
2020-03-18analyzer: introduce noop_region_model_contextDavid Malcolm1-61/+23
2020-03-06analyzer: improvements to region_model::get_representative_treeDavid Malcolm1-0/+3
2020-03-04analyzer: validate region subclassesDavid Malcolm1-1/+7
2020-03-04analyzer: handle __builtin_expect [PR93993]David Malcolm1-0/+8
2020-03-04analyzer: fix ICE on non-lvalue in prune_for_sm_diagnostic [PR93993]David Malcolm1-0/+48
2020-02-24analyzer: fix ICE with OFFSET_TYPE [PR 93899]David Malcolm1-9/+16
2020-02-18analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778]David Malcolm1-5/+9
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm1-0/+12
2020-02-03analyzer: detect zero-assignment in phis (PR 93544)David Malcolm1-1/+11
2020-02-03analyzer: fix ICE merging models containing label pointers (PR 93546)David Malcolm1-2/+2
2020-01-27analyzer: fix setjmp-detection and support sigsetjmpDavid Malcolm1-4/+5
2020-01-22analyzer: fix setjmp handling with -g (PR 93378)David Malcolm1-6/+28
2020-01-22analyzer: introduce namespace to avoid ODR clashes (PR 93307)David Malcolm1-0/+80
2020-01-21analyzer: fix qsort issue with array_region keys (PR 93352)David Malcolm1-0/+2
2020-01-14analyzer: fix ICE on METHOD_TYPE (PR 93212)David Malcolm1-1/+1
2020-01-14analyzer: purge state for unknown function callsDavid Malcolm1-2/+14
2020-01-14Initial commit of analyzerDavid Malcolm1-0/+2057
generated by cgit v1.1 at 2025-02-24 22:15:24 +0000