From 1ff17a2ea38756d4e32ec71a2c8c851b8eea7e63 Mon Sep 17 00:00:00 2001 From: Justin Viiret Date: Thu, 21 Jul 2016 10:33:21 +1000 Subject: [PATCH] rose: clear reports in removeFalsePaths --- src/rose/rose_build_add.cpp | 1 + 1 file changed, 1 insertion(+) 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));