Warn about unbalanced system after WFC

Belonging to [master]: - #1886
OpenModelica · Oct 10, 2017 · 624b9a6 · 624b9a6
1 parent 3c3ca87
commit 624b9a6
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Compiler/BackEnd/CommonSubExpression.mo b/Compiler/BackEnd/CommonSubExpression.mo
@@ -204,6 +204,11 @@ algorithm
       syst.orderedEqs := orderedEqs_new;
       syst.orderedVars := orderedVars;
 
+      // Check for unbalanced system
+      if not intEq(BackendEquation.equationArraySize(orderedEqs_new), orderedVars.numberOfVars) then
+        Error.addCompilerWarning("After manipulating the system with postOptModule wrapFunctionCalls the system is unbalanced. This indicates that the original system is singular. You can use -d=dumpCSE and -d=dumpCSE_verbose for more information.");
+      end if;
+
       // Reset Matching
       syst.m := NONE();
       syst.mT := NONE();