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 >
- [PATCH 33/41] analyzer: new files: program-point.{cc|h} David Malcolm
- [PATCH 25/41] analyzer: new files: sm-malloc.cc and sm-mallo... David Malcolm
- [PATCH 34/41] analyzer: new files: program-state.{cc|h} David Malcolm
- [PATCH 37/41] analyzer: new files: engine.{cc|h} David Malcolm
- [PATCH 27/41] analyzer: new file: sm-pattern-test.cc David Malcolm
- Re: [PATCH 27/41] analyzer: new file: sm-pattern-test.c... Jeff Law
- [PATCH 28/41] analyzer: new file: sm-sensitive.cc David Malcolm
- [PATCH 24/41] analyzer: new files: sm.{cc|h} David Malcolm
- Re: [PATCH 24/41] analyzer: new files: sm.{cc|h} Jeff Law
- Re: [PATCH 24/41] analyzer: new files: sm.{cc|h} David Malcolm
- [PATCH 35/41] analyzer: new file: exploded-graph.h David Malcolm
- [PATCH 36/41] analyzer: new files: state-purge.{cc|h} David Malcolm