Add basic error handling for mismatching profile

souffle-lang · Jun 25, 2022 · f0e6e60 · f0e6e60
1 parent b67ec5f
commit f0e6e60
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/src/ast2ram/utility/SipsMetric.cpp b/src/ast2ram/utility/SipsMetric.cpp
@@ -157,10 +157,14 @@ std::vector<std::size_t> SelingerProfileSipsMetric::getReordering(
         cc << constantsStringMap;
         std::string constants = cc.str();
 
-        if (isRecursive) {
-            return prof->getRecursiveJoinSize(rel, attributes, constants, iteration);
-        } else {
-            return prof->getNonRecursiveJoinSize(rel, attributes, constants);
+        try {
+            if (isRecursive) {
+                return prof->getRecursiveJoinSize(rel, attributes, constants, iteration);
+            } else {
+                return prof->getNonRecursiveJoinSize(rel, attributes, constants);
+            }
+        } catch (...) {
+            fatal("Error: profile used for auto-scheduling doesn't match the provided program.");
         }
     };