On Wed, 2020-01-08 at 04:02 -0500, David Malcolm wrote: > Jeff approved the v1 version of the patch here: > https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00820.html > There are some non-trivial changes in the followups (see the URLs > below). > > Changed in v5: > - update ChangeLog path > - updated copyright years to include 2020 > > Changed in v4: > - Remove include of gcc-plugin.h, reworking includes accordingly. > - Wrap everything in #if ENABLE_ANALYZER > - Remove /// comment lines > - Add custom events: > https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00213.html > - Add support for global state: > https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00217.html > - start_cfg_edge_event::maybe_describe_condition: special-case the description > of edges based on the result of strcmp > - Generalize rewind_info_t to exploded_edge::custom_info_t > https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00219.html > - Add checker_path::debug > https://gcc.gnu.org/ml/gcc-patches/2019-11/msg02033.html > > This patch adds a family of classes for representing paths of events > for analyzer diagnostics. > > gcc/analyzer/ChangeLog: > * checker-path.cc: New file. > * checker-path.h: New file. OK.
jeff > --- >
