def cutoff_alwaysraising_block(self, block):
"Fix a block whose end can never be reached at run-time."
# search the operation that cannot succeed
can_succeed = [op for op in block.operations
if op.result in self.bindings]
cannot_succeed = [op for op in block.operations
if op.result not in self.bindings]
n = len(can_succeed)
# check consistency
assert can_succeed == block.operations[:n]
assert cannot_succeed == block.operations[n:]
assert 0 <= n < len(block.operations)
# chop off the unreachable end of the block
del block.operations[n+1:]
s_impossible = annmodel.SomeImpossibleValue()
self.bindings[block.operations[n].result] = s_impossible
# insert the equivalent of 'raise AssertionError'
graph = self.annotated[block]
msg = "Call to %r should have raised an exception" % (getattr(graph, 'func', None),)
c1 = Constant(AssertionError)
c2 = Constant(AssertionError(msg))
errlink = Link([c1, c2], graph.exceptblock)
block.recloseblock(errlink, *block.exits)
# record new link to make the transformation idempotent
self.links_followed[errlink] = True
# fix the annotation of the exceptblock.inputargs
etype, evalue = graph.exceptblock.inputargs
s_type = annmodel.SomeObject()
s_type.knowntype = type
s_type.is_type_of = [evalue]
s_value = annmodel.SomeInstance(self.bookkeeper.getuniqueclassdef(Exception))
self.setbinding(etype, s_type)
self.setbinding(evalue, s_value)
# make sure the bookkeeper knows about AssertionError
self.bookkeeper.getuniqueclassdef(AssertionError)
c for c in candidates if c not in covered
]
for link in exits:
import types
in_except_block = False
last_exception_var = link.last_exception # may be None for non-exception link
last_exc_value_var = link.last_exc_value # may be None for non-exception link
if isinstance(link.exitcase, (types.ClassType, type)) \
and issubclass(link.exitcase, py.builtin.BaseException):
assert last_exception_var and last_exc_value_var
last_exc_value_object = self.bookkeeper.valueoftype(
link.exitcase)
last_exception_object = annmodel.SomeObject()
last_exception_object.knowntype = type
if isinstance(last_exception_var, Constant):
last_exception_object.const = last_exception_var.value
last_exception_object.is_type_of = [last_exc_value_var]
if isinstance(last_exception_var, Variable):
self.setbinding(last_exception_var, last_exception_object)
if isinstance(last_exc_value_var, Variable):
self.setbinding(last_exc_value_var, last_exc_value_object)
last_exception_object = annmodel.SomeObject()
last_exception_object.knowntype = type
if isinstance(last_exception_var, Constant):
last_exception_object.const = last_exception_var.value
#if link.exitcase is Exception:
def binding(self, var, default=annmodel.SomeObject()):
s_obj = self.annotator.binding(var, default)
return s_obj
def union((s_wvd1, s_wvd2)):
if s_wvd1.valueclassdef is not s_wvd2.valueclassdef:
return annmodel.SomeObject() # not the same class! complain...
s_key = annmodel.unionof(s_wvd1.s_key, s_wvd2.s_key)
return SomeWeakValueDict(s_key, s_wvd1.valueclassdef)
