Python: Limit size of TupleElementContent

A more principled approach is possible here, but in the short term
this will prevent an explosion.

For reference, openstack/cinder has roughly 19000 `ForTarget`s and
tuples of size up to 5300, and we were calculating the cartesian
product of these.
This commit is contained in:
Taus Brock-Nannestad
2021-03-25 18:28:49 +01:00
parent dbef36cbbb
commit 229250dc54

View File

@@ -1517,7 +1517,7 @@ predicate forReadStep(CfgNode nodeFrom, Content c, Node nodeTo) {
or
c instanceof SetElementContent
or
c instanceof TupleElementContent
c.(TupleElementContent).getIndex() <= 7
)
}