From: Justin Viiret <justin.viiret@intel.com>
Date: Thu, 21 Jul 2016 00:33:21 +0000 (+1000)
Subject: rose: clear reports in removeFalsePaths
X-Git-Tag: v4.3.0^2~36
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ff17a2ea38756d4e32ec71a2c8c851b8eea7e63;p=thirdparty%2Fvectorscan.git

rose: clear reports in removeFalsePaths
---

diff --git a/src/rose/rose_build_add.cpp b/src/rose/rose_build_add.cpp
index 195c4bad..0a91a76a 100644
--- a/src/rose/rose_build_add.cpp
+++ b/src/rose/rose_build_add.cpp
@@ -418,6 +418,7 @@ void removeFalsePaths(NGHolder &g, const ue2_literal &lit) {
     }
 
     pruneUseless(g);
+    clearReports(g);
     assert(in_degree(g.accept, g) || in_degree(g.acceptEod, g) > 1);
     assert(allMatchStatesHaveReports(g));