Re: [PATCH 27/41] analyzer: new file: sm-pattern-test.cc

[Jeff Law]

On Wed, 2020-01-08 at 04:02 -0500, David Malcolm wrote:
> Jeff approved the v1 version of this patch here:
>   https://gcc.gnu.org/ml/gcc-patches/2019-12/msg00508.html
> and the subsequent changes are obvious in my view.
> 
> 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
> - Rework on_leak vfunc:
>     https://gcc.gnu.org/ml/gcc-patches/2019-11/msg02028.html
> 
> This patch adds a custom state machine checker intended purely for DejaGnu
> testing of the sm "machinery".
> 
> gcc/analyzer/ChangeLog:
>       * sm-pattern-test.cc: New file.
OK
jeff
>