fix for ticket:5133, make impure function calls be parameter expressions

Belonging to [master]: - OpenModelica/OMCompiler#2671
OpenModelica · Sep 19, 2018 · b0af930 · b0af930
1 parent e941483
commit b0af930
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/Compiler/NFFrontEnd/NFCall.mo b/Compiler/NFFrontEnd/NFCall.mo
@@ -343,8 +343,10 @@ uniontype Call
     typed_args := matchedFunc.args;
 
     args := {};
-    var := if Function.isImpure(func) or Function.isOMImpure(func) // if is impure, make it highest variability
-           then Variability.CONTINUOUS
+	// if is impure, make it a parameter expression
+	// see https://trac.openmodelica.org/OpenModelica/ticket/5133
+    var := if Function.isImpure(func) or Function.isOMImpure(func)
+           then Variability.PARAMETER
            else Variability.CONSTANT;
     for a in typed_args loop
       (arg_exp, _, arg_var) := a;