From fb5669f01b50a889380c7365285eae844b79a46f Mon Sep 17 00:00:00 2001
From: Serguei Makarov <smakarov@redhat.com>
Date: Fri, 26 Jul 2013 15:37:33 -0400
Subject: [PATCH] stapregex -- placate the gods of coverity (RESOURCE_LEAK)

---
 stapregex-dfa.cxx | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/stapregex-dfa.cxx b/stapregex-dfa.cxx
index 596470ac3..0eb202a94 100644
--- a/stapregex-dfa.cxx
+++ b/stapregex-dfa.cxx
@@ -429,7 +429,9 @@ dfa::dfa (ins *i, int ntags, vector<string>& outcome_snippets)
   first = last = NULL;
 
   ins *start = &i[0];
-  state_kernel *initial_kernel = te_closure(make_kernel(start), ntags, true);
+  state_kernel *seed_kernel = make_kernel(start);
+  state_kernel *initial_kernel = te_closure(seed_kernel, ntags, true);
+  delete seed_kernel;
   state *initial = add_state(new state(initial_kernel));
   queue<state *> worklist; worklist.push(initial);
 
-- 
2.43.5