Changeset f15694a2 in OpenModelica

Timestamp:

2012-11-16T10:46:52+01:00 (11 years ago)

Author:

Martin Sjölund <martin.sjolund@…>

Branches:

Added-citation-metadata, maintenance/v1.14, maintenance/v1.15, maintenance/v1.16, maintenance/v1.17, maintenance/v1.18, maintenance/v1.19, maintenance/v1.20, maintenance/v1.21, maintenance/v1.22, maintenance/v1.23, master, omlib-staging

Children:

0757b9d

Parents:

8a04612

Message:

• Don't print this false positive

git-svn-id: ​https://openmodelica.org/svn/OpenModelica/trunk@13916 f25d12d1-65f4-0310-ae8a-bbce733d8d8e

File:

• Compiler/FrontEnd/Inst.mo (modified) (3 diffs)

Compiler/FrontEnd/Inst.mo

@@ -17779 +17779 @@
       equation
         // Arrays with unknown bounds (size(cr,1), etc) are treated as initialized because they may have 0 dimensions checked for in the code
-        unbound = List.consOnTrue(List.fold(dims,foldIsKnownSubscriptDimension,true),name,unbound);
+        unbound = List.consOnTrue(List.fold(dims,foldIsKnownSubscriptDimensionNonZero,true),name,unbound);
         outputs = List.consOnTrue(DAEUtil.varDirectionEqual(dir,DAE.OUTPUT()),name,inOutputs);
         unbound = checkFunctionDefUse2(rest,alg,unbound,outputs,inInfo);
@@ -17807 +17807 @@
 end checkOutputDefUse;
 
-protected function foldIsKnownSubscriptDimension
+protected function foldIsKnownSubscriptDimensionNonZero
   "Helper beacuase DAE.VAR contains Subscript instead of Dimension"
   input DAE.Subscript sub;
@@ -17814 +17814 @@
 algorithm
   outKnown := match (sub,known)
+    case (DAE.INDEX(DAE.ICONST(0)),_) then false;
     case (DAE.INDEX(DAE.ICONST(_)),true) then true;
     else false;
   end match;
-end foldIsKnownSubscriptDimension;
+end foldIsKnownSubscriptDimensionNonZero;
 
 protected function checkFunctionDefUseStmt