compiler: Drop unused _mem_shared_dynamic

Author: FabioLuporini

devito/ir/iet/visitors.py

@@ -244,12 +244,7 @@ def _gen_value(self, obj, mode=1, masked=()):
 
         if (obj._mem_stack or obj._mem_constant) and mode == 1:
             strtype = obj._C_typedata
-            if obj._mem_shared_dynamic:
-                strshape = '[]'
-                strshape += ''.join('[%s]' % ccode(i)
-                                    for i in obj.symbolic_shape[1:])
-            else:
-                strshape = ''.join('[%s]' % ccode(i) for i in obj.symbolic_shape)
+            strshape = ''.join('[%s]' % ccode(i) for i in obj.symbolic_shape)
         else:
             strtype = ctypes_to_cstr(obj._C_ctype)
             strshape = ''

devito/types/basic.py

@@ -42,7 +42,7 @@ class CodeSymbol:
         * "liveness": `_mem_external`, `_mem_internal_eager`, `_mem_internal_lazy`
         * "space": `_mem_local`, `_mem_mapped`, `_mem_host`
         * "scope": `_mem_stack`, `_mem_heap`, `_mem_global`, `_mem_shared`,
-                   `_mem_shared_dynamic`, `_mem_constant`
+                   `_mem_constant`
 
     For example, an object that is `<_mem_internal_lazy, _mem_local, _mem_heap>`
     is allocated within the Operator entry point, on either the host or device
@@ -211,20 +211,6 @@ def _mem_shared(self):
         """
         return False
 
-    @property
-    def _mem_shared_dynamic(self):
-        """
-        True if the associated data is allocated in so called shared memory,
-        and such shared memory isn't statically available in the local memory
-        address space, False otherwise.
-
-        Notes
-        -----
-        This property doesn't say anything about the actual allocation strategy,
-        which therefore may be either static or dynamic.
-        """
-        return False
-
 
 class Basic(CodeSymbol):