summaryrefslogtreecommitdiff
path: root/gcc/analyzer
AgeCommit message (Expand)Author
2020-04-28analyzer: fix ICE copying struct [PR 94816]David Malcolm
2020-04-28analyzer: remove -Wanalyzer-use-of-uninitialized-value for GCC 10David Malcolm
2020-04-01analyzer: handle compound assignments [PR94378]David Malcolm
2020-03-27analyzer: fix malloc pointer NULL-nessDavid Malcolm
2020-03-27analyzer: add new supergraph visualizationDavid Malcolm
2020-03-27analyzer: improvements to diagnostic-manager.cc loggingDavid Malcolm
2020-03-27analyzer: tweaks to superedge::dumpDavid Malcolm
2020-03-18analyzer: make summarized dumps more comprehensiveDavid Malcolm
2020-03-18analyzer: introduce noop_region_model_contextDavid Malcolm
2020-03-18analyzer: tweaks to exploded_node ctorDavid Malcolm
2020-03-18Fix up duplicated duplicated words in commentsJakub Jelinek
2020-03-13analyzer: handle NOP_EXPR in get_lvalue [PR94099,PR94105]David Malcolm
2020-03-06analyzer: improvements to region_model::get_representative_treeDavid Malcolm
2020-03-06analyzer: improvements to state dumpingDavid Malcolm
2020-03-04analyzer: validate region subclassesDavid Malcolm
2020-03-04analyzer: handle __builtin_expect [PR93993]David Malcolm
2020-03-04analyzer: fix ICE on non-lvalue in prune_for_sm_diagnostic [PR93993]David Malcolm
2020-03-04analyzer: remove unused private fieldsDavid Malcolm
2020-03-02analyzer: don't print the duplicate count by defaultDavid Malcolm
2020-03-02analyzer: detect malloc, free, calloc within "std" [PR93959]David Malcolm
2020-02-26analyzer: fix ICE with -Wanalyzer-null-dereference [PR 93950]David Malcolm
2020-02-26analyzer: fix ICE on unreachable calls [PR 93947]David Malcolm
2020-02-26analyzer: improvements to logging/dumpingDavid Malcolm
2020-02-24analyzer: fix -fdump-analyzerDavid Malcolm
2020-02-24analyzer: disable the "taint" checker by defaultDavid Malcolm
2020-02-24analyzer: fix ICE with OFFSET_TYPE [PR 93899]David Malcolm
2020-02-24analyzer: eliminate irrelevant control-flow edges from pathsDavid Malcolm
2020-02-18analyzer.opt: rewrite description of -fdump-analyzer-callgraph [PR 93692]David Malcolm
2020-02-18analyzer: fix ICE on failed casts [PR 93777]David Malcolm
2020-02-18analyzer: fix ICE on COMPONENT_REF of ARRAY_TYPE [PR 93778]David Malcolm
2020-02-18analyzer: fix ICE on pointer arithmetic with incomplete types [PR 93774]David Malcolm
2020-02-17analyzer: fix ICE on function pointer casts [PR 93775]David Malcolm
2020-02-17analyzer: fix ICEs in region_model::get_lvalue_1 [PR 93388]David Malcolm
2020-02-17analyzer: fix wording for assignment from NULLDavid Malcolm
2020-02-17analyzer: add diagnostics to output of -fdump-analyzer-exploded-graphDavid Malcolm
2020-02-11analyzer: use ultimate alias target at calls (PR 93288)David Malcolm
2020-02-11analyzer: fix ICE due to missing state_change purging (PR 93374)David Malcolm
2020-02-11analyzer: fix ICE in "__analyzer_dump_exploded_nodes" on non-empty worklist (...David Malcolm
2020-02-11analyzer: fix ICE with equiv_class constant (PR 93649)David Malcolm
2020-02-11analyzer.opt: reword descriptions of two dump options (PR 93657)David Malcolm
2020-02-11analyzer: workaround for nested pp_printfDavid Malcolm
2020-02-10analyzer.opt: fix typos in descriptions (PR 93659)David Malcolm
2020-02-10analyzer: handle vector types (PR 93350)David Malcolm
2020-02-10analyzer: fix ICE reporting NULL dereference (PR 93647)David Malcolm
2020-02-10analyzer: fix ICE with fortran constant arguments (PR 93405)David Malcolm
2020-02-06analyzer: round-trip pointer-equality through intptr_tDavid Malcolm
2020-02-05analyzer: add enode status and revamp __analyzer_dump_exploded_nodesDavid Malcolm
2020-02-04analyzer: fix build error with clang (PR 93543)David Malcolm
2020-02-03analyzer: avoid use of fold_build2David Malcolm
2020-02-03analyzer: detect zero-assignment in phis (PR 93544)David Malcolm