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/msg00815.html
> (with one item that I've addressed in v5), and the followups count as
> obvious in my opinion.
>
> Changed in v5:
> - update ChangeLog path
> - updated copyright years to include 2020
> - kill the debugging leftover identified by Jeff
>
> Changed in v4:
> - Remove include of gcc-plugin.h, reworking includes accordingly.
> - Wrap everything in #if ENABLE_ANALYZER
> - Remove /// comment lines
> - Use TV_ANALYZER_STATE_PURGE rather than an auto_client_timevar
> - Fix .dot output:
> https://gcc.gnu.org/ml/gcc-patches/2019-11/msg02461.html
> - Add DISABLE_COPY_AND_ASSIGN (state_purge_map);
>
> This patch adds classes for tracking what state can be safely purged
> at any given point in the program.
>
> gcc/analyzer/ChangeLog:
> * state-purge.cc: New file.
> * state-purge.h: New file.
OK
jeff
>
