Commit deb5097c authored by Robert Bradshaw's avatar Robert Bradshaw

Verify constant result in ctuple indexing.

parent 6ea2a6ae
...@@ -3265,7 +3265,7 @@ class IndexNode(ExprNode): ...@@ -3265,7 +3265,7 @@ class IndexNode(ExprNode):
(len(base_type.templates), len(self.type_indices)))) (len(base_type.templates), len(self.type_indices))))
self.type = base_type.specialize(dict(zip(base_type.templates, self.type_indices))) self.type = base_type.specialize(dict(zip(base_type.templates, self.type_indices)))
elif base_type.is_ctuple: elif base_type.is_ctuple:
if isinstance(self.index, IntNode): if isinstance(self.index, IntNode) and self.index.has_constant_result():
index = self.index.constant_result index = self.index.constant_result
if -base_type.size <= index < base_type.size: if -base_type.size <= index < base_type.size:
if index < 0: if index < 0:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment