diff options
Diffstat (limited to 'src/dataflow/graph.h')
| -rw-r--r-- | src/dataflow/graph.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dataflow/graph.h b/src/dataflow/graph.h index a243b0fff..2d9b87873 100644 --- a/src/dataflow/graph.h +++ b/src/dataflow/graph.h @@ -652,9 +652,11 @@ struct Graph : public UnifiedExpressionVisitor<Graph, Node*> { // Merge local state for multiple control flow paths, creating phis as needed. void merge(std::vector<FlowState>& states, Locals& out) { // We should only receive reachable states. +#ifndef NDEBUG for (auto& state : states) { assert(!isInUnreachable(state.locals)); } +#endif Index numStates = states.size(); if (numStates == 0) { // We were unreachable, and still are. |