[BE] fixes for inStream

fixes if posetiveMax is called for constant Belonging to [master]: - OpenModelica/OMCompiler#2623
OpenModelica · Aug 29, 2018 · 46d9c5b · 46d9c5b
1 parent 13b403f
commit 46d9c5b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Compiler/BackEnd/BackendDAEOptimize.mo b/Compiler/BackEnd/BackendDAEOptimize.mo
@@ -173,10 +173,11 @@ algorithm
     then
        if simplifyToZero then Expression.createZeroExpression(tp) else Expression.makePureBuiltinCall("max", {e, expr}, tp);
 
-    //positiveMax(-cref, eps) = -cref where variable is constant <= 0
-    case DAE.CALL(path=Absyn.IDENT("$OMC$PositiveMax"),expLst={e, expr}) guard Expression.isNegativeOrZero(e)
+    //positiveMax(cref, eps) = cref where cref >= 0
+    case DAE.CALL(path=Absyn.IDENT("$OMC$PositiveMax"),expLst={e, expr}) guard Expression.isPositiveOrZero(e)
     then e;
 
+    // e.g. positiveMax(cref, eps) = max(cref,eps) = eps where cref < 0
     case DAE.CALL(path=Absyn.IDENT("$OMC$PositiveMax"),expLst={e, expr})
       //print("\nsimplifyInStreamWork: ");
       //print(ExpressionDump.printExpStr(inExp));