github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

rose_build_groups: allow simple-exh lits to squash

Browse Source
This commit is contained in:
Justin Viiret 2017-03-23 10:12:12 +11:00 committed by Matthew Barr
parent 1d9a5421ce
commit a1bc69f3dd
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/rose/rose_build_groups.cpp
View File

@ -35,6 +35,7 @@
#include "util/boundary_reports.h"
#include "util/compile_context.h"
#include "util/report_manager.h"
#include <queue>
#include <vector>
@ -597,8 +598,12 @@ bool isGroupSquasher(const RoseBuildImpl &build, const u32 id /* literal id */,
/* Case 1 */
// Can't squash cases with accepts
if (!g[v].reports.empty()) {
// Can't squash cases with accepts unless they are all
// simple-exhaustible.
if (any_of_in(g[v].reports, [&](ReportID report) {
return !isSimpleExhaustible(build.rm.getReport(report));
})) {
DEBUG_PRINTF("can't squash reporter\n");
return false;
}