Operator precedence matters

This commit is contained in:
Matthew Barr 2016-09-07 15:47:26 +10:00
parent 7849b9d611
commit 707fe675ea
2 changed files with 3 additions and 3 deletions

View File

@ -1309,7 +1309,7 @@ bool canImplementGraphs(const RoseBuildImpl &tbi) {
} }
if (g[v].left.graph) { if (g[v].left.graph) {
assert(g[v].left.graph->kind assert(g[v].left.graph->kind
== tbi.isRootSuccessor(v) ? NFA_PREFIX : NFA_INFIX); == (tbi.isRootSuccessor(v) ? NFA_PREFIX : NFA_INFIX));
if (!isImplementableNFA(*g[v].left.graph, nullptr, tbi.cc)) { if (!isImplementableNFA(*g[v].left.graph, nullptr, tbi.cc)) {
DEBUG_PRINTF("nfa prefix %zu failed (%zu vertices)\n", g[v].idx, DEBUG_PRINTF("nfa prefix %zu failed (%zu vertices)\n", g[v].idx,
num_vertices(*g[v].left.graph)); num_vertices(*g[v].left.graph));

View File

@ -786,8 +786,8 @@ void pruneReportIfUnused(const RoseBuildImpl &build, shared_ptr<NGHolder> h,
// unimplementable. // unimplementable.
DEBUG_PRINTF("report %u has been merged away, pruning\n", report); DEBUG_PRINTF("report %u has been merged away, pruning\n", report);
assert(h->kind == build.isRootSuccessor(*verts.begin()) ? NFA_PREFIX assert(h->kind == (build.isRootSuccessor(*verts.begin()) ? NFA_PREFIX
: NFA_INFIX); : NFA_INFIX));
unique_ptr<NGHolder> h_new = cloneHolder(*h); unique_ptr<NGHolder> h_new = cloneHolder(*h);
pruneReport(*h_new, report); pruneReport(*h_new, report);