aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/analyzer
AgeCommit message (Expand)AuthorFilesLines
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm3-0/+120
2020-03-27analyzer: fix malloc pointer NULL-nessDavid Malcolm3-2/+23
2020-03-27analyzer: add new supergraph visualizationDavid Malcolm1-0/+1
2020-03-24Test for sigsetjmp support in analyzer tests requiring that feature.Sandra Loosemore2-0/+4
2020-03-18analyzer: add test coverage for fixed ICE [PR94047]David Malcolm1-0/+23
2020-03-13analyzer: handle NOP_EXPR in get_lvalue [PR94099,PR94105]David Malcolm2-0/+30
2020-03-06analyzer: improvements to region_model::get_representative_treeDavid Malcolm1-1/+1
2020-03-04analyzer: handle __builtin_expect [PR93993]David Malcolm2-0/+52
2020-03-02analyzer: don't print the duplicate count by defaultDavid Malcolm1-0/+2
2020-02-26analyzer: fix ICE on unreachable calls [PR 93947]David Malcolm1-0/+40
2020-02-24analyzer: disable the "taint" checker by defaultDavid Malcolm2-0/+4
2020-02-24analyzer: eliminate irrelevant control-flow edges from pathsDavid Malcolm6-0/+338
2020-02-17analyzer: fix ICE on function pointer casts [PR 93775]David Malcolm1-0/+2
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm3-0/+5
2020-02-17analyzer: fix wording for assignment from NULLDavid Malcolm1-0/+6
2020-02-11analyzer: fix ICE due to missing state_change purging (PR 93374)David Malcolm1-0/+2
2020-02-11analyzer: fix ICE in "__analyzer_dump_exploded_nodes" on non-empty worklist (...David Malcolm1-0/+25
2020-02-11analyzer: fix ICE with equiv_class constant (PR 93649)David Malcolm1-0/+66
2020-02-10analyzer: handle vector types (PR 93350)David Malcolm1-0/+11
2020-02-10analyzer: fix ICE reporting NULL dereference (PR 93647)David Malcolm1-0/+14
2020-02-06analyzer: fix reproducer for PR 93375David Malcolm1-1/+3
2020-02-06analyzer: round-trip pointer-equality through intptr_tDavid Malcolm1-0/+28
2020-02-05analyzer: add enode status and revamp __analyzer_dump_exploded_nodesDavid Malcolm22-127/+97
2020-02-04analyzer: fix testsuite assumption that sizeof(int) > 2David Malcolm1-2/+2
2020-02-03analyzer: detect zero-assignment in phis (PR 93544)David Malcolm1-0/+17
2020-02-03analyzer: fix ICE merging models containing label pointers (PR 93546)David Malcolm1-0/+10
2020-02-03analyzer: fix ICE due to comparing int and real constants (PR 93547)David Malcolm1-0/+14
2020-01-31analyzer: fix ICE with 'const void *' (PR 93457)David Malcolm1-0/+10
2020-01-31analyzer: fix ICE handling void-type (PR 93373)David Malcolm1-0/+3
2020-01-31analyzer: fix ICE getting void return value (PR 93379)David Malcolm2-0/+13
2020-01-31analyzer: fix ICE with pointers between stack frames (PR 93438)David Malcolm2-0/+39
2020-01-30analyzer: avoid using <string.h> in malloc-1.cDavid Malcolm1-9/+8
2020-01-30analyzer: convert conditionals-2.c to a torture testDavid Malcolm1-4/+2
2020-01-30analyzer: fix ICE in __builtin_isnan (PR 93356)David Malcolm4-4/+26
2020-01-30analyzer: avoid comparisons between uncomparable types (PR 93450)David Malcolm1-0/+25
2020-01-27analyzer: fix ICE when canonicalizing NaN (PR 93451)David Malcolm1-0/+14
2020-01-27analyzer: restore input_location (PR 93349)David Malcolm1-0/+4
2020-01-27analyzer: fix pattern-test-2.c (PR 93291)David Malcolm1-3/+27
2020-01-27analyzer: fix setjmp-detection and support sigsetjmpDavid Malcolm2-0/+54
2020-01-23analyzer: avoid relying on system <assert.h> in testsuite (PR 93367)David Malcolm1-5/+13
2020-01-23analyzer: avoid ICE with missing arguments (PR 93375)David Malcolm1-0/+15
2020-01-23analyzer: introduce analyzer-torture.expDavid Malcolm4-15/+78
2020-01-22analyzer: fix ICE due to sm-state origin being purged (PR 93382)David Malcolm1-0/+25
2020-01-22analyzer: fix usage of "_setjmp" in test for PR 93378David Malcolm1-1/+1
2020-01-22analyzer: fix setjmp handling with -g (PR 93378)David Malcolm1-0/+15
2020-01-22analyzer: testsuite fixes for alloca, getpass, and setjmp (PR 93316)David Malcolm15-35/+60
2020-01-21analyzer: fix qsort issue with array_region keys (PR 93352)David Malcolm1-0/+12
2020-01-19analyzer: ensure that all DejaGnu tests have unique namesDavid Malcolm33-232/+232
2020-01-17analyzer: prevent ICE on isnan (PR 93290)David Malcolm1-0/+9
2020-01-14analyzer: fix global-sm-state issue affecting sm-signalDavid Malcolm1-0/+20
generated by cgit v1.1 at 2024-09-30 05:09:53 +0000