api: fix bounds from range

Author: mloubout

devito/operator/operator.py

@@ -637,14 +637,15 @@ def _prepare_arguments(self, autotune=None, estimate_memory=False, **kwargs):
                     # E.g., given a ConditionalDimension `t_sub` with factor `fact`
                     # and a TimeFunction `usave(t_sub, x, y)`, an override for
                     # `fact` is supplied w/o overriding `usave`; that's legal
-                    continue
-                if is_integer(args[k]) and not contains_val(args[k], v):
+                    pass
+                elif is_integer(args[k]) and not contains_val(args[k], v):
                     raise InvalidArgument(
                         f"Default `{p}` is incompatible with other args as "
                         f"`{k}={v}`, while `{k}={args[k]}` is expected. Perhaps "
                         f"you forgot to override `{p}`?"
                     )
-                args[k] = args.unique(k, candidate=v)
+                else:
+                    args[k] = args.unique(k, candidate=v)
 
         kwargs['args'] = args.reduce_inplace()
 

devito/types/dimension.py

@@ -318,12 +318,12 @@ def _arg_values(self, interval, grid=None, args=None, **kwargs):
         # may represent sets of legal values. If that's the case, here we just
         # pick one. Note that we sort for determinism
         try:
-            loc_minv = loc_minv.stop
+            loc_minv = loc_minv.start
         except AttributeError:
             with suppress(TypeError):
                 loc_minv = sorted(loc_minv).pop(0)
         try:
-            loc_maxv = loc_maxv.stop
+            loc_maxv = loc_maxv.stop - 1
         except AttributeError:
             with suppress(TypeError):
                 loc_maxv = sorted(loc_maxv).pop(0)