Detects LBound usage un parameters

If an array parameter uses LBound / Ubound then it's
ubound_used and lbound_used of the caller must be ORed with
these.

Author: boriel

api/optimize.py

@@ -6,7 +6,7 @@
 import api.errmsg
 from api.errmsg import warning
 import api.check as chk
-from api.constants import TYPE, SCOPE
+from api.constants import TYPE, SCOPE, CLASS
 import api.global_ as gl
 import symbols
 import types
@@ -128,6 +128,7 @@ def visit_FUNCCALL(self, node):
 
     def visit_CALL(self, node):
         node.args = (yield self.generic_visit(node.args))  # Avoid infinite recursion not visiting node.entry
+        self._check_if_any_arg_is_an_array_and_needs_lbound_or_ubound(node.entry.params, node.args)
         yield node
 
     def visit_FUNCDECL(self, node):
@@ -251,3 +252,25 @@ def generic_visit(node):
         for i in range(len(node.children)):
             node.children[i] = (yield ToVisit(node.children[i]))
         yield node
+
+    def _check_if_any_arg_is_an_array_and_needs_lbound_or_ubound(self, params: symbols.PARAMLIST,
+                                                                 args: symbols.ARGLIST):
+        """ Given a list of params and a list of args, traverse them to check if any arg is a byRef array parameter,
+        and if so, whether it's use_lbound or use_ubound flag is updated to True and if it's a local var. If so, it's
+        offset size has changed and must be reevaluated!
+        """
+        for arg, param in zip(args, params):
+            if not param.byref or param.class_ != CLASS.array:
+                continue
+
+            if arg.value.lbound_used and arg.value.ubound_used:
+                continue
+
+            self._update_bound_status(arg.value, param)
+
+    def _update_bound_status(self, arg: symbols.VARARRAY, param: symbols.PARAMDECL):
+        arg.lbound_used = arg.lbound_used or param.lbound_used
+        arg.ubound_used = arg.ubound_used or param.ubound_used
+
+        if arg.lbound_used and arg.ubound_used:
+            return