aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)AuthorFilesLines
2020-05-22analyzer: Add exit, and _exit replacement, to sm-signal.Mark Wielaard2-4/+45
2020-05-15analyzer: Remove stray semicolon.Jason Merrill1-1/+1
2020-04-28analyzer: fix ICE copying struct [PR 94816]David Malcolm4-5/+19
2020-04-28analyzer: remove -Wanalyzer-use-of-uninitialized-value for GCC 10David Malcolm5-83/+39
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm9-84/+395
2020-03-27analyzer: fix malloc pointer NULL-nessDavid Malcolm4-3/+85
2020-03-27analyzer: add new supergraph visualizationDavid Malcolm10-48/+461
2020-03-27analyzer: improvements to diagnostic-manager.cc loggingDavid Malcolm2-6/+26
2020-03-27analyzer: tweaks to superedge::dumpDavid Malcolm2-2/+13
2020-03-18analyzer: make summarized dumps more comprehensiveDavid Malcolm3-68/+227
2020-03-18analyzer: introduce noop_region_model_contextDavid Malcolm2-61/+32
2020-03-18analyzer: tweaks to exploded_node ctorDavid Malcolm3-6/+21
2020-03-18Fix up duplicated duplicated words in commentsJakub Jelinek5-5/+14
2020-03-13analyzer: handle NOP_EXPR in get_lvalue [PR94099,PR94105]David Malcolm3-3/+26
2020-03-06analyzer: improvements to region_model::get_representative_treeDavid Malcolm5-4/+165
2020-03-06analyzer: improvements to state dumpingDavid Malcolm8-26/+188
2020-03-04analyzer: validate region subclassesDavid Malcolm3-8/+87
2020-03-04analyzer: handle __builtin_expect [PR93993]David Malcolm3-6/+89
2020-03-04analyzer: fix ICE on non-lvalue in prune_for_sm_diagnostic [PR93993]David Malcolm5-34/+128
2020-03-04analyzer: remove unused private fieldsDavid Malcolm3-14/+12
2020-03-02analyzer: don't print the duplicate count by defaultDavid Malcolm3-1/+12
2020-03-02analyzer: detect malloc, free, calloc within "std" [PR93959]David Malcolm4-0/+75
2020-02-26analyzer: fix ICE with -Wanalyzer-null-dereference [PR 93950]David Malcolm2-0/+24
2020-02-26analyzer: fix ICE on unreachable calls [PR 93947]David Malcolm2-2/+10
2020-02-26analyzer: improvements to logging/dumpingDavid Malcolm7-7/+341
2020-02-24analyzer: fix -fdump-analyzerDavid Malcolm2-1/+6
2020-02-24analyzer: disable the "taint" checker by defaultDavid Malcolm2-1/+10
2020-02-24analyzer: fix ICE with OFFSET_TYPE [PR 93899]David Malcolm5-62/+160
2020-02-24analyzer: eliminate irrelevant control-flow edges from pathsDavid Malcolm5-19/+246
2020-02-18analyzer.opt: rewrite description of -fdump-analyzer-callgraph [PR 93692]David Malcolm2-1/+6
2020-02-18analyzer: fix ICE on failed casts [PR 93777]David Malcolm2-4/+11
2020-02-18analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778]David Malcolm7-31/+82
2020-02-18analyzer: fix ICE on pointer arithmetic with incomplete types [PR 93774]David Malcolm2-15/+26
2020-02-17analyzer: fix ICE on function pointer casts [PR 93775]David Malcolm2-0/+9
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm7-5/+115
2020-02-17analyzer: fix wording for assignment from NULLDavid Malcolm2-2/+15
2020-02-17analyzer: add diagnostics to output of -fdump-analyzer-exploded-graphDavid Malcolm4-0/+30
2020-02-11analyzer: use ultimate alias target at calls (PR 93288)David Malcolm6-16/+60
2020-02-11analyzer: fix ICE due to missing state_change purging (PR 93374)David Malcolm5-15/+45
2020-02-11analyzer: fix ICE in "__analyzer_dump_exploded_nodes" on non-empty worklist (...David Malcolm2-4/+20
2020-02-11analyzer: fix ICE with equiv_class constant (PR 93649)David Malcolm2-2/+15
2020-02-11analyzer.opt: reword descriptions of two dump options (PR 93657)David Malcolm2-2/+8
2020-02-11analyzer: workaround for nested pp_printfDavid Malcolm2-4/+39
2020-02-10analyzer.opt: fix typos in descriptions (PR 93659)David Malcolm2-2/+10
2020-02-10analyzer: handle vector types (PR 93350)David Malcolm2-1/+17
2020-02-10analyzer: fix ICE reporting NULL dereference (PR 93647)David Malcolm3-0/+17
2020-02-10analyzer: fix ICE with fortran constant arguments (PR 93405)David Malcolm2-0/+19
2020-02-06analyzer: round-trip pointer-equality through intptr_tDavid Malcolm2-1/+7
2020-02-05analyzer: add enode status and revamp __analyzer_dump_exploded_nodesDavid Malcolm3-14/+102
2020-02-04analyzer: fix build error with clang (PR 93543)David Malcolm2-2/+9