[pypy-dev] Bug in lltypesystem

[Antonio Cuni]

Hi,
I've just found a bug in lltypesystem; to reproduce type the following 
in translatorshell.py:

 >>> from __future__ import division
 >>> def bug(x,y):
...   return x/y
...
 >>> t = Translation(bug)
 >>> t.annotate([int, int])
[cut]
 >>> t.rtype()
[translation:info] already done: Annotating&simplifying
[translation:info] RTyping...
[flowgraph] (pypy.rpython.lltypesystem.rclass:619)ll_runtime_type_info
[annrpython] <FunctionGraph of 
(pypy.rpython.lltypesystem.rclass:619)ll_runtime_type_info__objectPtr at 
0xb79ef94c> -> SomePtr(ll_ptrtype=<* RuntimeTypeInfo (opaque)>)
Traceback (most recent call last):
   File "<stdin>", line 1, in ?
   File "/home/anto/pypy/pypy-dist/pypy/translator/interactive.py", line 
122, in rtype
     return self.driver.rtype()
   File "/home/anto/pypy/pypy-dist/pypy/translator/driver.py", line 68, 
in proc
     return self.proceed(backend_goal)
   File "/home/anto/pypy/pypy-dist/pypy/translator/driver.py", line 355, 
in proceed
     return self._execute(goals, task_skip = self._maybe_skip())
   File "/home/anto/pypy/pypy-dist/pypy/translator/tool/taskengine.py", 
line 108, in _execute
     res = self._do(goal, taskcallable, *args, **kwds)
   File "/home/anto/pypy/pypy-dist/pypy/translator/driver.py", line 140, 
in _do
     res = func()
   File "/home/anto/pypy/pypy-dist/pypy/translator/driver.py", line 186, 
in task_rtype
     crash_on_first_typeerror=not opt.insist)
   File "/home/anto/pypy/pypy-dist/pypy/rpython/rtyper.py", line 144, in 
specialize
     self.specialize_more_blocks()
   File "/home/anto/pypy/pypy-dist/pypy/rpython/rtyper.py", line 175, in 
specialize_more_blocks
     self.specialize_block(block)
   File "/home/anto/pypy/pypy-dist/pypy/rpython/rtyper.py", line 286, in 
specialize_block
     self.translate_hl_to_ll(hop, varmapping)
   File "/home/anto/pypy/pypy-dist/pypy/rpython/rtyper.py", line 413, in 
translate_hl_to_ll
     resultvar = hop.dispatch()
   File "/home/anto/pypy/pypy-dist/pypy/rpython/rtyper.py", line 625, in 
dispatch
     return translate_meth(self)
   File "None</fat/pypy/pypy-dist/py/code/source.py:215>", line 5, in 
translate_op_truediv
   File "/home/anto/pypy/pypy-dist/pypy/rpython/rint.py", line 93, in 
rtype_truediv
     return _rtype_template(hop, 'truediv', [ZeroDivisionError])
   File "/home/anto/pypy/pypy-dist/pypy/rpython/rint.py", line 186, in 
_rtype_template
     return hop.genop(repr.opprefix+func, vlist, resulttype=repr)
   File "/home/anto/pypy/pypy-dist/pypy/rpython/rmodel.py", line 102, in 
__getattr__
     raise AttributeError("%s instance has no attribute %s" % (
AttributeError: FloatRepr instance has no attribute opprefix
 >>>

ciao Anto