From 2205ac653ff4dc593deb276875d44934227f4cbe Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Tue, 8 Aug 2017 15:16:38 +0200
Subject: [PATCH] [bugfix] Treat shaped zeroes
---
python/dune/perftool/ufl/visitor.py | 2 ++
1 file changed, 2 insertions(+)
diff --git a/python/dune/perftool/ufl/visitor.py b/python/dune/perftool/ufl/visitor.py
index de14a9f7..8773efff 100644
--- a/python/dune/perftool/ufl/visitor.py
+++ b/python/dune/perftool/ufl/visitor.py
@@ -272,6 +272,8 @@ class UFL2LoopyVisitor(ModifiedTerminalTracker):
return flattened_sum(tuple(self.call(op) for op in o.ufl_operands))
def zero(self, o):
+ # UFL has Zeroes with shape. We ignore those indices.
+ self.indices = None
return 0
def abs(self, o):
--
GitLab