Skip to content
Snippets Groups Projects
Commit 3defbe27 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Throw error on empty domains in min/max

parent 89ce32df
No related branches found
No related tags found
No related merge requests found
......@@ -316,10 +316,16 @@ class SetOperationCacheManager:
return result
def dim_min(self, set, *args):
if set.plain_is_empty():
raise LoopyError("domain '%s' is empty" % set)
from loopy.isl_helpers import dim_min_with_elimination
return self.op(set, "dim_min", dim_min_with_elimination, args)
def dim_max(self, set, *args):
if set.plain_is_empty():
raise LoopyError("domain '%s' is empty" % set)
from loopy.isl_helpers import dim_max_with_elimination
return self.op(set, "dim_max", dim_max_with_elimination, args)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment