[pypy-dev] translation broken in pypy-more-rtti-inprogress branch

[Jean-Paul Calderone]

Just a heads up :)

Here's the traceback I get:

[translation:ERROR] Error:
[translation:ERROR]  Traceback (most recent call last):
[translation:ERROR]    File "./translate.py", line 272, in main
[translation:ERROR]     drv.proceed(goals)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/translator/driver.py", line 748, in proceed
[translation:ERROR]     return self._execute(goals, task_skip = self._maybe_skip())
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/translator/tool/taskengine.py", line 112, in _execute
[translation:ERROR]     res = self._do(goal, taskcallable, *args, **kwds)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/translator/driver.py", line 265, in _do
[translation:ERROR]     res = func()
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/translator/driver.py", line 334, in task_rtype_lltype
[translation:ERROR]     crash_on_first_typeerror=insist)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/rpython/rtyper.py", line 180, in specialize
[translation:ERROR]     self.specialize_more_blocks()
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/rpython/rtyper.py", line 226, in specialize_more_blocks
[translation:ERROR]     self.specialize_block(block)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/rpython/rtyper.py", line 345, in specialize_block
[translation:ERROR]     self.translate_hl_to_ll(hop, varmapping)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/rpython/rtyper.py", line 474, in translate_hl_to_ll
[translation:ERROR]     resultvar = hop.dispatch()
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/rpython/rtyper.py", line 712, in dispatch
[translation:ERROR]     return translate_meth(self)
[translation:ERROR]    File "None</home/exarkun/Projects/pypy/trunk/py/code/source.py:213>", line 5, in translate_op_delitem
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/rpython/lltypesystem/rdict.py", line 319, in rtype_delitem
[translation:ERROR]     return hop.gendirectcall(ll_dict_delitem, v_dict, v_key)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/rpython/rtyper.py", line 750, in gendirectcall
[translation:ERROR]     return self.llops.gendirectcall(ll_function, *args_v)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/rpython/rtyper.py", line 908, in gendirectcall
[translation:ERROR]     rtyper.lowlevel_ann_policy)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/rpython/annlowlevel.py", line 103, in annotate_lowlevel_helper
[translation:ERROR]     return annotator.annotate_helper(ll_function, args_s, policy)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/annrpython.py", line 129, in annotate_helper
[translation:ERROR]     self.complete_helpers(policy)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/annrpython.py", line 175, in complete_helpers
[translation:ERROR]     self.complete()
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/annrpython.py", line 249, in complete
[translation:ERROR]     self.processblock(graph, block)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/annrpython.py", line 475, in processblock
[translation:ERROR]     self.flowin(graph, block)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/annrpython.py", line 535, in flowin
[translation:ERROR]     self.consider_op(block.operations[i])
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/annrpython.py", line 737, in consider_op
[translation:ERROR]     raise_nicer_exception(op, str(graph))
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/annrpython.py", line 734, in consider_op
[translation:ERROR]     resultcell = consider_meth(*argcells)
[translation:ERROR]    File "<string>", line 3, in consider_op_call_args
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/unaryop.py", line 169, in call_args
[translation:ERROR]     return obj.call(getbookkeeper().build_args("call_args", args_s))
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/unaryop.py", line 582, in call
[translation:ERROR]     return bltn.analyser(*args_s, **kwds_s)
[translation:ERROR]    File "/home/exarkun/Projects/pypy/trunk/pypy/annotation/builtin.py", line 418, in malloc
[translation:ERROR]     assert (s_n is None or s_n.knowntype == int
[translation:ERROR]  AssertionError':
[translation:ERROR]     .. v1 = call_args((function malloc), ((2, ('zero',), False, False)), v0, new_size_0, (True))
[translation:ERROR]     .. '(pypy.rpython.lltypesystem.rdict:475)ll_dict_resize__dicttablePtr'
[translation:ERROR] Processing block:
[translation:ERROR]  block at 97 is a <class 'pypy.objspace.flow.flowcontext.SpamBlock'>
[translation:ERROR]  in (pypy.rpython.lltypesystem.rdict:475)ll_dict_resize__dicttablePtr
[translation:ERROR]  containing the following operations:
[translation:ERROR]        v2 = simple_call((function typeOf), old_entries_0)
[translation:ERROR]        v0 = getattr(v2, ('TO'))
[translation:ERROR]        v1 = call_args((function malloc), ((2, ('zero',), False, False)), v0, new_size_0, (True))
[translation:ERROR]        v3 = setattr(d_0, ('entries'), v1)
[translation:ERROR]        v4 = setattr(d_0, ('num_items'), (0))
[translation:ERROR]        v5 = setattr(d_0, ('num_pristine_entries'), new_size_0)
[translation:ERROR]  --end--
[translation] start debugger...
> /home/exarkun/Projects/pypy/trunk/pypy/annotation/builtin.py(418)malloc()
-> assert (s_n is None or s_n.knowntype == int
(Pdb+)

This is from r45970

Jean-Paul