Sanitise: Only apply partial range resolution if new symbols has dims

Also slightly adjust the simply associate resolver test case to cover
this basic use case.

loki/transformations/sanitise/associates.py

@@ -175,7 +175,7 @@ def map_array(self, expr, *args, **kwargs):
         new = self.map_scalar(expr, *args, **kwargs)
 
         # Recurse over array dimensions
-        if isinstance(new, sym.Array):
+        if isinstance(new, sym.Array) and new.dimensions:
             # Resolve unbound range symbols form existing indices
             new_dims = self.rec(new.dimensions, *args, **kwargs)
             new_dims = self._match_range_indices(new_dims, expr_dims)

loki/transformations/sanitise/tests/test_associates.py

@@ -33,7 +33,7 @@ def test_transform_associates_simple(frontend):
   real :: local_var
 
   associate (a => some_obj%a)
-    local_var = a
+    local_var = a(:)
   end associate
 end subroutine transform_associates_simple
 """
@@ -42,7 +42,7 @@ def test_transform_associates_simple(frontend):
     assert len(FindNodes(ir.Associate).visit(routine.body)) == 1
     assert len(FindNodes(ir.Assignment).visit(routine.body)) == 1
     assign = FindNodes(ir.Assignment).visit(routine.body)[0]
-    assert assign.rhs == 'a' and 'some_obj' not in assign.rhs
+    assert assign.rhs == 'a(:)' and 'some_obj' not in assign.rhs
     assert assign.rhs.type.dtype == BasicType.DEFERRED
 
     # Now apply the association resolver
@@ -51,7 +51,7 @@ def test_transform_associates_simple(frontend):
     assert len(FindNodes(ir.Associate).visit(routine.body)) == 0
     assert len(FindNodes(ir.Assignment).visit(routine.body)) == 1
     assign = FindNodes(ir.Assignment).visit(routine.body)[0]
-    assert assign.rhs == 'some_obj%a'
+    assert assign.rhs == 'some_obj%a(:)'
     assert assign.rhs.parent == 'some_obj'
     assert assign.rhs.type.dtype == BasicType.DEFERRED
     assert assign.rhs.scope == routine