save

apache · Feb 14, 2020 · bf96da2 · bf96da2
1 parent baeed20
commit bf96da2
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/relay/pass/match_exhaustion.cc b/src/relay/pass/match_exhaustion.cc
@@ -293,8 +293,14 @@ Array<Pattern> UnmatchedCases(const Match& match, const IRModule& mod) {
 
   Array<Pattern> failures;
 
+  size_t counter = 0;
   while (!candidates.empty()) {
+    counter++;
     Pattern cand = candidates.top();
+    if (counter == 1000) {
+      CHECK(false);
+    }
+    std::cerr << AsText(cand) << std::endl;
     candidates.pop();
 
     bool failure = true;